@actuarial-ts/compliance 0.6.0 → 0.7.0

package/dist/diagnosticReplayValue.js

@@ -0,0 +1,269 @@
+import { ComplianceError } from "./errors.js";
+import { REPLAY_TEXT_UNITS } from "./diagnosticReplayFrames.js";
+function invalid(message) {
+    throw new ComplianceError("BAD_DIAGNOSTIC_RUN", message, "$.replayInput");
+}
+function snapshotLimits(limits) {
+    if (limits === null ||
+        typeof limits !== "object" ||
+        (Object.getPrototypeOf(limits) !== Object.prototype && Object.getPrototypeOf(limits) !== null))
+        invalid("Replay value limits must be a plain data object");
+    const fields = [
+        "maximumDepth",
+        "maximumNodes",
+        "maximumStringUnits",
+        "maximumTotalStringUnits",
+    ];
+    const descriptors = Object.getOwnPropertyDescriptors(limits);
+    for (const key of Reflect.ownKeys(descriptors))
+        if (typeof key !== "string" || !fields.some((field) => field === key))
+            invalid("Unknown replay value limit");
+    const owned = Object.create(null);
+    for (const key of fields) {
+        const field = descriptors[key];
+        if (!field || !field.enumerable || !("value" in field))
+            invalid("Replay value limits require own enumerable data properties");
+        const value = field.value;
+        if (typeof value !== "number" || !Number.isSafeInteger(value) || value < 1)
+            invalid("Replay value limits must be positive safe integers");
+        owned[key] = value;
+    }
+    return Object.freeze(owned);
+}
+/**
+ * Reconstruct input only, within explicit host resource bounds. Reconstructed
+ * values still require full SDK validation. Never use this for candidate
+ * result/audit identity channels: those must be compared as text streams.
+ */
+export class ReplayValueBuilder {
+    limits;
+    stack = [];
+    nodes = 0;
+    assigned = false;
+    root;
+    stringParts = null;
+    stringUnits = 0;
+    totalStringUnits = 0;
+    stringKind = null;
+    sealed = false;
+    constructor(limits) {
+        this.limits = snapshotLimits(limits);
+    }
+    attach(value) {
+        if (++this.nodes > this.limits.maximumNodes)
+            invalid("Replay input exceeds its node limit");
+        const parent = this.stack.at(-1);
+        if (!parent) {
+            if (this.assigned)
+                invalid("Multiple roots in replay input");
+            this.root = value;
+            this.assigned = true;
+        }
+        else if (parent.kind === "array")
+            parent.value.push(value);
+        else {
+            if (parent.key === null)
+                invalid("Object value is missing its key");
+            Object.defineProperty(parent.value, parent.key, {
+                value,
+                enumerable: true,
+                writable: true,
+                configurable: true,
+            });
+            parent.key = null;
+        }
+    }
+    push(frame) {
+        if (this.sealed)
+            invalid("Replay input builder is finalized");
+        try {
+            this.consume(frame);
+        }
+        catch (error) {
+            this.sealed = true;
+            throw error;
+        }
+    }
+    consume(frame) {
+        if (!Array.isArray(frame))
+            invalid("Replay value event must be an array");
+        const [event, payload] = frame;
+        const arity = (expected) => {
+            if (frame.length !== expected)
+                invalid("Invalid replay value event arity");
+        };
+        if (this.stringParts !== null) {
+            if (event === "text") {
+                arity(2);
+                if (typeof payload !== "string" ||
+                    payload.length === 0 ||
+                    payload.length > REPLAY_TEXT_UNITS)
+                    invalid("Invalid replay text fragment");
+                if (payload.length > this.limits.maximumStringUnits - this.stringUnits)
+                    invalid("Replay input exceeds its string limit");
+                if (payload.length > this.limits.maximumTotalStringUnits - this.totalStringUnits)
+                    invalid("Replay input exceeds its total string limit");
+                // Check both budgets before retaining this fragment. Key text counts,
+                // and starting another string never resets the whole-input budget.
+                this.stringUnits += payload.length;
+                this.totalStringUnits += payload.length;
+                this.stringParts.push(payload);
+                return;
+            }
+            if (event !== "string-end")
+                invalid("Replay string was not terminated");
+            arity(1);
+            const text = this.stringParts.join("");
+            const kind = this.stringKind;
+            this.stringParts = null;
+            this.stringKind = null;
+            if (kind === "value")
+                this.attach(text);
+            else {
+                const parent = this.stack.at(-1);
+                if (!parent || parent.kind !== "object" || parent.key !== null)
+                    invalid("Unexpected replay object key");
+                if (parent.lastKey !== null && text <= parent.lastKey)
+                    invalid("Replay object keys must be strictly increasing and unique");
+                parent.lastKey = text;
+                parent.key = text;
+            }
+            return;
+        }
+        if (event === "string-start") {
+            arity(2);
+            if (payload !== "key" && payload !== "value")
+                invalid("Invalid replay string role");
+            const parent = this.stack.at(-1);
+            if (payload === "key" && (!parent || parent.kind !== "object" || parent.key !== null))
+                invalid("Unexpected replay object key");
+            this.stringParts = [];
+            this.stringKind = payload;
+            this.stringUnits = 0;
+        }
+        else if (event === "object" || event === "array") {
+            arity(1);
+            if (this.stack.length >= this.limits.maximumDepth)
+                invalid("Replay input exceeds its depth limit");
+            const container = event === "array"
+                ? { kind: "array", value: [] }
+                : { kind: "object", value: Object.create(null), lastKey: null, key: null };
+            this.attach(container.value);
+            this.stack.push(container);
+        }
+        else if (event === "end-object" || event === "end-array") {
+            arity(1);
+            const parent = this.stack.at(-1);
+            if (!parent ||
+                event !== `end-${parent.kind}` ||
+                (parent.kind === "object" && parent.key !== null))
+                invalid("Mismatched or incomplete replay container");
+            this.stack.pop();
+        }
+        else if (event === "scalar") {
+            arity(2);
+            if (payload !== null &&
+                typeof payload !== "boolean" &&
+                !(typeof payload === "number" && Number.isFinite(payload)))
+                invalid("Invalid replay scalar");
+            this.attach(payload);
+        }
+        else if (event === "special-number") {
+            arity(2);
+            // Preserve raw non-finite observations for SDK audit/blocking, not null.
+            if (payload === "NaN")
+                this.attach(NaN);
+            else if (payload === "+Infinity")
+                this.attach(Infinity);
+            else if (payload === "-Infinity")
+                this.attach(-Infinity);
+            else if (payload === "-0")
+                this.attach(-0);
+            else
+                invalid("Invalid special replay number");
+        }
+        else
+            invalid("Unknown replay value event");
+    }
+    finish() {
+        if (this.sealed)
+            invalid("Replay input builder is finalized");
+        this.sealed = true;
+        if (!this.assigned || this.stack.length || this.stringParts !== null)
+            invalid("Incomplete replay input value");
+        return this.root;
+    }
+}
+/** Live read-only input events. The enclosing genuine run owns its snapshots. */
+export function* replayValueFrames(value) {
+    const active = new Set();
+    function* string(text, role) {
+        yield ["string-start", role];
+        for (let index = 0; index < text.length; index += REPLAY_TEXT_UNITS)
+            yield ["text", text.slice(index, index + REPLAY_TEXT_UNITS)];
+        yield ["string-end"];
+    }
+    function* visit(value) {
+        if (typeof value === "string") {
+            yield* string(value, "value");
+            return;
+        }
+        if (typeof value === "number" && (!Number.isFinite(value) || Object.is(value, -0))) {
+            yield [
+                "special-number",
+                Number.isNaN(value)
+                    ? "NaN"
+                    : value === Infinity
+                        ? "+Infinity"
+                        : value === -Infinity
+                            ? "-Infinity"
+                            : "-0",
+            ];
+            return;
+        }
+        if (value === null || typeof value === "number" || typeof value === "boolean") {
+            yield ["scalar", value];
+            return;
+        }
+        if (typeof value !== "object")
+            invalid("Unsupported replay input value");
+        const array = Array.isArray(value);
+        const prototype = Object.getPrototypeOf(value);
+        if (array ? prototype !== Array.prototype : prototype !== null && prototype !== Object.prototype)
+            invalid("Replay input must contain plain data");
+        if (active.has(value))
+            invalid("Replay input contains a cycle");
+        active.add(value);
+        try {
+            yield [array ? "array" : "object"];
+            if (array) {
+                for (const key of Reflect.ownKeys(value))
+                    if (key !== "length" &&
+                        (typeof key !== "string" ||
+                            !/^(0|[1-9][0-9]*)$/.test(key) ||
+                            Number(key) >= value.length))
+                        invalid("Replay input arrays must contain indexed data only");
+                for (let index = 0; index < value.length; index++) {
+                    const field = Object.getOwnPropertyDescriptor(value, String(index));
+                    if (!field || !("value" in field))
+                        invalid("Replay input arrays must contain indexed data");
+                    yield* visit(field.value);
+                }
+            }
+            else
+                for (const key of Object.keys(value).sort()) {
+                    const field = Object.getOwnPropertyDescriptor(value, key);
+                    if (!field || !("value" in field))
+                        invalid("Replay input objects must contain data properties");
+                    yield* string(key, "key");
+                    yield* visit(field.value);
+                }
+            yield [array ? "end-array" : "end-object"];
+        }
+        finally {
+            active.delete(value);
+        }
+    }
+    yield* visit(value);
+}
+//# sourceMappingURL=diagnosticReplayValue.js.map

