@atom-workflow-agent/workflow-planner 0.1.0

package/dist/workspace/planning-frontier.js

@@ -0,0 +1,185 @@
+import { PlanningFrontierSchema, } from "@atom-workflow-agent/contracts";
+import { mapAggregateSchema } from "./map-aggregate-schema.js";
+function schemaObject(schema) {
+    return schema !== null && typeof schema === "object" && !Array.isArray(schema) ? schema : undefined;
+}
+export function findUndescribedNamedFields(schema, prefix) {
+    const object = schemaObject(schema);
+    if (!object)
+        return [];
+    const properties = schemaObject(object.properties);
+    const missing = [];
+    if (properties) {
+        for (const [name, nested] of Object.entries(properties)) {
+            const path = `${prefix}.${name}`;
+            const child = schemaObject(nested);
+            if (!child || typeof child.description !== "string" || child.description.trim() === "")
+                missing.push(path);
+            if (child)
+                missing.push(...findUndescribedNamedFields(child, path));
+        }
+    }
+    const items = schemaObject(object.items);
+    if (items)
+        missing.push(...findUndescribedNamedFields(items, `${prefix}[]`));
+    return missing;
+}
+function collectAliases(step, aliases = new Map(), mapGroup) {
+    switch (step.kind) {
+        case "atom":
+            aliases.set(step.as, { atomKey: step.use, ...(mapGroup ? { mapGroup } : {}) });
+            break;
+        case "decision":
+            aliases.set(step.as, { atomKey: step.use, ...(mapGroup ? { mapGroup } : {}) });
+            Object.values(step.branches).forEach((branch) => {
+                if (branch.kind === "continue" || branch.kind === "terminal")
+                    return;
+                collectAliases(branch.kind === "revisit" ? branch.body : branch, aliases, mapGroup);
+            });
+            break;
+        case "sequence":
+            step.steps.forEach((nested) => collectAliases(nested, aliases, mapGroup));
+            break;
+        case "parallel":
+            step.branches.forEach((nested) => collectAliases(nested, aliases, mapGroup));
+            break;
+        case "map":
+            collectAliases(step.body, aliases, step.as);
+            break;
+        case "repeat":
+            collectAliases(step.body, aliases, mapGroup);
+            aliases.set(step.decision.as, { atomKey: step.decision.use, ...(mapGroup ? { mapGroup } : {}) });
+            break;
+    }
+    return aliases;
+}
+function intersection(values) {
+    const [first, ...rest] = values;
+    if (!first)
+        return new Set();
+    return new Set([...first].filter((value) => rest.every((set) => set.has(value))));
+}
+/** Aliases whose outputs are guaranteed after the structured control region completes. */
+export function guaranteedAliasesAfter(step, before = new Set()) {
+    const current = new Set(before);
+    switch (step.kind) {
+        case "atom":
+            current.add(step.as);
+            return current;
+        case "sequence": return step.steps.reduce((available, nested) => guaranteedAliasesAfter(nested, available), current);
+        case "parallel": {
+            const branches = step.branches.map((branch) => guaranteedAliasesAfter(branch, current));
+            return new Set([...current, ...branches.flatMap((set) => [...set])]);
+        }
+        case "decision": {
+            current.add(step.as);
+            const branches = Object.values(step.branches).flatMap((branch) => {
+                if (branch.kind === "revisit" || branch.kind === "terminal")
+                    return [];
+                return [branch.kind === "continue" ? new Set(current) : guaranteedAliasesAfter(branch, current)];
+            });
+            if (branches.length === 0)
+                return current;
+            return new Set([...current, ...intersection(branches)]);
+        }
+        case "map": return guaranteedAliasesAfter(step.body, current);
+        case "repeat": {
+            const afterBody = guaranteedAliasesAfter(step.body, current);
+            afterBody.add(step.decision.as);
+            return afterBody;
+        }
+    }
+}
+function inferSchema(value) {
+    if (value === null)
+        return { type: "null" };
+    if (Array.isArray(value))
+        return { type: "array", items: value.length ? inferSchema(value[0]) : {} };
+    if (typeof value === "object")
+        return {
+            type: "object",
+            properties: Object.fromEntries(Object.entries(value).map(([name, nested]) => [name, inferSchema(nested)])),
+            required: Object.keys(value),
+            additionalProperties: true,
+        };
+    if (typeof value === "number")
+        return { type: Number.isInteger(value) ? "integer" : "number" };
+    return { type: typeof value };
+}
+function schemaValues(refPrefix, pathPrefix, schema, producerAlias, mapGroup) {
+    const object = schemaObject(schema);
+    if (!object)
+        return [];
+    const rootSchema = mapGroup ? mapAggregateSchema(schema, mapGroup) : schema;
+    const rootDescription = typeof schemaObject(rootSchema)?.description === "string"
+        ? schemaObject(rootSchema).description
+        : producerAlias ? `Atom 节点 ${producerAlias} 的完整结构化输出。` : "Workflow 输入对象。";
+    const root = producerAlias && pathPrefix === "" ? [{
+            ref: refPrefix,
+            producerAlias,
+            path: ".",
+            schema: rootSchema,
+            description: rootDescription,
+            required: true,
+            guaranteed: true,
+            controlEvidence: mapGroup
+                ? `Atom alias ${producerAlias} is a processor in Map ${mapGroup}; this reference is its ordered aggregate after the Map completes.`
+                : `Atom alias ${producerAlias} is guaranteed after the committed control flow.`,
+        }] : [];
+    const properties = schemaObject(object.properties);
+    if (!properties)
+        return root;
+    const required = new Set(Array.isArray(object.required) ? object.required.filter((name) => typeof name === "string") : []);
+    return [...root, ...Object.entries(properties).flatMap(([name, nested]) => {
+            const child = schemaObject(nested);
+            if (!child || typeof child.description !== "string" || child.description.trim() === "")
+                return [];
+            const path = pathPrefix ? `${pathPrefix}.${name}` : name;
+            const ref = `${refPrefix}.${name}`;
+            const exposedSchema = mapGroup ? mapAggregateSchema(nested, mapGroup) : nested;
+            const exposedDescription = schemaObject(exposedSchema)?.description;
+            return [{
+                    ref,
+                    ...(producerAlias ? { producerAlias } : {}),
+                    path,
+                    schema: exposedSchema,
+                    description: exposedDescription,
+                    required: required.has(name),
+                    guaranteed: true,
+                    controlEvidence: producerAlias && mapGroup
+                        ? `Atom alias ${producerAlias} is a processor in Map ${mapGroup}; this reference is its ordered aggregate after the Map completes.`
+                        : producerAlias
+                            ? `Atom alias ${producerAlias} is guaranteed after the committed control flow.`
+                            : "The Workflow input is present in the frozen planning request.",
+                }, ...schemaValues(ref, path, nested, producerAlias, mapGroup)];
+        })];
+}
+export function buildPlanningFrontier(input) {
+    const aliases = input.flow ? guaranteedAliasesAfter(input.flow) : new Set();
+    const atomByAlias = input.flow ? collectAliases(input.flow) : new Map();
+    const descriptorByKey = new Map(input.registry.list().map((entry) => [entry.plannerDescriptor.key, entry.plannerDescriptor]));
+    const workflowValues = Object.entries(input.workflowInputs).map(([name, value]) => ({
+        ref: `$input.${name}`,
+        path: name,
+        schema: inferSchema(value),
+        description: `用户提供的 Workflow 输入字段 ${name}。`,
+        required: true,
+        guaranteed: true,
+        controlEvidence: "The Workflow input is present in the frozen planning request.",
+    }));
+    const outputValues = [...aliases].flatMap((alias) => {
+        const source = atomByAlias.get(alias);
+        const descriptor = source ? descriptorByKey.get(source.atomKey) : undefined;
+        return descriptor ? schemaValues(`$output.${alias}`, "", descriptor.outputSchema, alias, source?.mapGroup) : [];
+    });
+    return PlanningFrontierSchema.parse({
+        schemaVersion: "1.0",
+        workspaceId: input.workspaceId,
+        revision: input.revision,
+        draftHash: input.draftHash,
+        blockIds: input.blockIds,
+        guaranteedAliases: [...aliases].sort(),
+        availableValues: [...workflowValues, ...outputValues].sort((left, right) => left.ref.localeCompare(right.ref)),
+    });
+}
+//# sourceMappingURL=planning-frontier.js.map

