botmux 3.9.1 → 3.10.0

package/dist/workflows/v3/event-contract.d.ts

@@ -0,0 +1,273 @@
+/**
+ * Durable workflow event contracts shared by the scheduler and host runtimes.
+ *
+ * Keep this module data-only. Journal persistence, Botmux sessions, workers,
+ * and provider adapters consume these shapes but must never leak into them.
+ */
+export type GoalAsk = {
+    question: string;
+    options: string[];
+    freeText?: false;
+} | {
+    question: string;
+    freeText: true;
+    options?: never;
+};
+export type GoalAnswer = {
+    selected: string;
+    by: string;
+} | {
+    text: string;
+    by: string;
+};
+export type V3ErrorClass = 'workerError' | 'manifestInvalid' | 'resultInvalid' | 'timeout' | 'gateRejected' | 'cancelled';
+export type V3RunFailureReason = 'allSinksSkipped';
+export interface V3UncertainHostEffect {
+    nodeId: string;
+    instanceId: string;
+    attemptId: string;
+    executor: string;
+    errorCode: string;
+}
+export interface V3LoopRef {
+    loopId: string;
+    iteration: number;
+    bodyNodeId: string;
+}
+export type V3Event = {
+    type: 'runStarted';
+    runId: string;
+} | {
+    type: 'nodeDispatched';
+    nodeId: string;
+    instanceId?: string;
+    attemptId: string;
+    loop?: V3LoopRef;
+} | {
+    type: 'hostInputPrepared';
+    nodeId: string;
+    instanceId: string;
+    attemptId: string;
+    executor: string;
+    provider: string;
+    inputRef: {
+        path: string;
+        sha256: string;
+        bytes: number;
+    };
+    inputHash: string;
+    idempotencyKey: string;
+    idempotencyTtlMs: number;
+    approvalDigest: string;
+} | {
+    type: 'hostEffectIntent';
+    nodeId: string;
+    instanceId: string;
+    attemptId: string;
+    executor: string;
+    provider: string;
+    inputRef: {
+        path: string;
+        sha256: string;
+        bytes: number;
+    };
+    inputHash: string;
+    idempotencyKey: string;
+    idempotencyTtlMs: number;
+    approvalDigest: string;
+} | {
+    type: 'hostEffectUncertain';
+    nodeId: string;
+    instanceId: string;
+    attemptId: string;
+    executor: string;
+    reason: 'ttlExpired' | 'inputUnrecoverable' | 'outputUnrecoverable' | 'definitionMismatch' | 'unknownProvider' | 'inputHashMismatch' | 'providerUncertain';
+    errorCode: string;
+} | {
+    type: 'hostEffectRetryDeferred';
+    nodeId: string;
+    instanceId: string;
+    attemptId: string;
+    retryCount: number;
+    nextRetryAt: number;
+    errorCode: string;
+} | {
+    type: 'nodeWorkerFenceArmed';
+    nodeId: string;
+    instanceId?: string;
+    attemptId: string;
+} | {
+    type: 'nodeSessionReady';
+    nodeId: string;
+    instanceId?: string;
+    attemptId: string;
+    sessionInfo: {
+        sessionId: string;
+        webPort?: number;
+    };
+    ptyLogPath?: string;
+} | {
+    type: 'nodeSucceeded';
+    nodeId: string;
+    instanceId?: string;
+    attemptId: string;
+    manifestPath: string;
+} | {
+    type: 'nodeFailed';
+    nodeId: string;
+    instanceId?: string;
+    attemptId: string;
+    errorClass: V3ErrorClass;
+    errorCode?: string;
+    message?: string;
+} | {
+    type: 'nodeBlocked';
+    nodeId: string;
+    instanceId?: string;
+    attemptId: string;
+    errorClass: V3ErrorClass;
+    errorCode?: string;
+    message?: string;
+    ask?: GoalAsk;
+    revisitTo?: string;
+} | {
+    type: 'nodeRetryRequested';
+    nodeId: string;
+    instanceId?: string;
+    previousAttemptId: string;
+    nextAttemptId: string;
+    reason: 'blockedRetry';
+    previousErrorClass?: V3ErrorClass;
+    previousErrorCode?: string;
+    resetGate?: boolean;
+    answer?: {
+        path: string;
+        preview: string;
+        by: string;
+    };
+} | {
+    type: 'gateDispatched';
+    nodeId: string;
+    instanceId?: string;
+    waitId: string;
+    hostApproval?: {
+        attemptId: string;
+        approvalDigest: string;
+        inputHash: string;
+    };
+} | {
+    type: 'gateResolved';
+    nodeId: string;
+    instanceId?: string;
+    waitId: string;
+    resolution: 'approved' | 'rejected';
+    by: string;
+    selected?: string;
+    hostApproval?: {
+        attemptId: string;
+        approvalDigest: string;
+        inputHash: string;
+    };
+} | {
+    type: 'edgeResolved';
+    from: string;
+    to: string;
+    fromInstanceId?: string;
+    toInstanceId?: string;
+    sourceAttemptId: string;
+    active: boolean;
+    detail?: string;
+} | {
+    type: 'nodeSkipped';
+    nodeId: string;
+    reason: 'triggerRuleUnsatisfied';
+    detail?: string;
+} | ({
+    type: 'nodeCancelled';
+    nodeId: string;
+    instanceId?: string;
+    attemptId?: string;
+    detail?: string;
+} & ({
+    reason: 'earlyReleaseLoser';
+    byNodeId: string;
+} | {
+    reason: 'runCancelled';
+    cancelRequestId: string;
+})) | {
+    type: 'nodeAttemptDrained';
+    nodeId: string;
+    instanceId?: string;
+    attemptId: string;
+    reason: 'terminalPeer' | 'obsoleteAttempt' | 'orphanRecovery' | 'runCancellation';
+} | {
+    type: 'nodeRevisitRequested';
+    nodeId: string;
+    instanceId: string;
+    attemptId: string;
+    toNodeId: string;
+    reason?: string;
+    reasonPath?: string;
+    sourceManifestPath?: string;
+    targetPreviousManifestPath?: string;
+} | {
+    type: 'nodeInstanceSuperseded';
+    nodeId: string;
+    instanceId: string;
+    byNodeId: string;
+    reason: 'refresh';
+} | {
+    type: 'revisitBudgetGranted';
+    sourceNodeId?: string;
+    toNodeId?: string;
+    by: string;
+    reason?: string;
+} | {
+    type: 'loopStarted';
+    loopId: string;
+} | {
+    type: 'loopIterationStarted';
+    loopId: string;
+    iteration: number;
+} | {
+    type: 'loopIterationDecision';
+    loopId: string;
+    iteration: number;
+    decision: 'exit' | 'continue' | 'exhausted';
+    detail?: string;
+} | {
+    type: 'loopIterationGranted';
+    loopId: string;
+    fromIteration: number;
+    by?: string;
+} | {
+    type: 'runCancelRequested';
+    cancelRequestId: string;
+    by: string;
+    reason?: string;
+} | {
+    type: 'runCancelled';
+    cancelRequestId: string;
+    by: string;
+    uncertainHostEffects?: V3UncertainHostEffect[];
+} | {
+    type: 'runSucceeded';
+} | {
+    type: 'runFailed';
+    failedNodeId?: string;
+    reason?: V3RunFailureReason;
+    detail?: string;
+} | {
+    type: 'runBlocked';
+    blockedNodeId: string;
+};
+export type StoredEvent = V3Event & {
+    ts: number;
+};
+export interface JournalMutation {
+    readonly events: readonly StoredEvent[];
+    append(event: V3Event, options?: {
+        durable?: boolean;
+    }): StoredEvent;
+}
+//# sourceMappingURL=event-contract.d.ts.map