package/dist/diagnosticReplayValue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnosticReplayValue.js","sourceRoot":"","sources":["../src/diagnosticReplayValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAoB,MAAM,6BAA6B,CAAC;AAUlF,SAAS,OAAO,CAAC,OAAe;IAC9B,MAAM,IAAI,eAAe,CAAC,oBAAoB,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,cAAc,CAAC,MAAyB;IAC/C,IACE,MAAM,KAAK,IAAI;QACf,OAAO,MAAM,KAAK,QAAQ;QAC1B,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;QAE9F,OAAO,CAAC,iDAAiD,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG;QACb,cAAc;QACd,cAAc;QACd,oBAAoB;QACpB,yBAAyB;KACjB,CAAC;IACX,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAC7D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC;QAC5C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,GAAG,CAAC;YACnE,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAA4C,CAAC;IAC7E,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC;YACpD,OAAO,CAAC,4DAA4D,CAAC,CAAC;QACxE,MAAM,KAAK,GAAY,KAAK,CAAC,KAAK,CAAC;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;YACxE,OAAO,CAAC,oDAAoD,CAAC,CAAC;QAChE,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAKD;;;;GAIG;AACH,MAAM,OAAO,kBAAkB;IACZ,MAAM,CAAoB;IAC1B,KAAK,GAAgB,EAAE,CAAC;IACjC,KAAK,GAAG,CAAC,CAAC;IACV,QAAQ,GAAG,KAAK,CAAC;IACjB,IAAI,CAAU;IACd,WAAW,GAAoB,IAAI,CAAC;IACpC,WAAW,GAAG,CAAC,CAAC;IAChB,gBAAgB,GAAG,CAAC,CAAC;IACrB,UAAU,GAA2B,IAAI,CAAC;IAC1C,MAAM,GAAG,KAAK,CAAC;IAEvB,YAAY,MAAyB;QACnC,IAAI,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IACO,MAAM,CAAC,KAAc;QAC3B,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY;YAAE,OAAO,CAAC,qCAAqC,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,IAAI,IAAI,CAAC,QAAQ;gBAAE,OAAO,CAAC,gCAAgC,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC;YAClB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvB,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aACxD,CAAC;YACJ,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI;gBAAE,OAAO,CAAC,iCAAiC,CAAC,CAAC;YACpE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE;gBAC9C,KAAK;gBACL,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,IAAI;gBACd,YAAY,EAAE,IAAI;aACnB,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAkB;QACrB,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,mCAAmC,CAAC,CAAC;QAC9D,IAAI,CAAC;YACH,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;YACnB,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IACO,OAAO,CAAC,KAAkB;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,qCAAqC,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,EAAE;YACjC,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;gBAAE,OAAO,CAAC,kCAAkC,CAAC,CAAC;QAC7E,CAAC,CAAC;QACF,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;YAC9B,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;gBACrB,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,IACE,OAAO,OAAO,KAAK,QAAQ;oBAC3B,OAAO,CAAC,MAAM,KAAK,CAAC;oBACpB,OAAO,CAAC,MAAM,GAAG,iBAAiB;oBAElC,OAAO,CAAC,8BAA8B,CAAC,CAAC;gBAC1C,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,kBAAkB,GAAG,IAAI,CAAC,WAAW;oBACpE,OAAO,CAAC,uCAAuC,CAAC,CAAC;gBACnD,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,uBAAuB,GAAG,IAAI,CAAC,gBAAgB;oBAC9E,OAAO,CAAC,6CAA6C,CAAC,CAAC;gBACzD,sEAAsE;gBACtE,mEAAmE;gBACnE,IAAI,CAAC,WAAW,IAAI,OAAO,CAAC,MAAM,CAAC;gBACnC,IAAI,CAAC,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC;gBACxC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC/B,OAAO;YACT,CAAC;YACD,IAAI,KAAK,KAAK,YAAY;gBAAE,OAAO,CAAC,kCAAkC,CAAC,CAAC;YACxE,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YAC7B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;YACxB,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;YACvB,IAAI,IAAI,KAAK,OAAO;gBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;iBACnC,CAAC;gBACJ,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI;oBAC5D,OAAO,CAAC,8BAA8B,CAAC,CAAC;gBAC1C,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,IAAI,MAAM,CAAC,OAAO;oBACnD,OAAO,CAAC,2DAA2D,CAAC,CAAC;gBACvE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;gBACtB,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC;YACpB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,KAAK,KAAK,cAAc,EAAE,CAAC;YAC7B,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,OAAO;gBAAE,OAAO,CAAC,4BAA4B,CAAC,CAAC;YACpF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC;gBACnF,OAAO,CAAC,8BAA8B,CAAC,CAAC;YAC1C,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;YACtB,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC;YAC1B,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;QACvB,CAAC;aAAM,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACnD,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,YAAY;gBAC/C,OAAO,CAAC,sCAAsC,CAAC,CAAC;YAClD,MAAM,SAAS,GACb,KAAK,KAAK,OAAO;gBACf,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE;gBAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;YAC/E,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;aAAM,IAAI,KAAK,KAAK,YAAY,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;YAC3D,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IACE,CAAC,MAAM;gBACP,KAAK,KAAK,OAAO,MAAM,CAAC,IAAI,EAAE;gBAC9B,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC;gBAEjD,OAAO,CAAC,2CAA2C,CAAC,CAAC;YACvD,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC;aAAM,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,IACE,OAAO,KAAK,IAAI;gBAChB,OAAO,OAAO,KAAK,SAAS;gBAC5B,CAAC,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBAE1D,OAAO,CAAC,uBAAuB,CAAC,CAAC;YACnC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;aAAM,IAAI,KAAK,KAAK,gBAAgB,EAAE,CAAC;YACtC,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,yEAAyE;YACzE,IAAI,OAAO,KAAK,KAAK;gBAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;iBACnC,IAAI,OAAO,KAAK,WAAW;gBAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;iBACnD,IAAI,OAAO,KAAK,WAAW;gBAAE,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC;iBACpD,IAAI,OAAO,KAAK,IAAI;gBAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;;gBACtC,OAAO,CAAC,+BAA+B,CAAC,CAAC;QAChD,CAAC;;YAAM,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM;QACJ,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,mCAAmC,CAAC,CAAC;QAC9D,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;YAClE,OAAO,CAAC,+BAA+B,CAAC,CAAC;QAC3C,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;CACF;AAED,iFAAiF;AACjF,MAAM,SAAS,CAAC,CAAC,iBAAiB,CAAC,KAAc;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAY,EAAE,IAAqB;QAClD,MAAM,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;QAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,iBAAiB;YACjE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,YAAY,CAAC,CAAC;IACvB,CAAC;IACD,QAAQ,CAAC,CAAC,KAAK,CAAC,KAAc;QAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,MAAM;gBACJ,gBAAgB;gBAChB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;oBACjB,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,KAAK,KAAK,QAAQ;wBAClB,CAAC,CAAC,WAAW;wBACb,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ;4BACnB,CAAC,CAAC,WAAW;4BACb,CAAC,CAAC,IAAI;aACb,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9E,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,CAAC,gCAAgC,CAAC,CAAC;QACzE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAC/C,IACE,KAAK,CAAC,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS;YAE5F,OAAO,CAAC,sCAAsC,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,+BAA+B,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClB,IAAI,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACnC,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;oBACtC,IACE,GAAG,KAAK,QAAQ;wBAChB,CAAC,OAAO,GAAG,KAAK,QAAQ;4BACtB,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC;4BAC9B,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC;wBAE9B,OAAO,CAAC,oDAAoD,CAAC,CAAC;gBAClE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;oBAClD,MAAM,KAAK,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;oBACpE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC;wBAC/B,OAAO,CAAC,+CAA+C,CAAC,CAAC;oBAC3D,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;;gBACC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBAC1D,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC;wBAC/B,OAAO,CAAC,mDAAmD,CAAC,CAAC;oBAC/D,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;oBAC1B,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC5B,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAC7C,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACtB,CAAC"}

