typekro 0.28.0 → 0.29.0

package/dist/core/planning/plan-codec.js

@@ -0,0 +1,555 @@
+import { TypeKroError } from '../errors.js';
+import { canonicalDigest, canonicalStringify } from './canonical.js';
+import { SEMANTIC_PLAN_VERSION, } from './types.js';
+import { decodePlanValue } from './values.js';
+/** Failure raised when a serialized semantic plan violates its versioned contract. */
+export class DesiredStatePlanDecodeError extends TypeKroError {
+    constructor(message, path) {
+        super(message, 'DESIRED_STATE_PLAN_DECODE_FAILED', { path });
+        this.name = 'DesiredStatePlanDecodeError';
+    }
+}
+function record(value, path) {
+    if (!value || typeof value !== 'object' || Array.isArray(value)) {
+        throw new DesiredStatePlanDecodeError(`Expected an object at ${path}.`, path);
+    }
+    return value;
+}
+function array(value, path) {
+    if (!Array.isArray(value)) {
+        throw new DesiredStatePlanDecodeError(`Expected an array at ${path}.`, path);
+    }
+    return value;
+}
+function string(value, path) {
+    if (typeof value !== 'string' || value.length === 0) {
+        throw new DesiredStatePlanDecodeError(`Expected a non-empty string at ${path}.`, path);
+    }
+    return value;
+}
+function integer(value, path, minimum = 0) {
+    if (!Number.isSafeInteger(value) || value < minimum) {
+        throw new DesiredStatePlanDecodeError(`Expected an integer >= ${minimum} at ${path}.`, path);
+    }
+    return value;
+}
+function planValue(value, path) {
+    try {
+        decodePlanValue(JSON.stringify(value));
+    }
+    catch (error) {
+        throw new DesiredStatePlanDecodeError(`Invalid PlanValue at ${path}: ${error instanceof Error ? error.message : String(error)}`, path);
+    }
+}
+function diagnostic(value, path) {
+    const item = record(value, path);
+    string(item.code, `${path}.code`);
+    string(item.message, `${path}.message`);
+    if (!['info', 'warning', 'error'].includes(String(item.severity))) {
+        throw new DesiredStatePlanDecodeError(`Invalid diagnostic severity at ${path}.severity.`, path);
+    }
+    if (item.path !== undefined && typeof item.path !== 'string') {
+        throw new DesiredStatePlanDecodeError(`Invalid diagnostic path at ${path}.path.`, path);
+    }
+    if (item.location !== undefined) {
+        const location = record(item.location, `${path}.location`);
+        if (location.file !== undefined)
+            string(location.file, `${path}.location.file`);
+        if (location.line !== undefined)
+            integer(location.line, `${path}.location.line`, 1);
+        if (location.column !== undefined)
+            integer(location.column, `${path}.location.column`, 1);
+    }
+    if (item.details !== undefined) {
+        const details = record(item.details, `${path}.details`);
+        for (const [key, detail] of Object.entries(details)) {
+            if (detail !== null &&
+                typeof detail !== 'string' &&
+                typeof detail !== 'boolean' &&
+                (typeof detail !== 'number' || !Number.isFinite(detail))) {
+                throw new DesiredStatePlanDecodeError(`Diagnostic detail ${key} is not a canonical primitive.`, `${path}.details.${key}`);
+            }
+        }
+    }
+}
+function diagnostics(value, path) {
+    array(value, path).forEach((entry, index) => diagnostic(entry, `${path}[${index}]`));
+}
+function constraint(value, path) {
+    if (Array.isArray(value)) {
+        value.forEach((entry, index) => constraint(entry, `${path}[${index}]`));
+        return;
+    }
+    if (value === null ||
+        typeof value === 'string' ||
+        typeof value === 'boolean' ||
+        (typeof value === 'number' && Number.isFinite(value))) {
+        return;
+    }
+    throw new DesiredStatePlanDecodeError(`Invalid schema constraint at ${path}.`, path);
+}
+function schemaNode(value, path) {
+    const node = record(value, path);
+    switch (node.kind) {
+        case 'primitive': {
+            if (!['string', 'number', 'boolean', 'null', 'unknown'].includes(String(node.type))) {
+                throw new DesiredStatePlanDecodeError(`Invalid primitive schema at ${path}.`, path);
+            }
+            if (node.constraints !== undefined) {
+                const constraints = record(node.constraints, `${path}.constraints`);
+                Object.entries(constraints).forEach(([key, entry]) => constraint(entry, `${path}.constraints.${key}`));
+            }
+            return;
+        }
+        case 'literal':
+            constraint(node.value, `${path}.value`);
+            if (Array.isArray(node.value)) {
+                throw new DesiredStatePlanDecodeError(`Schema literal cannot be an array at ${path}.`, path);
+            }
+            return;
+        case 'array':
+            schemaNode(node.items, `${path}.items`);
+            return;
+        case 'object': {
+            const names = new Set();
+            array(node.properties, `${path}.properties`).forEach((propertyValue, index) => {
+                const property = record(propertyValue, `${path}.properties[${index}]`);
+                const name = string(property.name, `${path}.properties[${index}].name`);
+                if (names.has(name)) {
+                    throw new DesiredStatePlanDecodeError(`Duplicate schema property ${name} at ${path}.`, `${path}.properties[${index}]`);
+                }
+                names.add(name);
+                if (typeof property.required !== 'boolean') {
+                    throw new DesiredStatePlanDecodeError(`Invalid required flag at ${path}.properties[${index}].required.`, `${path}.properties[${index}].required`);
+                }
+                schemaNode(property.schema, `${path}.properties[${index}].schema`);
+                if (property.defaultValue !== undefined) {
+                    planValue(property.defaultValue, `${path}.properties[${index}].defaultValue`);
+                }
+            });
+            return;
+        }
+        case 'union':
+            array(node.variants, `${path}.variants`).forEach((variant, index) => schemaNode(variant, `${path}.variants[${index}]`));
+            return;
+        case 'unsupported':
+            string(node.description, `${path}.description`);
+            planValue(node.raw, `${path}.raw`);
+            return;
+        default:
+            throw new DesiredStatePlanDecodeError(`Unknown schema node kind ${String(node.kind)} at ${path}.`, `${path}.kind`);
+    }
+}
+function schema(value, path) {
+    const item = record(value, path);
+    if (item.version !== 1) {
+        throw new DesiredStatePlanDecodeError(`Unsupported SchemaIR version at ${path}.`, `${path}.version`);
+    }
+    schemaNode(item.root, `${path}.root`);
+    const digest = string(item.digest, `${path}.digest`);
+    diagnostics(item.diagnostics, `${path}.diagnostics`);
+    if (canonicalDigest({ version: 1, root: item.root }) !== digest) {
+        throw new DesiredStatePlanDecodeError(`Schema digest mismatch at ${path}.`, `${path}.digest`);
+    }
+}
+function compositionIdentity(value, path) {
+    const identity = record(value, path);
+    string(identity.name, `${path}.name`);
+    string(identity.apiVersion, `${path}.apiVersion`);
+    string(identity.kind, `${path}.kind`);
+    if (identity.stability === 'stable') {
+        const revision = record(identity.revision, `${path}.revision`);
+        if (revision.kind !== 'version' && revision.kind !== 'bundle-digest') {
+            throw new DesiredStatePlanDecodeError(`Invalid composition revision at ${path}.`, path);
+        }
+        string(revision.value, `${path}.revision.value`);
+    }
+    else if (identity.stability === 'preview-unstable') {
+        string(identity.diagnosticSourceDigest, `${path}.diagnosticSourceDigest`);
+        if (identity.revision !== undefined) {
+            throw new DesiredStatePlanDecodeError(`Preview composition identity cannot carry a durable revision.`, `${path}.revision`);
+        }
+    }
+    else {
+        throw new DesiredStatePlanDecodeError(`Invalid composition stability at ${path}.`, path);
+    }
+}
+function capability(value, path) {
+    const item = record(value, path);
+    string(item.id, `${path}.id`);
+    integer(item.version, `${path}.version`, 1);
+    if (item.target !== undefined && !['direct', 'kro'].includes(String(item.target))) {
+        throw new DesiredStatePlanDecodeError(`Invalid capability target at ${path}.target.`, path);
+    }
+    if (item.host !== undefined && !['standalone', 'alchemy'].includes(String(item.host))) {
+        throw new DesiredStatePlanDecodeError(`Invalid capability host at ${path}.host.`, path);
+    }
+    if (item.output !== undefined && !['live', 'static'].includes(String(item.output))) {
+        throw new DesiredStatePlanDecodeError(`Invalid capability output at ${path}.output.`, path);
+    }
+    if (item.nodeId !== undefined)
+        string(item.nodeId, `${path}.nodeId`);
+}
+function lifecycle(value, path) {
+    const item = record(value, path);
+    if (!['create', 'adopt', 'require-existing'].includes(String(item.creation))) {
+        throw new DesiredStatePlanDecodeError(`Invalid creation policy at ${path}.`, path);
+    }
+    if (!['authoritative', 'cooperative', 'reference-only'].includes(String(item.management))) {
+        throw new DesiredStatePlanDecodeError(`Invalid management policy at ${path}.`, path);
+    }
+    if (!['delete', 'retain', 'delete-when-unused'].includes(String(item.deletion))) {
+        throw new DesiredStatePlanDecodeError(`Invalid deletion policy at ${path}.`, path);
+    }
+    if (!['exclusive', 'shareable'].includes(String(item.sharing))) {
+        throw new DesiredStatePlanDecodeError(`Invalid sharing policy at ${path}.`, path);
+    }
+    const instancing = record(item.instancing, `${path}.instancing`);
+    if (!['per-instance', 'per-scope', 'per-cluster'].includes(String(instancing.kind))) {
+        throw new DesiredStatePlanDecodeError(`Invalid instancing policy at ${path}.`, path);
+    }
+    if (instancing.kind === 'per-scope')
+        planValue(instancing.key, `${path}.instancing.key`);
+    if (item.deletion === 'delete-when-unused' && item.unusedEvidence === undefined) {
+        throw new DesiredStatePlanDecodeError(`delete-when-unused requires authoritative unused evidence.`, `${path}.unusedEvidence`);
+    }
+    if (item.unusedEvidence !== undefined) {
+        const evidence = record(item.unusedEvidence, `${path}.unusedEvidence`);
+        string(evidence.provider, `${path}.unusedEvidence.provider`);
+        integer(evidence.version, `${path}.unusedEvidence.version`, 1);
+        planValue(evidence.inputs, `${path}.unusedEvidence.inputs`);
+    }
+}
+function kubernetesIdentity(value, path) {
+    const identity = record(value, path);
+    string(identity.apiVersion, `${path}.apiVersion`);
+    string(identity.kind, `${path}.kind`);
+    planValue(identity.name, `${path}.name`);
+    if (identity.namespace !== undefined)
+        planValue(identity.namespace, `${path}.namespace`);
+    if (identity.scope !== 'cluster' && identity.scope !== 'namespaced') {
+        throw new DesiredStatePlanDecodeError(`Invalid Kubernetes scope at ${path}.scope.`, path);
+    }
+    if (identity.scope === 'cluster' && identity.namespace !== undefined) {
+        throw new DesiredStatePlanDecodeError(`Cluster-scoped identity cannot carry a namespace.`, `${path}.namespace`);
+    }
+}
+function node(value, path) {
+    const item = record(value, path);
+    const id = string(item.id, `${path}.id`);
+    if (item.type !== 'kubernetes-resource' && item.type !== 'compatibility-closure') {
+        throw new DesiredStatePlanDecodeError(`Invalid plan node type at ${path}.type.`, path);
+    }
+    if (item.identity !== undefined)
+        kubernetesIdentity(item.identity, `${path}.identity`);
+    if (item.desired !== undefined)
+        planValue(item.desired, `${path}.desired`);
+    if (item.type === 'kubernetes-resource' && item.desired === undefined) {
+        throw new DesiredStatePlanDecodeError(`Kubernetes node requires desired state.`, `${path}.desired`);
+    }
+    lifecycle(item.lifecycle, `${path}.lifecycle`);
+    array(item.activation, `${path}.activation`).forEach((entry, index) => planValue(entry, `${path}.activation[${index}]`));
+    array(item.readiness, `${path}.readiness`).forEach((entry, index) => planValue(entry, `${path}.readiness[${index}]`));
+    if (item.readinessStrategy !== undefined) {
+        readinessStrategy(item.readinessStrategy, `${path}.readinessStrategy`);
+    }
+    if (item.iteration !== undefined) {
+        array(item.iteration, `${path}.iteration`).forEach((entry, index) => {
+            const dimensionPath = `${path}.iteration[${index}]`;
+            const dimension = record(entry, dimensionPath);
+            string(dimension.variable, `${dimensionPath}.variable`);
+            planValue(dimension.collection, `${dimensionPath}.collection`);
+            const itemPath = string(dimension.itemPath, `${dimensionPath}.itemPath`);
+            if (!itemPath.split('.').includes('$item')) {
+                throw new DesiredStatePlanDecodeError(`Iteration itemPath must contain a $item segment.`, `${dimensionPath}.itemPath`);
+            }
+        });
+    }
+    if (item.templateOverrides !== undefined) {
+        array(item.templateOverrides, `${path}.templateOverrides`).forEach((entry, index) => {
+            const override = record(entry, `${path}.templateOverrides[${index}]`);
+            string(override.propertyPath, `${path}.templateOverrides[${index}].propertyPath`);
+            planValue(override.value, `${path}.templateOverrides[${index}].value`);
+        });
+    }
+    array(item.requiredCapabilities, `${path}.requiredCapabilities`).forEach((entry, index) => capability(entry, `${path}.requiredCapabilities[${index}]`));
+    return id;
+}
+function readinessStrategy(value, path) {
+    const strategy = record(value, path);
+    if (strategy.kind === 'registered') {
+        string(strategy.id, `${path}.id`);
+        string(strategy.revision, `${path}.revision`);
+        if (strategy.configuration !== undefined) {
+            planValue(strategy.configuration, `${path}.configuration`);
+        }
+        return;
+    }
+    if (strategy.kind === 'runtime-binding') {
+        string(strategy.binding, `${path}.binding`);
+        if (strategy.version !== 1) {
+            throw new DesiredStatePlanDecodeError(`Unsupported runtime readiness binding version.`, `${path}.version`);
+        }
+        if (strategy.classification !== undefined) {
+            const classification = record(strategy.classification, `${path}.classification`);
+            if (![
+                'ambient-clock',
+                'ambient-state',
+                'host-callback',
+                'opaque-code',
+                'unclassified-evaluator',
+            ].includes(String(classification.reason))) {
+                throw new DesiredStatePlanDecodeError(`Invalid runtime readiness classification.`, `${path}.classification.reason`);
+            }
+            if (classification.description !== undefined &&
+                typeof classification.description !== 'string') {
+                throw new DesiredStatePlanDecodeError(`Runtime readiness classification description must be a string.`, `${path}.classification.description`);
+            }
+        }
+        return;
+    }
+    throw new DesiredStatePlanDecodeError(`Unknown readiness strategy.`, `${path}.kind`);
+}
+function edge(value, path, nodeIds) {
+    const item = record(value, path);
+    const endpoints = [];
+    if (item.kind === 'output') {
+        endpoints.push(string(item.producer, `${path}.producer`), string(item.consumer, `${path}.consumer`));
+        string(item.output, `${path}.output`);
+    }
+    else if (item.kind === 'existence' || item.kind === 'ready') {
+        endpoints.push(string(item.prerequisite, `${path}.prerequisite`), string(item.dependent, `${path}.dependent`));
+    }
+    else if (item.kind === 'ownership') {
+        endpoints.push(string(item.owner, `${path}.owner`), string(item.child, `${path}.child`));
+    }
+    else if (item.kind === 'delete-after') {
+        endpoints.push(string(item.resource, `${path}.resource`), string(item.blocker, `${path}.blocker`));
+    }
+    else {
+        throw new DesiredStatePlanDecodeError(`Invalid plan edge kind at ${path}.kind.`, path);
+    }
+    for (const endpoint of endpoints) {
+        if (!nodeIds.has(endpoint)) {
+            throw new DesiredStatePlanDecodeError(`Edge at ${path} references unknown node ${endpoint}.`, path);
+        }
+    }
+}
+function statusContract(value, path) {
+    const status = record(value, path);
+    schema(status.persistedSchema, `${path}.persistedSchema`);
+    schema(status.hydratedSchema, `${path}.hydratedSchema`);
+    const persisted = status.persistedSchema;
+    const hydrated = status.hydratedSchema;
+    if (persisted.root.kind === 'object' && hydrated.root.kind === 'object') {
+        const hydratedProperties = new Map(hydrated.root.properties.map((property) => [property.name, property]));
+        for (const property of persisted.root.properties) {
+            const hydratedProperty = hydratedProperties.get(property.name);
+            if (!hydratedProperty ||
+                canonicalStringify(hydratedProperty) !== canonicalStringify(property)) {
+                throw new DesiredStatePlanDecodeError(`Persisted status field ${property.name} is absent or differs in hydrated status.`, `${path}.persistedSchema`);
+            }
+        }
+    }
+    array(status.projections, `${path}.projections`).forEach((projectionValue, index) => {
+        const projection = record(projectionValue, `${path}.projections[${index}]`);
+        string(projection.path, `${path}.projections[${index}].path`);
+        if (!['live-resource', 'desired-spec', 'static', 'derived', 'client-only'].includes(String(projection.source))) {
+            throw new DesiredStatePlanDecodeError(`Invalid status source.`, `${path}.projections[${index}].source`);
+        }
+        if (!['auto', 'native', 'relay', 'client-only'].includes(String(projection.mode))) {
+            throw new DesiredStatePlanDecodeError(`Invalid status mode.`, `${path}.projections[${index}].mode`);
+        }
+        if (projection.persistedPath !== undefined) {
+            string(projection.persistedPath, `${path}.projections[${index}].persistedPath`);
+        }
+        if (projection.value !== undefined) {
+            planValue(projection.value, `${path}.projections[${index}].value`);
+        }
+        if ((projection.mode === 'native' || projection.mode === 'relay') &&
+            projection.persistedPath === undefined) {
+            throw new DesiredStatePlanDecodeError(`Persisted status projection requires persistedPath.`, `${path}.projections[${index}]`);
+        }
+    });
+}
+function artifactRequirement(value, path) {
+    const requirement = record(value, path);
+    string(requirement.kind, `${path}.kind`);
+    string(requirement.id, `${path}.id`);
+    planValue(requirement.descriptor, `${path}.descriptor`);
+    const outputs = array(requirement.outputs, `${path}.outputs`).map((entry, index) => string(entry, `${path}.outputs[${index}]`));
+    if (new Set(outputs).size !== outputs.length) {
+        throw new DesiredStatePlanDecodeError(`Artifact outputs must be unique.`, `${path}.outputs`);
+    }
+}
+function validateSemanticPlan(plan) {
+    if (plan.version !== SEMANTIC_PLAN_VERSION) {
+        throw new DesiredStatePlanDecodeError(`Unsupported semantic plan version ${String(plan.version)}.`, '$.version');
+    }
+    compositionIdentity(plan.composition, '$.composition');
+    const schemas = record(plan.schemas, '$.schemas');
+    if (schemas.irVersion !== 1) {
+        throw new DesiredStatePlanDecodeError(`Unsupported schema IR version.`, '$.schemas.irVersion');
+    }
+    schema(schemas.spec, '$.schemas.spec');
+    const specSchema = schemas.spec;
+    if (schemas.specDigest !== specSchema.digest) {
+        throw new DesiredStatePlanDecodeError(`Spec schema digest mismatch.`, '$.schemas.specDigest');
+    }
+    statusContract(plan.status, '$.status');
+    const status = plan.status;
+    if (schemas.persistedStatusDigest !== status.persistedSchema.digest) {
+        throw new DesiredStatePlanDecodeError(`Persisted status schema digest mismatch.`, '$.schemas.persistedStatusDigest');
+    }
+    if (schemas.hydratedStatusDigest !== status.hydratedSchema.digest) {
+        throw new DesiredStatePlanDecodeError(`Hydrated status schema digest mismatch.`, '$.schemas.hydratedStatusDigest');
+    }
+    const instance = record(plan.instance, '$.instance');
+    string(instance.composition, '$.instance.composition');
+    planValue(instance.name, '$.instance.name');
+    planValue(plan.spec, '$.spec');
+    const nodeIds = new Set();
+    array(plan.nodes, '$.nodes').forEach((entry, index) => {
+        const id = node(entry, `$.nodes[${index}]`);
+        if (nodeIds.has(id)) {
+            throw new DesiredStatePlanDecodeError(`Duplicate plan node ${id}.`, `$.nodes[${index}].id`);
+        }
+        nodeIds.add(id);
+    });
+    const seenEdges = new Set();
+    array(plan.edges, '$.edges').forEach((entry, index) => {
+        edge(entry, `$.edges[${index}]`, nodeIds);
+        const encoded = canonicalStringify(entry);
+        if (seenEdges.has(encoded)) {
+            throw new DesiredStatePlanDecodeError(`Duplicate plan edge.`, `$.edges[${index}]`);
+        }
+        seenEdges.add(encoded);
+    });
+    const outputs = record(plan.outputs, '$.outputs');
+    Object.entries(outputs).forEach(([key, value]) => planValue(value, `$.outputs.${key}`));
+    const artifactRequirementIds = new Set();
+    array(plan.inputs, '$.inputs').forEach((entryValue, index) => {
+        const entry = record(entryValue, `$.inputs[${index}]`);
+        string(entry.name, `$.inputs[${index}].name`);
+        if (entry.kind === 'ordinary') {
+            planValue(entry.value, `$.inputs[${index}].value`);
+        }
+        else if (entry.kind === 'sensitive') {
+            string(entry.binding, `$.inputs[${index}].binding`);
+            if (entry.version !== undefined)
+                string(entry.version, `$.inputs[${index}].version`);
+        }
+        else if (entry.kind === 'artifact') {
+            artifactRequirement(entry.requirement, `$.inputs[${index}].requirement`);
+            const id = entry.requirement.id;
+            if (artifactRequirementIds.has(id)) {
+                throw new DesiredStatePlanDecodeError(`Duplicate artifact requirement ${id}.`, `$.inputs[${index}].requirement.id`);
+            }
+            artifactRequirementIds.add(id);
+        }
+        else {
+            throw new DesiredStatePlanDecodeError(`Invalid input kind.`, `$.inputs[${index}].kind`);
+        }
+    });
+    array(plan.aspects, '$.aspects').forEach((entryValue, index) => {
+        const entry = record(entryValue, `$.aspects[${index}]`);
+        string(entry.id, `$.aspects[${index}].id`);
+        string(entry.revision, `$.aspects[${index}].revision`);
+        integer(entry.order, `$.aspects[${index}].order`);
+        if (entry.order !== index) {
+            throw new DesiredStatePlanDecodeError(`Aspect order must be contiguous and match array order.`, `$.aspects[${index}].order`);
+        }
+        planValue(entry.configuration, `$.aspects[${index}].configuration`);
+    });
+    array(plan.representationRequirements, '$.representationRequirements').forEach((entryValue, index) => {
+        const entry = record(entryValue, `$.representationRequirements[${index}]`);
+        if (entry.target !== 'direct' && entry.target !== 'kro') {
+            throw new DesiredStatePlanDecodeError(`Invalid representation target.`, `$.representationRequirements[${index}].target`);
+        }
+        string(entry.kind, `$.representationRequirements[${index}].kind`);
+        string(entry.extension, `$.representationRequirements[${index}].extension`);
+        integer(entry.version, `$.representationRequirements[${index}].version`, 1);
+        planValue(entry.inputs, `$.representationRequirements[${index}].inputs`);
+        if (entry.sourceNodeId !== undefined) {
+            const sourceNodeId = string(entry.sourceNodeId, `$.representationRequirements[${index}].sourceNodeId`);
+            if (!nodeIds.has(sourceNodeId)) {
+                throw new DesiredStatePlanDecodeError(`Representation requirement references unknown node ${sourceNodeId}.`, `$.representationRequirements[${index}].sourceNodeId`);
+            }
+        }
+        if (entry.factoryName !== undefined) {
+            string(entry.factoryName, `$.representationRequirements[${index}].factoryName`);
+        }
+    });
+    const provenance = record(plan.provenance, '$.provenance');
+    array(provenance.canonicalizers, '$.provenance.canonicalizers').forEach((entryValue, index) => {
+        const entry = record(entryValue, `$.provenance.canonicalizers[${index}]`);
+        string(entry.id, `$.provenance.canonicalizers[${index}].id`);
+        string(entry.revision, `$.provenance.canonicalizers[${index}].revision`);
+        if (entry.stage !== 'desired') {
+            throw new DesiredStatePlanDecodeError(`Invalid canonicalizer stage.`, `$.provenance.canonicalizers[${index}].stage`);
+        }
+        if (entry.factoryName !== undefined) {
+            string(entry.factoryName, `$.provenance.canonicalizers[${index}].factoryName`);
+        }
+    });
+    array(plan.requiredCapabilities, '$.requiredCapabilities').forEach((entry, index) => capability(entry, `$.requiredCapabilities[${index}]`));
+    const durability = record(plan.durability, '$.durability');
+    if (typeof durability.cacheEligible !== 'boolean' ||
+        typeof durability.provenanceEligible !== 'boolean') {
+        throw new DesiredStatePlanDecodeError(`Invalid durability eligibility.`, '$.durability');
+    }
+    diagnostics(durability.reasons, '$.durability.reasons');
+    diagnostics(plan.diagnostics, '$.diagnostics');
+    const inputDigest = string(plan.inputDigest, '$.inputDigest');
+    const aspectDigest = string(plan.aspectDigest, '$.aspectDigest');
+    const semanticContentDigest = string(plan.semanticContentDigest, '$.semanticContentDigest');
+    const planIdentityDigest = string(plan.planIdentityDigest, '$.planIdentityDigest');
+    if (canonicalDigest(plan.inputs) !== inputDigest) {
+        throw new DesiredStatePlanDecodeError(`Input digest mismatch.`, '$.inputDigest');
+    }
+    if (canonicalDigest(plan.aspects) !== aspectDigest) {
+        throw new DesiredStatePlanDecodeError(`Aspect digest mismatch.`, '$.aspectDigest');
+    }
+    const semanticPayload = {
+        version: 1,
+        schemas: {
+            specDigest: schemas.specDigest,
+            persistedStatusDigest: schemas.persistedStatusDigest,
+            hydratedStatusDigest: schemas.hydratedStatusDigest,
+        },
+        instance: plan.instance,
+        spec: plan.spec,
+        nodes: plan.nodes,
+        edges: plan.edges,
+        outputs: plan.outputs,
+        inputs: plan.inputs,
+        aspects: plan.aspects,
+        representationRequirements: plan.representationRequirements,
+        canonicalizers: provenance.canonicalizers,
+        requiredCapabilities: plan.requiredCapabilities,
+    };
+    if (canonicalDigest(semanticPayload) !== semanticContentDigest) {
+        throw new DesiredStatePlanDecodeError(`Semantic content digest mismatch.`, '$.semanticContentDigest');
+    }
+    if (canonicalDigest({ composition: plan.composition, semanticContentDigest }) !== planIdentityDigest) {
+        throw new DesiredStatePlanDecodeError(`Plan identity digest mismatch.`, '$.planIdentityDigest');
+    }
+}
+/** Canonically encode a semantic desired-state plan. */
+export function encodeDesiredStatePlan(plan) {
+    return canonicalStringify(plan);
+}
+/** Decode and validate a complete semantic desired-state plan. */
+export function decodeDesiredStatePlan(encoded) {
+    let parsed;
+    try {
+        parsed = JSON.parse(encoded);
+    }
+    catch (error) {
+        throw new DesiredStatePlanDecodeError(`Desired-state plan is not valid JSON: ${error instanceof Error ? error.message : String(error)}`, '$');
+    }
+    const plan = record(parsed, '$');
+    validateSemanticPlan(plan);
+    return plan;
+}
+//# sourceMappingURL=plan-codec.js.map

