@davidahmann/mill 0.1.4

package/dist/planning/impact.js

@@ -0,0 +1,400 @@
+import path from "node:path";
+import { parse as parseYaml } from "yaml";
+import { impactManifestSchema, productContractSchema, scenarioSetSchema, } from "../contracts/schemas.js";
+import { canonicalDigest } from "../contracts/canonical.js";
+import { ExitCode, MillError } from "../errors.js";
+import { safeReadText } from "../security/safe-path.js";
+function parseContinuityDocument(source, extension, schema, label) {
+    let raw;
+    try {
+        raw = extension === ".json" ? JSON.parse(source) : parseYaml(source);
+    }
+    catch (error) {
+        throw new MillError("INVALID_CONTINUITY_INPUT", `${label} is not valid YAML or JSON.`, ExitCode.data, { cause: String(error) });
+    }
+    const parsed = schema.safeParse(raw);
+    if (!parsed.success) {
+        throw new MillError("INVALID_CONTINUITY_INPUT", `${label} does not satisfy its schema.`, ExitCode.data, { issues: parsed.error.issues });
+    }
+    return parsed.data;
+}
+export async function loadImpactPlanningInputs(input) {
+    const [product, scenarios, impact] = await Promise.all([
+        safeReadText(input.root, input.productPath, 2 * 1024 * 1024),
+        safeReadText(input.root, input.scenarioPath, 2 * 1024 * 1024),
+        safeReadText(input.root, input.impactPath, 2 * 1024 * 1024),
+    ]);
+    return {
+        product: parseContinuityDocument(product, path.extname(input.productPath).toLowerCase(), productContractSchema, input.productPath),
+        scenarios: parseContinuityDocument(scenarios, path.extname(input.scenarioPath).toLowerCase(), scenarioSetSchema, input.scenarioPath),
+        manifest: parseContinuityDocument(impact, path.extname(input.impactPath).toLowerCase(), impactManifestSchema, input.impactPath),
+    };
+}
+function unique(values) {
+    return new Set(values).size === values.length;
+}
+function duplicates(values) {
+    const seen = new Set();
+    const repeated = new Set();
+    for (const value of values) {
+        if (seen.has(value))
+            repeated.add(value);
+        seen.add(value);
+    }
+    return [...repeated].sort();
+}
+export function semanticClaimDigest(kind, id, value) {
+    return canonicalDigest({ kind, id, value });
+}
+export function assessImpactManifest(input) {
+    const blockers = [];
+    const productDigest = canonicalDigest(input.product);
+    const acceptanceIds = new Set(input.product.acceptance.map((item) => item.id));
+    const outcomeIds = new Set(input.product.outcomes.map((item) => item.id));
+    const invariantIds = new Set(input.product.invariants.map((item) => item.id));
+    const decisions = new Map(input.product.decisions.map((decision) => [decision.id, decision]));
+    const scenarios = new Map(input.scenarios.scenarios.map((scenario) => [scenario.id, scenario]));
+    for (const duplicate of duplicates([
+        ...input.product.outcomes.map((item) => item.id),
+        ...input.product.acceptance.map((item) => item.id),
+        ...input.product.invariants.map((item) => item.id),
+        ...input.product.decisions.map((item) => item.id),
+        ...input.scenarios.scenarios.map((item) => item.id),
+    ])) {
+        blockers.push(`stable ID is reused: ${duplicate}`);
+    }
+    if (input.manifest.productContractDigest !== productDigest) {
+        blockers.push("impact manifest is bound to another product contract");
+    }
+    if (input.scenarios.productContractDigest !== productDigest) {
+        blockers.push("scenario set is bound to another product contract");
+    }
+    if (!outcomeIds.has(input.manifest.outcomeId)) {
+        blockers.push(`outcome is unresolved: ${input.manifest.outcomeId}`);
+    }
+    for (const [label, values] of [
+        ["acceptance", input.manifest.acceptanceIds],
+        ["affected invariant", input.manifest.affectedInvariantIds],
+        ["uncertain invariant", input.manifest.uncertainInvariantIds],
+        ["scenario", input.manifest.scenarioIds],
+        ["command", input.manifest.commandIds],
+    ]) {
+        if (!unique(values))
+            blockers.push(`${label} references are duplicated`);
+    }
+    for (const id of input.manifest.acceptanceIds) {
+        if (!acceptanceIds.has(id))
+            blockers.push(`acceptance is unresolved: ${id}`);
+    }
+    for (const id of [
+        ...input.manifest.affectedInvariantIds,
+        ...input.manifest.uncertainInvariantIds,
+    ]) {
+        if (!invariantIds.has(id))
+            blockers.push(`invariant is unresolved: ${id}`);
+    }
+    for (const id of input.manifest.uncertainInvariantIds) {
+        if (input.manifest.affectedInvariantIds.includes(id)) {
+            blockers.push(`invariant cannot be both affected and uncertain: ${id}`);
+        }
+    }
+    for (const id of input.manifest.scenarioIds) {
+        if (!scenarios.has(id))
+            blockers.push(`scenario is unresolved: ${id}`);
+    }
+    const impactedAcceptance = new Set(input.manifest.acceptanceIds);
+    const impactedInvariants = new Set([
+        ...input.manifest.affectedInvariantIds,
+        ...input.manifest.uncertainInvariantIds,
+    ]);
+    const selectedScenarios = input.manifest.scenarioIds
+        .map((id) => scenarios.get(id))
+        .filter((scenario) => scenario !== undefined);
+    for (const scenario of selectedScenarios) {
+        const outsideAcceptance = scenario.acceptanceRefs.filter((id) => !impactedAcceptance.has(id));
+        const outsideInvariants = scenario.invariantRefs.filter((id) => !impactedInvariants.has(id));
+        if (outsideAcceptance.length > 0 || outsideInvariants.length > 0) {
+            blockers.push(`selected scenario is outside impact closure: ${scenario.id}`);
+        }
+        if (scenario.oracleOwner === "repository" &&
+            scenario.executionRef === undefined) {
+            blockers.push(`repository scenario lacks an execution command: ${scenario.id}`);
+        }
+        else if (scenario.executionRef !== undefined &&
+            !input.manifest.commandIds.includes(scenario.executionRef)) {
+            blockers.push(`scenario command is outside approved impact: ${scenario.id}:${scenario.executionRef}`);
+        }
+    }
+    for (const id of input.manifest.acceptanceIds) {
+        if (!selectedScenarios.some((scenario) => scenario.acceptanceRefs.includes(id))) {
+            blockers.push(`impacted acceptance lacks a selected scenario: ${id}`);
+        }
+    }
+    for (const id of impactedInvariants) {
+        if (!selectedScenarios.some((scenario) => scenario.invariantRefs.includes(id))) {
+            blockers.push(`impacted invariant lacks a selected scenario: ${id}`);
+        }
+    }
+    for (const id of input.manifest.materialDecisions) {
+        const decision = decisions.get(id);
+        if (decision === undefined)
+            blockers.push(`decision is unresolved: ${id}`);
+        else if (decision.status !== "approved") {
+            blockers.push(`decision is not approved: ${id}`);
+        }
+    }
+    for (const id of input.manifest.affectedInvariantIds) {
+        const invariant = input.product.invariants.find((item) => item.id === id);
+        if (invariant?.verification.mode === "command" &&
+            !input.manifest.commandIds.includes(invariant.verification.ref)) {
+            blockers.push(`invariant command is outside approved impact: ${id}:${invariant.verification.ref}`);
+        }
+        else if (invariant?.verification.mode === "unsupported") {
+            blockers.push(`affected invariant has unsupported verification: ${id}`);
+        }
+    }
+    const now = input.now ?? new Date();
+    const authorityMode = input.authorityMode ?? "authorize";
+    const activeExceptions = input.manifest.exceptions.filter((exception) => {
+        const approvedAt = Date.parse(exception.approvedAt);
+        const expiresAt = Date.parse(exception.expiresAt);
+        return (approvedAt <= now.getTime() &&
+            expiresAt > approvedAt &&
+            (authorityMode === "readback" || expiresAt > now.getTime()));
+    });
+    const exceptionScopes = new Set(activeExceptions.flatMap((exception) => exception.scopeRefs));
+    for (const exception of input.manifest.exceptions) {
+        const approvedAt = Date.parse(exception.approvedAt);
+        const expiresAt = Date.parse(exception.expiresAt);
+        if (approvedAt > now.getTime()) {
+            blockers.push(`impact exception is not active yet: ${exception.id}`);
+        }
+        if (expiresAt <= approvedAt) {
+            blockers.push(`impact exception has an invalid interval: ${exception.id}`);
+        }
+        else if (authorityMode === "authorize" && expiresAt <= now.getTime()) {
+            blockers.push(`impact exception is expired: ${exception.id}`);
+        }
+    }
+    for (const id of input.manifest.uncertainInvariantIds) {
+        if (!exceptionScopes.has(id)) {
+            blockers.push(`uncertain invariant lacks an approved exception: ${id}`);
+        }
+    }
+    for (const unresolved of input.manifest.unresolved) {
+        if (!exceptionScopes.has(`unresolved:${unresolved}`)) {
+            blockers.push(`unresolved impact lacks an approved exception: ${unresolved}`);
+        }
+    }
+    if (input.manifest.riskClass !== "low") {
+        if (!selectedScenarios.some((scenario) => scenario.executionRef !== undefined &&
+            input.manifest.commandIds.includes(scenario.executionRef))) {
+            blockers.push("medium/high risk impact lacks a delivered-surface scenario");
+        }
+        if (!selectedScenarios.some((scenario) => scenario.kind !== "normal")) {
+            blockers.push("medium/high risk impact lacks a non-normal scenario");
+        }
+    }
+    const proposal = { ...input.manifest, approval: null };
+    const proposalDigest = canonicalDigest(proposal);
+    if (input.manifest.approval === null) {
+        blockers.push("impact manifest is not human approved");
+    }
+    else {
+        if (Date.parse(input.manifest.approval.approvedAt) > now.getTime()) {
+            blockers.push("impact approval is not active yet");
+        }
+        if (input.manifest.approval.proposalDigest !== proposalDigest) {
+            blockers.push("impact approval is not bound to the exact proposal");
+        }
+    }
+    return {
+        proposalDigest,
+        manifestDigest: canonicalDigest(input.manifest),
+        approved: blockers.length === 0,
+        blockers: [...new Set(blockers)].sort(),
+    };
+}
+export function buildSemanticEvidence(input) {
+    if (input.task.schemaVersion !== "2") {
+        throw new MillError("CONTINUITY_TASK_VERSION_REQUIRED", "Semantic evidence requires a task-packet version 2 continuity contract.", ExitCode.configuration);
+    }
+    const task = input.task;
+    const now = input.now ?? new Date();
+    if (!unique(task.attestations.map((attestation) => attestation.id))) {
+        throw new MillError("DUPLICATE_ATTESTATION_ID", "Human attestation IDs must be unique within a task packet.", ExitCode.configuration);
+    }
+    const activeAttestation = (attestationId) => {
+        const attestation = task.attestations.find((candidate) => candidate.id === attestationId);
+        if (attestation === undefined ||
+            Date.parse(attestation.approvedAt) > now.getTime() ||
+            Date.parse(attestation.expiresAt) <= now.getTime()) {
+            return undefined;
+        }
+        return attestation;
+    };
+    const claimedBy = (kind, id, digest, attestationId) => task.attestations.find((attestation) => (attestationId === undefined || attestation.id === attestationId) &&
+        activeAttestation(attestation.id) !== undefined &&
+        attestation.claims.some((claim) => claim.kind === kind && claim.id === id && claim.digest === digest));
+    const commands = new Map(input.commandResults.map((command) => [command.commandId, command.status]));
+    const invariants = new Map(input.product.invariants.map((invariant) => [invariant.id, invariant]));
+    const scenarios = new Map(input.scenarios.scenarios.map((scenario) => [scenario.id, scenario]));
+    const items = [];
+    const taskAcceptance = new Map(task.acceptance.map((acceptance) => [acceptance.id, acceptance]));
+    for (const id of input.manifest.acceptanceIds) {
+        const acceptance = taskAcceptance.get(id);
+        if (acceptance?.evidence === undefined) {
+            items.push({
+                kind: "acceptance",
+                id,
+                coverage: acceptance?.coverage ?? "new_behavior",
+                status: "blocked",
+                evidenceRefs: [],
+                reason: "evidence disposition is missing",
+            });
+            continue;
+        }
+        if (acceptance.evidence.mode === "command") {
+            const commandApproved = input.manifest.commandIds.includes(acceptance.evidence.commandId);
+            const passed = commandApproved &&
+                commands.get(acceptance.evidence.commandId) === "passed";
+            items.push({
+                kind: "acceptance",
+                id,
+                coverage: acceptance.coverage,
+                status: passed ? "passed" : "blocked",
+                evidenceRefs: [`command:${acceptance.evidence.commandId}`],
+                ...(passed
+                    ? {}
+                    : {
+                        reason: commandApproved
+                            ? "declared command did not pass"
+                            : "declared command is outside approved impact",
+                    }),
+            });
+            continue;
+        }
+        if (acceptance.evidence.mode === "human") {
+            const attestation = claimedBy("acceptance", id, semanticClaimDigest("acceptance", id, acceptance), acceptance.evidence.attestationId);
+            const valid = attestation !== undefined;
+            items.push({
+                kind: "acceptance",
+                id,
+                coverage: acceptance.coverage,
+                status: valid ? "attested" : "blocked",
+                evidenceRefs: [
+                    `attestation:${acceptance.evidence.attestationId}:acceptance:${id}`,
+                ],
+                ...(valid
+                    ? {}
+                    : { reason: "human attestation is stale or mismatched" }),
+            });
+            continue;
+        }
+        items.push({
+            kind: "acceptance",
+            id,
+            coverage: acceptance.coverage,
+            status: "blocked",
+            evidenceRefs: [],
+            reason: acceptance.evidence.reason,
+        });
+    }
+    const acceptanceEvidence = new Map(items.map((item) => [item.id, item]));
+    const linked = (kind, id) => task.acceptance
+        .filter((acceptance) => kind === "invariant"
+        ? acceptance.invariantIds.includes(id)
+        : acceptance.scenarioIds.includes(id))
+        .map((acceptance) => acceptanceEvidence.get(acceptance.id))
+        .filter((item) => item !== undefined);
+    const exceptionFor = (id) => input.manifest.exceptions.find((exception) => exception.scopeRefs.includes(id));
+    for (const id of input.manifest.affectedInvariantIds) {
+        const invariant = invariants.get(id);
+        const evidence = linked("invariant", id);
+        const linkedPassed = evidence.length > 0 &&
+            evidence.every((item) => item.status !== "blocked");
+        const commandRef = invariant?.verification.ref;
+        const commandPassed = invariant?.verification.mode === "command" &&
+            commandRef !== undefined &&
+            input.manifest.commandIds.includes(commandRef) &&
+            commands.get(commandRef) === "passed";
+        const humanPassed = invariant?.verification.mode === "human" &&
+            evidence.length > 0 &&
+            evidence.every((item) => item.status !== "blocked") &&
+            claimedBy("invariant", id, semanticClaimDigest("invariant", id, invariant)) !== undefined;
+        const passed = linkedPassed && (commandPassed || humanPassed);
+        items.push({
+            kind: "invariant",
+            id,
+            coverage: "preservation",
+            status: passed ? (humanPassed ? "attested" : "passed") : "blocked",
+            evidenceRefs: [
+                ...evidence.map((item) => `acceptance:${item.id}`),
+                ...(commandPassed ? [`command:${commandRef}`] : []),
+                ...(humanPassed ? [`attestation:invariant:${id}`] : []),
+            ],
+            ...(passed
+                ? {}
+                : { reason: "affected invariant lacks passing evidence" }),
+        });
+    }
+    for (const id of input.manifest.uncertainInvariantIds) {
+        const exception = exceptionFor(id);
+        const active = exception !== undefined &&
+            Date.parse(exception.approvedAt) <= now.getTime() &&
+            Date.parse(exception.expiresAt) > now.getTime();
+        items.push({
+            kind: "invariant",
+            id,
+            coverage: "preservation",
+            status: active ? "attested" : "blocked",
+            evidenceRefs: active ? [`exception:${exception.id}`] : [],
+            ...(!active
+                ? { reason: "uncertain invariant lacks an active exception" }
+                : {}),
+        });
+    }
+    for (const id of input.manifest.scenarioIds) {
+        const scenario = scenarios.get(id);
+        const evidence = linked("scenario", id);
+        const linkedPassed = evidence.length > 0 &&
+            evidence.every((item) => item.status !== "blocked");
+        const commandRef = scenario?.executionRef;
+        const commandPassed = commandRef !== undefined &&
+            input.manifest.commandIds.includes(commandRef) &&
+            commands.get(commandRef) === "passed";
+        const humanPassed = commandRef === undefined &&
+            scenario !== undefined &&
+            scenario.oracleOwner !== "repository" &&
+            evidence.length > 0 &&
+            evidence.every((item) => item.status !== "blocked") &&
+            claimedBy("scenario", id, semanticClaimDigest("scenario", id, scenario)) !== undefined;
+        const passed = linkedPassed && (commandPassed || humanPassed);
+        items.push({
+            kind: "scenario",
+            id,
+            coverage: scenario?.coverage ?? "new_behavior",
+            status: passed ? (humanPassed ? "attested" : "passed") : "blocked",
+            evidenceRefs: [
+                ...evidence.map((item) => `acceptance:${item.id}`),
+                ...(commandPassed ? [`command:${commandRef}`] : []),
+                ...(humanPassed ? [`attestation:scenario:${id}`] : []),
+            ],
+            ...(passed ? {} : { reason: "scenario lacks passing evidence" }),
+        });
+    }
+    const newBehavior = items.filter((item) => item.coverage === "new_behavior" || item.coverage === "both");
+    const preservation = items.filter((item) => item.coverage === "preservation" || item.coverage === "both");
+    const newBehaviorPassed = newBehavior.length > 0 &&
+        newBehavior.every((item) => item.status !== "blocked");
+    const preservationPassed = preservation.length === 0 ||
+        preservation.every((item) => item.status !== "blocked");
+    return {
+        impactManifestDigest: canonicalDigest(input.manifest),
+        items,
+        newBehaviorPassed,
+        preservationPassed,
+        passed: newBehaviorPassed && preservationPassed,
+    };
+}
+//# sourceMappingURL=impact.js.map