package/dist/workspace/planning-frontier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"planning-frontier.js","sourceRoot":"","sources":["../../src/workspace/planning-frontier.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,GAKvB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAI/D,SAAS,YAAY,CAAC,MAAwC;IAC5D,OAAO,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAsB,CAAC,CAAC,CAAC,SAAS,CAAC;AACtH,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAkB,EAAE,MAAc;IAC3E,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,UAAoC,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,GAAG,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAoB,CAAC,CAAC;YACjD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3G,IAAI,KAAK;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,0BAA0B,CAAC,KAAmB,EAAE,IAAI,CAAC,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,KAA+B,CAAC,CAAC;IACnE,IAAI,KAAK;QAAE,OAAO,CAAC,IAAI,CAAC,GAAG,0BAA0B,CAAC,KAAmB,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,CAAC;IAC3F,OAAO,OAAO,CAAC;AACjB,CAAC;AAOD,SAAS,cAAc,CACrB,IAAsB,EACtB,UAAU,IAAI,GAAG,EAAuB,EACxC,QAAiB;IAEjB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAAC,MAAM;QACnG,KAAK,UAAU;YACb,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC9C,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;oBAAE,OAAO;gBACrE,cAAc,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;YACtF,CAAC,CAAC,CAAC;YACH,MAAM;QACR,KAAK,UAAU;YAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YAAC,MAAM;QAClG,KAAK,UAAU;YAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YAAC,MAAM;QACrG,KAAK,KAAK;YAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YAAC,MAAM;QAC/D,KAAK,QAAQ;YACX,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC7C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACjG,MAAM;IACV,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,YAAY,CAAC,MAA8B;IAClD,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC7B,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,sBAAsB,CAAC,IAAsB,EAAE,SAA8B,IAAI,GAAG,EAAE;IACpG,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAAC,OAAO,OAAO,CAAC;QAClD,KAAK,UAAU,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAc,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;QAClI,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YACxF,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC/D,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;oBAAE,OAAO,EAAE,CAAC;gBACvE,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YACnG,CAAC,CAAC,CAAC;YACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC1C,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1D,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,OAAO,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9D,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,SAAS,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC7D,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAChC,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAgB;IACnC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACtG,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;YACpC,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC1G,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YAC5B,oBAAoB,EAAE,IAAI;SAC3B,CAAC;IACF,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/F,OAAO,EAAE,IAAI,EAAE,OAAO,KAA6B,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,YAAY,CACnB,SAAiB,EACjB,UAAkB,EAClB,MAAkB,EAClB,aAAsB,EACtB,QAAiB;IAEjB,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC5E,MAAM,eAAe,GAAG,OAAO,YAAY,CAAC,UAAU,CAAC,EAAE,WAAW,KAAK,QAAQ;QAC/E,CAAC,CAAC,YAAY,CAAC,UAAU,CAAE,CAAC,WAAqB;QACjD,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,aAAa,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAC5E,MAAM,IAAI,GAAG,aAAa,IAAI,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACjD,GAAG,EAAE,SAAS;YACd,aAAa;YACb,IAAI,EAAE,GAAG;YACT,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,eAAe;YAC5B,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,IAAa;YACzB,eAAe,EAAE,QAAQ;gBACvB,CAAC,CAAC,cAAc,aAAa,0BAA0B,QAAQ,oEAAoE;gBACnI,CAAC,CAAC,cAAc,aAAa,kDAAkD;SAClF,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACR,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,UAAoC,CAAC,CAAC;IAC7E,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3I,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE;YACxE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAoB,CAAC,CAAC;YACjD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,OAAO,EAAE,CAAC;YAClG,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACzD,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,IAAI,EAAE,CAAC;YACnC,MAAM,aAAa,GAAG,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAoB,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAoB,CAAC;YAC3G,MAAM,kBAAkB,GAAG,YAAY,CAAC,aAAa,CAAC,EAAE,WAAqB,CAAC;YAC9E,OAAO,CAAC;oBACN,GAAG;oBACH,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3C,IAAI;oBACJ,MAAM,EAAE,aAAa;oBACrB,WAAW,EAAE,kBAAkB;oBAC/B,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;oBAC5B,UAAU,EAAE,IAAa;oBACzB,eAAe,EAAE,aAAa,IAAI,QAAQ;wBACxC,CAAC,CAAC,cAAc,aAAa,0BAA0B,QAAQ,oEAAoE;wBACnI,CAAC,CAAC,aAAa;4BACb,CAAC,CAAC,cAAc,aAAa,kDAAkD;4BACjF,CAAC,CAAC,+DAA+D;iBACpE,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,MAAoB,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAQrC;IACC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;IACpF,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAuB,CAAC;IAC7F,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAC9H,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAClF,GAAG,EAAE,UAAU,IAAI,EAAE;QACrB,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC;QAC1B,WAAW,EAAE,uBAAuB,IAAI,GAAG;QAC3C,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAa;QACzB,eAAe,EAAE,+DAA+D;KACjF,CAAC,CAAC,CAAC;IACJ,MAAM,YAAY,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QAClD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,OAAO,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,WAAW,KAAK,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClH,CAAC,CAAC,CAAC;IACH,OAAO,sBAAsB,CAAC,KAAK,CAAC;QAClC,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,iBAAiB,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;QACtC,eAAe,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;KAC/G,CAAC,CAAC;AACL,CAAC"}