package/dist/diagnosticReplayWriter.d.ts

@@ -0,0 +1,25 @@
+import { type VerifiedCompactDiagnosticRunProvenance } from "./diagnosticCompactRun.js";
+import type { DiagnosticArtifactDigest } from "./diagnosticRun.js";
+export interface DiagnosticReplayStreamRun {
+    readonly id: string;
+    readonly provenance: VerifiedCompactDiagnosticRunProvenance;
+}
+export type DiagnosticReplayByteSource = Iterable<Uint8Array> | AsyncIterable<Uint8Array>;
+export interface WriteDiagnosticReplayStreamInput {
+    readonly runs: readonly DiagnosticReplayStreamRun[];
+    /** Fresh stream of at most 64 KiB per chunk, for each unique computed artifact. */
+    readonly openArtifact: (artifact: Extract<DiagnosticArtifactDigest, {
+        assurance: "sdk-computed";
+    }>) => DiagnosticReplayByteSource | Promise<DiagnosticReplayByteSource>;
+    readonly signal?: AbortSignal;
+}
+/**
+ * Versioned large-data replay, NOT an interchange BundleDoc or the old JSON
+ * provenance DTO. Writes only from genuine immutable provenance owners. The
+ * host owns I/O and must publish a file only after the generator completes.
+ * All artifact bytes are rechecked against their authenticated digests while
+ * writing. Consumer cancellation closes producers; pending host I/O should use
+ * the same signal. No full candidate identity or whole archive string exists.
+ */
+export declare function writeDiagnosticReplayStream(input: WriteDiagnosticReplayStreamInput): AsyncGenerator<Uint8Array>;
+//# sourceMappingURL=diagnosticReplayWriter.d.ts.map