package/dist/planning/impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.js","sourceRoot":"","sources":["../../src/planning/impact.ts"],"names":[],"mappings":"AACA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAG1C,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,eAAe,EAAkB,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAcxD,SAAS,uBAAuB,CAC9B,MAAc,EACd,SAAiB,EACjB,MAAoB,EACpB,KAAa;IAEb,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACvE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,SAAS,CACjB,0BAA0B,EAC1B,GAAG,KAAK,6BAA6B,EACrC,QAAQ,CAAC,IAAI,EACb,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CACzB,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,SAAS,CACjB,0BAA0B,EAC1B,GAAG,KAAK,+BAA+B,EACvC,QAAQ,CAAC,IAAI,EACb,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAChC,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,KAK9C;IAKC,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACrD,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;QAC5D,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;QAC7D,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;KAC5D,CAAC,CAAC;IACH,OAAO;QACL,OAAO,EAAE,uBAAuB,CAC9B,OAAO,EACP,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAC7C,qBAAqB,EACrB,KAAK,CAAC,WAAW,CAClB;QACD,SAAS,EAAE,uBAAuB,CAChC,SAAS,EACT,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,EAC9C,iBAAiB,EACjB,KAAK,CAAC,YAAY,CACnB;QACD,QAAQ,EAAE,uBAAuB,CAC/B,MAAM,EACN,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,EAC5C,oBAAoB,EACpB,KAAK,CAAC,UAAU,CACjB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,MAAyB;IACvC,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC;AAChD,CAAC;AAED,SAAS,UAAU,CAAC,MAAyB;IAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAA6C,EAC7C,EAAU,EACV,KAAgB;IAEhB,OAAO,eAAe,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAMpC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,OAA+B,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAChD,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CACnE,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CACrE,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC;QACjC,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,GAAG,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;KACpD,CAAC,EAAE,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,wBAAwB,SAAS,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,qBAAqB,KAAK,aAAa,EAAE,CAAC;QAC3D,QAAQ,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,CAAC,qBAAqB,KAAK,aAAa,EAAE,CAAC;QAC5D,QAAQ,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI;QAC5B,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC;QAC5C,CAAC,oBAAoB,EAAE,KAAK,CAAC,QAAQ,CAAC,oBAAoB,CAAC;QAC3D,CAAC,qBAAqB,EAAE,KAAK,CAAC,QAAQ,CAAC,qBAAqB,CAAC;QAC7D,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;QACxC,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;KAC9B,EAAE,CAAC;QACX,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,4BAA4B,CAAC,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,6BAA6B,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,KAAK,MAAM,EAAE,IAAI;QACf,GAAG,KAAK,CAAC,QAAQ,CAAC,oBAAoB;QACtC,GAAG,KAAK,CAAC,QAAQ,CAAC,qBAAqB;KACxC,EAAE,CAAC;QACF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC;QACtD,IAAI,KAAK,CAAC,QAAQ,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC,oDAAoD,EAAE,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACjE,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;QACjC,GAAG,KAAK,CAAC,QAAQ,CAAC,oBAAoB;QACtC,GAAG,KAAK,CAAC,QAAQ,CAAC,qBAAqB;KACxC,CAAC,CAAC;IACH,MAAM,iBAAiB,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW;SACjD,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;SAC9B,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAChD,KAAK,MAAM,QAAQ,IAAI,iBAAiB,EAAE,CAAC;QACzC,MAAM,iBAAiB,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,CACtD,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,CACpC,CAAC;QACF,MAAM,iBAAiB,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CACrD,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,CACpC,CAAC;QACF,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjE,QAAQ,CAAC,IAAI,CACX,gDAAgD,QAAQ,CAAC,EAAE,EAAE,CAC9D,CAAC;QACJ,CAAC;QACD,IACE,QAAQ,CAAC,WAAW,KAAK,YAAY;YACrC,QAAQ,CAAC,YAAY,KAAK,SAAS,EACnC,CAAC;YACD,QAAQ,CAAC,IAAI,CACX,mDAAmD,QAAQ,CAAC,EAAE,EAAE,CACjE,CAAC;QACJ,CAAC;aAAM,IACL,QAAQ,CAAC,YAAY,KAAK,SAAS;YACnC,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,EAC1D,CAAC;YACD,QAAQ,CAAC,IAAI,CACX,gDAAgD,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,YAAY,EAAE,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QAC9C,IACE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACnC,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC,CACrC,EACD,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,kDAAkD,EAAE,EAAE,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,kBAAkB,EAAE,CAAC;QACpC,IACE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAC1E,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,iDAAiD,EAAE,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;aACtE,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC,6BAA6B,EAAE,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,oBAAoB,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1E,IACE,SAAS,EAAE,YAAY,CAAC,IAAI,KAAK,SAAS;YAC1C,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,EAC/D,CAAC;YACD,QAAQ,CAAC,IAAI,CACX,iDAAiD,EAAE,IAAI,SAAS,CAAC,YAAY,CAAC,GAAG,EAAE,CACpF,CAAC;QACJ,CAAC;aAAM,IAAI,SAAS,EAAE,YAAY,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC1D,QAAQ,CAAC,IAAI,CAAC,oDAAoD,EAAE,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACpC,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,IAAI,WAAW,CAAC;IACzD,MAAM,gBAAgB,GAAG,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE;QACtE,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAClD,OAAO,CACL,UAAU,IAAI,GAAG,CAAC,OAAO,EAAE;YAC3B,SAAS,GAAG,UAAU;YACtB,CAAC,aAAa,KAAK,UAAU,IAAI,SAAS,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,CAC5D,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,gBAAgB,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAC7D,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;QAClD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,UAAU,GAAG,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC,uCAAuC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,SAAS,IAAI,UAAU,EAAE,CAAC;YAC5B,QAAQ,CAAC,IAAI,CACX,6CAA6C,SAAS,CAAC,EAAE,EAAE,CAC5D,CAAC;QACJ,CAAC;aAAM,IAAI,aAAa,KAAK,WAAW,IAAI,SAAS,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YACvE,QAAQ,CAAC,IAAI,CAAC,gCAAgC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC;QACtD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,oDAAoD,EAAE,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;QACnD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,UAAU,EAAE,CAAC,EAAE,CAAC;YACrD,QAAQ,CAAC,IAAI,CACX,kDAAkD,UAAU,EAAE,CAC/D,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,KAAK,KAAK,EAAE,CAAC;QACvC,IACE,CAAC,iBAAiB,CAAC,IAAI,CACrB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,YAAY,KAAK,SAAS;YACnC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAC5D,EACD,CAAC;YACD,QAAQ,CAAC,IAAI,CACX,4DAA4D,CAC7D,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YACtE,QAAQ,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACvD,MAAM,cAAc,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACrC,QAAQ,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACzD,CAAC;SAAM,CAAC;QACN,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YACnE,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,KAAK,cAAc,EAAE,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,OAAO;QACL,cAAc;QACd,cAAc,EAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC/C,QAAQ,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC/B,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE;KACxC,CAAC;AACJ,CAAC;AAmBD,MAAM,UAAU,qBAAqB,CAAC,KAUrC;IACC,IAAI,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,GAAG,EAAE,CAAC;QACrC,MAAM,IAAI,SAAS,CACjB,kCAAkC,EAClC,yEAAyE,EACzE,QAAQ,CAAC,aAAa,CACvB,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,SAAS,CACjB,0BAA0B,EAC1B,4DAA4D,EAC5D,QAAQ,CAAC,aAAa,CACvB,CAAC;IACJ,CAAC;IACD,MAAM,iBAAiB,GAAG,CACxB,aAAqB,EAC2B,EAAE;QAClD,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CACxC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,aAAa,CAC9C,CAAC;QACF,IACE,WAAW,KAAK,SAAS;YACzB,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE;YAClD,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,EAClD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAChB,IAA6C,EAC7C,EAAU,EACV,MAAc,EACd,aAAsB,EACtB,EAAE,CACF,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,CAAC,WAAW,EAAE,EAAE,CACd,CAAC,aAAa,KAAK,SAAS,IAAI,WAAW,CAAC,EAAE,KAAK,aAAa,CAAC;QACjE,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,SAAS;QAC/C,WAAW,CAAC,MAAM,CAAC,IAAI,CACrB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CACpE,CACJ,CAAC;IACJ,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAC3E,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CACvE,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CACrE,CAAC;IACF,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CACjE,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QAC9C,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAI,UAAU,EAAE,QAAQ,KAAK,SAAS,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,YAAY;gBAClB,EAAE;gBACF,QAAQ,EAAE,UAAU,EAAE,QAAQ,IAAI,cAAc;gBAChD,MAAM,EAAE,SAAS;gBACjB,YAAY,EAAE,EAAE;gBAChB,MAAM,EAAE,iCAAiC;aAC1C,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3C,MAAM,eAAe,GAAG,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CACxD,UAAU,CAAC,QAAQ,CAAC,SAAS,CAC9B,CAAC;YACF,MAAM,MAAM,GACV,eAAe;gBACf,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC;YAC3D,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,YAAY;gBAClB,EAAE;gBACF,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;gBACrC,YAAY,EAAE,CAAC,WAAW,UAAU,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;gBAC1D,GAAG,CAAC,MAAM;oBACR,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC;wBACE,MAAM,EAAE,eAAe;4BACrB,CAAC,CAAC,+BAA+B;4BACjC,CAAC,CAAC,6CAA6C;qBAClD,CAAC;aACP,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzC,MAAM,WAAW,GAAG,SAAS,CAC3B,YAAY,EACZ,EAAE,EACF,mBAAmB,CAAC,YAAY,EAAE,EAAE,EAAE,UAAU,CAAC,EACjD,UAAU,CAAC,QAAQ,CAAC,aAAa,CAClC,CAAC;YACF,MAAM,KAAK,GAAG,WAAW,KAAK,SAAS,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,YAAY;gBAClB,EAAE;gBACF,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;gBACtC,YAAY,EAAE;oBACZ,eAAe,UAAU,CAAC,QAAQ,CAAC,aAAa,eAAe,EAAE,EAAE;iBACpE;gBACD,GAAG,CAAC,KAAK;oBACP,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,MAAM,EAAE,0CAA0C,EAAE,CAAC;aAC5D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,YAAY;YAClB,EAAE;YACF,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,EAAE;YAChB,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM;SACnC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAU,CAAC,CAC9C,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAA8B,EAAE,EAAU,EAAE,EAAE,CAC5D,IAAI,CAAC,UAAU;SACZ,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CACrB,IAAI,KAAK,WAAW;QAClB,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CACxC;SACA,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;SAC1D,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC1C,MAAM,YAAY,GAAG,CAAC,EAAU,EAAE,EAAE,CAClC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3C,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CACjC,CAAC;IACJ,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,oBAAoB,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM,YAAY,GAChB,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC;QAC/C,MAAM,aAAa,GACjB,SAAS,EAAE,YAAY,CAAC,IAAI,KAAK,SAAS;YAC1C,UAAU,KAAK,SAAS;YACxB,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC9C,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC;QACxC,MAAM,WAAW,GACf,SAAS,EAAE,YAAY,CAAC,IAAI,KAAK,OAAO;YACxC,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;YACnD,SAAS,CACP,WAAW,EACX,EAAE,EACF,mBAAmB,CAAC,WAAW,EAAE,EAAE,EAAE,SAAS,CAAC,CAChD,KAAK,SAAS,CAAC;QAClB,MAAM,MAAM,GAAG,YAAY,IAAI,CAAC,aAAa,IAAI,WAAW,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,WAAW;YACjB,EAAE;YACF,QAAQ,EAAE,cAAc;YACxB,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;YAClE,YAAY,EAAE;gBACZ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,IAAI,CAAC,EAAE,EAAE,CAAC;gBAClD,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,WAAW,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnD,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aACxD;YACD,GAAG,CAAC,MAAM;gBACR,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,MAAM,EAAE,2CAA2C,EAAE,CAAC;SAC7D,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC;QACtD,MAAM,SAAS,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;QACnC,MAAM,MAAM,GACV,SAAS,KAAK,SAAS;YACvB,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE;YACjD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,WAAW;YACjB,EAAE;YACF,QAAQ,EAAE,cAAc;YACxB,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;YACvC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YACzD,GAAG,CAAC,CAAC,MAAM;gBACT,CAAC,CAAC,EAAE,MAAM,EAAE,+CAA+C,EAAE;gBAC7D,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACxC,MAAM,YAAY,GAChB,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,QAAQ,EAAE,YAAY,CAAC;QAC1C,MAAM,aAAa,GACjB,UAAU,KAAK,SAAS;YACxB,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC9C,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC;QACxC,MAAM,WAAW,GACf,UAAU,KAAK,SAAS;YACxB,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,WAAW,KAAK,YAAY;YACrC,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;YACnD,SAAS,CACP,UAAU,EACV,EAAE,EACF,mBAAmB,CAAC,UAAU,EAAE,EAAE,EAAE,QAAgC,CAAC,CACtE,KAAK,SAAS,CAAC;QAClB,MAAM,MAAM,GAAG,YAAY,IAAI,CAAC,aAAa,IAAI,WAAW,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,UAAU;YAChB,EAAE;YACF,QAAQ,EAAE,QAAQ,EAAE,QAAQ,IAAI,cAAc;YAC9C,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;YAClE,YAAY,EAAE;gBACZ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,IAAI,CAAC,EAAE,EAAE,CAAC;gBAClD,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,WAAW,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnD,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD;YACD,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,iCAAiC,EAAE,CAAC;SACjE,CAAC,CAAC;IACL,CAAC;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAC9B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,CACvE,CAAC;IACF,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,CACvE,CAAC;IACF,MAAM,iBAAiB,GACrB,WAAW,CAAC,MAAM,GAAG,CAAC;QACtB,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IACzD,MAAM,kBAAkB,GACtB,YAAY,CAAC,MAAM,KAAK,CAAC;QACzB,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAC1D,OAAO;QACL,oBAAoB,EAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC;QACrD,KAAK;QACL,iBAAiB;QACjB,kBAAkB;QAClB,MAAM,EAAE,iBAAiB,IAAI,kBAAkB;KAChD,CAAC;AACJ,CAAC"}