package/dist/workflows/v3/event-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-contract.d.ts","sourceRoot":"","sources":["../../../src/workflows/v3/event-contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,MAAM,OAAO,GACf;IACE,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,CAAC,EAAE,KAAK,CAAC;CAClB,GACD;IACE,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,IAAI,CAAC;IACf,OAAO,CAAC,EAAE,KAAK,CAAC;CACjB,CAAC;AAEN,MAAM,MAAM,UAAU,GAClB;IACE,QAAQ,EAAE,MAAM,CAAC;IACjB,EAAE,EAAE,MAAM,CAAC;CACZ,GACD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC;AAEN,MAAM,MAAM,YAAY,GACpB,aAAa,GACb,iBAAiB,GACjB,eAAe,GACf,SAAS,GACT,cAAc,GACd,WAAW,CAAC;AAEhB,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,CAAC;AAEnD,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACrC;IACE,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,SAAS,CAAC;CAClB,GACD;IACE,IAAI,EAAE,mBAAmB,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;CACxB,GACD;IACE,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;CACxB,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EACF,YAAY,GACZ,oBAAoB,GACpB,qBAAqB,GACrB,oBAAoB,GACpB,iBAAiB,GACjB,mBAAmB,GACnB,mBAAmB,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;CACnB,GACD;IACE,IAAI,EAAE,yBAAyB,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB,GACD;IACE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB,GACD;IACE,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GACD;IACE,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;CACtB,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,YAAY,CAAC;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,GACD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,YAAY,CAAC;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GACD;IACE,IAAI,EAAE,oBAAoB,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,cAAc,CAAC;IACvB,kBAAkB,CAAC,EAAE,YAAY,CAAC;IAClC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,MAAM,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;CACxD,GACD;IACE,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CACjF,GACD;IACE,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,UAAU,GAAG,UAAU,CAAC;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CACjF,GACD;IACE,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,wBAAwB,CAAC;IACjC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACD,CAAC;IACC,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,CACA;IAAE,MAAM,EAAE,mBAAmB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,CACtD,CAAC,GACF;IACE,IAAI,EAAE,oBAAoB,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,cAAc,GAAG,iBAAiB,GAAG,gBAAgB,GAAG,iBAAiB,CAAC;CACnF,GACD;IACE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,0BAA0B,CAAC,EAAE,MAAM,CAAC;CACrC,GACD;IACE,IAAI,EAAE,wBAAwB,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,SAAS,CAAC;CACnB,GACD;IACE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACD;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACnE;IACE,IAAI,EAAE,uBAAuB,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAAC;IAC5C,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACD;IACE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,EAAE,CAAC,EAAE,MAAM,CAAC;CACb,GACD;IACE,IAAI,EAAE,oBAAoB,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACD;IACE,IAAI,EAAE,cAAc,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,oBAAoB,CAAC,EAAE,qBAAqB,EAAE,CAAC;CAChD,GACD;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,GACxB;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACD;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAAC;AAElD,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,WAAW,CAAC;CACtE"}