package/dist/diagnosticReplayWriter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnosticReplayWriter.d.ts","sourceRoot":"","sources":["../src/diagnosticReplayWriter.ts"],"names":[],"mappings":"AAEA,OAAO,EAGL,KAAK,sCAAsC,EAC5C,MAAM,2BAA2B,CAAC;AACnC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAwBnE,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,sCAAsC,CAAC;CAC7D;AACD,MAAM,MAAM,0BAA0B,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;AAC1F,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,IAAI,EAAE,SAAS,yBAAyB,EAAE,CAAC;IACpD,mFAAmF;IACnF,QAAQ,CAAC,YAAY,EAAE,CACrB,QAAQ,EAAE,OAAO,CAAC,wBAAwB,EAAE;QAAE,SAAS,EAAE,cAAc,CAAA;KAAE,CAAC,KACvE,0BAA0B,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACtE,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;CAC/B;AA4BD;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,gCAAgC,GACtC,cAAc,CAAC,UAAU,CAAC,CA4G5B"}

package/dist/diagnosticReplayWriter.js

@@ -0,0 +1,148 @@
+import { iterateDiagnosticIdentityJson } from "@actuarial-ts/core";
+import { getCompletedCompactDiagnosticRunInput } from "@actuarial-ts/data";
+import { assertVerifiedCompactDiagnosticRunProvenance, getCompactDiagnosticRunOwner, } from "./diagnosticCompactRun.js";
+import { diagnosticByteView } from "./diagnosticByteView.js";
+import { consumeDiagnosticByteSource } from "./diagnosticByteSource.js";
+import { encodeReplayFrames, REPLAY_TEXT_UNITS, } from "./diagnosticReplayFrames.js";
+import { replayValueFrames } from "./diagnosticReplayValue.js";
+import { createSha256 } from "./sha256Stream.js";
+import { ARTIFACT_CHUNK_BYTES, REPLAY_FORMAT, REPLAY_VERSION, badReplay, mismatch, replayArray, replayCancellation, replayFrameBytes, replayRecord, replayToken, encodeArtifactChunk, } from "./diagnosticReplayProtocol.js";
+function replayInput(provenance) {
+    const input = getCompletedCompactDiagnosticRunInput(getCompactDiagnosticRunOwner(provenance));
+    // Only a small envelope is new. All dataset/evidence arrays are the immutable
+    // originals owned by the validated gateway, including filtered-out inputs.
+    // Definition uses the normalized wire shape accepted by the core compiler,
+    // not a falsely typed authored definition with its optional-null defaults.
+    return {
+        definition: input.definition.definition,
+        losses: input.losses,
+        exposures: input.exposures,
+        ...(input.filter === null ? {} : { filter: input.filter }),
+        completePeriodCutoffs: input.completePeriodCutoffs,
+        ...(input.expectedCells === null ? {} : { expectedCells: input.expectedCells }),
+        reviewEvidence: input.reviewEvidence,
+        ...(input.runPresetId === null ? {} : { runPresetId: input.runPresetId }),
+        ...(input.datasetArtifactId === null ? {} : { datasetArtifactId: input.datasetArtifactId }),
+        groupMap: input.groupMap,
+        groupDimensions: input.groupDimensions,
+        policy: {
+            allowedReviewStatuses: input.policy.allowedReviewStatuses,
+            allowedMetricFindingSeverities: input.policy.allowedMetricFindingSeverities,
+            ...(input.policy.rationaleRef === null ? {} : { rationaleRef: input.policy.rationaleRef }),
+        },
+    };
+}
+/**
+ * Versioned large-data replay, NOT an interchange BundleDoc or the old JSON
+ * provenance DTO. Writes only from genuine immutable provenance owners. The
+ * host owns I/O and must publish a file only after the generator completes.
+ * All artifact bytes are rechecked against their authenticated digests while
+ * writing. Consumer cancellation closes producers; pending host I/O should use
+ * the same signal. No full candidate identity or whole archive string exists.
+ */
+export function writeDiagnosticReplayStream(input) {
+    // Snapshot at call time, before the first await/yield (not at first next()).
+    const options = replayRecord(input, ["runs", "openArtifact", "signal"]);
+    const runs = replayArray(options.runs).map((value) => {
+        const item = replayRecord(value, ["id", "provenance"]);
+        const id = replayToken(item.id);
+        assertVerifiedCompactDiagnosticRunProvenance(item.provenance);
+        return Object.freeze({ id, provenance: item.provenance });
+    });
+    if (!runs.length || new Set(runs.map((run) => run.id)).size !== runs.length)
+        badReplay("Replay must have at least one run and unique run IDs");
+    if (typeof options.openArtifact !== "function")
+        badReplay("Replay openArtifact must be a function");
+    const openArtifact = options.openArtifact;
+    const checkCancellation = replayCancellation(options.signal);
+    checkCancellation();
+    const artifacts = new Map();
+    for (const { provenance } of runs)
+        for (const artifact of [...provenance.inputArtifacts, ...provenance.preparationArtifacts]) {
+            const prior = artifacts.get(artifact.id);
+            if (prior &&
+                (prior.scope !== artifact.scope ||
+                    prior.assurance !== artifact.assurance ||
+                    prior.algorithm !== artifact.algorithm ||
+                    prior.value !== artifact.value ||
+                    (prior.assurance === "sdk-computed" &&
+                        artifact.assurance === "sdk-computed" &&
+                        prior.byteLength !== artifact.byteLength)))
+                badReplay("Shared replay artifact IDs have conflicting evidence");
+            artifacts.set(artifact.id, artifact);
+        }
+    async function* body() {
+        yield [REPLAY_FORMAT, REPLAY_VERSION];
+        for (const artifact of artifacts.values()) {
+            checkCancellation();
+            yield ["artifact"];
+            yield* replayValueFrames(artifact);
+            yield ["artifact-data"];
+            if (artifact.assurance === "sdk-computed") {
+                const hash = createSha256();
+                let length = 0;
+                for await (const raw of consumeDiagnosticByteSource(await openArtifact(artifact), checkCancellation)) {
+                    checkCancellation();
+                    const view = diagnosticByteView(raw);
+                    if (view.byteLength > ARTIFACT_CHUNK_BYTES)
+                        badReplay("Artifact read chunks must be at most 64 KiB");
+                    // Snapshot the entire bounded delivered chunk before yielding.
+                    const owned = new Uint8Array(view);
+                    length += owned.length;
+                    if (!Number.isSafeInteger(length) || length > artifact.byteLength)
+                        mismatch("Artifact grew after its verified digest");
+                    hash.update(owned);
+                    if (owned.length)
+                        yield ["bytes", encodeArtifactChunk(owned)];
+                }
+                checkCancellation();
+                if (length !== artifact.byteLength || hash.digest() !== artifact.value)
+                    mismatch("Artifact bytes changed after their verified digest");
+            }
+            yield ["artifact-end"];
+        }
+        for (const { id, provenance } of runs) {
+            checkCancellation();
+            yield ["run"];
+            yield* replayValueFrames({
+                id,
+                input: replayInput(provenance),
+                inputArtifactIds: provenance.inputArtifacts.map((item) => item.id),
+                preparationArtifactIds: provenance.preparationArtifacts.map((item) => item.id),
+                preparationLineage: provenance.preparationLineage,
+            });
+            yield ["input-end"];
+            for (const [channel, document] of [
+                ["manifest", provenance.manifestIdentityDocument],
+                ["result", provenance.resultIdentityDocument],
+            ]) {
+                for (const text of iterateDiagnosticIdentityJson(document))
+                    for (let start = 0; start < text.length; start += REPLAY_TEXT_UNITS)
+                        yield [channel, text.slice(start, start + REPLAY_TEXT_UNITS)];
+                yield [`${channel}-end`];
+            }
+            yield [
+                "run-end",
+                provenance.runFingerprint,
+                provenance.resultFingerprint,
+                provenance.runResultFingerprint,
+            ];
+        }
+    }
+    async function* sequenced() {
+        let sequence = 0;
+        const hash = createSha256();
+        for await (const event of body()) {
+            checkCancellation();
+            if (!Number.isSafeInteger(sequence + 1))
+                badReplay("Replay sequence exceeded safe integers");
+            const frame = [sequence++, ...event];
+            hash.update(replayFrameBytes(frame));
+            yield frame;
+        }
+        checkCancellation();
+        yield [sequence, "end", artifacts.size, runs.length, hash.digest()];
+    }
+    return encodeReplayFrames(sequenced());
+}
+//# sourceMappingURL=diagnosticReplayWriter.js.map

