perttool 0.6.0 → 0.7.0

package/dist/assurance/evaluate.js

@@ -0,0 +1,631 @@
+import { compareStableStrings } from "../model/diagnostics.js";
+import { hashTaskOutcomeCommitment, hashTaskPlanBasis, hashTaskPlanContract, isSha256Digest, } from "./canonical.js";
+import { PLAN_ASSURANCE_HASH_MODEL_VERSION, PLAN_ASSURANCE_MODEL_VERSION, } from "./types.js";
+function diagnostic(code, message, entityId, data = {}) {
+    return { code, message, entityId, data };
+}
+function pairKey(predecessorTaskId, successorTaskId) {
+    return `${predecessorTaskId}\u0000${successorTaskId}`;
+}
+function relationOrder(left, right) {
+    return (compareStableStrings(left.successorTaskId, right.successorTaskId) ||
+        compareStableStrings(left.predecessorTaskId, right.predecessorTaskId) ||
+        compareStableStrings(left.mode, right.mode) ||
+        compareStableStrings(left.relationId ?? "", right.relationId ?? ""));
+}
+function validateExplicitRelation(relation, executionPairs) {
+    if (relation.mode !== "both" &&
+        relation.mode !== "execution_only" &&
+        relation.mode !== "planning_only") {
+        return "planning relation has an unknown mode";
+    }
+    const key = pairKey(relation.predecessorTaskId, relation.successorTaskId);
+    const hasExecution = executionPairs.has(key);
+    if (relation.mode === "planning_only" && hasExecution) {
+        return "planning_only relation duplicates a projected execution relation";
+    }
+    if (relation.mode !== "planning_only" && !hasExecution) {
+        return `${relation.mode} relation has no projected execution relation`;
+    }
+    if (relation.mode !== "both" &&
+        (relation.reason === null || relation.reason.length === 0)) {
+        return `${relation.mode} relation requires a nonempty reason`;
+    }
+    return null;
+}
+function deriveRelations(input, taskIds) {
+    const diagnostics = [];
+    const executionPairs = new Set();
+    for (const relation of input.executionRelations) {
+        const key = pairKey(relation.predecessorTaskId, relation.successorTaskId);
+        if (relation.predecessorTaskId === relation.successorTaskId ||
+            !taskIds.has(relation.predecessorTaskId) ||
+            !taskIds.has(relation.successorTaskId) ||
+            executionPairs.has(key)) {
+            diagnostics.push(diagnostic("PTASSURE-101", "execution relation must have distinct current tasks and be unique", relation.successorTaskId, {
+                predecessor_task_id: relation.predecessorTaskId,
+                successor_task_id: relation.successorTaskId,
+            }));
+            continue;
+        }
+        executionPairs.add(key);
+    }
+    const explicitByPair = new Map();
+    const relationIds = new Set();
+    for (const relation of input.explicitRelations) {
+        const key = pairKey(relation.predecessorTaskId, relation.successorTaskId);
+        const invalid = validateExplicitRelation(relation, executionPairs);
+        if (relation.predecessorTaskId === relation.successorTaskId ||
+            relation.id.length === 0 ||
+            !taskIds.has(relation.predecessorTaskId) ||
+            !taskIds.has(relation.successorTaskId) ||
+            relationIds.has(relation.id) ||
+            explicitByPair.has(key) ||
+            invalid !== null) {
+            diagnostics.push(diagnostic("PTASSURE-101", invalid ?? "explicit planning relation is invalid or duplicated", relation.id, {
+                predecessor_task_id: relation.predecessorTaskId,
+                successor_task_id: relation.successorTaskId,
+                mode: relation.mode,
+            }));
+            continue;
+        }
+        relationIds.add(relation.id);
+        explicitByPair.set(key, relation);
+    }
+    if (diagnostics.length > 0) {
+        return { effective: [], planning: [], diagnostics };
+    }
+    const effective = [];
+    for (const relation of input.executionRelations) {
+        const explicit = explicitByPair.get(pairKey(relation.predecessorTaskId, relation.successorTaskId));
+        effective.push({
+            relationId: explicit?.id ?? null,
+            predecessorTaskId: relation.predecessorTaskId,
+            successorTaskId: relation.successorTaskId,
+            mode: explicit?.mode ?? "both",
+            explicit: explicit !== undefined,
+        });
+    }
+    for (const relation of input.explicitRelations) {
+        if (relation.mode !== "planning_only")
+            continue;
+        effective.push({
+            relationId: relation.id,
+            predecessorTaskId: relation.predecessorTaskId,
+            successorTaskId: relation.successorTaskId,
+            mode: relation.mode,
+            explicit: true,
+        });
+    }
+    effective.sort(relationOrder);
+    return {
+        effective,
+        planning: effective.filter(({ mode }) => mode !== "execution_only"),
+        diagnostics,
+    };
+}
+function cycleWitness(taskIds, planning) {
+    const successors = new Map(taskIds.map((id) => [id, []]));
+    for (const relation of planning) {
+        successors.get(relation.predecessorTaskId).push(relation.successorTaskId);
+    }
+    for (const values of successors.values())
+        values.sort(compareStableStrings);
+    const state = new Map();
+    const stack = [];
+    let found = null;
+    const visit = (taskId) => {
+        if (found !== null)
+            return;
+        state.set(taskId, "visiting");
+        stack.push(taskId);
+        for (const successor of successors.get(taskId)) {
+            if (state.get(successor) === "visiting") {
+                const start = stack.indexOf(successor);
+                found = [...stack.slice(start), successor];
+                return;
+            }
+            if (state.get(successor) === undefined)
+                visit(successor);
+        }
+        stack.pop();
+        state.set(taskId, "visited");
+    };
+    for (const taskId of [...taskIds].sort(compareStableStrings)) {
+        if (state.get(taskId) === undefined)
+            visit(taskId);
+    }
+    return found;
+}
+function topologicalOrder(taskIds, planning) {
+    const indegree = new Map(taskIds.map((id) => [id, 0]));
+    const successors = new Map(taskIds.map((id) => [id, []]));
+    for (const relation of planning) {
+        indegree.set(relation.successorTaskId, indegree.get(relation.successorTaskId) + 1);
+        successors.get(relation.predecessorTaskId).push(relation.successorTaskId);
+    }
+    for (const values of successors.values())
+        values.sort(compareStableStrings);
+    const ready = taskIds
+        .filter((id) => indegree.get(id) === 0)
+        .sort(compareStableStrings);
+    const ordered = [];
+    while (ready.length > 0) {
+        const current = ready.shift();
+        ordered.push(current);
+        for (const successor of successors.get(current)) {
+            const next = indegree.get(successor) - 1;
+            indegree.set(successor, next);
+            if (next === 0) {
+                ready.push(successor);
+                ready.sort(compareStableStrings);
+            }
+        }
+    }
+    return ordered;
+}
+function coverageFor(tasks, frontierInputs) {
+    if (tasks.length === 0)
+        return "complete";
+    const sealed = tasks.filter(({ seal }) => seal !== null).length;
+    if (sealed === 0)
+        return "unsealed";
+    if (sealed < tasks.length ||
+        frontierInputs.some(({ assuranceHash }) => assuranceHash === null))
+        return "partial";
+    return "complete";
+}
+function causeOrder(left, right) {
+    return (compareStableStrings(left.rootTaskId, right.rootTaskId) ||
+        compareStableStrings(left.pathTaskIds.join("\u0000"), right.pathTaskIds.join("\u0000")) ||
+        compareStableStrings(left.kind, right.kind));
+}
+function uniqueCauses(causes) {
+    const byKey = new Map();
+    for (const cause of causes) {
+        const key = [cause.kind, cause.direct, ...cause.pathTaskIds].join("\u0000");
+        byKey.set(key, cause);
+    }
+    return [...byKey.values()].sort(causeOrder);
+}
+function directCause(kind, taskId) {
+    return {
+        kind,
+        direct: true,
+        rootTaskId: taskId,
+        affectedTaskId: taskId,
+        pathTaskIds: [taskId],
+    };
+}
+function inheritedCause(kind, rootTaskId, affectedTaskId, pathTaskIds) {
+    return {
+        kind,
+        direct: false,
+        rootTaskId,
+        affectedTaskId,
+        pathTaskIds,
+    };
+}
+function unavailableResult(taskId, acceptedBasisHash, cause) {
+    return {
+        taskId,
+        status: "unavailable",
+        outcomeStatus: "unavailable",
+        contractHash: null,
+        computedBasisHash: null,
+        acceptedBasisHash,
+        computedInputs: [],
+        exportedAssuranceHash: null,
+        directCauses: cause.direct ? [cause] : [],
+        inheritedCauses: cause.direct ? [] : [cause],
+    };
+}
+function compareSealComponents(taskId, seal, contractHash, currentInputs, predecessorResults) {
+    if (!isSha256Digest(seal.acceptedContractHash) ||
+        !isSha256Digest(seal.acceptedBasisHash) ||
+        seal.acceptedInputs.some(({ assuranceHash }) => !isSha256Digest(assuranceHash))) {
+        return {
+            consistent: false,
+            direct: [directCause("accepted_seal_inconsistent", taskId)],
+            inherited: [],
+        };
+    }
+    let reproduced;
+    try {
+        reproduced = hashTaskPlanBasis(seal.acceptedContractHash, seal.acceptedInputs);
+    }
+    catch {
+        return {
+            consistent: false,
+            direct: [directCause("accepted_seal_inconsistent", taskId)],
+            inherited: [],
+        };
+    }
+    if (reproduced !== seal.acceptedBasisHash) {
+        return {
+            consistent: false,
+            direct: [directCause("accepted_seal_inconsistent", taskId)],
+            inherited: [],
+        };
+    }
+    const direct = [];
+    const inherited = [];
+    if (seal.acceptedContractHash !== contractHash) {
+        direct.push(directCause("task_contract_changed", taskId));
+    }
+    const acceptedByPredecessor = new Map(seal.acceptedInputs.map((item) => [item.predecessorTaskId, item]));
+    const currentByPredecessor = new Map(currentInputs.map((item) => [item.predecessorTaskId, item]));
+    const predecessorIds = [...new Set([
+            ...acceptedByPredecessor.keys(),
+            ...currentByPredecessor.keys(),
+        ])].sort(compareStableStrings);
+    for (const predecessorTaskId of predecessorIds) {
+        const accepted = acceptedByPredecessor.get(predecessorTaskId);
+        const current = currentByPredecessor.get(predecessorTaskId);
+        if (accepted === undefined ||
+            current === undefined ||
+            accepted.relationMode !== current.relationMode) {
+            direct.push(directCause("planning_relation_changed", taskId));
+            continue;
+        }
+        if (current.assuranceHash === null ||
+            accepted.assuranceHash === current.assuranceHash)
+            continue;
+        const predecessor = predecessorResults.get(predecessorTaskId);
+        const predecessorCauses = predecessor === undefined
+            ? []
+            : [...predecessor.directCauses, ...predecessor.inheritedCauses];
+        if (predecessorCauses.length === 0) {
+            inherited.push(inheritedCause(predecessor?.outcomeStatus === "changed"
+                ? "changed_outcome"
+                : predecessor === undefined
+                    ? "frontier_commitment_changed"
+                    : "predecessor_commitment_changed", predecessorTaskId, taskId, [predecessorTaskId, taskId]));
+        }
+        else {
+            inherited.push(...predecessorCauses.map((cause) => inheritedCause(cause.kind, cause.rootTaskId, taskId, [...cause.pathTaskIds, taskId])));
+        }
+    }
+    return {
+        consistent: true,
+        direct: uniqueCauses(direct),
+        inherited: uniqueCauses(inherited),
+    };
+}
+function failure(input, diagnostics) {
+    return {
+        ok: false,
+        modelVersion: input.modelVersion,
+        hashModelVersion: input.hashModelVersion,
+        coverage: null,
+        effectiveDependencies: [],
+        taskResults: [],
+        directMismatchTaskIds: [],
+        inheritedMismatchTaskIds: [],
+        replanRequiredTaskIds: [],
+        unavailableTaskIds: [],
+        diagnostics,
+    };
+}
+export function evaluatePlanAssurance(input) {
+    const tasksById = new Map();
+    const diagnostics = [];
+    for (const task of input.tasks) {
+        const taskId = task.contract.taskId;
+        if (taskId.length === 0 || tasksById.has(taskId)) {
+            diagnostics.push(diagnostic("PTASSURE-101", "task assurance input IDs must be nonempty and unique", taskId));
+        }
+        else {
+            tasksById.set(taskId, task);
+        }
+        if (task.lifecycle !== "unfinished" && task.lifecycle !== "completed") {
+            diagnostics.push(diagnostic("PTASSURE-101", "task assurance lifecycle must be unfinished or completed", taskId));
+        }
+        if (task.lifecycle === "unfinished" && task.outcome !== null) {
+            diagnostics.push(diagnostic("PTASSURE-101", "unfinished task cannot carry completion outcome evidence", taskId));
+        }
+    }
+    if (diagnostics.length > 0)
+        return failure(input, diagnostics);
+    const taskIds = [...tasksById.keys()].sort(compareStableStrings);
+    const relations = deriveRelations(input, new Set(taskIds));
+    if (relations.diagnostics.length > 0) {
+        return failure(input, relations.diagnostics);
+    }
+    const cycle = cycleWitness(taskIds, relations.planning);
+    if (cycle !== null) {
+        return failure(input, [diagnostic("PTASSURE-102", `planning dependency cycle: ${cycle.join(" -> ")}`, cycle[0] ?? null, { cycle_task_ids: cycle })]);
+    }
+    const frontierByConsumer = new Map();
+    const frontierKeys = new Set();
+    for (const frontier of input.frontierInputs) {
+        const key = pairKey(frontier.producerTaskId, frontier.consumerTaskId);
+        const invalid = frontier.producerTaskId === frontier.consumerTaskId ||
+            frontier.producerTaskId.length === 0 ||
+            tasksById.has(frontier.producerTaskId) ||
+            !tasksById.has(frontier.consumerTaskId) ||
+            frontierKeys.has(key) ||
+            (frontier.relationMode !== "both" &&
+                frontier.relationMode !== "planning_only") ||
+            (frontier.assuranceHash !== null &&
+                !isSha256Digest(frontier.assuranceHash));
+        if (invalid) {
+            diagnostics.push(diagnostic("PTASSURE-101", "frontier planning input is invalid or duplicated", frontier.consumerTaskId, {
+                producer_task_id: frontier.producerTaskId,
+                consumer_task_id: frontier.consumerTaskId,
+            }));
+            continue;
+        }
+        frontierKeys.add(key);
+        frontierByConsumer.set(frontier.consumerTaskId, [
+            ...(frontierByConsumer.get(frontier.consumerTaskId) ?? []),
+            frontier,
+        ]);
+    }
+    if (diagnostics.length > 0)
+        return failure(input, diagnostics);
+    if (input.modelVersion === null &&
+        input.hashModelVersion === null &&
+        (input.explicitRelations.length > 0 ||
+            input.frontierInputs.length > 0 ||
+            input.tasks.some(({ seal, outcome }) => seal !== null || outcome !== null))) {
+        return failure(input, [diagnostic("PTASSURE-101", "assurance records require the project model fields", null)]);
+    }
+    if (input.modelVersion === null && input.hashModelVersion === null) {
+        return {
+            ok: true,
+            modelVersion: null,
+            hashModelVersion: null,
+            coverage: "not_enabled",
+            effectiveDependencies: relations.effective,
+            taskResults: taskIds.map((taskId) => ({
+                taskId,
+                status: "not_applicable",
+                outcomeStatus: tasksById.get(taskId).lifecycle === "completed"
+                    ? "unavailable"
+                    : "unfinished",
+                contractHash: null,
+                computedBasisHash: null,
+                acceptedBasisHash: tasksById.get(taskId).seal?.acceptedBasisHash ?? null,
+                computedInputs: [],
+                exportedAssuranceHash: null,
+                directCauses: [],
+                inheritedCauses: [],
+            })),
+            directMismatchTaskIds: [],
+            inheritedMismatchTaskIds: [],
+            replanRequiredTaskIds: [],
+            unavailableTaskIds: [],
+            diagnostics: [],
+        };
+    }
+    if ((input.modelVersion === null) !== (input.hashModelVersion === null)) {
+        return failure(input, [diagnostic("PTASSURE-101", "plan assurance model and hash model must be enabled as a pair", null)]);
+    }
+    if (input.modelVersion !== null &&
+        (!Number.isSafeInteger(input.modelVersion) ||
+            input.modelVersion <= 0 ||
+            !Number.isSafeInteger(input.hashModelVersion) ||
+            input.hashModelVersion <= 0)) {
+        return failure(input, [diagnostic("PTASSURE-101", "assurance model identities must be positive integers", null)]);
+    }
+    const coverage = coverageFor(input.tasks, input.frontierInputs);
+    if (input.modelVersion !== PLAN_ASSURANCE_MODEL_VERSION ||
+        input.hashModelVersion !== PLAN_ASSURANCE_HASH_MODEL_VERSION) {
+        const taskResults = taskIds.map((taskId) => unavailableResult(taskId, tasksById.get(taskId).seal?.acceptedBasisHash ?? null, directCause("unknown_model", taskId)));
+        return {
+            ok: true,
+            modelVersion: input.modelVersion,
+            hashModelVersion: input.hashModelVersion,
+            coverage,
+            effectiveDependencies: relations.effective,
+            taskResults,
+            directMismatchTaskIds: [],
+            inheritedMismatchTaskIds: [],
+            replanRequiredTaskIds: [],
+            unavailableTaskIds: taskIds,
+            diagnostics: [],
+        };
+    }
+    const contractHashes = new Map();
+    for (const taskId of taskIds) {
+        try {
+            contractHashes.set(taskId, hashTaskPlanContract(tasksById.get(taskId).contract));
+        }
+        catch (error) {
+            diagnostics.push(diagnostic("PTASSURE-101", error instanceof Error ? error.message : "invalid task plan contract", taskId));
+        }
+    }
+    if (diagnostics.length > 0)
+        return failure(input, diagnostics);
+    const incoming = new Map(taskIds.map((id) => [
+        id,
+        [],
+    ]));
+    for (const relation of relations.planning) {
+        incoming.get(relation.successorTaskId).push(relation);
+    }
+    for (const values of incoming.values())
+        values.sort(relationOrder);
+    const results = new Map();
+    for (const taskId of topologicalOrder(taskIds, relations.planning)) {
+        const task = tasksById.get(taskId);
+        const contractHash = contractHashes.get(taskId);
+        const currentInputDescriptors = [];
+        const unavailablePredecessors = [];
+        for (const relation of incoming.get(taskId)) {
+            const predecessor = results.get(relation.predecessorTaskId);
+            if (predecessor.exportedAssuranceHash === null) {
+                unavailablePredecessors.push(relation.predecessorTaskId);
+            }
+            currentInputDescriptors.push({
+                predecessorTaskId: relation.predecessorTaskId,
+                relationMode: relation.mode,
+                assuranceHash: predecessor.exportedAssuranceHash,
+            });
+        }
+        for (const frontier of frontierByConsumer.get(taskId) ?? []) {
+            if (frontier.assuranceHash === null) {
+                unavailablePredecessors.push(frontier.producerTaskId);
+            }
+            currentInputDescriptors.push({
+                predecessorTaskId: frontier.producerTaskId,
+                relationMode: frontier.relationMode,
+                assuranceHash: frontier.assuranceHash,
+            });
+        }
+        currentInputDescriptors.sort((left, right) => compareStableStrings(left.predecessorTaskId, right.predecessorTaskId));
+        if (currentInputDescriptors.some((item, index) => index > 0 &&
+            currentInputDescriptors[index - 1].predecessorTaskId ===
+                item.predecessorTaskId)) {
+            return failure(input, [diagnostic("PTASSURE-101", "task has duplicate current planning predecessor commitments", taskId)]);
+        }
+        const currentInputs = currentInputDescriptors
+            .filter((item) => item.assuranceHash !== null);
+        const computedBasisHash = unavailablePredecessors.length === 0
+            ? hashTaskPlanBasis(contractHash, currentInputs)
+            : null;
+        const seal = task.seal;
+        const acceptedBasisHash = seal?.acceptedBasisHash ?? null;
+        let directCauses = [];
+        let inheritedCauses = [];
+        let sealConsistent = true;
+        if (seal !== null) {
+            const comparison = compareSealComponents(taskId, seal, contractHash, currentInputDescriptors, results);
+            sealConsistent = comparison.consistent;
+            directCauses = comparison.direct;
+            inheritedCauses = comparison.inherited;
+        }
+        if (unavailablePredecessors.length > 0) {
+            inheritedCauses = uniqueCauses([
+                ...inheritedCauses,
+                ...unavailablePredecessors.flatMap((predecessorTaskId) => {
+                    const predecessor = results.get(predecessorTaskId);
+                    const predecessorCauses = predecessor === undefined
+                        ? []
+                        : [...predecessor.directCauses, ...predecessor.inheritedCauses];
+                    return predecessorCauses.length === 0
+                        ? [inheritedCause("predecessor_unavailable", predecessorTaskId, taskId, [predecessorTaskId, taskId])]
+                        : predecessorCauses.map((cause) => inheritedCause(cause.kind, cause.rootTaskId, taskId, [...cause.pathTaskIds, taskId]));
+                }),
+            ]);
+        }
+        let outcomeStatus = task.lifecycle === "completed"
+            ? "unavailable"
+            : "unfinished";
+        let exportedAssuranceHash = task.lifecycle === "unfinished" ? computedBasisHash : null;
+        let outcomeUnavailableCause = null;
+        if (task.lifecycle === "completed") {
+            const outcome = task.outcome;
+            if (outcome === null) {
+                outcomeUnavailableCause = directCause("outcome_missing", taskId);
+            }
+            else if (outcome.modelVersion !== 1 ||
+                !isSha256Digest(outcome.againstBasisHash) ||
+                (outcome.status !== "conformant" && outcome.status !== "changed") ||
+                (outcome.summary !== null && typeof outcome.summary !== "string") ||
+                (outcome.status === "conformant" && outcome.summary !== null) ||
+                (outcome.status === "changed" &&
+                    (outcome.summary === null || outcome.summary.length === 0))) {
+                outcomeUnavailableCause = directCause("outcome_invalid", taskId);
+            }
+            else if (computedBasisHash === null ||
+                acceptedBasisHash === null ||
+                outcome.againstBasisHash !== computedBasisHash ||
+                outcome.againstBasisHash !== acceptedBasisHash) {
+                outcomeUnavailableCause = directCause("outcome_basis_mismatch", taskId);
+            }
+            else if (outcome.status === "conformant") {
+                outcomeStatus = "conformant";
+                exportedAssuranceHash = computedBasisHash;
+            }
+            else {
+                try {
+                    exportedAssuranceHash = hashTaskOutcomeCommitment(taskId, outcome.againstBasisHash, outcome.summary);
+                    outcomeStatus = "changed";
+                }
+                catch {
+                    exportedAssuranceHash = null;
+                    outcomeUnavailableCause = directCause("outcome_invalid", taskId);
+                }
+            }
+        }
+        if (outcomeUnavailableCause !== null) {
+            directCauses = uniqueCauses([...directCauses, outcomeUnavailableCause]);
+        }
+        let status;
+        if (seal === null) {
+            status = "unsealed";
+        }
+        else if (!sealConsistent) {
+            status = "unavailable";
+            exportedAssuranceHash = null;
+        }
+        else if (computedBasisHash === null) {
+            status = "unavailable";
+            exportedAssuranceHash = null;
+        }
+        else if (directCauses.some(({ kind }) => kind === "task_contract_changed" ||
+            kind === "planning_relation_changed") ||
+            inheritedCauses.some(({ kind }) => kind !== "predecessor_unavailable") ||
+            acceptedBasisHash !== computedBasisHash) {
+            status = "review_required";
+        }
+        else if (outcomeUnavailableCause !== null) {
+            status = "unavailable";
+            exportedAssuranceHash = null;
+        }
+        else {
+            const hasUnfinishedPredecessor = incoming.get(taskId).some((relation) => tasksById.get(relation.predecessorTaskId).lifecycle === "unfinished");
+            status = task.lifecycle === "unfinished" && hasUnfinishedPredecessor
+                ? "conditional"
+                : "verified";
+        }
+        results.set(taskId, {
+            taskId,
+            status,
+            outcomeStatus,
+            contractHash,
+            computedBasisHash,
+            acceptedBasisHash,
+            computedInputs: currentInputs,
+            exportedAssuranceHash,
+            directCauses: uniqueCauses(directCauses),
+            inheritedCauses: uniqueCauses(inheritedCauses),
+        });
+    }
+    const taskResults = taskIds.map((taskId) => results.get(taskId));
+    return {
+        ok: true,
+        modelVersion: input.modelVersion,
+        hashModelVersion: input.hashModelVersion,
+        coverage,
+        effectiveDependencies: relations.effective,
+        taskResults,
+        directMismatchTaskIds: taskResults
+            .filter(({ directCauses }) => directCauses.some(({ kind }) => kind === "task_contract_changed" ||
+            kind === "planning_relation_changed"))
+            .map(({ taskId }) => taskId),
+        inheritedMismatchTaskIds: taskResults
+            .filter(({ status, inheritedCauses }) => status === "review_required" && inheritedCauses.length > 0)
+            .map(({ taskId }) => taskId),
+        replanRequiredTaskIds: taskResults
+            .filter(({ status }) => status === "review_required")
+            .map(({ taskId }) => taskId),
+        unavailableTaskIds: taskResults
+            .filter(({ status }) => status === "unavailable")
+            .map(({ taskId }) => taskId),
+        diagnostics: [],
+    };
+}
+export function sealTaskResult(result) {
+    if (result.contractHash === null || result.computedBasisHash === null) {
+        throw new Error(`task ${result.taskId} has no sealable computed basis`);
+    }
+    return {
+        acceptedContractHash: result.contractHash,
+        acceptedBasisHash: result.computedBasisHash,
+        acceptedInputs: result.computedInputs,
+    };
+}
+//# sourceMappingURL=evaluate.js.map