package/dist/core/planning/plan-codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-codec.js","sourceRoot":"","sources":["../../../src/core/planning/plan-codec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EACL,qBAAqB,GAMtB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAI9C,sFAAsF;AACtF,MAAM,OAAO,2BAA4B,SAAQ,YAAY;IAC3D,YAAY,OAAe,EAAE,IAAY;QACvC,KAAK,CAAC,OAAO,EAAE,kCAAkC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAC;IAC5C,CAAC;CACF;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,IAAY;IAC1C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,2BAA2B,CAAC,yBAAyB,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,KAAsB,CAAC;AAChC,CAAC;AAED,SAAS,KAAK,CAAC,KAAc,EAAE,IAAY;IACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,2BAA2B,CAAC,wBAAwB,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,IAAY;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,2BAA2B,CAAC,kCAAkC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,KAAc,EAAE,IAAY,EAAE,OAAO,GAAG,CAAC;IACxD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,OAAO,EAAE,CAAC;QAChE,MAAM,IAAI,2BAA2B,CAAC,0BAA0B,OAAO,OAAO,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,KAAe,CAAC;AACzB,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,IAAY;IAC7C,IAAI,CAAC;QACH,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACzC,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,IAAI,2BAA2B,CACnC,wBAAwB,IAAI,KAAK,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EACzF,IAAI,CACL,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,IAAY;IAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;IACxC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,2BAA2B,CAAC,kCAAkC,IAAI,YAAY,EAAE,IAAI,CAAC,CAAC;IAClG,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,MAAM,IAAI,2BAA2B,CAAC,8BAA8B,IAAI,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;QAC3D,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAC;QAChF,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,gBAAgB,EAAE,CAAC,CAAC,CAAC;QACpF,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,IAAI,kBAAkB,EAAE,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACpD,IACE,MAAM,KAAK,IAAI;gBACf,OAAO,MAAM,KAAK,QAAQ;gBAC1B,OAAO,MAAM,KAAK,SAAS;gBAC3B,CAAC,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EACxD,CAAC;gBACD,MAAM,IAAI,2BAA2B,CACnC,qBAAqB,GAAG,gCAAgC,EACxD,GAAG,IAAI,YAAY,GAAG,EAAE,CACzB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,IAAY;IAC/C,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,IAAY;IAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;QACxE,OAAO;IACT,CAAC;IACD,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS;QAC1B,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EACrD,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,IAAI,2BAA2B,CAAC,gCAAgC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,IAAY;IAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACpF,MAAM,IAAI,2BAA2B,CAAC,+BAA+B,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;YACtF,CAAC;YACD,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBACnC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;gBACpE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CACnD,UAAU,CAAC,KAAK,EAAE,GAAG,IAAI,gBAAgB,GAAG,EAAE,CAAC,CAChD,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,SAAS;YACZ,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;YACxC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,2BAA2B,CACnC,wCAAwC,IAAI,GAAG,EAC/C,IAAI,CACL,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,OAAO;YACV,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;YACxC,OAAO;QACT,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE;gBAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,IAAI,eAAe,KAAK,GAAG,CAAC,CAAC;gBACvE,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,eAAe,KAAK,QAAQ,CAAC,CAAC;gBACxE,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpB,MAAM,IAAI,2BAA2B,CACnC,6BAA6B,IAAI,OAAO,IAAI,GAAG,EAC/C,GAAG,IAAI,eAAe,KAAK,GAAG,CAC/B,CAAC;gBACJ,CAAC;gBACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAChB,IAAI,OAAO,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3C,MAAM,IAAI,2BAA2B,CACnC,4BAA4B,IAAI,eAAe,KAAK,aAAa,EACjE,GAAG,IAAI,eAAe,KAAK,YAAY,CACxC,CAAC;gBACJ,CAAC;gBACD,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,IAAI,eAAe,KAAK,UAAU,CAAC,CAAC;gBACnE,IAAI,QAAQ,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;oBACxC,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,GAAG,IAAI,eAAe,KAAK,gBAAgB,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,KAAK,OAAO;YACV,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAClE,UAAU,CAAC,OAAO,EAAE,GAAG,IAAI,aAAa,KAAK,GAAG,CAAC,CAClD,CAAC;YACF,OAAO;QACT,KAAK,aAAa;YAChB,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;YAChD,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,MAAM,CAAC,CAAC;YACnC,OAAO;QACT;YACE,MAAM,IAAI,2BAA2B,CACnC,4BAA4B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,GAAG,EAC3D,GAAG,IAAI,OAAO,CACf,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,IAAY;IAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,IAAI,IAAI,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,2BAA2B,CACnC,mCAAmC,IAAI,GAAG,EAC1C,GAAG,IAAI,UAAU,CAClB,CAAC;IACJ,CAAC;IACD,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;IACrD,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;IACrD,IAAI,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,EAAE,CAAC;QAChE,MAAM,IAAI,2BAA2B,CAAC,6BAA6B,IAAI,GAAG,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;IAChG,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,IAAY;IACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IACtC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC;IAClD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IACtC,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;QAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACrE,MAAM,IAAI,2BAA2B,CAAC,mCAAmC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;IACnD,CAAC;SAAM,IAAI,QAAQ,CAAC,SAAS,KAAK,kBAAkB,EAAE,CAAC;QACrD,MAAM,CAAC,QAAQ,CAAC,sBAAsB,EAAE,GAAG,IAAI,yBAAyB,CAAC,CAAC;QAC1E,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,IAAI,2BAA2B,CACnC,+DAA+D,EAC/D,GAAG,IAAI,WAAW,CACnB,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,2BAA2B,CAAC,oCAAoC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3F,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,IAAY;IAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;IAC9B,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;IAC5C,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,2BAA2B,CAAC,gCAAgC,IAAI,UAAU,EAAE,IAAI,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,2BAA2B,CAAC,8BAA8B,IAAI,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,2BAA2B,CAAC,gCAAgC,IAAI,UAAU,EAAE,IAAI,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,IAAY;IAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,2BAA2B,CAAC,8BAA8B,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,CAAC,CAAC,eAAe,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QAC1F,MAAM,IAAI,2BAA2B,CAAC,gCAAgC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,2BAA2B,CAAC,8BAA8B,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,2BAA2B,CAAC,6BAA6B,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,cAAc,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACpF,MAAM,IAAI,2BAA2B,CAAC,gCAAgC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW;QAAE,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;IACzF,IAAI,IAAI,CAAC,QAAQ,KAAK,oBAAoB,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QAChF,MAAM,IAAI,2BAA2B,CACnC,4DAA4D,EAC5D,GAAG,IAAI,iBAAiB,CACzB,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;QACvE,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC;QAC7D,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,IAAI,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAC/D,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,IAAI,wBAAwB,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,IAAY;IACtD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC;IAClD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IACtC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IACzC,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS;QAAE,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IACzF,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;QACpE,MAAM,IAAI,2BAA2B,CAAC,+BAA+B,IAAI,SAAS,EAAE,IAAI,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACrE,MAAM,IAAI,2BAA2B,CACnC,mDAAmD,EACnD,GAAG,IAAI,YAAY,CACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,IAAI,CAAC,KAAc,EAAE,IAAY;IACxC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QACjF,MAAM,IAAI,2BAA2B,CAAC,6BAA6B,IAAI,QAAQ,EAAE,IAAI,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;QAAE,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;IACvF,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACtE,MAAM,IAAI,2BAA2B,CACnC,yCAAyC,EACzC,GAAG,IAAI,UAAU,CAClB,CAAC;IACJ,CAAC;IACD,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACpE,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,eAAe,KAAK,GAAG,CAAC,CACjD,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAClE,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,cAAc,KAAK,GAAG,CAAC,CAChD,CAAC;IACF,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACzC,iBAAiB,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,IAAI,oBAAoB,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YAClE,MAAM,aAAa,GAAG,GAAG,IAAI,cAAc,KAAK,GAAG,CAAC;YACpD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;YAC/C,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,aAAa,WAAW,CAAC,CAAC;YACxD,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,aAAa,aAAa,CAAC,CAAC;YAC/D,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,aAAa,WAAW,CAAC,CAAC;YACzE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3C,MAAM,IAAI,2BAA2B,CACnC,kDAAkD,EAClD,GAAG,aAAa,WAAW,CAC5B,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,IAAI,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YAClF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,sBAAsB,KAAK,GAAG,CAAC,CAAC;YACtE,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,GAAG,IAAI,sBAAsB,KAAK,gBAAgB,CAAC,CAAC;YAClF,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,sBAAsB,KAAK,SAAS,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,oBAAoB,EAAE,GAAG,IAAI,uBAAuB,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACxF,UAAU,CAAC,KAAK,EAAE,GAAG,IAAI,yBAAyB,KAAK,GAAG,CAAC,CAC5D,CAAC;IACF,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc,EAAE,IAAY;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrC,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;QAC9C,IAAI,QAAQ,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACzC,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACxC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;QAC5C,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,2BAA2B,CACnC,gDAAgD,EAChD,GAAG,IAAI,UAAU,CAClB,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,cAAc,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;YACjF,IACE,CAAC;gBACC,eAAe;gBACf,eAAe;gBACf,eAAe;gBACf,aAAa;gBACb,wBAAwB;aACzB,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EACzC,CAAC;gBACD,MAAM,IAAI,2BAA2B,CACnC,2CAA2C,EAC3C,GAAG,IAAI,wBAAwB,CAChC,CAAC;YACJ,CAAC;YACD,IACE,cAAc,CAAC,WAAW,KAAK,SAAS;gBACxC,OAAO,cAAc,CAAC,WAAW,KAAK,QAAQ,EAC9C,CAAC;gBACD,MAAM,IAAI,2BAA2B,CACnC,gEAAgE,EAChE,GAAG,IAAI,6BAA6B,CACrC,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,IAAI,2BAA2B,CAAC,6BAA6B,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,IAAI,CAAC,KAAc,EAAE,IAAY,EAAE,OAA4B;IACtE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,EACzC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,CAC1C,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;IACxC,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9D,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,IAAI,eAAe,CAAC,EACjD,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAC5C,CAAC;IACJ,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,CAAC;IAC3F,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACxC,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,EACzC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CACxC,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,2BAA2B,CAAC,6BAA6B,IAAI,QAAQ,EAAE,IAAI,CAAC,CAAC;IACzF,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,2BAA2B,CACnC,WAAW,IAAI,4BAA4B,QAAQ,GAAG,EACtD,IAAI,CACL,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,IAAY;IAClD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,GAAG,IAAI,kBAAkB,CAAC,CAAC;IAC1D,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,MAAM,CAAC,eAA2B,CAAC;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,cAA0B,CAAC;IACnD,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxE,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAU,CAAC,CAC/E,CAAC;QACF,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACjD,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC/D,IACE,CAAC,gBAAgB;gBACjB,kBAAkB,CAAC,gBAAgB,CAAC,KAAK,kBAAkB,CAAC,QAAQ,CAAC,EACrE,CAAC;gBACD,MAAM,IAAI,2BAA2B,CACnC,0BAA0B,QAAQ,CAAC,IAAI,2CAA2C,EAClF,GAAG,IAAI,kBAAkB,CAC1B,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,eAAe,EAAE,KAAK,EAAE,EAAE;QAClF,MAAM,UAAU,GAAG,MAAM,CAAC,eAAe,EAAE,GAAG,IAAI,gBAAgB,KAAK,GAAG,CAAC,CAAC;QAC5E,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,IAAI,gBAAgB,KAAK,QAAQ,CAAC,CAAC;QAC9D,IACE,CAAC,CAAC,eAAe,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,QAAQ,CAC7E,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAC1B,EACD,CAAC;YACD,MAAM,IAAI,2BAA2B,CACnC,wBAAwB,EACxB,GAAG,IAAI,gBAAgB,KAAK,UAAU,CACvC,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAClF,MAAM,IAAI,2BAA2B,CACnC,sBAAsB,EACtB,GAAG,IAAI,gBAAgB,KAAK,QAAQ,CACrC,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YAC3C,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,GAAG,IAAI,gBAAgB,KAAK,iBAAiB,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnC,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,IAAI,gBAAgB,KAAK,SAAS,CAAC,CAAC;QACrE,CAAC;QACD,IACE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC;YAC7D,UAAU,CAAC,aAAa,KAAK,SAAS,EACtC,CAAC;YACD,MAAM,IAAI,2BAA2B,CACnC,qDAAqD,EACrD,GAAG,IAAI,gBAAgB,KAAK,GAAG,CAChC,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,IAAY;IACvD,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IACzC,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;IACrC,SAAS,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACjF,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,YAAY,KAAK,GAAG,CAAC,CAC3C,CAAC;IACF,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7C,MAAM,IAAI,2BAA2B,CAAC,kCAAkC,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;IAC/F,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAmB;IAC/C,IAAI,IAAI,CAAC,OAAO,KAAK,qBAAqB,EAAE,CAAC;QAC3C,MAAM,IAAI,2BAA2B,CACnC,qCAAqC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAC5D,WAAW,CACZ,CAAC;IACJ,CAAC;IACD,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,2BAA2B,CAAC,gCAAgC,EAAE,qBAAqB,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAgB,CAAC;IAC5C,IAAI,OAAO,CAAC,UAAU,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;QAC7C,MAAM,IAAI,2BAA2B,CAAC,8BAA8B,EAAE,sBAAsB,CAAC,CAAC;IAChG,CAAC;IACD,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAoC,CAAC;IACzD,IAAI,OAAO,CAAC,qBAAqB,KAAK,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;QACpE,MAAM,IAAI,2BAA2B,CACnC,0CAA0C,EAC1C,iCAAiC,CAClC,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,oBAAoB,KAAK,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;QAClE,MAAM,IAAI,2BAA2B,CACnC,yCAAyC,EACzC,gCAAgC,CACjC,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACrD,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC,CAAC;IACvD,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;IAC5C,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAE/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACpD,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,WAAW,KAAK,GAAG,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,2BAA2B,CAAC,uBAAuB,EAAE,GAAG,EAAE,WAAW,KAAK,MAAM,CAAC,CAAC;QAC9F,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACpD,IAAI,CAAC,KAAK,EAAE,WAAW,KAAK,GAAG,EAAE,OAAO,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,2BAA2B,CAAC,sBAAsB,EAAE,WAAW,KAAK,GAAG,CAAC,CAAC;QACrF,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAClD,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,aAAa,GAAG,EAAE,CAAC,CAAC,CAAC;IACxF,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAU,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,EAAE,YAAY,KAAK,GAAG,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,KAAK,QAAQ,CAAC,CAAC;QAC9C,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC;QACrD,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACtC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,KAAK,WAAW,CAAC,CAAC;YACpD,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,KAAK,WAAW,CAAC,CAAC;QACvF,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACrC,mBAAmB,CAAC,KAAK,CAAC,WAAW,EAAE,YAAY,KAAK,eAAe,CAAC,CAAC;YACzE,MAAM,EAAE,GAAI,KAAK,CAAC,WAA6B,CAAC,EAAY,CAAC;YAC7D,IAAI,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,2BAA2B,CACnC,kCAAkC,EAAE,GAAG,EACvC,YAAY,KAAK,kBAAkB,CACpC,CAAC;YACJ,CAAC;YACD,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,2BAA2B,CAAC,qBAAqB,EAAE,YAAY,KAAK,QAAQ,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC,CAAC,CAAC;IACH,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,EAAE,aAAa,KAAK,GAAG,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,aAAa,KAAK,MAAM,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,aAAa,KAAK,YAAY,CAAC,CAAC;QACvD,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,KAAK,SAAS,CAAC,CAAC;QAClD,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,IAAI,2BAA2B,CACnC,wDAAwD,EACxD,aAAa,KAAK,SAAS,CAC5B,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,KAAK,CAAC,aAAa,EAAE,aAAa,KAAK,iBAAiB,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,KAAK,CAAC,IAAI,CAAC,0BAA0B,EAAE,8BAA8B,CAAC,CAAC,OAAO,CAC5E,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QACpB,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,EAAE,gCAAgC,KAAK,GAAG,CAAC,CAAC;QAC3E,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YACxD,MAAM,IAAI,2BAA2B,CACnC,gCAAgC,EAChC,gCAAgC,KAAK,UAAU,CAChD,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,gCAAgC,KAAK,QAAQ,CAAC,CAAC;QAClE,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,gCAAgC,KAAK,aAAa,CAAC,CAAC;QAC5E,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,gCAAgC,KAAK,WAAW,EAAE,CAAC,CAAC,CAAC;QAC5E,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,gCAAgC,KAAK,UAAU,CAAC,CAAC;QACzE,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,YAAY,GAAG,MAAM,CACzB,KAAK,CAAC,YAAY,EAClB,gCAAgC,KAAK,gBAAgB,CACtD,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,2BAA2B,CACnC,sDAAsD,YAAY,GAAG,EACrE,gCAAgC,KAAK,gBAAgB,CACtD,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,gCAAgC,KAAK,eAAe,CAAC,CAAC;QAClF,CAAC;IACH,CAAC,CACF,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IAC3D,KAAK,CAAC,UAAU,CAAC,cAAc,EAAE,6BAA6B,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QAC5F,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,EAAE,+BAA+B,KAAK,GAAG,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,+BAA+B,KAAK,MAAM,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,+BAA+B,KAAK,YAAY,CAAC,CAAC;QACzE,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,2BAA2B,CACnC,8BAA8B,EAC9B,+BAA+B,KAAK,SAAS,CAC9C,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,+BAA+B,KAAK,eAAe,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC,CAAC;IACH,KAAK,CAAC,IAAI,CAAC,oBAAoB,EAAE,wBAAwB,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAClF,UAAU,CAAC,KAAK,EAAE,0BAA0B,KAAK,GAAG,CAAC,CACtD,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IAC3D,IACE,OAAO,UAAU,CAAC,aAAa,KAAK,SAAS;QAC7C,OAAO,UAAU,CAAC,kBAAkB,KAAK,SAAS,EAClD,CAAC;QACD,MAAM,IAAI,2BAA2B,CAAC,iCAAiC,EAAE,cAAc,CAAC,CAAC;IAC3F,CAAC;IACD,WAAW,CAAC,UAAU,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC;IACxD,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;IAE/C,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;IAC9D,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;IACjE,MAAM,qBAAqB,GAAG,MAAM,CAAC,IAAI,CAAC,qBAAqB,EAAE,yBAAyB,CAAC,CAAC;IAC5F,MAAM,kBAAkB,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,EAAE,sBAAsB,CAAC,CAAC;IACnF,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,WAAW,EAAE,CAAC;QACjD,MAAM,IAAI,2BAA2B,CAAC,wBAAwB,EAAE,eAAe,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,YAAY,EAAE,CAAC;QACnD,MAAM,IAAI,2BAA2B,CAAC,yBAAyB,EAAE,gBAAgB,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,eAAe,GAAG;QACtB,OAAO,EAAE,CAAC;QACV,OAAO,EAAE;YACP,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;YACpD,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;SACnD;QACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,0BAA0B,EAAE,IAAI,CAAC,0BAA0B;QAC3D,cAAc,EAAE,UAAU,CAAC,cAAc;QACzC,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;KAChD,CAAC;IACF,IAAI,eAAe,CAAC,eAAe,CAAC,KAAK,qBAAqB,EAAE,CAAC;QAC/D,MAAM,IAAI,2BAA2B,CACnC,mCAAmC,EACnC,yBAAyB,CAC1B,CAAC;IACJ,CAAC;IACD,IACE,eAAe,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,qBAAqB,EAAE,CAAC,KAAK,kBAAkB,EAChG,CAAC;QACD,MAAM,IAAI,2BAA2B,CAAC,gCAAgC,EAAE,sBAAsB,CAAC,CAAC;IAClG,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,sBAAsB,CAAC,IAAsB;IAC3D,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,sBAAsB,CAAC,OAAe;IACpD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,IAAI,2BAA2B,CACnC,yCAAyC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EACjG,GAAG,CACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACjC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC3B,OAAO,IAAmC,CAAC;AAC7C,CAAC"}