package/dist/diagnosticReplayWriter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnosticReplayWriter.js","sourceRoot":"","sources":["../src/diagnosticReplayWriter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,qCAAqC,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EACL,4CAA4C,EAC5C,4BAA4B,GAE7B,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EACL,kBAAkB,EAClB,iBAAiB,GAElB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EACL,oBAAoB,EACpB,aAAa,EACb,cAAc,EACd,SAAS,EACT,QAAQ,EACR,WAAW,EACX,kBAAkB,EAClB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,mBAAmB,GACpB,MAAM,+BAA+B,CAAC;AAgBvC,SAAS,WAAW,CAAC,UAAkD;IACrE,MAAM,KAAK,GAAG,qCAAqC,CAAC,4BAA4B,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9F,8EAA8E;IAC9E,2EAA2E;IAC3E,2EAA2E;IAC3E,2EAA2E;IAC3E,OAAO;QACL,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,UAAU;QACvC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QAC1D,qBAAqB,EAAE,KAAK,CAAC,qBAAqB;QAClD,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;QAC/E,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;QACzE,GAAG,CAAC,KAAK,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC3F,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,MAAM,EAAE;YACN,qBAAqB,EAAE,KAAK,CAAC,MAAM,CAAC,qBAAqB;YACzD,8BAA8B,EAAE,KAAK,CAAC,MAAM,CAAC,8BAA8B;YAC3E,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;SAC3F;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,KAAuC;IAEvC,6EAA6E;IAC7E,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACnD,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,4CAA4C,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM;QACzE,SAAS,CAAC,sDAAsD,CAAC,CAAC;IACpE,IAAI,OAAO,OAAO,CAAC,YAAY,KAAK,UAAU;QAC5C,SAAS,CAAC,wCAAwC,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,OAAO,CAAC,YAAgE,CAAC;IAC9F,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7D,iBAAiB,EAAE,CAAC;IACpB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC9D,KAAK,MAAM,EAAE,UAAU,EAAE,IAAI,IAAI;QAC/B,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,UAAU,CAAC,cAAc,EAAE,GAAG,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAC1F,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACzC,IACE,KAAK;gBACL,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;oBAC7B,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;oBACtC,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;oBACtC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;oBAC9B,CAAC,KAAK,CAAC,SAAS,KAAK,cAAc;wBACjC,QAAQ,CAAC,SAAS,KAAK,cAAc;wBACrC,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,CAAC,CAAC;gBAE9C,SAAS,CAAC,sDAAsD,CAAC,CAAC;YACpE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QACvC,CAAC;IAEH,KAAK,SAAS,CAAC,CAAC,IAAI;QAClB,MAAM,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;QACtC,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,iBAAiB,EAAE,CAAC;YACpB,MAAM,CAAC,UAAU,CAAC,CAAC;YACnB,KAAK,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACnC,MAAM,CAAC,eAAe,CAAC,CAAC;YACxB,IAAI,QAAQ,CAAC,SAAS,KAAK,cAAc,EAAE,CAAC;gBAC1C,MAAM,IAAI,GAAG,YAAY,EAAE,CAAC;gBAC5B,IAAI,MAAM,GAAG,CAAC,CAAC;gBACf,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,2BAA2B,CACjD,MAAM,YAAY,CAAC,QAAQ,CAAC,EAC5B,iBAAiB,CAClB,EAAE,CAAC;oBACF,iBAAiB,EAAE,CAAC;oBACpB,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;oBACrC,IAAI,IAAI,CAAC,UAAU,GAAG,oBAAoB;wBACxC,SAAS,CAAC,6CAA6C,CAAC,CAAC;oBAC3D,+DAA+D;oBAC/D,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC;oBACnC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC;oBACvB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,QAAQ,CAAC,UAAU;wBAC/D,QAAQ,CAAC,yCAAyC,CAAC,CAAC;oBACtD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBACnB,IAAI,KAAK,CAAC,MAAM;wBAAE,MAAM,CAAC,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChE,CAAC;gBACD,iBAAiB,EAAE,CAAC;gBACpB,IAAI,MAAM,KAAK,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,MAAM,EAAE,KAAK,QAAQ,CAAC,KAAK;oBACpE,QAAQ,CAAC,oDAAoD,CAAC,CAAC;YACnE,CAAC;YACD,MAAM,CAAC,cAAc,CAAC,CAAC;QACzB,CAAC;QACD,KAAK,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC;YACtC,iBAAiB,EAAE,CAAC;YACpB,MAAM,CAAC,KAAK,CAAC,CAAC;YACd,KAAK,CAAC,CAAC,iBAAiB,CAAC;gBACvB,EAAE;gBACF,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC;gBAC9B,gBAAgB,EAAE,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClE,sBAAsB,EAAE,UAAU,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9E,kBAAkB,EAAE,UAAU,CAAC,kBAAkB;aAClD,CAAC,CAAC;YACH,MAAM,CAAC,WAAW,CAAC,CAAC;YACpB,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI;gBAChC,CAAC,UAAU,EAAE,UAAU,CAAC,wBAAwB,CAAC;gBACjD,CAAC,QAAQ,EAAE,UAAU,CAAC,sBAAsB,CAAC;aACrC,EAAE,CAAC;gBACX,KAAK,MAAM,IAAI,IAAI,6BAA6B,CAAC,QAAQ,CAAC;oBACxD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,iBAAiB;wBACjE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC;gBAClE,MAAM,CAAC,GAAG,OAAO,MAAM,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM;gBACJ,SAAS;gBACT,UAAU,CAAC,cAAc;gBACzB,UAAU,CAAC,iBAAiB;gBAC5B,UAAU,CAAC,oBAAoB;aAChC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,SAAS,CAAC,CAAC,SAAS;QACvB,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,MAAM,IAAI,GAAG,YAAY,EAAE,CAAC;QAC5B,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,IAAI,EAAE,EAAE,CAAC;YACjC,iBAAiB,EAAE,CAAC;YACpB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,GAAG,CAAC,CAAC;gBAAE,SAAS,CAAC,wCAAwC,CAAC,CAAC;YAC7F,MAAM,KAAK,GAAG,CAAC,QAAQ,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;YACrC,MAAM,KAAK,CAAC;QACd,CAAC;QACD,iBAAiB,EAAE,CAAC;QACpB,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,kBAAkB,CAAC,SAAS,EAAE,CAAC,CAAC;AACzC,CAAC"}