package/dist/assurance/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../src/assurance/evaluate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,oBAAoB,EACpB,cAAc,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,YAAY,CAAC;AA8BpB,SAAS,UAAU,CACjB,IAAuC,EACvC,OAAe,EACf,QAAuB,EACvB,IAAI,GAAsC,EAAE;IAE5C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,OAAO,CAAC,iBAAyB,EAAE,eAAuB;IACjE,OAAO,GAAG,iBAAiB,SAAS,eAAe,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,aAAa,CACpB,IAA+B,EAC/B,KAAgC;IAEhC,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC;QACjE,oBAAoB,CAAC,IAAI,CAAC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,CAAC;QACrE,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;QAC3C,oBAAoB,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CACpE,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAkC,EAClC,cAAmC;IAEnC,IACE,QAAQ,CAAC,IAAI,KAAK,MAAM;QACxB,QAAQ,CAAC,IAAI,KAAK,gBAAgB;QAClC,QAAQ,CAAC,IAAI,KAAK,eAAe,EACjC,CAAC;QACD,OAAO,uCAAuC,CAAC;IACjD,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CACjB,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,eAAe,CACzB,CAAC;IACF,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,YAAY,EAAE,CAAC;QACtD,OAAO,kEAAkE,CAAC;IAC5E,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,YAAY,EAAE,CAAC;QACvD,OAAO,GAAG,QAAQ,CAAC,IAAI,+CAA+C,CAAC;IACzE,CAAC;IACD,IACE,QAAQ,CAAC,IAAI,KAAK,MAAM;QACxB,CAAC,QAAQ,CAAC,MAAM,KAAK,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,EAC1D,CAAC;QACD,OAAO,GAAG,QAAQ,CAAC,IAAI,sCAAsC,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CACtB,KAA2B,EAC3B,OAA4B;IAE5B,MAAM,WAAW,GAAgC,EAAE,CAAC;IACpD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,OAAO,CACjB,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,eAAe,CACzB,CAAC;QACF,IACE,QAAQ,CAAC,iBAAiB,KAAK,QAAQ,CAAC,eAAe;YACvD,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC;YACxC,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC;YACtC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EACvB,CAAC;YACD,WAAW,CAAC,IAAI,CAAC,UAAU,CACzB,cAAc,EACd,mEAAmE,EACnE,QAAQ,CAAC,eAAe,EACxB;gBACE,mBAAmB,EAAE,QAAQ,CAAC,iBAAiB;gBAC/C,iBAAiB,EAAE,QAAQ,CAAC,eAAe;aAC5C,CACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoC,CAAC;IACnE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,OAAO,CACjB,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,eAAe,CACzB,CAAC;QACF,MAAM,OAAO,GAAG,wBAAwB,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;QACnE,IACE,QAAQ,CAAC,iBAAiB,KAAK,QAAQ,CAAC,eAAe;YACvD,QAAQ,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC;YACxB,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC;YACxC,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC;YACtC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;YACvB,OAAO,KAAK,IAAI,EAChB,CAAC;YACD,WAAW,CAAC,IAAI,CAAC,UAAU,CACzB,cAAc,EACd,OAAO,IAAI,qDAAqD,EAChE,QAAQ,CAAC,EAAE,EACX;gBACE,mBAAmB,EAAE,QAAQ,CAAC,iBAAiB;gBAC/C,iBAAiB,EAAE,QAAQ,CAAC,eAAe;gBAC3C,IAAI,EAAE,QAAQ,CAAC,IAAI;aACpB,CACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC7B,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IAED,MAAM,SAAS,GAAgC,EAAE,CAAC;IAClD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,CACzC,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,eAAe,CACzB,CAAC,CAAC;QACH,SAAS,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,QAAQ,EAAE,EAAE,IAAI,IAAI;YAChC,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;YAC7C,eAAe,EAAE,QAAQ,CAAC,eAAe;YACzC,IAAI,EAAE,QAAQ,EAAE,IAAI,IAAI,MAAM;YAC9B,QAAQ,EAAE,QAAQ,KAAK,SAAS;SACjC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC/C,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QAChD,SAAS,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;YAC7C,eAAe,EAAE,QAAQ,CAAC,eAAe;YACzC,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;IACL,CAAC;IACD,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC9B,OAAO;QACL,SAAS;QACT,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,gBAAgB,CAAC;QACnE,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,OAA0B,EAC1B,QAA8C;IAE9C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAc,CAAC,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;QAChC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAE5E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkC,CAAC;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAA6B,IAAI,CAAC;IAC3C,MAAM,KAAK,GAAG,CAAC,MAAc,EAAQ,EAAE;QACrC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO;QAC3B,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAE,EAAE,CAAC;YAChD,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,UAAU,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBACvC,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC3C,OAAO;YACT,CAAC;YACD,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,SAAS;gBAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC7D,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,SAAS;YAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CACvB,OAA0B,EAC1B,QAA8C;IAE9C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAc,CAAC,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;QAChC,QAAQ,CAAC,GAAG,CACV,QAAQ,CAAC,eAAe,EACxB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAE,GAAG,CAAC,CAC5C,CAAC;QACF,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,OAAO;SAClB,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;SACtC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtB,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAE,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAE,GAAG,CAAC,CAAC;YAC1C,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAC9B,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAClB,KAAsC,EACtC,cAAsD;IAEtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAChE,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IACpC,IACE,MAAM,GAAG,KAAK,CAAC,MAAM;QACrB,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,aAAa,KAAK,IAAI,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,UAAU,CACjB,IAA0B,EAC1B,KAA2B;IAE3B,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;QACvD,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvF,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,MAAuC;IAEvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgC,CAAC;IACtD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5E,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,WAAW,CAClB,IAAkC,EAClC,MAAc;IAEd,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,IAAI;QACZ,UAAU,EAAE,MAAM;QAClB,cAAc,EAAE,MAAM;QACtB,WAAW,EAAE,CAAC,MAAM,CAAC;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,IAAkC,EAClC,UAAkB,EAClB,cAAsB,EACtB,WAA8B;IAE9B,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,KAAK;QACb,UAAU;QACV,cAAc;QACd,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAc,EACd,iBAAsC,EACtC,KAA2B;IAE3B,OAAO;QACL,MAAM;QACN,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,aAAa;QAC5B,YAAY,EAAE,IAAI;QAClB,iBAAiB,EAAE,IAAI;QACvB,iBAAiB;QACjB,cAAc,EAAE,EAAE;QAClB,qBAAqB,EAAE,IAAI;QAC3B,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;QACzC,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAc,EACd,IAA+C,EAC/C,YAA0B,EAC1B,aAA8C,EAC9C,kBAAkE;IAMlE,IACE,CAAC,cAAc,CAAC,IAAI,CAAC,oBAAoB,CAAC;QAC1C,CAAC,cAAc,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACvC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,EAC/E,CAAC;QACD,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,CAAC,WAAW,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC;YAC3D,SAAS,EAAE,EAAE;SACd,CAAC;IACJ,CAAC;IACD,IAAI,UAAwB,CAAC;IAC7B,IAAI,CAAC;QACH,UAAU,GAAG,iBAAiB,CAC5B,IAAI,CAAC,oBAAoB,EACzB,IAAI,CAAC,cAAc,CACpB,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,CAAC,WAAW,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC;YAC3D,SAAS,EAAE,EAAE;SACd,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,KAAK,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC1C,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,CAAC,WAAW,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC;YAC3D,SAAS,EAAE,EAAE;SACd,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,IAAI,IAAI,CAAC,oBAAoB,KAAK,YAAY,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,qBAAqB,GAAG,IAAI,GAAG,CACnC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAU,CAAC,CAC3E,CAAC;IACF,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAClC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAU,CAAC,CACrE,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC;YACjC,GAAG,qBAAqB,CAAC,IAAI,EAAE;YAC/B,GAAG,oBAAoB,CAAC,IAAI,EAAE;SAC/B,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,KAAK,MAAM,iBAAiB,IAAI,cAAc,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC5D,IACE,QAAQ,KAAK,SAAS;YACtB,OAAO,KAAK,SAAS;YACrB,QAAQ,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY,EAC9C,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,2BAA2B,EAAE,MAAM,CAAC,CAAC,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,IACE,OAAO,CAAC,aAAa,KAAK,IAAI;YAC9B,QAAQ,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa;YAChD,SAAS;QACX,MAAM,WAAW,GAAG,kBAAkB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC9D,MAAM,iBAAiB,GAAG,WAAW,KAAK,SAAS;YACjD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,YAAY,EAAE,GAAG,WAAW,CAAC,eAAe,CAAC,CAAC;QAClE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,SAAS,CAAC,IAAI,CAAC,cAAc,CAC3B,WAAW,EAAE,aAAa,KAAK,SAAS;gBACtC,CAAC,CAAC,iBAAiB;gBACnB,CAAC,CAAC,WAAW,KAAK,SAAS;oBAC3B,CAAC,CAAC,6BAA6B;oBAC/B,CAAC,CAAC,gCAAgC,EACpC,iBAAiB,EACjB,MAAM,EACN,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAC5B,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAC/D,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,UAAU,EAChB,MAAM,EACN,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,CAC/B,CAAC,CAAC,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC;QAC5B,SAAS,EAAE,YAAY,CAAC,SAAS,CAAC;KACnC,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CACd,KAA2B,EAC3B,WAAiD;IAEjD,OAAO;QACL,EAAE,EAAE,KAAK;QACT,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,QAAQ,EAAE,IAAI;QACd,qBAAqB,EAAE,EAAE;QACzB,WAAW,EAAE,EAAE;QACf,qBAAqB,EAAE,EAAE;QACzB,wBAAwB,EAAE,EAAE;QAC5B,qBAAqB,EAAE,EAAE;QACzB,kBAAkB,EAAE,EAAE;QACtB,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAA2B;IAE3B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC1D,MAAM,WAAW,GAAgC,EAAE,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,WAAW,CAAC,IAAI,CAAC,UAAU,CACzB,cAAc,EACd,sDAAsD,EACtD,MAAM,CACP,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,KAAK,YAAY,IAAI,IAAI,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;YACtE,WAAW,CAAC,IAAI,CAAC,UAAU,CACzB,cAAc,EACd,0DAA0D,EAC1D,MAAM,CACP,CAAC,CAAC;QACL,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,KAAK,YAAY,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC7D,WAAW,CAAC,IAAI,CAAC,UAAU,CACzB,cAAc,EACd,0DAA0D,EAC1D,MAAM,CACP,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAE/D,MAAM,OAAO,GAAG,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjE,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3D,IAAI,SAAS,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IACxD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC,UAAU,CAC/B,cAAc,EACd,8BAA8B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAClD,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,EAChB,EAAE,cAAc,EAAE,KAAK,EAAE,CAC1B,CAAC,CAAC,CAAC;IACN,CAAC;IAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAuC,CAAC;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;QACtE,MAAM,OAAO,GACX,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;YACnD,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;YACpC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC;YACtC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC;YACvC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;YACrB,CAAC,QAAQ,CAAC,YAAY,KAAK,MAAM;gBAC/B,QAAQ,CAAC,YAAY,KAAK,eAAe,CAAC;YAC5C,CAAC,QAAQ,CAAC,aAAa,KAAK,IAAI;gBAC9B,CAAC,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,EAAE,CAAC;YACZ,WAAW,CAAC,IAAI,CAAC,UAAU,CACzB,cAAc,EACd,kDAAkD,EAClD,QAAQ,CAAC,cAAc,EACvB;gBACE,gBAAgB,EAAE,QAAQ,CAAC,cAAc;gBACzC,gBAAgB,EAAE,QAAQ,CAAC,cAAc;aAC1C,CACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,cAAc,EAAE;YAC9C,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;YAC1D,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAE/D,IACE,KAAK,CAAC,YAAY,KAAK,IAAI;QAC3B,KAAK,CAAC,gBAAgB,KAAK,IAAI;QAC/B,CACE,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;YAClC,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;YAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,CAAC,CAC3E,EACD,CAAC;QACD,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC,UAAU,CAC/B,cAAc,EACd,oDAAoD,EACpD,IAAI,CACL,CAAC,CAAC,CAAC;IACN,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI,IAAI,KAAK,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;QACnE,OAAO;YACL,EAAE,EAAE,IAAI;YACR,YAAY,EAAE,IAAI;YAClB,gBAAgB,EAAE,IAAI;YACtB,QAAQ,EAAE,aAAa;YACvB,qBAAqB,EAAE,SAAS,CAAC,SAAS;YAC1C,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACpC,MAAM;gBACN,MAAM,EAAE,gBAAgB;gBACxB,aAAa,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,SAAS,KAAK,WAAW;oBAC7D,CAAC,CAAC,aAAa;oBACf,CAAC,CAAC,YAAY;gBAChB,YAAY,EAAE,IAAI;gBAClB,iBAAiB,EAAE,IAAI;gBACvB,iBAAiB,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,EAAE,iBAAiB,IAAI,IAAI;gBACzE,cAAc,EAAE,EAAE;gBAClB,qBAAqB,EAAE,IAAI;gBAC3B,YAAY,EAAE,EAAE;gBAChB,eAAe,EAAE,EAAE;aACpB,CAAC,CAAC;YACH,qBAAqB,EAAE,EAAE;YACzB,wBAAwB,EAAE,EAAE;YAC5B,qBAAqB,EAAE,EAAE;YACzB,kBAAkB,EAAE,EAAE;YACtB,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,KAAK,IAAI,CAAC,EAAE,CAAC;QACxE,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC,UAAU,CAC/B,cAAc,EACd,+DAA+D,EAC/D,IAAI,CACL,CAAC,CAAC,CAAC;IACN,CAAC;IACD,IACE,KAAK,CAAC,YAAY,KAAK,IAAI;QAC3B,CACE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC;YACzC,KAAK,CAAC,YAAY,IAAI,CAAC;YACvB,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,gBAAgB,CAAC;YAC7C,KAAK,CAAC,gBAAiB,IAAI,CAAC,CAC7B,EACD,CAAC;QACD,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC,UAAU,CAC/B,cAAc,EACd,sDAAsD,EACtD,IAAI,CACL,CAAC,CAAC,CAAC;IACN,CAAC;IAED,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IAChE,IACE,KAAK,CAAC,YAAY,KAAK,4BAA4B;QACnD,KAAK,CAAC,gBAAgB,KAAK,iCAAiC,EAC5D,CAAC;QACD,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAC3D,MAAM,EACN,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,EAAE,iBAAiB,IAAI,IAAI,EACtD,WAAW,CAAC,eAAe,EAAE,MAAM,CAAC,CACrC,CAAC,CAAC;QACH,OAAO;YACL,EAAE,EAAE,IAAI;YACR,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,QAAQ;YACR,qBAAqB,EAAE,SAAS,CAAC,SAAS;YAC1C,WAAW;YACX,qBAAqB,EAAE,EAAE;YACzB,wBAAwB,EAAE,EAAE;YAC5B,qBAAqB,EAAE,EAAE;YACzB,kBAAkB,EAAE,OAAO;YAC3B,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwB,CAAC;IACvD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC;YACH,cAAc,CAAC,GAAG,CAChB,MAAM,EACN,oBAAoB,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,QAAQ,CAAC,CACtD,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,WAAW,CAAC,IAAI,CAAC,UAAU,CACzB,cAAc,EACd,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,4BAA4B,EACrE,MAAM,CACP,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAE/D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;QAC3C,EAAE;QACF,EAAiC;KAClC,CAAC,CAAC,CAAC;IACJ,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC1C,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAEnE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC7D,KAAK,MAAM,MAAM,IAAI,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;QACpC,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;QACjD,MAAM,uBAAuB,GAA2B,EAAE,CAAC;QAC3D,MAAM,uBAAuB,GAAa,EAAE,CAAC;QAC7C,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE,EAAE,CAAC;YAC7C,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAE,CAAC;YAC7D,IAAI,WAAW,CAAC,qBAAqB,KAAK,IAAI,EAAE,CAAC;gBAC/C,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;YAC3D,CAAC;YACD,uBAAuB,CAAC,IAAI,CAAC;gBAC3B,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;gBAC7C,YAAY,EAAE,QAAQ,CAAC,IAAyB;gBAChD,aAAa,EAAE,WAAW,CAAC,qBAAqB;aACjD,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAC5D,IAAI,QAAQ,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;gBACpC,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;YACxD,CAAC;YACD,uBAAuB,CAAC,IAAI,CAAC;gBAC3B,iBAAiB,EAAE,QAAQ,CAAC,cAAc;gBAC1C,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,aAAa,EAAE,QAAQ,CAAC,aAAa;aACtC,CAAC,CAAC;QACL,CAAC;QACD,uBAAuB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC3C,oBAAoB,CAAC,IAAI,CAAC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,CAAC,CACtE,CAAC;QACF,IACE,uBAAuB,CAAC,IAAI,CAC1B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,KAAK,GAAG,CAAC;YACT,uBAAuB,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,iBAAiB;gBACnD,IAAI,CAAC,iBAAiB,CAC3B,EACD,CAAC;YACD,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC,UAAU,CAC/B,cAAc,EACd,6DAA6D,EAC7D,MAAM,CACP,CAAC,CAAC,CAAC;QACN,CAAC;QACD,MAAM,aAAa,GAA8B,uBAAuB;aACrE,MAAM,CAAC,CAAC,IAAI,EAAmC,EAAE,CAChD,IAAI,CAAC,aAAa,KAAK,IAAI,CAC5B,CAAC;QAEJ,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,MAAM,KAAK,CAAC;YAC5D,CAAC,CAAC,iBAAiB,CAAC,YAAY,EAAE,aAAa,CAAC;YAChD,CAAC,CAAC,IAAI,CAAC;QACT,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,MAAM,iBAAiB,GAAG,IAAI,EAAE,iBAAiB,IAAI,IAAI,CAAC;QAC1D,IAAI,YAAY,GAAoC,EAAE,CAAC;QACvD,IAAI,eAAe,GAAoC,EAAE,CAAC;QAC1D,IAAI,cAAc,GAAG,IAAI,CAAC;QAC1B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,UAAU,GAAG,qBAAqB,CACtC,MAAM,EACN,IAAI,EACJ,YAAY,EACZ,uBAAuB,EACvB,OAAO,CACR,CAAC;YACF,cAAc,GAAG,UAAU,CAAC,UAAU,CAAC;YACvC,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC;YACjC,eAAe,GAAG,UAAU,CAAC,SAAS,CAAC;QACzC,CAAC;QACD,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,eAAe,GAAG,YAAY,CAAC;gBAC7B,GAAG,eAAe;gBAClB,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC,iBAAiB,EAAE,EAAE;oBACvD,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;oBACnD,MAAM,iBAAiB,GAAG,WAAW,KAAK,SAAS;wBACjD,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,YAAY,EAAE,GAAG,WAAW,CAAC,eAAe,CAAC,CAAC;oBAClE,OAAO,iBAAiB,CAAC,MAAM,KAAK,CAAC;wBACnC,CAAC,CAAC,CAAC,cAAc,CACb,yBAAyB,EACzB,iBAAiB,EACjB,MAAM,EACN,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAC5B,CAAC;wBACJ,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAC7C,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,UAAU,EAChB,MAAM,EACN,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,CAC/B,CAAC,CAAC;gBACT,CAAC,CAAC;aACH,CAAC,CAAC;QACL,CAAC;QAED,IAAI,aAAa,GAA+B,IAAI,CAAC,SAAS,KAAK,WAAW;YAC5E,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,YAAY,CAAC;QACjB,IAAI,qBAAqB,GACvB,IAAI,CAAC,SAAS,KAAK,YAAY,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7D,IAAI,uBAAuB,GAAgC,IAAI,CAAC;QAChE,IAAI,IAAI,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;YAC7B,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,uBAAuB,GAAG,WAAW,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;YACnE,CAAC;iBAAM,IACL,OAAO,CAAC,YAAY,KAAK,CAAC;gBAC1B,CAAC,cAAc,CAAC,OAAO,CAAC,gBAAgB,CAAC;gBACzC,CAAC,OAAO,CAAC,MAAM,KAAK,YAAY,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC;gBACjE,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC;gBACjE,CAAC,OAAO,CAAC,MAAM,KAAK,YAAY,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC;gBAC7D,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS;oBAC3B,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,EAC7D,CAAC;gBACD,uBAAuB,GAAG,WAAW,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;YACnE,CAAC;iBAAM,IACL,iBAAiB,KAAK,IAAI;gBAC1B,iBAAiB,KAAK,IAAI;gBAC1B,OAAO,CAAC,gBAAgB,KAAK,iBAAiB;gBAC9C,OAAO,CAAC,gBAAgB,KAAK,iBAAiB,EAC9C,CAAC;gBACD,uBAAuB,GAAG,WAAW,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;YAC1E,CAAC;iBAAM,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;gBAC3C,aAAa,GAAG,YAAY,CAAC;gBAC7B,qBAAqB,GAAG,iBAAiB,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC;oBACH,qBAAqB,GAAG,yBAAyB,CAC/C,MAAM,EACN,OAAO,CAAC,gBAAgB,EACxB,OAAO,CAAC,OAAQ,CACjB,CAAC;oBACF,aAAa,GAAG,SAAS,CAAC;gBAC5B,CAAC;gBAAC,MAAM,CAAC;oBACP,qBAAqB,GAAG,IAAI,CAAC;oBAC7B,uBAAuB,GAAG,WAAW,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;gBACnE,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,uBAAuB,KAAK,IAAI,EAAE,CAAC;YACrC,YAAY,GAAG,YAAY,CAAC,CAAC,GAAG,YAAY,EAAE,uBAAuB,CAAC,CAAC,CAAC;QAC1E,CAAC;QAED,IAAI,MAA+B,CAAC;QACpC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,GAAG,UAAU,CAAC;QACtB,CAAC;aAAM,IAAI,CAAC,cAAc,EAAE,CAAC;YAC3B,MAAM,GAAG,aAAa,CAAC;YACvB,qBAAqB,GAAG,IAAI,CAAC;QAC/B,CAAC;aAAM,IAAI,iBAAiB,KAAK,IAAI,EAAE,CAAC;YACtC,MAAM,GAAG,aAAa,CAAC;YACvB,qBAAqB,GAAG,IAAI,CAAC;QAC/B,CAAC;aAAM,IACL,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAC7B,IAAI,KAAK,uBAAuB;YAChC,IAAI,KAAK,2BAA2B,CACrC;YACD,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,yBAAyB,CAAC;YACtE,iBAAiB,KAAK,iBAAiB,EACvC,CAAC;YACD,MAAM,GAAG,iBAAiB,CAAC;QAC7B,CAAC;aAAM,IAAI,uBAAuB,KAAK,IAAI,EAAE,CAAC;YAC5C,MAAM,GAAG,aAAa,CAAC;YACvB,qBAAqB,GAAG,IAAI,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,MAAM,wBAAwB,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACvE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAE,CAAC,SAAS,KAAK,YAAY,CACtE,CAAC;YACF,MAAM,GAAG,IAAI,CAAC,SAAS,KAAK,YAAY,IAAI,wBAAwB;gBAClE,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,UAAU,CAAC;QACjB,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE;YAClB,MAAM;YACN,MAAM;YACN,aAAa;YACb,YAAY;YACZ,iBAAiB;YACjB,iBAAiB;YACjB,cAAc,EAAE,aAAa;YAC7B,qBAAqB;YACrB,YAAY,EAAE,YAAY,CAAC,YAAY,CAAC;YACxC,eAAe,EAAE,YAAY,CAAC,eAAe,CAAC;SAC/C,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,CAAC;IAClE,OAAO;QACL,EAAE,EAAE,IAAI;QACR,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,QAAQ;QACR,qBAAqB,EAAE,SAAS,CAAC,SAAS;QAC1C,WAAW;QACX,qBAAqB,EAAE,WAAW;aAC/B,MAAM,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAC3D,IAAI,KAAK,uBAAuB;YAChC,IAAI,KAAK,2BAA2B,CACrC,CAAC;aACD,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC;QAC9B,wBAAwB,EAAE,WAAW;aAClC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,EAAE,EAAE,CACtC,MAAM,KAAK,iBAAiB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,CAC3D;aACA,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC;QAC9B,qBAAqB,EAAE,WAAW;aAC/B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,iBAAiB,CAAC;aACpD,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC;QAC9B,kBAAkB,EAAE,WAAW;aAC5B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC;aAChD,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC;QAC9B,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,MAAiC;IAEjC,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,CAAC,MAAM,iCAAiC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO;QACL,oBAAoB,EAAE,MAAM,CAAC,YAAY;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,cAAc,EAAE,MAAM,CAAC,cAAc;KACtC,CAAC;AACJ,CAAC"}