@osolmaz/pi-workflows 0.10.0 → 0.11.1

package/dist/workflows/decision-presentation.js

@@ -0,0 +1,417 @@
+import { createHash } from "node:crypto";
+export const MAX_PRESENTATION_CODE_UNITS = 64_000;
+export const MAX_PRESENTATION_BLOCKS = 256;
+export const MAX_PRESENTATION_ITEMS = 256;
+export const MAX_PRESENTATION_STRING_CODE_UNITS = 16_000;
+export const MAX_PRESENTATION_TRANSPORT_PARTS = 20;
+export function normalizeDecisionPresentation(value) {
+    const presentation = requireRecord(value, "Decision presentation");
+    requireExactKeys(presentation, ["schema", "summary", "blocks"], "Decision presentation");
+    if (presentation.schema !== "pi-workflows.decision-presentation.v1") {
+        throw new Error("Decision presentation schema must be pi-workflows.decision-presentation.v1");
+    }
+    const summary = normalizeDisplayString(presentation.summary, "Decision presentation summary");
+    if (!Array.isArray(presentation.blocks)) {
+        throw new Error("Decision presentation blocks must be an array");
+    }
+    if (presentation.blocks.length > MAX_PRESENTATION_BLOCKS) {
+        throw new Error(`Decision presentation has ${presentation.blocks.length} blocks; limit is ${MAX_PRESENTATION_BLOCKS}`);
+    }
+    const blocks = presentation.blocks.map((block, index) => normalizeBlock(block, `Decision presentation block ${index + 1}`));
+    const normalized = {
+        schema: "pi-workflows.decision-presentation.v1",
+        summary,
+        blocks,
+    };
+    const codeUnits = presentationCodeUnits(normalized);
+    if (codeUnits > MAX_PRESENTATION_CODE_UNITS) {
+        throw new Error(`Decision presentation has ${codeUnits} UTF-16 code units; limit is ${MAX_PRESENTATION_CODE_UNITS}`);
+    }
+    return normalized;
+}
+export function decisionPresentationDigest(presentation) {
+    return digestCanonical(normalizeDecisionPresentation(presentation));
+}
+export function validateHumanDecisionRequestIntegrity(request) {
+    if (request.schema === "pi-workflows.human-decision-request.v1")
+        return request;
+    const presentation = normalizeDecisionPresentation(request.presentation);
+    const subjectDigest = digestCanonical(request.subject);
+    const presentationDigest = digestCanonical(presentation);
+    const requestDigest = digestCanonical({
+        schema: request.schema,
+        runId: request.runId,
+        workflowName: request.workflowName,
+        nodeId: request.nodeId,
+        attemptId: request.attemptId,
+        audience: request.audience,
+        title: request.title,
+        choices: request.choices,
+        ...(request.expiresAt !== undefined ? { expiresAt: request.expiresAt } : {}),
+        subject: request.subject,
+        presentation,
+        revision: request.revision,
+    });
+    if (subjectDigest !== request.subjectDigest) {
+        throw new Error("Human decision subject digest does not match its durable request");
+    }
+    if (presentationDigest !== request.presentationDigest) {
+        throw new Error("Human decision presentation digest does not match its durable request");
+    }
+    if (requestDigest !== request.requestDigest) {
+        throw new Error("Human decision request digest does not match its durable request");
+    }
+    return request;
+}
+export function humanDecisionChannelRequest(request) {
+    validateHumanDecisionRequestIntegrity(request);
+    const presentation = request.schema === "pi-workflows.human-decision-request.v2"
+        ? normalizeDecisionPresentation(request.presentation)
+        : legacyDecisionPresentation(request.body);
+    const presentationDigest = decisionPresentationDigest(presentation);
+    return {
+        schema: "pi-workflows.human-decision-channel-request.v1",
+        sourceSchema: request.schema,
+        decisionId: request.decisionId,
+        requestDigest: request.requestDigest,
+        runId: request.runId,
+        workflowName: request.workflowName,
+        nodeId: request.nodeId,
+        attemptId: request.attemptId,
+        audience: request.audience,
+        title: request.title,
+        presentation,
+        presentationDigest,
+        revision: request.schema === "pi-workflows.human-decision-request.v2" ? request.revision : 1,
+        choices: request.choices,
+        createdAt: request.createdAt,
+        ...(request.expiresAt !== undefined ? { expiresAt: request.expiresAt } : {}),
+    };
+}
+export function legacyDecisionPresentation(body) {
+    const blocks = [];
+    if (typeof body === "string") {
+        appendLegacyText(blocks, body, "Decision details");
+    }
+    else {
+        appendLegacyValue(blocks, body, undefined);
+    }
+    const summary = typeof body === "string"
+        ? "Review the decision message below."
+        : "Review the decision details below.";
+    return normalizeDecisionPresentation(boundLegacyPresentation(summary, blocks, body));
+}
+export function decisionDocumentSegments(request) {
+    const segments = [
+        { kind: "title", text: request.title },
+        { kind: "summary", text: request.presentation.summary },
+    ];
+    for (const block of request.presentation.blocks) {
+        if (block.kind === "paragraph")
+            segments.push({ kind: block.kind, text: block.text });
+        else if (block.kind === "section")
+            segments.push({ kind: block.kind, text: block.title });
+        else if (block.kind === "bullets") {
+            segments.push({ kind: block.kind, text: block.items.map((item) => `• ${item}`).join("\n") });
+        }
+        else if (block.kind === "fields") {
+            segments.push({
+                kind: block.kind,
+                text: block.items.map(({ label, value }) => `${label}: ${value}`).join("\n"),
+            });
+        }
+        else {
+            segments.push({ kind: block.kind, text: block.text });
+        }
+    }
+    const choices = Object.values(request.choices).map((choice) => choice.input === undefined
+        ? `• ${choice.label}`
+        : `• ${choice.label}\n  ${choice.input.prompt}`);
+    segments.push({ kind: "choices", text: `Choices\n${choices.join("\n")}` });
+    return segments;
+}
+export function decisionPresentationFingerprint(request) {
+    return request.presentationDigest.slice("sha256:".length, "sha256:".length + 12);
+}
+export function digestCanonical(value) {
+    return `sha256:${createHash("sha256")
+        .update(`${canonicalJson(value)}\n`)
+        .digest("hex")}`;
+}
+function normalizeBlock(value, label) {
+    const block = requireRecord(value, label);
+    if (block.kind === "paragraph") {
+        requireExactKeys(block, ["kind", "text"], label);
+        return { kind: "paragraph", text: normalizeMultilineString(block.text, `${label} text`) };
+    }
+    if (block.kind === "section") {
+        requireExactKeys(block, ["kind", "title"], label);
+        return { kind: "section", title: normalizeDisplayString(block.title, `${label} title`) };
+    }
+    if (block.kind === "bullets") {
+        requireExactKeys(block, ["kind", "items"], label);
+        return {
+            kind: "bullets",
+            items: normalizeItems(block.items, `${label} items`, (item, itemLabel) => normalizeDisplayString(item, itemLabel)),
+        };
+    }
+    if (block.kind === "fields") {
+        requireExactKeys(block, ["kind", "items"], label);
+        return {
+            kind: "fields",
+            items: normalizeItems(block.items, `${label} items`, (item, itemLabel) => {
+                const field = requireRecord(item, itemLabel);
+                requireExactKeys(field, ["label", "value"], itemLabel);
+                return {
+                    label: normalizeDisplayString(field.label, `${itemLabel} label`),
+                    value: normalizeDisplayString(field.value, `${itemLabel} value`),
+                };
+            }),
+        };
+    }
+    if (block.kind === "preformatted") {
+        requireExactKeys(block, ["kind", "text"], label);
+        return { kind: "preformatted", text: normalizeMultilineString(block.text, `${label} text`) };
+    }
+    throw new Error(`${label} kind is not supported`);
+}
+function normalizeItems(value, label, normalize) {
+    if (!Array.isArray(value) || value.length === 0) {
+        throw new Error(`${label} must be a non-empty array`);
+    }
+    if (value.length > MAX_PRESENTATION_ITEMS) {
+        throw new Error(`${label} has ${value.length} items; limit is ${MAX_PRESENTATION_ITEMS}`);
+    }
+    return value.map((item, index) => normalize(item, `${label} item ${index + 1}`));
+}
+function normalizeDisplayString(value, label) {
+    const text = normalizeString(value, label);
+    if (hasControlCharacter(text, false)) {
+        throw new Error(`${label} contains a control character`);
+    }
+    return text;
+}
+function normalizeMultilineString(value, label) {
+    const text = normalizeString(value, label);
+    if (hasControlCharacter(text, true)) {
+        throw new Error(`${label} contains a terminal control character`);
+    }
+    return text;
+}
+function normalizeString(value, label) {
+    if (typeof value !== "string")
+        throw new Error(`${label} must be a string`);
+    const text = value.replaceAll("\r\n", "\n").replaceAll("\r", "\n").normalize("NFC");
+    if (text.trim().length === 0)
+        throw new Error(`${label} must not be empty`);
+    if (text.length > MAX_PRESENTATION_STRING_CODE_UNITS) {
+        throw new Error(`${label} has ${text.length} UTF-16 code units; limit is ${MAX_PRESENTATION_STRING_CODE_UNITS}`);
+    }
+    return text;
+}
+function boundLegacyPresentation(summary, blocks, body) {
+    const candidate = {
+        schema: "pi-workflows.decision-presentation.v1",
+        summary,
+        blocks,
+    };
+    if (blocks.length <= MAX_PRESENTATION_BLOCKS &&
+        blocks.every(legacyBlockFitsSchema) &&
+        presentationCodeUnits(candidate) <= MAX_PRESENTATION_CODE_UNITS) {
+        return candidate;
+    }
+    const originalCodeUnits = canonicalJson(body).length;
+    const omission = `Some legacy decision content is not shown because it exceeds the readable presentation limit. Inspect the durable v1 request before answering. Body digest: ${digestCanonical(body)}. Original body: ${originalCodeUnits} UTF-16 code units. Generated blocks: ${blocks.length}.`;
+    const budget = MAX_PRESENTATION_CODE_UNITS - summary.length - omission.length;
+    const kept = [];
+    let used = 0;
+    let omitted = false;
+    for (const block of blocks) {
+        const units = presentationBlockCodeUnits(block);
+        if (kept.length >= MAX_PRESENTATION_BLOCKS ||
+            !legacyBlockFitsSchema(block) ||
+            used + units > budget) {
+            omitted = true;
+            continue;
+        }
+        kept.push(block);
+        used += units;
+    }
+    if (omitted) {
+        if (kept.length >= MAX_PRESENTATION_BLOCKS)
+            kept.pop();
+        kept.push({ kind: "paragraph", text: omission });
+    }
+    return {
+        schema: "pi-workflows.decision-presentation.v1",
+        summary,
+        blocks: kept,
+    };
+}
+function legacyBlockFitsSchema(block) {
+    if (block.kind === "paragraph" || block.kind === "preformatted") {
+        return block.text.length <= MAX_PRESENTATION_STRING_CODE_UNITS;
+    }
+    if (block.kind === "section") {
+        return block.title.length <= MAX_PRESENTATION_STRING_CODE_UNITS;
+    }
+    if (block.kind === "bullets") {
+        return block.items.every((item) => item.length <= MAX_PRESENTATION_STRING_CODE_UNITS);
+    }
+    return block.items.every((item) => item.label.length <= MAX_PRESENTATION_STRING_CODE_UNITS &&
+        item.value.length <= MAX_PRESENTATION_STRING_CODE_UNITS);
+}
+function presentationBlockCodeUnits(block) {
+    if (block.kind === "paragraph" || block.kind === "preformatted")
+        return block.text.length;
+    if (block.kind === "section")
+        return block.title.length;
+    if (block.kind === "bullets") {
+        return block.items.reduce((sum, item) => sum + item.length, 0);
+    }
+    return block.items.reduce((sum, item) => sum + item.label.length + item.value.length, 0);
+}
+function presentationCodeUnits(presentation) {
+    let total = presentation.summary.length;
+    for (const block of presentation.blocks) {
+        total += presentationBlockCodeUnits(block);
+    }
+    return total;
+}
+function appendLegacyValue(blocks, value, label) {
+    if (isScalar(value)) {
+        const scalar = legacyScalar(value);
+        if (label === undefined || scalar.length > MAX_PRESENTATION_STRING_CODE_UNITS) {
+            appendLegacyText(blocks, scalar, label === undefined ? "Decision details" : legacyLabel(label));
+        }
+        else {
+            blocks.push({ kind: "fields", items: [{ label: legacyLabel(label), value: scalar }] });
+        }
+        return;
+    }
+    if (Array.isArray(value)) {
+        if (label !== undefined)
+            blocks.push({ kind: "section", title: legacyLabel(label) });
+        if (value.length === 0) {
+            blocks.push({ kind: "paragraph", text: "None" });
+            return;
+        }
+        if (value.every(isScalar) &&
+            value.every((item) => legacyScalar(item).length <= MAX_PRESENTATION_STRING_CODE_UNITS)) {
+            const items = value.map(legacyScalar);
+            for (let index = 0; index < items.length; index += MAX_PRESENTATION_ITEMS) {
+                blocks.push({ kind: "bullets", items: items.slice(index, index + MAX_PRESENTATION_ITEMS) });
+            }
+            return;
+        }
+        value.forEach((item, index) => appendLegacyValue(blocks, item, `Item ${index + 1}`));
+        return;
+    }
+    const entries = Object.entries(value).sort(([left], [right]) => compareKeys(left, right));
+    if (label !== undefined)
+        blocks.push({ kind: "section", title: legacyLabel(label) });
+    if (entries.length === 0) {
+        blocks.push({ kind: "paragraph", text: "None" });
+        return;
+    }
+    const fields = entries
+        .filter(([, child]) => isScalar(child) && legacyScalar(child).length <= MAX_PRESENTATION_STRING_CODE_UNITS)
+        .map(([key, child]) => ({ label: legacyLabel(key), value: legacyScalar(child) }));
+    for (let index = 0; index < fields.length; index += MAX_PRESENTATION_ITEMS) {
+        blocks.push({ kind: "fields", items: fields.slice(index, index + MAX_PRESENTATION_ITEMS) });
+    }
+    for (const [key, child] of entries.filter(([, child]) => !isScalar(child) || legacyScalar(child).length > MAX_PRESENTATION_STRING_CODE_UNITS)) {
+        appendLegacyValue(blocks, child, key);
+    }
+}
+function appendLegacyText(blocks, value, section) {
+    const text = sanitizeLegacyText(value);
+    blocks.push({ kind: "section", title: section });
+    for (const part of splitByCodeUnits(text, MAX_PRESENTATION_STRING_CODE_UNITS)) {
+        blocks.push({ kind: "paragraph", text: part.trim().length === 0 ? "None" : part });
+    }
+}
+function legacyLabel(value) {
+    const sanitized = sanitizeLegacyText(value)
+        .replaceAll(/[_-]+/gu, " ")
+        .replaceAll(/([a-z0-9])([A-Z])/gu, "$1 $2")
+        .replaceAll(/\s+/gu, " ")
+        .trim();
+    if (sanitized.length === 0)
+        return "Value";
+    return `${sanitized[0].toUpperCase()}${sanitized.slice(1)}`;
+}
+function legacyScalar(value) {
+    if (value === null)
+        return "None";
+    if (typeof value === "boolean")
+        return value ? "Yes" : "No";
+    return sanitizeLegacyText(String(value));
+}
+function sanitizeLegacyText(value) {
+    return value
+        .replaceAll("\r\n", "\n")
+        .replaceAll("\r", "\n")
+        .normalize("NFC")
+        .split("")
+        .map((character) => (isControlCode(character.charCodeAt(0), true) ? "�" : character))
+        .join("");
+}
+function hasControlCharacter(value, allowLineAndTab) {
+    return [...value].some((character) => isControlCode(character.codePointAt(0) ?? 0, allowLineAndTab));
+}
+function isControlCode(code, allowLineAndTab) {
+    if (allowLineAndTab && (code === 9 || code === 10))
+        return false;
+    return code <= 31 || code === 127;
+}
+function splitByCodeUnits(value, limit) {
+    if (value.length <= limit)
+        return [value];
+    const parts = [];
+    let remaining = value;
+    while (remaining.length > 0) {
+        let end = Math.min(limit, remaining.length);
+        const last = remaining.charCodeAt(end - 1);
+        if (last >= 0xd800 && last <= 0xdbff && end < remaining.length)
+            end -= 1;
+        parts.push(remaining.slice(0, end));
+        remaining = remaining.slice(end);
+    }
+    return parts;
+}
+function isScalar(value) {
+    return value === null || ["string", "number", "boolean"].includes(typeof value);
+}
+function requireRecord(value, label) {
+    if (value === null || typeof value !== "object" || Array.isArray(value)) {
+        throw new Error(`${label} must be an object`);
+    }
+    return value;
+}
+function requireExactKeys(value, allowed, label) {
+    const keys = Object.keys(value);
+    const extras = keys.filter((key) => !allowed.includes(key));
+    const missing = allowed.filter((key) => !Object.hasOwn(value, key));
+    if (missing.length > 0)
+        throw new Error(`${label} is missing ${missing.join(", ")}`);
+    if (extras.length > 0)
+        throw new Error(`${label} has unknown field ${extras.join(", ")}`);
+}
+function canonicalJson(value) {
+    return JSON.stringify(sortJson(value));
+}
+function compareKeys(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function sortJson(value) {
+    if (Array.isArray(value))
+        return value.map(sortJson);
+    if (value !== null && typeof value === "object") {
+        return Object.fromEntries(Object.entries(value)
+            .sort(([left], [right]) => compareKeys(left, right))
+            .map(([key, child]) => [key, sortJson(child)]));
+    }
+    return value;
+}
+//# sourceMappingURL=decision-presentation.js.map

package/dist/workflows/decision-presentation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-presentation.js","sourceRoot":"","sources":["../../src/workflows/decision-presentation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQzC,MAAM,CAAC,MAAM,2BAA2B,GAAG,MAAM,CAAC;AAClD,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAC3C,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAC1C,MAAM,CAAC,MAAM,kCAAkC,GAAG,MAAM,CAAC;AACzD,MAAM,CAAC,MAAM,gCAAgC,GAAG,EAAE,CAAC;AAOnD,MAAM,UAAU,6BAA6B,CAAC,KAAc;IAC1D,MAAM,YAAY,GAAG,aAAa,CAAC,KAAK,EAAE,uBAAuB,CAAC,CAAC;IACnE,gBAAgB,CAAC,YAAY,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,uBAAuB,CAAC,CAAC;IACzF,IAAI,YAAY,CAAC,MAAM,KAAK,uCAAuC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,YAAY,CAAC,OAAO,EAAE,+BAA+B,CAAC,CAAC;IAC9F,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,uBAAuB,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CACb,6BAA6B,YAAY,CAAC,MAAM,CAAC,MAAM,qBAAqB,uBAAuB,EAAE,CACtG,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACtD,cAAc,CAAC,KAAK,EAAE,+BAA+B,KAAK,GAAG,CAAC,EAAE,CAAC,CAClE,CAAC;IACF,MAAM,UAAU,GAAyB;QACvC,MAAM,EAAE,uCAAuC;QAC/C,OAAO;QACP,MAAM;KACP,CAAC;IACF,MAAM,SAAS,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,SAAS,GAAG,2BAA2B,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CACb,6BAA6B,SAAS,gCAAgC,2BAA2B,EAAE,CACpG,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,YAAkC;IAC3E,OAAO,eAAe,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,OAA6B;IAE7B,IAAI,OAAO,CAAC,MAAM,KAAK,wCAAwC;QAAE,OAAO,OAAO,CAAC;IAChF,MAAM,YAAY,GAAG,6BAA6B,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvD,MAAM,kBAAkB,GAAG,eAAe,CAAC,YAAY,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,eAAe,CAAC;QACpC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,YAAY;QACZ,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC,CAAC;IACH,IAAI,aAAa,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,aAAa,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,OAA6B;IAE7B,qCAAqC,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,YAAY,GAChB,OAAO,CAAC,MAAM,KAAK,wCAAwC;QACzD,CAAC,CAAC,6BAA6B,CAAC,OAAO,CAAC,YAAY,CAAC;QACrD,CAAC,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,kBAAkB,GAAG,0BAA0B,CAAC,YAAY,CAAC,CAAC;IACpE,OAAO;QACL,MAAM,EAAE,gDAAgD;QACxD,YAAY,EAAE,OAAO,CAAC,MAAM;QAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,YAAY;QACZ,kBAAkB;QAClB,QAAQ,EAAE,OAAO,CAAC,MAAM,KAAK,wCAAwC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5F,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAa;IACtD,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACN,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,OAAO,GACX,OAAO,IAAI,KAAK,QAAQ;QACtB,CAAC,CAAC,oCAAoC;QACtC,CAAC,CAAC,oCAAoC,CAAC;IAC3C,OAAO,6BAA6B,CAAC,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,OAAoC;IAEpC,MAAM,QAAQ,GAA8B;QAC1C,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE;QACtC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE;KACxD,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;QAChD,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;aACjF,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;aACrF,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/F,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;aAC7E,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5D,MAAM,CAAC,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,KAAK,MAAM,CAAC,KAAK,EAAE;QACrB,CAAC,CAAC,KAAK,MAAM,CAAC,KAAK,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAClD,CAAC;IACF,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3E,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,OAAoC;IAClF,OAAO,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC;SAClC,MAAM,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;SACnC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACrB,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa;IACnD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC/B,gBAAgB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,wBAAwB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,EAAE,CAAC;IAC5F,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,gBAAgB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,EAAE,CAAC;IAC3F,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,gBAAgB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CACvE,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CACxC;SACF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,gBAAgB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;gBACvE,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC7C,gBAAgB,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;gBACvD,OAAO;oBACL,KAAK,EAAE,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,QAAQ,CAAC;oBAChE,KAAK,EAAE,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,QAAQ,CAAC;iBACjE,CAAC;YACJ,CAAC,CAAC;SACH,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAClC,gBAAgB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,wBAAwB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,EAAE,CAAC;IAC/F,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,wBAAwB,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,cAAc,CACrB,KAAc,EACd,KAAa,EACb,SAA8C;IAE9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,4BAA4B,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,sBAAsB,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,QAAQ,KAAK,CAAC,MAAM,oBAAoB,sBAAsB,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,KAAK,SAAS,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc,EAAE,KAAa;IAC3D,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,+BAA+B,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc,EAAE,KAAa;IAC7D,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,wCAAwC,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,KAAa;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAC5E,IAAI,IAAI,CAAC,MAAM,GAAG,kCAAkC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,gCAAgC,kCAAkC,EAAE,CAChG,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAe,EACf,MAAmC,EACnC,IAAa;IAEb,MAAM,SAAS,GAAyB;QACtC,MAAM,EAAE,uCAAuC;QAC/C,OAAO;QACP,MAAM;KACP,CAAC;IACF,IACE,MAAM,CAAC,MAAM,IAAI,uBAAuB;QACxC,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC;QACnC,qBAAqB,CAAC,SAAS,CAAC,IAAI,2BAA2B,EAC/D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,iBAAiB,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IACrD,MAAM,QAAQ,GAAG,+JAA+J,eAAe,CAAC,IAAI,CAAC,oBAAoB,iBAAiB,yCAAyC,MAAM,CAAC,MAAM,GAAG,CAAC;IACpS,MAAM,MAAM,GAAG,2BAA2B,GAAG,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC9E,MAAM,IAAI,GAAgC,EAAE,CAAC;IAC7C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;QAChD,IACE,IAAI,CAAC,MAAM,IAAI,uBAAuB;YACtC,CAAC,qBAAqB,CAAC,KAAK,CAAC;YAC7B,IAAI,GAAG,KAAK,GAAG,MAAM,EACrB,CAAC;YACD,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjB,IAAI,IAAI,KAAK,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,IAAI,CAAC,MAAM,IAAI,uBAAuB;YAAE,IAAI,CAAC,GAAG,EAAE,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO;QACL,MAAM,EAAE,uCAAuC;QAC/C,OAAO;QACP,MAAM,EAAE,IAAI;KACb,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAgC;IAC7D,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,kCAAkC,CAAC;IACjE,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,kCAAkC,CAAC;IAClE,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,kCAAkC,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CACtB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,kCAAkC;QACvD,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,kCAAkC,CAC1D,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAgC;IAClE,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;IAC1F,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;IACxD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,qBAAqB,CAAC,YAAkC;IAC/D,IAAI,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;QACxC,KAAK,IAAI,0BAA0B,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAmC,EACnC,KAAc,EACd,KAAyB;IAEzB,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,kCAAkC,EAAE,CAAC;YAC9E,gBAAgB,CACd,MAAM,EACN,MAAM,EACN,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAC9D,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QACzF,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YACjD,OAAO;QACT,CAAC;QACD,IACE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;YACrB,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,kCAAkC,CAAC,EACtF,CAAC;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACtC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,sBAAsB,EAAE,CAAC;gBAC1E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;YAC9F,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACrF,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CACxF,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CACzB,CAAC;IACF,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,OAAO;SACnB,MAAM,CACL,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CACZ,QAAQ,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,kCAAkC,CACtF;SACA,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACpF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,sBAAsB,EAAE,CAAC;QAC3E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CACZ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,kCAAkC,CACtF,EAAE,CAAC;QACF,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAmC,EACnC,KAAa,EACb,OAAe;IAEf,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,IAAI,EAAE,kCAAkC,CAAC,EAAE,CAAC;QAC9E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACrF,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC;SACxC,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC;SAC1B,UAAU,CAAC,qBAAqB,EAAE,OAAO,CAAC;SAC1C,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC;SACxB,IAAI,EAAE,CAAC;IACV,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IAC3C,OAAO,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5D,OAAO,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,KAAK;SACT,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC;SACxB,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;SACtB,SAAS,CAAC,KAAK,CAAC;SAChB,KAAK,CAAC,EAAE,CAAC;SACT,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;SACpF,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa,EAAE,eAAwB;IAClE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACnC,aAAa,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC,CAC9D,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,eAAwB;IAC3D,IAAI,eAAe,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACjE,OAAO,IAAI,IAAI,EAAE,IAAI,IAAI,KAAK,GAAG,CAAC;AACpC,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa,EAAE,KAAa;IACpD,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,IAAI,GAAG,GAAG,SAAS,CAAC,MAAM;YAAE,GAAG,IAAI,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACpC,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,gBAAgB,CACvB,KAA8B,EAC9B,OAA0B,EAC1B,KAAa;IAEb,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACpE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,eAAe,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,sBAAsB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;aAC7C,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aACnD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CACjD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/workflows/engine.d.ts

@@ -1,4 +1,4 @@
-import type { WorkflowDefinition, WorkflowEngineOptions, WorkflowRunResult, WorkflowSource, WorkflowUpdateInput, WorkflowUpdateReceipt } from "./types.js";
+import type { AcceptedHumanDecision, WorkflowDefinition, WorkflowEngineOptions, WorkflowRunResult, WorkflowSource, WorkflowUpdateInput, WorkflowUpdateReceipt } from "./types.js";
 /**
  * Executes a workflow graph step by step. Agent steps are delegated to the
  * configured executor; compute/action/checkpoint nodes run inline. Every
@@ -65,6 +65,7 @@ export declare class WorkflowEngine {
         workflowSource?: WorkflowSource;
         runId?: string;
         force?: boolean;
+        humanDecision?: AcceptedHumanDecision;
     }): Promise<WorkflowRunResult>;
     /**
      * Find where a resumed run continues. An in-flight node reruns; otherwise

package/dist/workflows/engine.js

@@ -4,6 +4,7 @@ import { resolveArtifacts } from "./artifacts.js";
 import { compileWorkflowDefinition, compositionMetadata, isCompiledWorkflow, } from "./composition.js";
 import { CancelledError, errorMessage, isAbortLikeError, isClaimLostError, isRunParkedError, RunParkedError, TimeoutError, WorkflowSourceChangedError, } from "./errors.js";
 import { resolveNext, resolveNextForOutcome, validateWorkflowDefinition } from "./graph.js";
+import { HumanDecisionStore, createHumanDecisionRequest, validateHumanDecisionResponse, } from "./human-decision.js";
 import { extractJsonValue } from "./json.js";
 import { runShellAction, shellResultFromError } from "./shell.js";
 import { RUN_STATE_SCHEMA, WorkflowRunStore, createDefinitionSnapshot, createRunId, readRunBundle, } from "./store.js";
@@ -257,8 +258,35 @@ export class WorkflowEngine {
         if (sourceMismatch && options.force !== true) {
             throw new WorkflowSourceChangedError(parentRunId);
         }
-        const suppliedInput = input === undefined ? null : input;
-        const normalizedInput = workflow.input ? await workflow.input(suppliedInput) : suppliedInput;
+        const waitingNodeId = parent.state.waitingOn;
+        const waitingNode = workflow.nodes[waitingNodeId];
+        const humanContract = waitingNode?.nodeType === "checkpoint" ? waitingNode.humanDecision : undefined;
+        let acceptedResponse;
+        let acceptedNodeId;
+        let normalizedInput;
+        if (humanContract !== undefined) {
+            if (options.humanDecision === undefined) {
+                throw new Error(`Checkpoint ${waitingNodeId} requires an accepted verified human decision`);
+            }
+            const request = parent.state.finalOutput;
+            if ((request?.schema !== "pi-workflows.human-decision-request.v1" &&
+                request?.schema !== "pi-workflows.human-decision-request.v2") ||
+                request.decisionId !== options.humanDecision.decisionId ||
+                request.requestDigest !== options.humanDecision.requestDigest) {
+                throw new Error("Accepted human decision does not match the waiting request");
+            }
+            const durableDecision = await new HumanDecisionStore(this.store.outputRoot).readAccepted(request.decisionId);
+            if (durableDecision === null || !isDeepStrictEqual(durableDecision, options.humanDecision)) {
+                throw new Error("Accepted human decision does not match the durable decision record");
+            }
+            acceptedResponse = validateHumanDecisionResponse(request, durableDecision.response);
+            acceptedNodeId = request.nodeId;
+            normalizedInput = await resolveArtifacts(parent.state.input, parent.runDir);
+        }
+        else {
+            const suppliedInput = input === undefined ? null : input;
+            normalizedInput = workflow.input ? await workflow.input(suppliedInput) : suppliedInput;
+        }
         assertJsonSerializable(normalizedInput, "Workflow run input");
         if (options.runId !== undefined && !/^[A-Za-z0-9][A-Za-z0-9._-]{0,199}$/.test(options.runId)) {
             throw new Error(`Invalid workflow run id: ${JSON.stringify(options.runId)}`);
@@ -270,6 +298,39 @@ export class WorkflowEngine {
         state.outputs = (await resolveArtifacts(parent.state.outputs, parent.runDir));
         state.results = (await resolveArtifacts(parent.state.results, parent.runDir));
         state.steps = (await resolveArtifacts(parent.state.steps, parent.runDir));
+        if (humanContract !== undefined && options.humanDecision !== undefined) {
+            const receipt = {
+                decisionId: options.humanDecision.decisionId,
+                requestDigest: options.humanDecision.requestDigest,
+                nodeId: acceptedNodeId ?? waitingNodeId,
+                response: options.humanDecision.response,
+                acceptedAt: options.humanDecision.acceptedAt,
+                answerDigest: options.humanDecision.answerDigest,
+            };
+            state.humanDecision =
+                options.humanDecision.schema === "pi-workflows.human-decision-accepted.v2"
+                    ? {
+                        schema: "pi-workflows.human-decision-receipt.v2",
+                        ...receipt,
+                        subjectDigest: options.humanDecision.subjectDigest,
+                        presentationDigest: options.humanDecision.presentationDigest,
+                        revision: options.humanDecision.revision,
+                    }
+                    : { schema: "pi-workflows.human-decision-receipt.v1", ...receipt };
+            state.outputs[waitingNodeId] = acceptedResponse;
+            const priorResult = state.results[waitingNodeId];
+            if (priorResult === undefined) {
+                throw new Error(`Waiting human decision result is missing for ${waitingNodeId}`);
+            }
+            state.results[waitingNodeId] = { ...priorResult, output: acceptedResponse };
+            const stepIndex = state.steps.findLastIndex((step) => step.nodeId === waitingNodeId);
+            if (stepIndex < 0)
+                throw new Error(`Waiting human decision step is missing for ${waitingNodeId}`);
+            const priorStep = state.steps[stepIndex];
+            if (priorStep === undefined)
+                throw new Error("Waiting human decision step became unavailable");
+            state.steps[stepIndex] = { ...priorStep, output: acceptedResponse };
+        }
         state.carriedStepCount = state.steps.length;
         const runDir = await this.store.initializeRunBundle(workflow, state);
         await this.persist(runDir, state, {
@@ -754,7 +815,12 @@ export class WorkflowEngine {
             case "action":
                 return await this.runActionNode(node, context, nodeId, attemptId, signal, meta);
             case "checkpoint":
-                return await runCheckpointNode(node, context);
+                return await runCheckpointNode(node, context, {
+                    store: this.store,
+                    workflowName: workflow.name,
+                    nodeId,
+                    attemptId,
+                });
         }
     }
     createNodeContext(state, signal) {
@@ -883,7 +949,23 @@ export class WorkflowEngine {
         });
     }
 }
-async function runCheckpointNode(node, context) {
+async function runCheckpointNode(node, context, execution) {
+    if (node.humanDecision !== undefined) {
+        const prompt = await node.humanDecision.request(context);
+        const audience = typeof node.humanDecision.audience === "function"
+            ? await node.humanDecision.audience(context)
+            : node.humanDecision.audience;
+        const request = createHumanDecisionRequest({
+            runId: context.state.runId,
+            workflowName: execution.workflowName,
+            nodeId: execution.nodeId,
+            attemptId: execution.attemptId,
+            contract: { audience, choices: node.humanDecision.choices },
+            prompt,
+        });
+        await new HumanDecisionStore(execution.store.outputRoot).createRequest(request);
+        return { output: request, promptText: null };
+    }
     const output = node.run ? await node.run(context) : { summary: node.summary ?? "checkpoint" };
     return { output, promptText: null };
 }