work-ctrl-flow-logic 0.1.1 → 0.1.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "work-ctrl-flow-logic",
-  "version": "0.1.1",
+  "version": "0.1.3",
   "private": false,
   "description": "WorkCtrlFlow 引擎：可中断可恢复的动态工作流（快照重放 + WaitHandle/ResumeSignal）",
   "type": "module",
@@ -12,9 +12,10 @@
   },
   "dependencies": {
     "depa-behavior-tree": "0.1.0",
-    "instant-ctrl-flow-contract": "0.1.0",
-    "instant-ctrl-flow-logic": "0.1.2",
-    "work-ctrl-flow-contract": "0.1.1"
+    "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,6 +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 { 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,
@@ -50,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);
@@ -686,6 +734,29 @@ export function annotateFlowFile(instanceDir: string, view: TreeViewAnnotation):
   const tmp = file + '.tmp';
   fs.writeFileSync(tmp, text);
   fs.renameSync(tmp, file);
+
+  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('/'));
+    let stepText = stripViewAttrs(fs.readFileSync(stepFile, 'utf8'));
+    const coreOffset = stepText.indexOf('<Core');
+    const prefix = coreOffset >= 0 ? stepText.slice(0, coreOffset) : '';
+    let coreText = coreOffset >= 0 ? stepText.slice(coreOffset) : stepText;
+    for (const [id, annotation] of Object.entries(view.nodes)) {
+      const entries: Record<string, string | number> = { status: annotation.status };
+      if (annotation.iterations !== undefined) entries.iterations = annotation.iterations;
+      coreText = injectAttrs(coreText, id, entries);
+    }
+    stepText = `${prefix}${coreText}`;
+    const stepTmp = `${stepFile}.tmp`;
+    fs.writeFileSync(stepTmp, stepText);
+    fs.renameSync(stepTmp, stepFile);
+  }
 }
 
 /** BPCtrlFlow：把任务状态机现值同步进实例 task.space.xnl（替换既有 status 值；真源在 TaskSpaceStore） */