work-ctrl-flow-logic 0.1.2 → 0.1.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "work-ctrl-flow-logic",
-  "version": "0.1.2",
+  "version": "0.1.3",
   "private": false,
   "description": "WorkCtrlFlow 引擎：可中断可恢复的动态工作流（快照重放 + WaitHandle/ResumeSignal）",
   "type": "module",
@@ -12,10 +12,10 @@
   },
   "dependencies": {
     "depa-behavior-tree": "0.1.0",
-    "flow-step-space-logic": "0.1.0",
-    "instant-ctrl-flow-contract": "0.1.1",
-    "instant-ctrl-flow-logic": "0.1.3",
-    "work-ctrl-flow-contract": "0.1.2"
+    "flow-step-space-logic": "0.1.1",
+    "instant-ctrl-flow-contract": "0.1.2",
+    "instant-ctrl-flow-logic": "0.1.4",
+    "work-ctrl-flow-contract": "0.1.3"
   },
   "files": [
     "src"

package/src/instance.ts

@@ -8,7 +8,12 @@ import fs from 'node:fs';
 import path from 'node:path';
 import { createHash, randomUUID } from 'node:crypto';
 import { loadFlowBundle } from 'instant-ctrl-flow-logic/filesystem';
-import { assembleDefinitionStepProfileDirectory } from 'flow-step-space-logic/filesystem';
+import { loadCtrlFlowProfileFromSources } from 'instant-ctrl-flow-logic';
+import type { FlowNodeSpec } from 'instant-ctrl-flow-contract';
+import {
+  assembleDefinitionStepProfileDirectory,
+  createFilesystemDefinitionStepProfileRuntime,
+} from 'flow-step-space-logic/filesystem';
 import {
   FLOW_INSTANCE_SCHEMA_VERSION,
   type FlowDefinitionProvenance,
@@ -51,6 +56,48 @@ export interface MaterializedFlowInstance {
   readonly created: boolean;
 }
 
+/** Definition-admission projection used by the checkpoint owner for Ctrl membership. */
+export function loadFrozenCtrlDefinitionStepIds(
+  definitionDir: string,
+  profileKind: 'WorkCtrlFlow' | 'AICtrlWorkflow',
+): readonly string[] {
+  const runtime = createFilesystemDefinitionStepProfileRuntime({ rootDir: definitionDir });
+  const assembled = assembleDefinitionStepProfileDirectory(runtime, {}, { profileRoot: profileKind });
+  if (assembled.diagnostics.length > 0) {
+    throw new FlowInstanceMaterializationError(
+      'instance-definition-invalid',
+      `frozen ${profileKind} StepSpace is invalid: ${assembled.diagnostics.map((item) => item.code).join(', ')}`,
+    );
+  }
+  const profileSpec = profileKind === 'AICtrlWorkflow'
+    ? loadCtrlFlowProfileFromSources(
+        Object.fromEntries((assembled.sources as readonly ({ readonly ref: string; readonly content: string } | { readonly name: string; readonly content: string })[])
+          .map((source) => ['name' in source ? source.name : source.ref, source.content])),
+        { profileRoot: 'AICtrlWorkflow', substrateForm: 'WorkCtrlFlow' },
+      ).spec
+    : undefined;
+  // The AICtrl runtime can also be bound to an already-canonical WorkCtrl
+  // definition. That frozen substrate binding remains the membership authority.
+  const spec = profileSpec ?? loadFlowBundle(definitionDir).spec;
+  if (!spec) {
+    throw new FlowInstanceMaterializationError('instance-definition-invalid', `frozen ${profileKind} binding is invalid`);
+  }
+  const ids: string[] = [];
+  const visit = (node: FlowNodeSpec): void => {
+    if (node.id) ids.push(node.id);
+    node.children.forEach(visit);
+    Object.values(node.sections).forEach(visit);
+  };
+  spec.statements.forEach(visit);
+  if (ids.length === 0 || new Set(ids).size !== ids.length) {
+    throw new FlowInstanceMaterializationError(
+      'instance-definition-step-identities-invalid',
+      'frozen Ctrl binding must expose unique executable step identities',
+    );
+  }
+  return Object.freeze(ids);
+}
+
 export class FlowInstanceMaterializationError extends Error {
   constructor(public readonly code: string, message: string) {
     super(message);
@@ -688,7 +735,11 @@ export function annotateFlowFile(instanceDir: string, view: TreeViewAnnotation):
   fs.writeFileSync(tmp, text);
   fs.renameSync(tmp, file);
 
-  const assembled = assembleDefinitionStepProfileDirectory(instanceDir, 'WorkCtrlFlow');
+  const assembled = assembleDefinitionStepProfileDirectory(
+    createFilesystemDefinitionStepProfileRuntime({ rootDir: instanceDir }),
+    {},
+    { profileRoot: 'WorkCtrlFlow' },
+  );
   if (!assembled.forest || assembled.diagnostics.length > 0) return;
   for (const stepId of assembled.forest.stepOrder) {
     const stepFile = path.join(instanceDir, ...assembled.forest.steps[stepId].sourceRef.split('/'));