package/dist/workspace/planning-workspace-service.d.ts

@@ -0,0 +1,72 @@
+import { type JsonValue, type PlanningDraftRevision, type PlanningFrontier, type PlanningTransactionResult, type PlanningWorkspaceSnapshot, type RuntimePolicyInput, type WorkflowIR, type WorkflowSpec, type WorkflowValidationError } from "@atom-workflow-agent/contracts";
+import type { AtomRegistry } from "@atom-workflow-agent/atom-catalog";
+export interface CreatePlanningWorkspaceInput {
+    readonly workspaceId: string;
+    readonly requestId: string;
+    readonly goal: string;
+    readonly workflowName: string;
+    readonly workflowInputs: Readonly<Record<string, JsonValue>>;
+    readonly context: JsonValue;
+    readonly runtimePolicy: RuntimePolicyInput;
+    readonly selectedAtomKeys: readonly string[];
+    readonly requiredAtomKeys: readonly string[];
+    readonly catalogHash?: string;
+}
+export interface PlanningWorkspaceFinalization {
+    readonly workspace: PlanningWorkspaceSnapshot["workspace"];
+    readonly revision: PlanningDraftRevision;
+    readonly workflow: WorkflowSpec;
+    readonly ir: WorkflowIR;
+}
+export interface PlanningWorkspaceLimits {
+    readonly maxOperationsPerTransaction?: number;
+    readonly maxRevisions?: number;
+    readonly maxNodes?: number;
+}
+export interface PlanningWorkspaceValidation {
+    readonly ok: boolean;
+    readonly revision: number;
+    readonly draftHash: string;
+    readonly errors: readonly WorkflowValidationError[];
+    readonly workflowNodeCount?: number;
+    readonly workflowIrHash?: string;
+}
+/**
+ * Runtime-owned, provider-neutral editor for one global semantic plan.
+ * Planner transactions contain business regions and semantic source selectors;
+ * Runtime deterministically binds them into one internal PlannerDraft and only
+ * commits after PlannerDraft -> WorkflowSpec -> WorkflowIR accepts the whole plan.
+ */
+export declare class PlanningWorkspaceService {
+    private readonly registry;
+    private readonly limits;
+    private state;
+    private readonly now;
+    private constructor();
+    static create(registry: AtomRegistry, input: CreatePlanningWorkspaceInput, options?: {
+        readonly now?: () => Date;
+        readonly limits?: PlanningWorkspaceLimits;
+    }): PlanningWorkspaceService;
+    static restore(registry: AtomRegistry, snapshot: PlanningWorkspaceSnapshot, options?: {
+        readonly now?: () => Date;
+        readonly limits?: PlanningWorkspaceLimits;
+    }): PlanningWorkspaceService;
+    snapshot(): PlanningWorkspaceSnapshot;
+    inspect(): PlanningWorkspaceSnapshot;
+    searchCatalog(query: string, limit?: number): readonly JsonValue[];
+    describeAtom(key: string): JsonValue;
+    updateCatalogAuthority(selectedAtomKeys: readonly string[], requiredAtomKeys: readonly string[], catalogHash: string): PlanningWorkspaceSnapshot;
+    frontier(): PlanningFrontier;
+    applyTransaction(raw: unknown): PlanningTransactionResult;
+    validate(): PlanningWorkspaceValidation;
+    reportGap(raw: unknown): PlanningWorkspaceSnapshot;
+    resumeEditing(workflowInputs?: Readonly<Record<string, JsonValue>>): PlanningWorkspaceSnapshot;
+    finalize(expected?: {
+        readonly revision: number;
+        readonly draftHash: string;
+    }): PlanningWorkspaceFinalization;
+    private finalizedResult;
+    private applyOperations;
+    private record;
+}
+//# sourceMappingURL=planning-workspace-service.d.ts.map

