codex-workflow-v2 2.0.0-beta.2 → 2.0.0-beta.4

package/dist/src/state/lock.d.ts

@@ -1,14 +1,86 @@
-import { type WriterLease } from '../contracts.js';
+import { STATE_SCHEMA_VERSION, type PublicCoreTaskOperation, type PublicWriterLease, type WriterLease } from '../contracts.js';
+export interface CoreTaskOperationMutex {
+    schemaVersion: typeof STATE_SCHEMA_VERSION;
+    kind: 'core-task-operation-mutex';
+    entityId: string;
+    operationId: string;
+    transitionId: string;
+    mutexId: string;
+    nonceSha256: string;
+    owner: 'workflow-core';
+    acquiredAt: string;
+    expiresAt: string;
+}
+export interface CoreTaskOperationHandle {
+    readonly __coreTaskOperationHandle?: never;
+}
+export interface WriterLeaseHandle {
+    readonly __writerLeaseHandle?: never;
+}
 export declare class WriterLockManager {
     private readonly locksRoot;
     private readonly now;
-    constructor(locksRoot: string, now?: () => Date);
+    private readonly trustedRoot?;
+    constructor(locksRoot: string, now?: () => Date, trustedRoot?: string | undefined);
     acquire(entityId: string, owner: string, leaseMs?: number): WriterLease;
     heartbeat(entityId: string, token: string, leaseMs?: number): WriterLease;
     release(entityId: string, token: string): void;
+    prove(entityId: string, token: string): WriterLeaseHandle;
+    proofBinding(handle: WriterLeaseHandle): {
+        entityId: string;
+        owner: string;
+        expiresAt: string;
+        tokenSha256: string;
+        contentSha256: string;
+    };
     inspect(entityId: string): WriterLease | null;
     list(): WriterLease[];
     repairStale(entityId: string): WriterLease;
-    private requireToken;
+    private requireConsumableToken;
     private file;
 }
+export declare function listWriterLeases(locksRoot: string, trustedRoot?: string): WriterLease[];
+export declare function inspectWriterLease(locksRoot: string, entityId: string, trustedRoot?: string): WriterLease | null;
+export declare function listCoreTaskOperationMutexes(locksRoot: string, trustedRoot?: string): CoreTaskOperationMutex[];
+export declare function toPublicWriterLease(lease: WriterLease, now: Date): PublicWriterLease;
+export declare class CoreTaskOperationLockManager {
+    private readonly locksRoot;
+    private readonly now;
+    private readonly trustedRoot?;
+    constructor(locksRoot: string, now?: () => Date, trustedRoot?: string | undefined);
+    acquire(input: {
+        entityId: string;
+        operationId: string;
+        transitionId: string;
+        leaseMs?: number;
+    }): CoreTaskOperationHandle;
+    acquireForRecovery(input: {
+        entityId: string;
+        operationId: string;
+        transitionId: string;
+        leaseMs?: number;
+    }): CoreTaskOperationHandle;
+    transferFromWriter(writerHandle: WriterLeaseHandle, input: {
+        entityId: string;
+        operationId: string;
+        transitionId: 'task.coordination.corrective-yield';
+        leaseMs?: number;
+    }): CoreTaskOperationHandle;
+    acquireYieldRecovery(input: {
+        entityId: string;
+        operationId: string;
+        transitionId: 'task.coordination.corrective-yield';
+        expectedWriterContentSha256: string;
+        expectedWriterTokenSha256: string;
+        leaseMs?: number;
+    }): CoreTaskOperationHandle;
+    release(handle: CoreTaskOperationHandle): void;
+    private materializeMutex;
+}
+export declare function assertCoreTaskOperationHandle(locksRoot: string, trustedRoot: string | undefined, handle: unknown, now: Date, expected?: {
+    entityId?: string;
+    operationId?: string;
+    transitionId?: string;
+}): CoreTaskOperationMutex;
+export declare function inspectCoreTaskOperationMutex(locksRoot: string, entityId: string, trustedRoot?: string): CoreTaskOperationMutex | null;
+export declare function toPublicCoreTaskOperation(mutex: CoreTaskOperationMutex, now: Date): PublicCoreTaskOperation;