package/dist/core/planning/planner.d.ts

@@ -0,0 +1,21 @@
+import { TypeKroError } from '../errors.js';
+import type { DeploymentResourceGraph } from '../types/deployment.js';
+import type { KroCompatibleType } from '../types/schema.js';
+import type { CapturedCompositionRuntime } from './capture.js';
+import type { CompositionInspection, DesiredStatePlan, PlanDiagnostic, PlanOptions } from './types.js';
+/** Error raised by strict semantic planning. */
+export declare class SemanticPlanningError extends TypeKroError {
+    constructor(message: string, diagnostics: readonly PlanDiagnostic[]);
+}
+/** Produce static inspection from the same capture used by planning. */
+export declare function inspectCapturedComposition<TSpec extends KroCompatibleType>(capture: CapturedCompositionRuntime<TSpec>): CompositionInspection;
+/** Produce a deterministic semantic plan without contacting Kubernetes or providers. */
+export declare function planCapturedComposition<TSpec extends KroCompatibleType>(capture: CapturedCompositionRuntime<TSpec>, spec: TSpec, options?: PlanOptions): DesiredStatePlan;
+/** Build the shared symbolic plan used to compile a KRO graph definition. */
+export declare function planCapturedTemplate<TSpec extends KroCompatibleType>(capture: CapturedCompositionRuntime<TSpec>, symbolicSpec: TSpec, options?: PlanOptions): DesiredStatePlan;
+/**
+ * Plan an already materialized graph. This is the production bridge used by
+ * factory facades so author code executes once per operation.
+ */
+export declare function planMaterializedComposition<TSpec extends KroCompatibleType>(capture: CapturedCompositionRuntime<TSpec>, spec: TSpec, graph: DeploymentResourceGraph, options?: PlanOptions): DesiredStatePlan;
+//# sourceMappingURL=planner.d.ts.map