package/dist/workspace/planning-workspace-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planning-workspace-service.d.ts","sourceRoot":"","sources":["../../src/workspace/planning-workspace-service.ts"],"names":[],"mappings":"AACA,OAAO,EAUL,KAAK,SAAS,EAGd,KAAK,qBAAqB,EAE1B,KAAK,gBAAgB,EAErB,KAAK,yBAAyB,EAC9B,KAAK,yBAAyB,EAC9B,KAAK,kBAAkB,EACvB,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAC7B,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AAqCtE,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,kBAAkB,CAAC;IAC3C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,SAAS,EAAE,yBAAyB,CAAC,WAAW,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;CACzB;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,MAAM,CAAC;IAC9C,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACpD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAgED;;;;;GAKG;AACH,qBAAa,wBAAwB;IAKjC,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAGzB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAPzB,OAAO,CAAC,KAAK,CAA4B;IACzC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAa;IAEjC,OAAO;IAUP,MAAM,CAAC,MAAM,CACX,QAAQ,EAAE,YAAY,EACtB,KAAK,EAAE,4BAA4B,EACnC,OAAO,GAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,uBAAuB,CAAA;KAAO,GACrF,wBAAwB;IAwD3B,MAAM,CAAC,OAAO,CACZ,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,yBAAyB,EACnC,OAAO,GAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,uBAAuB,CAAA;KAAO,GACrF,wBAAwB;IAQ3B,QAAQ,IAAI,yBAAyB;IAIrC,OAAO,IAAI,yBAAyB;IAIpC,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,SAAK,GAAG,SAAS,SAAS,EAAE;IAgB9D,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS;IAMpC,sBAAsB,CACpB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,WAAW,EAAE,MAAM,GAClB,yBAAyB;IAiC5B,QAAQ,IAAI,gBAAgB;IAa5B,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,yBAAyB;IA8KzD,QAAQ,IAAI,2BAA2B;IAqCvC,SAAS,CAAC,GAAG,EAAE,OAAO,GAAG,yBAAyB;IAclD,aAAa,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,yBAAyB;IAe9F,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,6BAA6B;IAmE7G,OAAO,CAAC,eAAe;IAyCvB,OAAO,CAAC,eAAe;IAoCvB,OAAO,CAAC,MAAM;CAiBf"}