package/dist/workflows/v3/event-contract.js

@@ -0,0 +1,8 @@
+/**
+ * Durable workflow event contracts shared by the scheduler and host runtimes.
+ *
+ * Keep this module data-only. Journal persistence, Botmux sessions, workers,
+ * and provider adapters consume these shapes but must never leak into them.
+ */
+export {};
+//# sourceMappingURL=event-contract.js.map

package/dist/workflows/v3/event-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-contract.js","sourceRoot":"","sources":["../../../src/workflows/v3/event-contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/workflows/v3/gate-policy.d.ts

@@ -0,0 +1,12 @@
+import { type V3HumanGate } from './dag.js';
+export interface NormalizedGatePolicy {
+    prompt: string;
+    options: string[];
+    approveOptions: string[];
+    approvers: string[];
+}
+/** Normalize authored gate defaults without requiring a persistence adapter. */
+export declare function normalizeGateWaitInput(gate: V3HumanGate): NormalizedGatePolicy;
+export declare function selectedResolution(wait: Pick<NormalizedGatePolicy, 'options' | 'approveOptions'>, selected: string): 'approved' | 'rejected' | undefined;
+export declare function canResolveGateWait(wait: Pick<NormalizedGatePolicy, 'approvers'>, by: string | undefined): boolean;
+//# sourceMappingURL=gate-policy.d.ts.map

package/dist/workflows/v3/gate-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate-policy.d.ts","sourceRoot":"","sources":["../../../src/workflows/v3/gate-policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,WAAW,EACjB,MAAM,UAAU,CAAC;AAElB,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,WAAW,GAAG,oBAAoB,CAQ9E;AAED,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,IAAI,CAAC,oBAAoB,EAAE,SAAS,GAAG,gBAAgB,CAAC,EAC9D,QAAQ,EAAE,MAAM,GACf,UAAU,GAAG,UAAU,GAAG,SAAS,CAGrC;AAED,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,IAAI,CAAC,oBAAoB,EAAE,WAAW,CAAC,EAC7C,EAAE,EAAE,MAAM,GAAG,SAAS,GACrB,OAAO,CAET"}