package/dist/planning/specification.d.ts

@@ -0,0 +1,42 @@
+import type { z } from "zod";
+import { sourceManifestSchema, specificationProposalSchema } from "../contracts/schemas.js";
+export type SourceManifest = z.infer<typeof sourceManifestSchema>;
+export type SpecificationProposal = z.infer<typeof specificationProposalSchema>;
+export declare function loadPlanningSources(input: {
+    root: string;
+    prdPath: string;
+    sourceManifestPath: string;
+}): Promise<{
+    prdPath: string;
+    prd: string;
+    prdDigest: string;
+    sourceManifest: SourceManifest;
+    sourceManifestDigest: string;
+}>;
+export declare function loadSpecificationProposal(root: string, proposalPath: string): Promise<SpecificationProposal>;
+export interface SpecificationAssessment {
+    proposalDigest: string;
+    promotable: boolean;
+    blockers: readonly string[];
+    warnings: readonly string[];
+}
+export declare function assessSpecificationProposal(input: {
+    proposal: SpecificationProposal;
+    prdPath: string;
+    prdDigest: string;
+    sourceManifest: SourceManifest;
+    sourceManifestDigest: string;
+}): SpecificationAssessment;
+export declare function promoteSpecificationProposal(input: {
+    proposal: SpecificationProposal;
+    approvalDigest: string;
+    assessment: SpecificationAssessment;
+}): {
+    proposalDigest: string;
+    canonicalProposal: string;
+    productContract: SpecificationProposal["productContract"];
+    blueprints: SpecificationProposal["blueprints"];
+    scenarioSet: SpecificationProposal["scenarioSet"];
+};
+export declare function semanticProposalDiff(approved: SpecificationProposal, regenerated: SpecificationProposal): readonly string[];
+//# sourceMappingURL=specification.d.ts.map