package/dist/diagnosticRun.d.ts

@@ -1,15 +1,18 @@
-import { type DiagnosticDeepReadonly, type CompiledDiagnosticDefinition, type JsonValue as CoreDiagnosticJsonValue, type NormalizedDiagnosticDefinitionIdentity, type NormalizedDiagnosticPreparationIdentity, type NormalizedDiagnosticResultIdentity } from "@actuarial-ts/core";
+import { type DiagnosticDeepReadonly, type CompiledDiagnosticDefinition, type JsonValue as CoreDiagnosticJsonValue, type NormalizedDiagnosticDefinitionIdentity, type NormalizedDiagnosticPreparationIdentity, type MetricDiagnosticsResult } from "@actuarial-ts/core";
 import { type CompletedValidatedMetricDiagnosticsRun, type DiagnosticReviewIdentityBody, type DiagnosticReviewReceipt } from "@actuarial-ts/data";
 export interface DiagnosticArtifactDigestBase {
     readonly id: string;
-    readonly scope: "input" | "preparation";
-    readonly algorithm: string;
     readonly value: string;
-    readonly byteLength: number;
+    readonly scope: "input" | "preparation";
 }
-export type DiagnosticArtifactDigest = DiagnosticArtifactDigestBase & {
-    readonly assurance: "sdk-computed" | "caller-declared";
-};
+export type DiagnosticArtifactDigest = DiagnosticArtifactDigestBase & ({
+    readonly assurance: "sdk-computed";
+    readonly algorithm: "sha256";
+    readonly byteLength: number;
+} | {
+    readonly assurance: "caller-declared";
+    readonly algorithm: string;
+});
 export type DiagnosticArtifactEvidence = {
     readonly id: string;
     readonly scope: "input" | "preparation";
@@ -21,49 +24,66 @@ export type DiagnosticArtifactEvidence = {
     readonly assurance: "caller-declared";
     readonly algorithm: string;
     readonly value: string;
-    readonly byteLength: number;
 };
 export interface DiagnosticPreparationLineage {
-    readonly artifactId: string;
+    readonly outputArtifactId: string;
     readonly inputArtifactIds: readonly string[];
+    readonly transformationArtifactIds: readonly string[];
 }
 export interface DiagnosticRunManifest {
     readonly definitionIntegrity: string;
     readonly runPresetId: string | null;
     readonly datasetArtifactId: string | null;
-    readonly packageVersions: Readonly<Record<string, string>>;
-    readonly preparation: DiagnosticDeepReadonly<NormalizedDiagnosticPreparationIdentity>;
     readonly preparationFingerprint: string;
-    readonly expectedGridFingerprint: string | null;
+    readonly inputArtifacts: readonly DiagnosticArtifactDigest[];
+    readonly preparationArtifacts: readonly DiagnosticArtifactDigest[];
+    readonly preparationLineage: readonly DiagnosticPreparationLineage[];
+    readonly inputAudit: DiagnosticDeepReadonly<NormalizedDiagnosticPreparationIdentity["inputAudit"]>;
+    readonly filter: DiagnosticDeepReadonly<NormalizedDiagnosticPreparationIdentity["filter"]>;
+    readonly groupMap: Readonly<Record<string, string>>;
+    readonly groupDimensions: Readonly<Record<string, CoreDiagnosticJsonValue>>;
+    readonly completePeriodCutoffs: DiagnosticDeepReadonly<NormalizedDiagnosticPreparationIdentity["completePeriodCutoffs"]>;
+    readonly expectedCellGridFingerprint: string | null;
+    readonly executionPolicy: {
+        readonly review: DiagnosticReviewReceipt;
+        readonly gate: CompletedValidatedMetricDiagnosticsRun["gate"];
+    };
+    readonly engine: {
+        readonly packages: {
+            readonly core: string;
+            readonly data: string;
+            readonly compliance: string;
+        };
+        readonly algorithmVersion: "diagnostics-1";
+    };
+}
+export type NormalizedDiagnosticRunManifestIdentity = DiagnosticDeepReadonly<Omit<DiagnosticRunManifest, "executionPolicy"> & {
     readonly executionPolicy: {
         readonly review: {
             readonly body: DiagnosticReviewIdentityBody;
             readonly reportFingerprint: string;
         };
-        readonly gate: CompletedValidatedMetricDiagnosticsRun["gate"];
+        readonly gate: DiagnosticRunManifest["executionPolicy"]["gate"];
     };
-    readonly groupMap: Readonly<Record<string, string>>;
-    readonly groupDimensions: Readonly<Record<string, CoreDiagnosticJsonValue>>;
-    readonly artifacts: readonly DiagnosticArtifactDigest[];
-    readonly lineage: readonly DiagnosticPreparationLineage[];
-}
-export type NormalizedDiagnosticRunManifestIdentity = DiagnosticDeepReadonly<DiagnosticRunManifest>;
+}>;
 export interface DiagnosticRunIdentity {
     readonly runFingerprint: string;
     readonly resultFingerprint: string;
     readonly runResultFingerprint: string;
 }
 export interface DiagnosticRunProvenance extends DiagnosticRunIdentity {
-    readonly definition: DiagnosticDeepReadonly<NormalizedDiagnosticDefinitionIdentity>;
-    readonly definitionIdentities: {
-        readonly algorithm: "fnv1a64-jcs-v1";
-        readonly formulaById: Readonly<Record<string, string>>;
-        readonly calculationByInstanceId: Readonly<Record<string, string>>;
-        readonly definition: string;
+    readonly definition: {
+        readonly definition: DiagnosticDeepReadonly<NormalizedDiagnosticDefinitionIdentity>;
+        readonly identities: {
+            readonly algorithm: "fnv1a64-jcs-v1";
+            readonly formulaById: Readonly<Record<string, string>>;
+            readonly calculationByInstanceId: Readonly<Record<string, string>>;
+            readonly definition: string;
+        };
     };
-    readonly manifest: NormalizedDiagnosticRunManifestIdentity;
+    readonly manifest: DiagnosticDeepReadonly<DiagnosticRunManifest>;
     readonly review: DiagnosticReviewReceipt;
-    readonly result: DiagnosticDeepReadonly<NormalizedDiagnosticResultIdentity>;
+    readonly result: DiagnosticDeepReadonly<MetricDiagnosticsResult>;
 }
 declare const verifiedDiagnosticRunProvenanceBrand: unique symbol;
 export interface VerifiedDiagnosticRunProvenance extends DiagnosticRunProvenance {
@@ -71,11 +91,14 @@ export interface VerifiedDiagnosticRunProvenance extends DiagnosticRunProvenance
 }
 export interface CreateDiagnosticRunIdentityInput {
     readonly completedRun: CompletedValidatedMetricDiagnosticsRun;
-    readonly artifacts?: readonly DiagnosticArtifactEvidence[];
-    readonly lineage?: readonly DiagnosticPreparationLineage[];
+    readonly inputArtifacts: readonly DiagnosticArtifactEvidence[];
+    readonly preparationArtifacts: readonly DiagnosticArtifactEvidence[];
+    readonly preparationLineage: readonly DiagnosticPreparationLineage[];
 }
 export declare function createDiagnosticRunIdentity(input: CreateDiagnosticRunIdentityInput): Promise<VerifiedDiagnosticRunProvenance>;
 export declare function assertVerifiedDiagnosticRunProvenance(value: unknown): asserts value is VerifiedDiagnosticRunProvenance;
+/** Verify serialized evidence by replaying the owning core/data public workflows. */
+export declare function serializedDiagnosticRunMismatch(value: unknown, path?: string): string | null;
 /** @internal Bundle authoring uses owner state rather than trusting the public snapshot. */
 export declare function verifiedDefinitionForBundle(value: VerifiedDiagnosticRunProvenance): CompiledDiagnosticDefinition;
 export declare function verifyDiagnosticRunIdentity(candidate: unknown, input: CreateDiagnosticRunIdentityInput): Promise<VerifiedDiagnosticRunProvenance>;

package/dist/diagnosticRun.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnosticRun.d.ts","sourceRoot":"","sources":["../src/diagnosticRun.ts"],"names":[],"mappings":"AAAA,OAAO,EAQL,KAAK,sBAAsB,EAC3B,KAAK,4BAA4B,EACjC,KAAK,SAAS,IAAI,uBAAuB,EACzC,KAAK,sCAAsC,EAC3C,KAAK,uCAAuC,EAC5C,KAAK,kCAAkC,EACxC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAIL,KAAK,sCAAsC,EAC3C,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC7B,MAAM,oBAAoB,CAAC;AAI5B,MAAM,WAAW,4BAA4B;IAAG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE;AAC/L,MAAM,MAAM,wBAAwB,GAAG,4BAA4B,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,cAAc,GAAG,iBAAiB,CAAA;CAAE,CAAC;AACjI,MAAM,MAAM,0BAA0B,GAClC;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAChI;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;AAC7L,MAAM,WAAW,4BAA4B;IAAG,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE;AAE3H,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,WAAW,EAAE,sBAAsB,CAAC,uCAAuC,CAAC,CAAC;IACtF,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,4BAA4B,CAAC;YAAC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAA;SAAE,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,sCAAsC,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;IAClM,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC,CAAC;IAC5E,QAAQ,CAAC,SAAS,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACxD,QAAQ,CAAC,OAAO,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAC3D;AACD,MAAM,MAAM,uCAAuC,GAAG,sBAAsB,CAAC,qBAAqB,CAAC,CAAC;AAEpG,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC;AACD,MAAM,WAAW,uBAAwB,SAAQ,qBAAqB;IACpE,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC,sCAAsC,CAAC,CAAC;IACpF,QAAQ,CAAC,oBAAoB,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC,CAAC;QAAC,QAAQ,CAAC,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/N,QAAQ,CAAC,QAAQ,EAAE,uCAAuC,CAAC;IAC3D,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC,kCAAkC,CAAC,CAAC;CAC7E;AACD,OAAO,CAAC,MAAM,oCAAoC,EAAE,OAAO,MAAM,CAAC;AAClE,MAAM,WAAW,+BAAgC,SAAQ,uBAAuB;IAAG,QAAQ,CAAC,CAAC,oCAAoC,CAAC,EAAE,IAAI,CAAA;CAAE;AAC1I,MAAM,WAAW,gCAAgC;IAAG,QAAQ,CAAC,YAAY,EAAE,sCAAsC,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,4BAA4B,EAAE,CAAA;CAAE;AA4D3O,wBAAsB,2BAA2B,CAAC,KAAK,EAAC,gCAAgC,GAAE,OAAO,CAAC,+BAA+B,CAAC,CASjI;AAED,wBAAgB,qCAAqC,CAAC,KAAK,EAAC,OAAO,GAAE,OAAO,CAAC,KAAK,IAAI,+BAA+B,CAA4K;AAEjS,4FAA4F;AAC5F,wBAAgB,2BAA2B,CAAC,KAAK,EAAC,+BAA+B,GAAE,4BAA4B,CAA8F;AAE7M,wBAAsB,2BAA2B,CAAC,SAAS,EAAC,OAAO,EAAC,KAAK,EAAC,gCAAgC,GAAE,OAAO,CAAC,+BAA+B,CAAC,CAKnJ"}
+{"version":3,"file":"diagnosticRun.d.ts","sourceRoot":"","sources":["../src/diagnosticRun.ts"],"names":[],"mappings":"AAAA,OAAO,EAUL,KAAK,sBAAsB,EAC3B,KAAK,4BAA4B,EAEjC,KAAK,SAAS,IAAI,uBAAuB,EACzC,KAAK,sCAAsC,EAC3C,KAAK,uCAAuC,EAE5C,KAAK,uBAAuB,EAC7B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAML,KAAK,sCAAsC,EAC3C,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC7B,MAAM,oBAAoB,CAAC;AAW5B,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAAC;CACzC;AACD,MAAM,MAAM,wBAAwB,GAAG,4BAA4B,GACjE,CACI;IACE,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACD;IAAE,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CACxE,CAAC;AACJ,MAAM,MAAM,0BAA0B,GAClC;IACE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AACN,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;CACvD;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC7D,QAAQ,CAAC,oBAAoB,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACnE,QAAQ,CAAC,kBAAkB,EAAE,SAAS,4BAA4B,EAAE,CAAC;IACrE,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CACzC,uCAAuC,CAAC,YAAY,CAAC,CACtD,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CACrC,uCAAuC,CAAC,QAAQ,CAAC,CAClD,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC,CAAC;IAC5E,QAAQ,CAAC,qBAAqB,EAAE,sBAAsB,CACpD,uCAAuC,CAAC,uBAAuB,CAAC,CACjE,CAAC;IACF,QAAQ,CAAC,2BAA2B,EAAE,MAAM,GAAG,IAAI,CAAC;IACpD,QAAQ,CAAC,eAAe,EAAE;QACxB,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;QACzC,QAAQ,CAAC,IAAI,EAAE,sCAAsC,CAAC,MAAM,CAAC,CAAC;KAC/D,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,QAAQ,EAAE;YACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC;KAC5C,CAAC;CACH;AACD,MAAM,MAAM,uCAAuC,GAAG,sBAAsB,CAC1E,IAAI,CAAC,qBAAqB,EAAE,iBAAiB,CAAC,GAAG;IAC/C,QAAQ,CAAC,eAAe,EAAE;QACxB,QAAQ,CAAC,MAAM,EAAE;YACf,QAAQ,CAAC,IAAI,EAAE,4BAA4B,CAAC;YAC5C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;SACpC,CAAC;QACF,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;KACjE,CAAC;CACH,CACF,CAAC;AAEF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC;AACD,MAAM,WAAW,uBAAwB,SAAQ,qBAAqB;IACpE,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC,sCAAsC,CAAC,CAAC;QACpF,QAAQ,CAAC,UAAU,EAAE;YACnB,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;YACrC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YACvD,QAAQ,CAAC,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YACnE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;SAC7B,CAAC;KACH,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC,qBAAqB,CAAC,CAAC;IACjE,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC,uBAAuB,CAAC,CAAC;CAClE;AACD,OAAO,CAAC,MAAM,oCAAoC,EAAE,OAAO,MAAM,CAAC;AAClE,MAAM,WAAW,+BACf,SAAQ,uBAAuB;IAC/B,QAAQ,CAAC,CAAC,oCAAoC,CAAC,EAAE,IAAI,CAAC;CACvD;AACD,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,YAAY,EAAE,sCAAsC,CAAC;IAC9D,QAAQ,CAAC,cAAc,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC/D,QAAQ,CAAC,oBAAoB,EAAE,SAAS,0BAA0B,EAAE,CAAC;IACrE,QAAQ,CAAC,kBAAkB,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACtE;AA+QD,wBAAsB,2BAA2B,CAC/C,KAAK,EAAE,gCAAgC,GACtC,OAAO,CAAC,+BAA+B,CAAC,CAqF1C;AAED,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,KAAK,IAAI,+BAA+B,CAOlD;AA8VD,qFAAqF;AACrF,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,OAAO,EACd,IAAI,SAAwB,GAC3B,MAAM,GAAG,IAAI,CAwIf;AAED,4FAA4F;AAC5F,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,+BAA+B,GACrC,4BAA4B,CAG9B;AAED,wBAAsB,2BAA2B,CAC/C,SAAS,EAAE,OAAO,EAClB,KAAK,EAAE,gCAAgC,GACtC,OAAO,CAAC,+BAA+B,CAAC,CAuB1C"}