package/dist/workflows/v3/gate-policy.js

@@ -0,0 +1,20 @@
+import { DEFAULT_HUMAN_GATE_OPTIONS, } from './dag.js';
+/** Normalize authored gate defaults without requiring a persistence adapter. */
+export function normalizeGateWaitInput(gate) {
+    const options = gate.options ?? [...DEFAULT_HUMAN_GATE_OPTIONS];
+    return {
+        prompt: gate.prompt,
+        options,
+        approveOptions: gate.approveOptions ?? (options.includes('approve') ? ['approve'] : [options[0]]),
+        approvers: gate.approvers ?? [],
+    };
+}
+export function selectedResolution(wait, selected) {
+    if (!wait.options.includes(selected))
+        return undefined;
+    return wait.approveOptions.includes(selected) ? 'approved' : 'rejected';
+}
+export function canResolveGateWait(wait, by) {
+    return wait.approvers.length === 0 || (!!by && wait.approvers.includes(by));
+}
+//# sourceMappingURL=gate-policy.js.map

package/dist/workflows/v3/gate-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate-policy.js","sourceRoot":"","sources":["../../../src/workflows/v3/gate-policy.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,GAE3B,MAAM,UAAU,CAAC;AASlB,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CAAC,IAAiB;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,GAAG,0BAA0B,CAAC,CAAC;IAChE,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO;QACP,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;QAClG,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAA8D,EAC9D,QAAgB;IAEhB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAA6C,EAC7C,EAAsB;IAEtB,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9E,CAAC"}

package/dist/workflows/v3/gate-wait-store.d.ts

@@ -0,0 +1,99 @@
+/**
+ * v3 gate wait store — file-backed approval waits.
+ *
+ * Codex's v1-review blocker #4: a workflow gate is RUNTIME state, not an
+ * in-memory chat ask.  Its pending/resolved status MUST persist to the runDir
+ * so a daemon restart doesn't lose a pending approval.  The journal already
+ * records `gateDispatched` / `gateResolved` (audit truth); this module owns the
+ * materialized, mutable wait files under `runDir/waits/<waitId>.json` — the
+ * active state the Lark card layer keys off and the restart-recovery scan reads.
+ *
+ * Split of concerns:
+ *   - THIS file: the file-wait store + a gate resolver that persists
+ *     pending → resolved around an injected decision source.  Pure file IO,
+ *     bot-agnostic, testable without the daemon.
+ *   - daemon (later): supplies `awaitDecision` — posts the Lark approval card
+ *     (reusing v0.2's card-builder / card-handler UX) and resolves when the
+ *     button is clicked; on restart it re-arms pending waits via
+ *     `listPendingWaits`.
+ *
+ * The wait shape mirrors v0.2's `waitKind: 'human-gate'` lineage but is
+ * deliberately scoped to v3's gate needs: no deadline, but options /
+ * approveOptions / approvers are persisted for crash-safe card recovery.
+ */
+import type { GateResolver } from './runtime-host-contract.js';
+export { canResolveGateWait, normalizeGateWaitInput, selectedResolution, } from './gate-policy.js';
+export type GateWaitStatus = 'pending' | 'approved' | 'rejected';
+export interface GateWait {
+    waitId: string;
+    nodeId: string;
+    /** The runtime instance this gate belongs to (`A#001`).  A revisit makes a
+     *  fresh instance + fresh gate; resolve-time validation rejects a stale card
+     *  whose instance is no longer the node's effective one (code review). */
+    instanceId?: string;
+    prompt: string;
+    options: string[];
+    approveOptions: string[];
+    approvers: string[];
+    status: GateWaitStatus;
+    createdAt: number;
+    resolvedAt?: number;
+    /** open_id (or 'system') of the resolver, once resolved. */
+    by?: string;
+    /** The concrete option selected by the reviewer. */
+    selected?: string;
+    /** Host-only: the exact frozen provider input this approval covers. */
+    hostApproval?: {
+        attemptId: string;
+        approvalDigest: string;
+        inputHash: string;
+    };
+}
+export type { GateResolver };
+export declare function waitsDir(runDir: string): string;
+export declare function waitPath(runDir: string, waitId: string): string;
+/** Host approvals are per frozen attempt, while ordinary gates remain per
+ * runtime instance. Including the attempt number prevents a safe pre-intent
+ * retry from reusing an already-resolved approval file. */
+export declare function v3GateWaitId(nodeId: string, instanceId?: string, hostApproval?: {
+    attemptId: string;
+}): string;
+/** Write the initial `pending` wait file for a gate.  Overwrites any stale
+ *  file at the same waitId (a re-dispatched gate). */
+export declare function writePendingWait(runDir: string, input: {
+    waitId: string;
+    nodeId: string;
+    prompt: string;
+} & Partial<Pick<GateWait, 'options' | 'approveOptions' | 'approvers' | 'instanceId' | 'hostApproval'>>): GateWait;
+/** Read a single wait file, or `undefined` if it doesn't exist. */
+export declare function readWait(runDir: string, waitId: string): GateWait | undefined;
+/** Transition a wait to approved / rejected.  Throws if the wait is missing
+ *  (a resolution for an unknown gate is a programming error, not a no-op). */
+export declare function resolveWait(runDir: string, waitId: string, resolution: 'approved' | 'rejected', by: string, selected?: string): GateWait;
+/** Cross-process compare-and-set for a pending wait. Exactly one resolver may
+ *  transition it; every later contradictory click observes the first result. */
+export declare function resolveWaitOnce(runDir: string, waitId: string, resolution: 'approved' | 'rejected', by: string, selected?: string): {
+    wait: GateWait;
+    changed: boolean;
+};
+/** All still-pending waits in the runDir — the daemon's restart-recovery scan
+ *  uses this to re-post / re-arm approval cards after a crash. */
+export declare function listPendingWaits(runDir: string): GateWait[];
+/**
+ * Build the `resolveGate` the runtime injects.  Persists the wait as `pending`,
+ * delegates to the daemon-supplied `awaitDecision` (post card + await the
+ * click), then persists the resolution — so the file store is authoritative
+ * for pending/resolved regardless of whether the in-memory decision promise
+ * survives a restart (the daemon re-arms via `listPendingWaits`).
+ *
+ * `awaitDecision` is the only daemon-coupled seam; everything else here is file
+ * IO, which is why this factory is unit-testable with a fake decision source.
+ */
+export declare function createFileGate(deps: {
+    awaitDecision: (wait: GateWait) => Promise<{
+        resolution: 'approved' | 'rejected';
+        by: string;
+        selected?: string;
+    }>;
+}): GateResolver;
+//# sourceMappingURL=gate-wait-store.d.ts.map

