@knpkv/herdr-work 0.4.0 → 0.5.1

package/dist/store.d.ts

@@ -1,16 +1,1075 @@
-import { Effect, FileSystem, Path } from "effect";
-import { WorkCheckpointConflictError, WorkProjectionError, WorkStoreError } from "./errors.js";
-import { WorkGoalCheckpoint, type WorkGoalCheckpoint as WorkGoalCheckpointType } from "./model.js";
+import { Crypto, Effect, Option, Schema } from "effect";
+import { WorkAdmissionConflictError, WorkAgentBindingAuthorityError, WorkAgentBindingConflictError, WorkCheckpointConflictError, WorkCoordinatorHandoffConflictError, WorkDecisionAuthorityConflictError, WorkDecisionHandoffConflictError, WorkDecisionRevisionConflictError, WorkGoalAgentTargetConflictError, WorkGoalBindingRequiresAgentError, WorkGoalOwnerMismatchError, WorkGoalReassignmentConflictError, WorkGoalRevisionConflictError, WorkLaneClaimConflictError, WorkLaneGoalConflictError, WorkLaneOperationConflictError, WorkProjectionError, WorkPullRequestLinkError, WorkStoreError, WorkTransactionConflictError } from "./errors.js";
+import { workAgentBindingMaximumSnapshotBytes } from "./internal/agent-binding-admission.js";
+import { WorkAdmissionTarget, WorkAgentBinding, WorkAgentBindingRequest, WorkDecisionHandoff, WorkGoalCheckpoint, WorkGoalReassigned, WorkLaneClaim, WorkLaneClaimed, WorkPullRequestLink, WorkRecoveryTarget } from "./model.js";
+import type { WorkAdmissionPreflight as WorkAdmissionPreflightType, WorkAdmissionTarget as WorkAdmissionTargetType, WorkAgentBinding as WorkAgentBindingType, WorkAgentBindingRequest as WorkAgentBindingRequestType, WorkExistingGoalRecovery as WorkExistingGoalRecoveryType, WorkGoalCheckpoint as WorkGoalCheckpointType, WorkGoalReassigned as WorkGoalReassignedType, WorkGoalReassignment as WorkGoalReassignmentType, WorkProspectiveAdmission as WorkProspectiveAdmissionType, WorkPullRequestLink as WorkPullRequestLinkType, WorkRecoveryPreflight as WorkRecoveryPreflightType, WorkRecoveryTarget as WorkRecoveryTargetType } from "./model.js";
+type ReassignRejection = WorkGoalAgentTargetConflictError | WorkGoalBindingRequiresAgentError | WorkGoalOwnerMismatchError | WorkGoalReassignmentConflictError | WorkGoalRevisionConflictError | WorkProjectionError | WorkStoreError;
+declare const encodedBytes: (value: typeof Schema.Json.Type) => number;
+export declare const __herdrWorkMaximumSnapshotBytesForTest: typeof workAgentBindingMaximumSnapshotBytes;
+export declare const __herdrWorkEncodedBytesForTest: typeof encodedBytes;
+export declare const __herdrWorkSnapshotEnvelopeMaxBytesForTest: number;
+export declare const __herdrWorkLaneOperationMaxBytesForTest: number;
 export interface WorkStoreService {
+    readonly recoveryPreflight: (target: WorkRecoveryTargetType) => Effect.Effect<WorkRecoveryPreflightType, WorkProjectionError | WorkStoreError>;
+    readonly recoverExistingGoal: (request: WorkExistingGoalRecoveryType) => Effect.Effect<WorkPullRequestLinkType, WorkAdmissionConflictError | WorkProjectionError | WorkStoreError>;
+    /** Moves one goal, and its active lane, from the exact current owner under an approved Fleet job. */
+    readonly reassign: (request: WorkGoalReassignmentType) => Effect.Effect<WorkGoalReassignedType, ReassignRejection>;
+    readonly admissionPreflight: (target: WorkAdmissionTargetType) => Effect.Effect<WorkAdmissionPreflightType, WorkProjectionError | WorkStoreError>;
+    readonly admitExistingOwner: (request: WorkProspectiveAdmissionType) => Effect.Effect<WorkPullRequestLinkType, WorkAdmissionConflictError | WorkProjectionError | WorkStoreError>;
+    readonly bindAgent: (request: WorkAgentBindingRequestType) => Effect.Effect<WorkAgentBindingType, WorkAgentBindingAuthorityError | WorkAgentBindingConflictError | WorkProjectionError | WorkStoreError>;
+    readonly agentBinding: (dispatchRequestId: string) => Effect.Effect<Option.Option<WorkAgentBindingType>, WorkStoreError>;
+    readonly bindingDispatchesForLane: (laneId: string) => Effect.Effect<ReadonlyArray<string>, WorkStoreError>;
     readonly append: (event: WorkGoalCheckpointType) => Effect.Effect<WorkGoalCheckpointType, WorkCheckpointConflictError | WorkProjectionError | WorkStoreError>;
+    readonly appendMany: (transactionId: string, events: ReadonlyArray<WorkGoalCheckpointType>) => Effect.Effect<ReadonlyArray<WorkGoalCheckpointType>, WorkCheckpointConflictError | WorkProjectionError | WorkTransactionConflictError | WorkStoreError>;
+    readonly claim: (claim: WorkLaneClaim) => Effect.Effect<WorkLaneClaimed, WorkLaneClaimConflictError | WorkLaneGoalConflictError | WorkLaneOperationConflictError | WorkPullRequestLinkError | WorkProjectionError | WorkStoreError>;
+    readonly currentClaim: (laneId: string) => Effect.Effect<Option.Option<WorkLaneClaimed>, WorkStoreError>;
+    readonly activeGoalClaim: (goalId: string) => Effect.Effect<Option.Option<WorkLaneClaimed>, WorkStoreError>;
+    readonly decision: (handoff: WorkDecisionHandoff) => Effect.Effect<WorkDecisionHandoff, WorkCoordinatorHandoffConflictError | WorkDecisionAuthorityConflictError | WorkDecisionHandoffConflictError | WorkDecisionRevisionConflictError | WorkProjectionError | WorkStoreError>;
+    readonly coordinatorHandoff: (sessionId: string) => Effect.Effect<Option.Option<WorkDecisionHandoff>, WorkStoreError>;
+    readonly decisions: (laneId: string) => Effect.Effect<ReadonlyArray<WorkDecisionHandoff>, WorkStoreError>;
     readonly list: () => Effect.Effect<ReadonlyArray<WorkGoalCheckpointType>, WorkStoreError>;
+    /** Atomically reads projection history and its coordinator-owned logical-time boundary. */
+    readonly snapshotInput: () => Effect.Effect<{
+        readonly events: ReadonlyArray<WorkGoalCheckpointType>;
+        readonly logicalObservedAt: number | null;
+    }, WorkStoreError>;
 }
 export declare class WorkStore implements WorkStoreService {
     #private;
     readonly path: string;
     private constructor();
-    static readonly open: (path: string) => Effect.Effect<WorkStore, WorkStoreError, FileSystem.FileSystem | Path.Path>;
+    static readonly open: (path: string) => Effect.Effect<WorkStore, WorkStoreError, Crypto.Crypto | import("effect/FileSystem").FileSystem | import("effect/Path").Path>;
+    readonly recoveryPreflight: (this: WorkStore, target: WorkRecoveryTarget) => Effect.Effect<{
+        readonly _tag: "conflict";
+        readonly target: {
+            readonly repository: string;
+            readonly pullRequest: number;
+            readonly reviewUrl: string;
+            readonly goalId: string;
+            readonly laneId: string;
+            readonly head: string;
+            readonly baseHead: string;
+            readonly owner: {
+                readonly id: string;
+                readonly name: string;
+            };
+            readonly sessionId: string;
+            readonly expectedWork: string;
+            readonly worker: {
+                readonly host: string;
+                readonly agentId: string;
+                readonly name: string;
+                readonly paneId: string;
+                readonly relationship?: {
+                    readonly parentAgentId: string;
+                    readonly relation: "delegated" | "pair" | "review";
+                };
+            };
+            readonly worktree: string;
+            readonly branch: string;
+            readonly expectedGoalEventId: string;
+            readonly expectedGoalUpdatedAt: number;
+        };
+        readonly reason: string;
+    } | {
+        readonly _tag: "existing";
+        readonly target: {
+            readonly repository: string;
+            readonly pullRequest: number;
+            readonly reviewUrl: string;
+            readonly goalId: string;
+            readonly laneId: string;
+            readonly head: string;
+            readonly baseHead: string;
+            readonly owner: {
+                readonly id: string;
+                readonly name: string;
+            };
+            readonly sessionId: string;
+            readonly expectedWork: string;
+            readonly worker: {
+                readonly host: string;
+                readonly agentId: string;
+                readonly name: string;
+                readonly paneId: string;
+                readonly relationship?: {
+                    readonly parentAgentId: string;
+                    readonly relation: "delegated" | "pair" | "review";
+                };
+            };
+            readonly worktree: string;
+            readonly branch: string;
+            readonly expectedGoalEventId: string;
+            readonly expectedGoalUpdatedAt: number;
+        };
+        readonly link: {
+            readonly request: {
+                readonly repository: string;
+                readonly pullRequest: number;
+                readonly goalId: string;
+                readonly laneId: string;
+            };
+            readonly goalEventId: string;
+            readonly goal: {
+                readonly id: string;
+                readonly title: string;
+                readonly summary: string;
+                readonly detail: string;
+                readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                readonly owner: {
+                    readonly id: string;
+                    readonly name: string;
+                };
+                readonly repository: {
+                    readonly repository: string;
+                    readonly branch: string;
+                };
+                readonly spend: {
+                    readonly currency: string;
+                    readonly minorUnits: number;
+                } | null;
+                readonly delivery: "deployed" | "local" | "merged" | "pull_request" | "review";
+                readonly blocker: {
+                    readonly summary: string;
+                    readonly since: number;
+                } | null;
+                readonly connectTarget: {
+                    readonly host: string;
+                    readonly agentId: string;
+                    readonly url: string;
+                } | null;
+                readonly goalFamily?: {
+                    readonly canonicalGoalId: string;
+                    readonly role: "canonical" | "superseded";
+                };
+                readonly agentHierarchy?: {
+                    readonly agent: {
+                        readonly host: string;
+                        readonly agentId: string;
+                        readonly name: string;
+                        readonly paneId: string;
+                        readonly relationship?: {
+                            readonly parentAgentId: string;
+                            readonly relation: "delegated" | "pair" | "review";
+                        };
+                    };
+                } | null;
+                readonly activity?: readonly {
+                    readonly id: string;
+                    readonly kind: "blocker" | "note" | "request" | "review" | "shipment" | "status";
+                    readonly summary: string;
+                    readonly occurredAt: number;
+                }[];
+                readonly blockers?: readonly {
+                    readonly summary: string;
+                    readonly since: number;
+                }[];
+                readonly requests?: readonly {
+                    readonly id: string;
+                    readonly summary: string;
+                    readonly state: "approved" | "fulfilled" | "open" | "rejected";
+                    readonly requestedAt: number;
+                    readonly approvalTarget: {
+                        readonly host: string;
+                        readonly jobId: string;
+                        readonly url: string;
+                    } | null;
+                }[];
+                readonly review?: {
+                    readonly state: "approved" | "changes_requested" | "not_requested" | "requested";
+                    readonly summary: string | null;
+                    readonly updatedAt: number;
+                    readonly url: string | null;
+                } | null;
+                readonly approvalTarget?: {
+                    readonly host: string;
+                    readonly jobId: string;
+                    readonly url: string;
+                } | null;
+                readonly createdAt: number;
+                readonly updatedAt: number;
+            };
+            readonly lane: {
+                readonly operationId: string;
+                readonly goalId: string;
+                readonly laneId: string;
+                readonly worktree: string;
+                readonly branch: string;
+                readonly head: string;
+                readonly owner: {
+                    readonly id: string;
+                    readonly name: string;
+                };
+                readonly parent: string | null;
+                readonly phase: "claim" | "implementation" | "review" | "shipped" | "validation";
+                readonly expectedRevision: number;
+                readonly reconciliation?: {
+                    readonly repository: string;
+                    readonly pullRequest: number;
+                    readonly expectedHead: string;
+                    readonly expectedOwner: {
+                        readonly id: string;
+                        readonly name: string;
+                    };
+                    readonly expectedGoalEventId: string;
+                    readonly bindingDispatchRequestId: string;
+                    readonly sessionId: string;
+                    readonly worker: {
+                        readonly host: string;
+                        readonly agentId: string;
+                        readonly name: string;
+                        readonly paneId: string;
+                        readonly relationship?: {
+                            readonly parentAgentId: string;
+                            readonly relation: "delegated" | "pair" | "review";
+                        };
+                    };
+                };
+                readonly revision: number;
+            };
+            readonly binding: {
+                readonly version: "herdr.work.agent-binding.v1";
+                readonly request: {
+                    readonly version: "herdr.work.agent-binding-request.v1";
+                    readonly dispatchRequestId: string;
+                    readonly laneId: string;
+                    readonly expectedRevision: number;
+                    readonly worker: {
+                        readonly host: string;
+                        readonly agentId: string;
+                        readonly name: string;
+                        readonly paneId: string;
+                        readonly relationship?: {
+                            readonly parentAgentId: string;
+                            readonly relation: "delegated" | "pair" | "review";
+                        };
+                    };
+                    readonly prospectiveAdmission?: {
+                        readonly sessionId: string;
+                        readonly workAssignment: string;
+                        readonly baseHead: string;
+                        readonly expectedAbsenceToken: string;
+                        readonly approvalJobId: string;
+                        readonly approvalActor: string;
+                    };
+                    readonly existingGoalRecovery?: {
+                        readonly sessionId: string;
+                        readonly workAssignment: string;
+                        readonly baseHead: string;
+                        readonly expectedHistoryToken: string;
+                        readonly expectedGoalEventId: string;
+                        readonly expectedGoalUpdatedAt: number;
+                        readonly approvalJobId: string;
+                        readonly approvalActor: string;
+                        readonly approvalApprovedBy: string;
+                        readonly approvalApprovedAt: number;
+                        readonly approvalHash: string;
+                    };
+                    readonly ownerReassignment?: {
+                        readonly previousDispatchRequestId: string;
+                        readonly approvalJobId: string;
+                        readonly approvalActor: string;
+                        readonly approvalApprovedBy: string;
+                        readonly approvalApprovedAt: number;
+                        readonly approvalHash: string;
+                    };
+                };
+                readonly lane: {
+                    readonly operationId: string;
+                    readonly goalId: string;
+                    readonly laneId: string;
+                    readonly worktree: string;
+                    readonly branch: string;
+                    readonly head: string;
+                    readonly owner: {
+                        readonly id: string;
+                        readonly name: string;
+                    };
+                    readonly parent: string | null;
+                    readonly phase: "claim" | "implementation" | "review" | "shipped" | "validation";
+                    readonly expectedRevision: number;
+                    readonly reconciliation?: {
+                        readonly repository: string;
+                        readonly pullRequest: number;
+                        readonly expectedHead: string;
+                        readonly expectedOwner: {
+                            readonly id: string;
+                            readonly name: string;
+                        };
+                        readonly expectedGoalEventId: string;
+                        readonly bindingDispatchRequestId: string;
+                        readonly sessionId: string;
+                        readonly worker: {
+                            readonly host: string;
+                            readonly agentId: string;
+                            readonly name: string;
+                            readonly paneId: string;
+                            readonly relationship?: {
+                                readonly parentAgentId: string;
+                                readonly relation: "delegated" | "pair" | "review";
+                            };
+                        };
+                    };
+                    readonly revision: number;
+                };
+                readonly checkpoint: {
+                    readonly version: "herdr.work.event.v1";
+                    readonly eventId: string;
+                    readonly occurredAt: number;
+                    readonly goal: {
+                        readonly id: string;
+                        readonly title: string;
+                        readonly summary: string;
+                        readonly detail: string;
+                        readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                        readonly owner: {
+                            readonly id: string;
+                            readonly name: string;
+                        };
+                        readonly repository: {
+                            readonly repository: string;
+                            readonly branch: string;
+                        };
+                        readonly spend: {
+                            readonly currency: string;
+                            readonly minorUnits: number;
+                        } | null;
+                        readonly delivery: "deployed" | "local" | "merged" | "pull_request" | "review";
+                        readonly blocker: {
+                            readonly summary: string;
+                            readonly since: number;
+                        } | null;
+                        readonly connectTarget: {
+                            readonly host: string;
+                            readonly agentId: string;
+                            readonly url: string;
+                        } | null;
+                        readonly goalFamily?: {
+                            readonly canonicalGoalId: string;
+                            readonly role: "canonical" | "superseded";
+                        };
+                        readonly agentHierarchy?: {
+                            readonly agent: {
+                                readonly host: string;
+                                readonly agentId: string;
+                                readonly name: string;
+                                readonly paneId: string;
+                                readonly relationship?: {
+                                    readonly parentAgentId: string;
+                                    readonly relation: "delegated" | "pair" | "review";
+                                };
+                            };
+                        } | null;
+                        readonly activity?: readonly {
+                            readonly id: string;
+                            readonly kind: "blocker" | "note" | "request" | "review" | "shipment" | "status";
+                            readonly summary: string;
+                            readonly occurredAt: number;
+                        }[];
+                        readonly blockers?: readonly {
+                            readonly summary: string;
+                            readonly since: number;
+                        }[];
+                        readonly requests?: readonly {
+                            readonly id: string;
+                            readonly summary: string;
+                            readonly state: "approved" | "fulfilled" | "open" | "rejected";
+                            readonly requestedAt: number;
+                            readonly approvalTarget: {
+                                readonly host: string;
+                                readonly jobId: string;
+                                readonly url: string;
+                            } | null;
+                        }[];
+                        readonly review?: {
+                            readonly state: "approved" | "changes_requested" | "not_requested" | "requested";
+                            readonly summary: string | null;
+                            readonly updatedAt: number;
+                            readonly url: string | null;
+                        } | null;
+                        readonly approvalTarget?: {
+                            readonly host: string;
+                            readonly jobId: string;
+                            readonly url: string;
+                        } | null;
+                        readonly createdAt: number;
+                        readonly updatedAt: number;
+                    };
+                };
+            };
+        };
+    } | {
+        readonly _tag: "recoverable";
+        readonly target: {
+            readonly repository: string;
+            readonly pullRequest: number;
+            readonly reviewUrl: string;
+            readonly goalId: string;
+            readonly laneId: string;
+            readonly head: string;
+            readonly baseHead: string;
+            readonly owner: {
+                readonly id: string;
+                readonly name: string;
+            };
+            readonly sessionId: string;
+            readonly expectedWork: string;
+            readonly worker: {
+                readonly host: string;
+                readonly agentId: string;
+                readonly name: string;
+                readonly paneId: string;
+                readonly relationship?: {
+                    readonly parentAgentId: string;
+                    readonly relation: "delegated" | "pair" | "review";
+                };
+            };
+            readonly worktree: string;
+            readonly branch: string;
+            readonly expectedGoalEventId: string;
+            readonly expectedGoalUpdatedAt: number;
+        };
+        readonly historyToken: string;
+    }, WorkStoreError, never>;
+    readonly recoverExistingGoal: (this: WorkStore, request: {
+        readonly kind: "work.recover";
+        readonly repository: string;
+        readonly pullRequest: number;
+        readonly reviewUrl: string;
+        readonly goalId: string;
+        readonly laneId: string;
+        readonly operationId: string;
+        readonly expectedGoalEventId: string;
+        readonly expectedGoalUpdatedAt: number;
+        readonly expectedHistoryToken: string;
+        readonly head: string;
+        readonly baseHead: string;
+        readonly owner: {
+            readonly id: string;
+            readonly name: string;
+        };
+        readonly sessionId: string;
+        readonly expectedWork: string;
+        readonly worker: {
+            readonly host: string;
+            readonly agentId: string;
+            readonly name: string;
+            readonly paneId: string;
+            readonly relationship?: {
+                readonly parentAgentId: string;
+                readonly relation: "delegated" | "pair" | "review";
+            };
+        };
+        readonly worktree: string;
+        readonly branch: string;
+        readonly approvalJobId: string;
+        readonly approvalActor: string;
+        readonly approvalApprovedBy: string;
+        readonly approvalApprovedAt: number;
+        readonly approvalHash: string;
+    }) => Effect.Effect<WorkPullRequestLink, WorkAdmissionConflictError | WorkProjectionError | WorkStoreError, never>;
+    readonly reassign: (this: WorkStore, request: {
+        readonly kind: "work.reassign";
+        readonly goalId: string;
+        readonly from: {
+            readonly id: string;
+            readonly name: string;
+        };
+        readonly to: {
+            readonly id: string;
+            readonly name: string;
+        };
+        readonly toAgent: {
+            readonly _tag: "clear";
+        } | {
+            readonly _tag: "keep";
+        } | {
+            readonly _tag: "set";
+            readonly agent: {
+                readonly host: string;
+                readonly agentId: string;
+                readonly name: string;
+                readonly paneId: string;
+                readonly relationship?: {
+                    readonly parentAgentId: string;
+                    readonly relation: "delegated" | "pair" | "review";
+                };
+            };
+        };
+        readonly reason: string;
+        readonly expectedGoalEventId: string;
+        readonly expectedGoalUpdatedAt: number;
+        readonly approvalJobId: string;
+        readonly approvalActor: string;
+        readonly approvalApprovedBy: string;
+        readonly approvalApprovedAt: number;
+        readonly approvalHash: string;
+    }) => Effect.Effect<WorkGoalReassigned, WorkGoalAgentTargetConflictError | WorkGoalBindingRequiresAgentError | WorkGoalOwnerMismatchError | WorkGoalReassignmentConflictError | WorkGoalRevisionConflictError | WorkProjectionError | WorkStoreError, never>;
+    readonly admissionPreflight: (this: WorkStore, target: WorkAdmissionTarget) => Effect.Effect<{
+        readonly _tag: "conflict";
+        readonly target: {
+            readonly repository: string;
+            readonly pullRequest: number;
+            readonly reviewUrl: string;
+            readonly goalId: string;
+            readonly laneId: string;
+            readonly head: string;
+            readonly baseHead: string;
+            readonly owner: {
+                readonly id: string;
+                readonly name: string;
+            };
+            readonly sessionId: string;
+            readonly expectedWork: string;
+            readonly worker: {
+                readonly host: string;
+                readonly agentId: string;
+                readonly name: string;
+                readonly paneId: string;
+                readonly relationship?: {
+                    readonly parentAgentId: string;
+                    readonly relation: "delegated" | "pair" | "review";
+                };
+            };
+            readonly worktree: string;
+            readonly branch: string;
+        };
+        readonly reason: string;
+    } | {
+        readonly _tag: "existing";
+        readonly target: {
+            readonly repository: string;
+            readonly pullRequest: number;
+            readonly reviewUrl: string;
+            readonly goalId: string;
+            readonly laneId: string;
+            readonly head: string;
+            readonly baseHead: string;
+            readonly owner: {
+                readonly id: string;
+                readonly name: string;
+            };
+            readonly sessionId: string;
+            readonly expectedWork: string;
+            readonly worker: {
+                readonly host: string;
+                readonly agentId: string;
+                readonly name: string;
+                readonly paneId: string;
+                readonly relationship?: {
+                    readonly parentAgentId: string;
+                    readonly relation: "delegated" | "pair" | "review";
+                };
+            };
+            readonly worktree: string;
+            readonly branch: string;
+        };
+        readonly link: {
+            readonly request: {
+                readonly repository: string;
+                readonly pullRequest: number;
+                readonly goalId: string;
+                readonly laneId: string;
+            };
+            readonly goalEventId: string;
+            readonly goal: {
+                readonly id: string;
+                readonly title: string;
+                readonly summary: string;
+                readonly detail: string;
+                readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                readonly owner: {
+                    readonly id: string;
+                    readonly name: string;
+                };
+                readonly repository: {
+                    readonly repository: string;
+                    readonly branch: string;
+                };
+                readonly spend: {
+                    readonly currency: string;
+                    readonly minorUnits: number;
+                } | null;
+                readonly delivery: "deployed" | "local" | "merged" | "pull_request" | "review";
+                readonly blocker: {
+                    readonly summary: string;
+                    readonly since: number;
+                } | null;
+                readonly connectTarget: {
+                    readonly host: string;
+                    readonly agentId: string;
+                    readonly url: string;
+                } | null;
+                readonly goalFamily?: {
+                    readonly canonicalGoalId: string;
+                    readonly role: "canonical" | "superseded";
+                };
+                readonly agentHierarchy?: {
+                    readonly agent: {
+                        readonly host: string;
+                        readonly agentId: string;
+                        readonly name: string;
+                        readonly paneId: string;
+                        readonly relationship?: {
+                            readonly parentAgentId: string;
+                            readonly relation: "delegated" | "pair" | "review";
+                        };
+                    };
+                } | null;
+                readonly activity?: readonly {
+                    readonly id: string;
+                    readonly kind: "blocker" | "note" | "request" | "review" | "shipment" | "status";
+                    readonly summary: string;
+                    readonly occurredAt: number;
+                }[];
+                readonly blockers?: readonly {
+                    readonly summary: string;
+                    readonly since: number;
+                }[];
+                readonly requests?: readonly {
+                    readonly id: string;
+                    readonly summary: string;
+                    readonly state: "approved" | "fulfilled" | "open" | "rejected";
+                    readonly requestedAt: number;
+                    readonly approvalTarget: {
+                        readonly host: string;
+                        readonly jobId: string;
+                        readonly url: string;
+                    } | null;
+                }[];
+                readonly review?: {
+                    readonly state: "approved" | "changes_requested" | "not_requested" | "requested";
+                    readonly summary: string | null;
+                    readonly updatedAt: number;
+                    readonly url: string | null;
+                } | null;
+                readonly approvalTarget?: {
+                    readonly host: string;
+                    readonly jobId: string;
+                    readonly url: string;
+                } | null;
+                readonly createdAt: number;
+                readonly updatedAt: number;
+            };
+            readonly lane: {
+                readonly operationId: string;
+                readonly goalId: string;
+                readonly laneId: string;
+                readonly worktree: string;
+                readonly branch: string;
+                readonly head: string;
+                readonly owner: {
+                    readonly id: string;
+                    readonly name: string;
+                };
+                readonly parent: string | null;
+                readonly phase: "claim" | "implementation" | "review" | "shipped" | "validation";
+                readonly expectedRevision: number;
+                readonly reconciliation?: {
+                    readonly repository: string;
+                    readonly pullRequest: number;
+                    readonly expectedHead: string;
+                    readonly expectedOwner: {
+                        readonly id: string;
+                        readonly name: string;
+                    };
+                    readonly expectedGoalEventId: string;
+                    readonly bindingDispatchRequestId: string;
+                    readonly sessionId: string;
+                    readonly worker: {
+                        readonly host: string;
+                        readonly agentId: string;
+                        readonly name: string;
+                        readonly paneId: string;
+                        readonly relationship?: {
+                            readonly parentAgentId: string;
+                            readonly relation: "delegated" | "pair" | "review";
+                        };
+                    };
+                };
+                readonly revision: number;
+            };
+            readonly binding: {
+                readonly version: "herdr.work.agent-binding.v1";
+                readonly request: {
+                    readonly version: "herdr.work.agent-binding-request.v1";
+                    readonly dispatchRequestId: string;
+                    readonly laneId: string;
+                    readonly expectedRevision: number;
+                    readonly worker: {
+                        readonly host: string;
+                        readonly agentId: string;
+                        readonly name: string;
+                        readonly paneId: string;
+                        readonly relationship?: {
+                            readonly parentAgentId: string;
+                            readonly relation: "delegated" | "pair" | "review";
+                        };
+                    };
+                    readonly prospectiveAdmission?: {
+                        readonly sessionId: string;
+                        readonly workAssignment: string;
+                        readonly baseHead: string;
+                        readonly expectedAbsenceToken: string;
+                        readonly approvalJobId: string;
+                        readonly approvalActor: string;
+                    };
+                    readonly existingGoalRecovery?: {
+                        readonly sessionId: string;
+                        readonly workAssignment: string;
+                        readonly baseHead: string;
+                        readonly expectedHistoryToken: string;
+                        readonly expectedGoalEventId: string;
+                        readonly expectedGoalUpdatedAt: number;
+                        readonly approvalJobId: string;
+                        readonly approvalActor: string;
+                        readonly approvalApprovedBy: string;
+                        readonly approvalApprovedAt: number;
+                        readonly approvalHash: string;
+                    };
+                    readonly ownerReassignment?: {
+                        readonly previousDispatchRequestId: string;
+                        readonly approvalJobId: string;
+                        readonly approvalActor: string;
+                        readonly approvalApprovedBy: string;
+                        readonly approvalApprovedAt: number;
+                        readonly approvalHash: string;
+                    };
+                };
+                readonly lane: {
+                    readonly operationId: string;
+                    readonly goalId: string;
+                    readonly laneId: string;
+                    readonly worktree: string;
+                    readonly branch: string;
+                    readonly head: string;
+                    readonly owner: {
+                        readonly id: string;
+                        readonly name: string;
+                    };
+                    readonly parent: string | null;
+                    readonly phase: "claim" | "implementation" | "review" | "shipped" | "validation";
+                    readonly expectedRevision: number;
+                    readonly reconciliation?: {
+                        readonly repository: string;
+                        readonly pullRequest: number;
+                        readonly expectedHead: string;
+                        readonly expectedOwner: {
+                            readonly id: string;
+                            readonly name: string;
+                        };
+                        readonly expectedGoalEventId: string;
+                        readonly bindingDispatchRequestId: string;
+                        readonly sessionId: string;
+                        readonly worker: {
+                            readonly host: string;
+                            readonly agentId: string;
+                            readonly name: string;
+                            readonly paneId: string;
+                            readonly relationship?: {
+                                readonly parentAgentId: string;
+                                readonly relation: "delegated" | "pair" | "review";
+                            };
+                        };
+                    };
+                    readonly revision: number;
+                };
+                readonly checkpoint: {
+                    readonly version: "herdr.work.event.v1";
+                    readonly eventId: string;
+                    readonly occurredAt: number;
+                    readonly goal: {
+                        readonly id: string;
+                        readonly title: string;
+                        readonly summary: string;
+                        readonly detail: string;
+                        readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                        readonly owner: {
+                            readonly id: string;
+                            readonly name: string;
+                        };
+                        readonly repository: {
+                            readonly repository: string;
+                            readonly branch: string;
+                        };
+                        readonly spend: {
+                            readonly currency: string;
+                            readonly minorUnits: number;
+                        } | null;
+                        readonly delivery: "deployed" | "local" | "merged" | "pull_request" | "review";
+                        readonly blocker: {
+                            readonly summary: string;
+                            readonly since: number;
+                        } | null;
+                        readonly connectTarget: {
+                            readonly host: string;
+                            readonly agentId: string;
+                            readonly url: string;
+                        } | null;
+                        readonly goalFamily?: {
+                            readonly canonicalGoalId: string;
+                            readonly role: "canonical" | "superseded";
+                        };
+                        readonly agentHierarchy?: {
+                            readonly agent: {
+                                readonly host: string;
+                                readonly agentId: string;
+                                readonly name: string;
+                                readonly paneId: string;
+                                readonly relationship?: {
+                                    readonly parentAgentId: string;
+                                    readonly relation: "delegated" | "pair" | "review";
+                                };
+                            };
+                        } | null;
+                        readonly activity?: readonly {
+                            readonly id: string;
+                            readonly kind: "blocker" | "note" | "request" | "review" | "shipment" | "status";
+                            readonly summary: string;
+                            readonly occurredAt: number;
+                        }[];
+                        readonly blockers?: readonly {
+                            readonly summary: string;
+                            readonly since: number;
+                        }[];
+                        readonly requests?: readonly {
+                            readonly id: string;
+                            readonly summary: string;
+                            readonly state: "approved" | "fulfilled" | "open" | "rejected";
+                            readonly requestedAt: number;
+                            readonly approvalTarget: {
+                                readonly host: string;
+                                readonly jobId: string;
+                                readonly url: string;
+                            } | null;
+                        }[];
+                        readonly review?: {
+                            readonly state: "approved" | "changes_requested" | "not_requested" | "requested";
+                            readonly summary: string | null;
+                            readonly updatedAt: number;
+                            readonly url: string | null;
+                        } | null;
+                        readonly approvalTarget?: {
+                            readonly host: string;
+                            readonly jobId: string;
+                            readonly url: string;
+                        } | null;
+                        readonly createdAt: number;
+                        readonly updatedAt: number;
+                    };
+                };
+            };
+        };
+    } | {
+        readonly _tag: "prospective";
+        readonly target: {
+            readonly repository: string;
+            readonly pullRequest: number;
+            readonly reviewUrl: string;
+            readonly goalId: string;
+            readonly laneId: string;
+            readonly head: string;
+            readonly baseHead: string;
+            readonly owner: {
+                readonly id: string;
+                readonly name: string;
+            };
+            readonly sessionId: string;
+            readonly expectedWork: string;
+            readonly worker: {
+                readonly host: string;
+                readonly agentId: string;
+                readonly name: string;
+                readonly paneId: string;
+                readonly relationship?: {
+                    readonly parentAgentId: string;
+                    readonly relation: "delegated" | "pair" | "review";
+                };
+            };
+            readonly worktree: string;
+            readonly branch: string;
+        };
+        readonly absenceToken: string;
+    }, WorkStoreError, never>;
+    readonly admitExistingOwner: (this: WorkStore, request: {
+        readonly kind: "work.admit";
+        readonly repository: string;
+        readonly pullRequest: number;
+        readonly reviewUrl: string;
+        readonly goalId: string;
+        readonly laneId: string;
+        readonly operationId: string;
+        readonly expectedAbsenceToken: string;
+        readonly head: string;
+        readonly baseHead: string;
+        readonly owner: {
+            readonly id: string;
+            readonly name: string;
+        };
+        readonly sessionId: string;
+        readonly expectedWork: string;
+        readonly worker: {
+            readonly host: string;
+            readonly agentId: string;
+            readonly name: string;
+            readonly paneId: string;
+            readonly relationship?: {
+                readonly parentAgentId: string;
+                readonly relation: "delegated" | "pair" | "review";
+            };
+        };
+        readonly worktree: string;
+        readonly branch: string;
+        readonly title: string;
+        readonly summary: string;
+        readonly detail: string;
+        readonly approvalJobId: string;
+        readonly approvalActor: string;
+    }) => Effect.Effect<WorkPullRequestLink, WorkAdmissionConflictError | WorkProjectionError | WorkStoreError, never>;
+    readonly bindAgent: (this: WorkStore, request: WorkAgentBindingRequest) => Effect.Effect<WorkAgentBinding, WorkAgentBindingAuthorityError | WorkAgentBindingConflictError | WorkProjectionError | WorkStoreError, never>;
+    readonly agentBinding: (this: WorkStore, dispatchRequestId: string) => Effect.Effect<Option.None<WorkAgentBinding> | Option.Some<WorkAgentBinding>, WorkStoreError, never>;
+    readonly bindingDispatchesForLane: (this: WorkStore, laneId: string) => Effect.Effect<string[], WorkStoreError, never>;
     readonly append: (this: WorkStore, event: WorkGoalCheckpoint) => Effect.Effect<WorkGoalCheckpoint, WorkCheckpointConflictError | WorkProjectionError | WorkStoreError, never>;
+    readonly appendMany: (this: WorkStore, transactionId: string, events: readonly WorkGoalCheckpoint[]) => Effect.Effect<{
+        readonly version: "herdr.work.event.v1";
+        readonly eventId: string;
+        readonly occurredAt: number;
+        readonly goal: {
+            readonly id: string;
+            readonly title: string;
+            readonly summary: string;
+            readonly detail: string;
+            readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+            readonly owner: {
+                readonly id: string;
+                readonly name: string;
+            };
+            readonly repository: {
+                readonly repository: string;
+                readonly branch: string;
+            };
+            readonly spend: {
+                readonly currency: string;
+                readonly minorUnits: number;
+            } | null;
+            readonly delivery: "deployed" | "local" | "merged" | "pull_request" | "review";
+            readonly blocker: {
+                readonly summary: string;
+                readonly since: number;
+            } | null;
+            readonly connectTarget: {
+                readonly host: string;
+                readonly agentId: string;
+                readonly url: string;
+            } | null;
+            readonly goalFamily?: {
+                readonly canonicalGoalId: string;
+                readonly role: "canonical" | "superseded";
+            };
+            readonly agentHierarchy?: {
+                readonly agent: {
+                    readonly host: string;
+                    readonly agentId: string;
+                    readonly name: string;
+                    readonly paneId: string;
+                    readonly relationship?: {
+                        readonly parentAgentId: string;
+                        readonly relation: "delegated" | "pair" | "review";
+                    };
+                };
+            } | null;
+            readonly activity?: readonly {
+                readonly id: string;
+                readonly kind: "blocker" | "note" | "request" | "review" | "shipment" | "status";
+                readonly summary: string;
+                readonly occurredAt: number;
+            }[];
+            readonly blockers?: readonly {
+                readonly summary: string;
+                readonly since: number;
+            }[];
+            readonly requests?: readonly {
+                readonly id: string;
+                readonly summary: string;
+                readonly state: "approved" | "fulfilled" | "open" | "rejected";
+                readonly requestedAt: number;
+                readonly approvalTarget: {
+                    readonly host: string;
+                    readonly jobId: string;
+                    readonly url: string;
+                } | null;
+            }[];
+            readonly review?: {
+                readonly state: "approved" | "changes_requested" | "not_requested" | "requested";
+                readonly summary: string | null;
+                readonly updatedAt: number;
+                readonly url: string | null;
+            } | null;
+            readonly approvalTarget?: {
+                readonly host: string;
+                readonly jobId: string;
+                readonly url: string;
+            } | null;
+            readonly createdAt: number;
+            readonly updatedAt: number;
+        };
+    }[], WorkCheckpointConflictError | WorkProjectionError | WorkStoreError | WorkTransactionConflictError, never>;
+    readonly claim: (this: WorkStore, claim: WorkLaneClaim) => Effect.Effect<WorkLaneClaimed, WorkLaneClaimConflictError | WorkLaneGoalConflictError | WorkLaneOperationConflictError | WorkProjectionError | WorkPullRequestLinkError | WorkStoreError, never>;
+    readonly decision: (this: WorkStore, handoff: WorkDecisionHandoff) => Effect.Effect<{
+        readonly version: "herdr.work.decision.v2";
+        readonly id: string;
+        readonly sessionId: string;
+        readonly laneId: string;
+        readonly goalId: string;
+        readonly expectedRevision: number;
+        readonly decision: "blocked" | "complete" | "continue" | "handoff";
+        readonly summary: string;
+        readonly contextDelta: string;
+        readonly owner: {
+            readonly id: string;
+            readonly name: string;
+        };
+        readonly dispatchIds: readonly string[];
+        readonly blockers: readonly {
+            readonly id: string;
+            readonly detail: string;
+        }[];
+        readonly evidenceRefs: readonly {
+            readonly id: string;
+            readonly kind: "commit" | "document" | "review" | "test";
+            readonly reference: string;
+        }[];
+        readonly occurredAt: number;
+    }, WorkCoordinatorHandoffConflictError | WorkDecisionAuthorityConflictError | WorkDecisionHandoffConflictError | WorkDecisionRevisionConflictError | WorkProjectionError | WorkStoreError, never>;
+    readonly currentClaim: (this: WorkStore, laneId: string) => Effect.Effect<Option.Option<WorkLaneClaimed>, WorkStoreError, never>;
+    readonly activeGoalClaim: (this: WorkStore, goalId: string) => Effect.Effect<Option.Option<WorkLaneClaimed>, WorkStoreError, never>;
+    readonly coordinatorHandoff: (this: WorkStore, sessionId: string) => Effect.Effect<Option.None<WorkDecisionHandoff> | Option.Some<WorkDecisionHandoff>, WorkStoreError, never>;
+    readonly decisions: (this: WorkStore, laneId: string) => Effect.Effect<{
+        readonly version: "herdr.work.decision.v2";
+        readonly id: string;
+        readonly sessionId: string;
+        readonly laneId: string;
+        readonly goalId: string;
+        readonly expectedRevision: number;
+        readonly decision: "blocked" | "complete" | "continue" | "handoff";
+        readonly summary: string;
+        readonly contextDelta: string;
+        readonly owner: {
+            readonly id: string;
+            readonly name: string;
+        };
+        readonly dispatchIds: readonly string[];
+        readonly blockers: readonly {
+            readonly id: string;
+            readonly detail: string;
+        }[];
+        readonly evidenceRefs: readonly {
+            readonly id: string;
+            readonly kind: "commit" | "document" | "review" | "test";
+            readonly reference: string;
+        }[];
+        readonly occurredAt: number;
+    }[], WorkStoreError, never>;
     readonly list: (this: WorkStore) => Effect.Effect<{
         readonly version: "herdr.work.event.v1";
         readonly eventId: string;
@@ -95,7 +1154,12 @@ export declare class WorkStore implements WorkStoreService {
             readonly updatedAt: number;
         };
     }[], WorkStoreError, never>;
+    readonly snapshotInput: (this: WorkStore) => Effect.Effect<{
+        events: WorkGoalCheckpoint[];
+        logicalObservedAt: number | null;
+    }, WorkStoreError, never>;
     private secureFiles;
     close(): void;
 }
+export {};
 //# sourceMappingURL=store.d.ts.map