package/dist/planning/specification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"specification.d.ts","sourceRoot":"","sources":["../../src/planning/specification.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAE7B,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC5B,MAAM,yBAAyB,CAAC;AAUjC,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAClE,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AA+BhF,wBAAsB,mBAAmB,CAAC,KAAK,EAAE;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB,EAAE,MAAM,CAAC;CAC5B,GAAG,OAAO,CAAC;IACV,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,cAAc,CAAC;IAC/B,oBAAoB,EAAE,MAAM,CAAC;CAC9B,CAAC,CAoBD;AAED,wBAAsB,yBAAyB,CAC7C,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAQhC;AAoBD,MAAM,WAAW,uBAAuB;IACtC,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,OAAO,CAAC;IACpB,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,QAAQ,EAAE,qBAAqB,CAAC;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,cAAc,CAAC;IAC/B,oBAAoB,EAAE,MAAM,CAAC;CAC9B,GAAG,uBAAuB,CA4J1B;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,QAAQ,EAAE,qBAAqB,CAAC;IAChC,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,uBAAuB,CAAC;CACrC,GAAG;IACF,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,qBAAqB,CAAC,iBAAiB,CAAC,CAAC;IAC1D,UAAU,EAAE,qBAAqB,CAAC,YAAY,CAAC,CAAC;IAChD,WAAW,EAAE,qBAAqB,CAAC,aAAa,CAAC,CAAC;CACnD,CA6BA;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,qBAAqB,EAC/B,WAAW,EAAE,qBAAqB,GACjC,SAAS,MAAM,EAAE,CAgCnB"}