package/dist/workflows/v3/gate-wait-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate-wait-store.d.ts","sourceRoot":"","sources":["../../../src/workflows/v3/gate-wait-store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAsBH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE/D,OAAO,EACL,kBAAkB,EAClB,sBAAsB,EACtB,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;AAEjE,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf;;8EAE0E;IAC1E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,4DAA4D;IAC5D,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uEAAuE;IACvE,YAAY,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CACjF;AAED,YAAY,EAAE,YAAY,EAAE,CAAC;AAI7B,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED;;2DAE2D;AAC3D,wBAAgB,YAAY,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,CAAC,EAAE,MAAM,EACnB,YAAY,CAAC,EAAE;IAAE,SAAS,EAAE,MAAM,CAAA;CAAE,GACnC,MAAM,CAQR;AAyDD;sDACsD;AACtD,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACvD,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,GAAG,gBAAgB,GAAG,WAAW,GAAG,YAAY,GAAG,cAAc,CAAC,CAAC,GACpG,QAAQ,CAiBV;AAED,mEAAmE;AACnE,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAa7E;AAED;8EAC8E;AAC9E,wBAAgB,WAAW,CACzB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,UAAU,GAAG,UAAU,EACnC,EAAE,EAAE,MAAM,EACV,QAAQ,CAAC,EAAE,MAAM,GAChB,QAAQ,CAQV;AAED;gFACgF;AAChF,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,UAAU,GAAG,UAAU,EACnC,EAAE,EAAE,MAAM,EACV,QAAQ,CAAC,EAAE,MAAM,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAoBtC;AAED;kEACkE;AAClE,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE,CAe3D;AA0CD;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE;IACnC,aAAa,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,OAAO,CAAC;QAAE,UAAU,EAAE,UAAU,GAAG,UAAU,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACpH,GAAG,YAAY,CAWf"}