@xioflow/kernel 0.4.0 → 0.5.1

package/dist/supervisor/supervisor.d.ts

@@ -1,54 +1,10 @@
 import { ExecutionDomain } from '../domain.js';
-import { PlatformDriver, StructuredCommand, StopProcessResult } from '../driver/types.js';
-import { ProcessOperationResult, TerminationReason, ResourceBudget, ServiceSpec, ServiceHandle, SnapshotDriver, SnapshotOperationResult, RollbackOperationResult, ConfinementDriver } from '../types.js';
-export interface ExecuteProcessOptions {
-    runId: string;
-    opId: string;
-    name: string;
-    command: StructuredCommand;
-    requiredResources?: string[];
-    mutationRoots?: string[];
-    capabilityId?: string;
-    confinement?: boolean | string;
-    confinementDriver?: ConfinementDriver;
-    timeoutMs?: number;
-    inputFingerprint?: string;
-    maxOutputBytes?: number;
-    drainTimeoutMs?: number;
-    resourceBudget?: ResourceBudget;
-    waitTimeoutMs?: number;
-    artifactsDir?: string;
-    abortSignal?: AbortSignal;
-    /**
-     * 流式投影：每个 stdout/stderr chunk 原样转发，不做缓冲或截断。
-     * 回调抛错不会中断排空，首个错误以 result.streamCallbackError 记录。
-     */
-    onStreamChunk?: (stream: 'stdout' | 'stderr', chunk: Buffer) => void;
-}
-export interface CaptureSnapshotOptions {
-    runId: string;
-    opId: string;
-    roots?: string[];
-    capabilityId?: string;
-    includeIgnored?: boolean;
-    maxTreeSizeBytes?: number;
-    timeoutMs?: number;
-}
-export interface RollbackOptions {
-    runId: string;
-    opId: string;
-    snapshotId: string;
-    roots?: string[];
-    capabilityId?: string;
-    force?: boolean;
-    timeoutMs?: number;
-}
-export declare function normalizeResourceName(res: string): string;
-/**
- * 规范化计算完整输入的 SHA-256 指纹 (ARCHITECTURE §2 / P0-12)
- * 覆盖 execPath, args, cwd, 键排序的 envWhiteList, inheritEnv, sha256(stdin), 排序后的 requiredResources, timeoutMs, resourceBudget.
- */
-export declare function computeInputFingerprint(options: ExecuteProcessOptions): string;
+import { PlatformDriver, StopProcessResult } from '../driver/types.js';
+import { ProcessOperationResult, TerminationReason, ServiceSpec, ServiceHandle, SnapshotDriver, SnapshotOperationResult, RollbackOperationResult, ConfinementDriver } from '../types.js';
+import { CommitResult, TransactionEffects, WorkspaceTransaction } from '../workspace/transactions.js';
+import { CaptureSnapshotOptions, ExecuteProcessOptions, RollbackOptions } from './types.js';
+export type { ExecuteProcessOptions, CaptureSnapshotOptions, RollbackOptions } from './types.js';
+export { normalizeResourceName, computeInputFingerprint } from './fingerprint.js';
 export declare class ProcessSupervisor {
     private readonly domain;
     private readonly driver;
@@ -56,6 +12,7 @@ export declare class ProcessSupervisor {
     private serviceSupervisor;
     private snapshotDriver;
     private confinementDriver?;
+    private transactions?;
     constructor(domain: ExecutionDomain, driver?: PlatformDriver, snapshotDriver?: SnapshotDriver, confinementDriver?: ConfinementDriver);
     getDomain(): ExecutionDomain;
     getDriver(): PlatformDriver;
@@ -63,6 +20,7 @@ export declare class ProcessSupervisor {
     setConfinementDriver(driver: ConfinementDriver): void;
     getConfinementDriver(): ConfinementDriver | undefined;
     startService(spec: ServiceSpec): Promise<ServiceHandle>;
+    private get snapshotContext();
     /**
      * 快照捕获协议 (ARCHITECTURE §3.5 / 契约 #32, #53)
      */
@@ -91,17 +49,33 @@ export declare class ProcessSupervisor {
     pruneSnapshots(snapshotIds: string[], options?: {
         runId?: string;
     }): Promise<string[]>;
+    /**
+     * 工作区事务（ARCHITECTURE §3.9）：在主工作区的基线快照上 materialize 出独立 fork，
+     * agent 以 `forkRoot` 为 cwd 工作；commit 时按读写集做乐观并发校验，无冲突才把写集应用回主工作区。
+     */
+    beginWorkspaceTransaction(options: {
+        txId: string;
+        runId: string;
+        root: string;
+        forkPath: string;
+    }): Promise<WorkspaceTransaction>;
+    inspectWorkspaceTransaction(txId: string): Promise<TransactionEffects>;
+    commitWorkspaceTransaction(txId: string): Promise<CommitResult>;
+    abortWorkspaceTransaction(txId: string, reason?: string): Promise<void>;
+    private workspaceTransactions;
     /**
      * 启动协议：准入检查 -> 先持久化意图 -> 请求驱动启动 -> 登记身份并转 active -> 监督运行 -> 记录结果
      */
     executeProcess(options: ExecuteProcessOptions): Promise<ProcessOperationResult>;
+    private get runContext();
+    /** 登记在飞状态；abortSignal 触发即走取消流水线（已中止则在启动前取消）。 */
+    private trackOperation;
     /**
      * 停止确认流水线 (Stopping Pipeline)
      */
     cancelOperation(opId: string, graceMs?: number): Promise<StopProcessResult>;
     handleStopPipeline(opId: string, reason: TerminationReason, graceMs: number): Promise<StopProcessResult>;
     private ensureActiveOperation;
-    private handlePreSpawnCancellation;
     pruneArtifacts(filter?: {
         olderThanMs?: number;
         prefix?: string;
@@ -109,6 +83,7 @@ export declare class ProcessSupervisor {
         deleted: string[];
         retained: string[];
     };
+    /** 保留原签名：共享契约与单写者测试直接调用它验证「重复终结必须抛错」。 */
     private finalizeOperation;
 }
 //# sourceMappingURL=supervisor.d.ts.map

package/dist/supervisor/supervisor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"supervisor.d.ts","sourceRoot":"","sources":["../../src/supervisor/supervisor.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EACL,cAAc,EACd,iBAAiB,EAGjB,iBAAiB,EAClB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAGL,sBAAsB,EAGtB,iBAAiB,EACjB,cAAc,EAMd,WAAW,EACX,aAAa,EACb,cAAc,EAEd,uBAAuB,EACvB,uBAAuB,EAEvB,iBAAiB,EAClB,MAAM,aAAa,CAAC;AAQrB,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,iBAAiB,CAAC;IAC3B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;IAC/B,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B;;;OAGG;IACH,aAAa,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;CACtE;AAED,MAAM,WAAW,sBAAsB;IACrC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAUzD;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,qBAAqB,GAAG,MAAM,CAoC9E;AAoBD,qBAAa,iBAAiB;IAO1B,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAPzB,OAAO,CAAC,gBAAgB,CAAgD;IACxE,OAAO,CAAC,iBAAiB,CAAoB;IAC7C,OAAO,CAAC,cAAc,CAAiB;IACvC,OAAO,CAAC,iBAAiB,CAAC,CAAoB;IAE9C,YACmB,MAAM,EAAE,eAAe,EACvB,MAAM,GAAE,cAAiE,EAC1F,cAAc,CAAC,EAAE,cAAc,EAC/B,iBAAiB,CAAC,EAAE,iBAAiB,EAOtC;IAEM,SAAS,IAAI,eAAe,CAElC;IAEM,SAAS,IAAI,cAAc,CAEjC;IAEM,iBAAiB,IAAI,cAAc,CAEzC;IAEM,oBAAoB,CAAC,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAE3D;IAEM,oBAAoB,IAAI,iBAAiB,GAAG,SAAS,CAE3D;IAEY,YAAY,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CAEnE;IAED;;OAEG;IACU,eAAe,CAAC,OAAO,EAAE,sBAAsB,GAAG,OAAO,CAAC,uBAAuB,CAAC,CA+J9F;IAED;;OAEG;IACU,QAAQ,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,uBAAuB,CAAC,CA0NhF;IAED;;OAEG;IACU,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC,CAwB/F;IAED;;OAEG;IACU,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CA6BxF;IAED;;;;OAIG;IACU,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAwBlG;IAED;;OAEG;IACU,cAAc,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAytB7F;IAEC;;OAEG;IACU,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,MAAa,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAsB7F;IAEY,kBAAkB,CAC7B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,iBAAiB,EACzB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,iBAAiB,CAAC,CAiD5B;IAED,OAAO,CAAC,qBAAqB;IAwB7B,OAAO,CAAC,0BAA0B;IAgD3B,cAAc,CAAC,MAAM,CAAC,EAAE;QAAE,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG;QACzE,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAEA;IAED,OAAO,CAAC,iBAAiB;CA0D1B"}
+{"version":3,"file":"supervisor.d.ts","sourceRoot":"","sources":["../../src/supervisor/supervisor.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAGL,sBAAsB,EACtB,iBAAiB,EAEjB,WAAW,EACX,aAAa,EACb,cAAc,EACd,uBAAuB,EACvB,uBAAuB,EACvB,iBAAiB,EAClB,MAAM,aAAa,CAAC;AAgBrB,OAAO,EACL,YAAY,EACZ,kBAAkB,EAClB,oBAAoB,EAErB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAEL,sBAAsB,EACtB,qBAAqB,EACrB,eAAe,EAEhB,MAAM,YAAY,CAAC;AAEpB,YAAY,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AACjG,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAElF,qBAAa,iBAAiB;IAQ1B,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IARzB,OAAO,CAAC,gBAAgB,CAAgD;IACxE,OAAO,CAAC,iBAAiB,CAAoB;IAC7C,OAAO,CAAC,cAAc,CAAiB;IACvC,OAAO,CAAC,iBAAiB,CAAC,CAAoB;IAC9C,OAAO,CAAC,YAAY,CAAC,CAAwB;IAE7C,YACmB,MAAM,EAAE,eAAe,EACvB,MAAM,GAAE,cAAiE,EAC1F,cAAc,CAAC,EAAE,cAAc,EAC/B,iBAAiB,CAAC,EAAE,iBAAiB,EAOtC;IAEM,SAAS,IAAI,eAAe,CAElC;IAEM,SAAS,IAAI,cAAc,CAEjC;IAEM,iBAAiB,IAAI,cAAc,CAEzC;IAEM,oBAAoB,CAAC,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAE3D;IAEM,oBAAoB,IAAI,iBAAiB,GAAG,SAAS,CAE3D;IAEY,YAAY,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CAEnE;IAED,OAAO,KAAK,eAAe,GAE1B;IAED;;OAEG;IACU,eAAe,CAAC,OAAO,EAAE,sBAAsB,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAE9F;IAED;;OAEG;IACU,QAAQ,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAEhF;IAED;;OAEG;IACU,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC,CAE/F;IAED;;OAEG;IACU,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAExF;IAED;;;;OAIG;IACU,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAElG;IAED;;;OAGG;IACU,yBAAyB,CAAC,OAAO,EAAE;QAC9C,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;KAClB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAEhC;IAEY,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAElF;IAEY,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAE3E;IAEY,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAEnF;IAED,OAAO,CAAC,qBAAqB;IA8B7B;;OAEG;IACU,cAAc,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CA6C3F;IAED,OAAO,KAAK,UAAU,GASrB;IAED,gDAAgD;IAChD,OAAO,CAAC,cAAc;IA8BtB;;OAEG;IACU,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,MAAa,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAsB7F;IAEY,kBAAkB,CAC7B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,iBAAiB,EACzB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,iBAAiB,CAAC,CA6C5B;IAED,OAAO,CAAC,qBAAqB;IAwBtB,cAAc,CAAC,MAAM,CAAC,EAAE;QAAE,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG;QACzE,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAEA;IAED,yCAAyC;IACzC,OAAO,CAAC,iBAAiB;CAS1B"}