package/dist/core/planning/planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../../src/core/planning/planner.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAsB5C,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAEtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAI5D,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,cAAc,CAAC;AAE/D,OAAO,KAAK,EAIV,qBAAqB,EAErB,gBAAgB,EAGhB,cAAc,EAId,WAAW,EAOZ,MAAM,YAAY,CAAC;AAGpB,gDAAgD;AAChD,qBAAa,qBAAsB,SAAQ,YAAY;gBACzC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,cAAc,EAAE;CAIpE;AAstDD,wEAAwE;AACxE,wBAAgB,0BAA0B,CAAC,KAAK,SAAS,iBAAiB,EACxE,OAAO,EAAE,0BAA0B,CAAC,KAAK,CAAC,GACzC,qBAAqB,CAyBvB;AAED,wFAAwF;AACxF,wBAAgB,uBAAuB,CAAC,KAAK,SAAS,iBAAiB,EACrE,OAAO,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC1C,IAAI,EAAE,KAAK,EACX,OAAO,GAAE,WAAgB,GACxB,gBAAgB,CAwBlB;AAED,6EAA6E;AAC7E,wBAAgB,oBAAoB,CAAC,KAAK,SAAS,iBAAiB,EAClE,OAAO,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC1C,YAAY,EAAE,KAAK,EACnB,OAAO,GAAE,WAAgB,GACxB,gBAAgB,CAqClB;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,SAAS,iBAAiB,EACzE,OAAO,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC1C,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,uBAAuB,EAC9B,OAAO,GAAE,WAAgB,GACxB,gBAAgB,CASlB"}