@codetreker/daynight 0.21.9 → 0.21.13

package/dist/commands/worker/store.d.ts

@@ -1,28 +1,74 @@
 import type { WorkerHerdr } from "../../api/types.js";
-import type { ClaimIdentity, CleanupState, ControlIntent, FrozenExecutionConfiguration, LocalTask, NativeSessionReference, PendingClaim, PendingConfiguration, ProjectIdentity, WorkerProject, WorktreeBinding } from "./types.js";
+import type { HerdrLaunchEvidence, HerdrStopObservation, HerdrTaskBinding, HerdrWorkspaceEvidence } from "./herdr/agents.js";
+import type { ClaimAttempt, ClaimIdentity, CleanupState, ControlIntent, ExecutionSummary, FrozenExecutionConfiguration, LocalTask, NativeExecutionState, NativeSessionReference, PendingClaim, PendingConfiguration, ProjectIdentity, WorkerProject, WorkerProjectRecord, WorktreeBinding } from "./types.js";
+export declare const isUnstartedPendingSource: (task: LocalTask) => boolean;
+export declare const isUnstartedPending: (task: LocalTask) => boolean;
 export declare const openWorkerStore: (databaseFile: string, options?: {
     busyTimeoutMs?: number;
 }) => {
     close: () => void;
-    getProject: (identity: ProjectIdentity) => WorkerProject | null;
-    listProjects: () => WorkerProject[];
-    registerProject: (project: WorkerProject) => WorkerProject;
+    getProject: (identity: ProjectIdentity) => WorkerProjectRecord | null;
+    listProjects: () => WorkerProjectRecord[];
+    registerProject: (project: WorkerProject) => WorkerProjectRecord;
+    getClaimAttempt: (identity: ProjectIdentity) => ClaimAttempt | null;
+    listClaimAttempts: () => (ProjectIdentity & {
+        attempt: ClaimAttempt;
+    })[];
+    beginClaimAttempt: (identity: ProjectIdentity, input: ClaimAttempt) => ClaimAttempt;
+    rejectClaimAttempt: (identity: ProjectIdentity, expectedClaimId: string, proof: {
+        definiteRejection: true;
+    } | {
+        notSubmitted: true;
+    }) => void;
     getTask: (identity: ClaimIdentity) => LocalTask | null;
     listTasks: () => LocalTask[];
     listUnfinishedTasks: () => LocalTask[];
-    registerPending: (claim: PendingClaim, input: PendingConfiguration, now: number) => LocalTask;
+    recordObservedUnattemptedWorkspace: (owner: PendingClaim, now: number) => LocalTask | null;
+    registerPending: (claim: PendingClaim, input: PendingConfiguration, now: number, verifiedUserId?: string | null) => LocalTask;
+    bindUserScope: (identity: ClaimIdentity, userId: string, now: number) => LocalTask;
     restoreOriginalConfiguration: (identity: ClaimIdentity, configuration: FrozenExecutionConfiguration, now: number) => LocalTask;
     activateTask: (identity: ClaimIdentity, now: number) => LocalTask;
+    activatePausedRecovery: (identity: ClaimIdentity, reason: string, now: number) => LocalTask;
     bindWorktree: (identity: ClaimIdentity, binding: WorktreeBinding, now: number) => LocalTask;
     bindHerdr: (identity: ClaimIdentity, binding: WorkerHerdr, now: number) => LocalTask;
+    bindHerdrExecution: (identity: ClaimIdentity, binding: HerdrTaskBinding, workspaceEvidence: HerdrWorkspaceEvidence | null, now: number) => LocalTask;
+    markWorkspaceSubmitting: (identity: ClaimIdentity, now: number) => LocalTask;
+    recordWorkspaceNotSubmitted: (identity: ClaimIdentity, proof: {
+        notSubmitted: true;
+    } | {
+        definiteRejection: true;
+    }, now: number) => LocalTask;
+    markNativeLaunchSubmitting: (identity: ClaimIdentity, now: number) => LocalTask;
+    recordNativeLaunchNotSubmitted: (identity: ClaimIdentity, proof: {
+        notSubmitted: true;
+    } | {
+        definiteRejection: true;
+    }, now: number) => LocalTask;
+    markNativePromptSubmitting: (identity: ClaimIdentity, now: number) => LocalTask;
+    recordNativeStartOutcome: (identity: ClaimIdentity, input: {
+        launchEvidence?: HerdrLaunchEvidence;
+        promptSubmission: NativeExecutionState["promptSubmission"];
+    }, now: number) => LocalTask;
+    recordStopObservation: (identity: ClaimIdentity, observation: HerdrStopObservation, now: number) => LocalTask;
+    markExecutionSummarySubmitting: (identity: ClaimIdentity, input: Omit<ExecutionSummary, "submission">, now: number) => LocalTask;
+    recordExecutionSummaryOutcome: (identity: ClaimIdentity, expectedVersion: string, submission: "confirmed" | "rejected", now: number) => LocalTask;
+    recordExecutionSummaryNotSubmitted: (identity: ClaimIdentity, expectedVersion: string, proof: {
+        notSubmitted: true;
+    }, now: number) => LocalTask;
+    reconcileExecutionSummary: (identity: ClaimIdentity, input: Omit<ExecutionSummary, "submission">, now: number) => LocalTask;
     rebindHerdr: (identity: ClaimIdentity, expectedPrevious: WorkerHerdr, next: WorkerHerdr, proof: {
         originalAgentStopped: true;
         oldWorkspaceClosed: true;
     }, now: number) => LocalTask;
+    rebindHerdrExecution: (identity: ClaimIdentity, expectedPrevious: HerdrTaskBinding, next: HerdrTaskBinding, workspaceEvidence: HerdrWorkspaceEvidence | null, proof: {
+        originalAgentStopped: true;
+        oldWorkspaceClosed: true;
+    }, now: number) => LocalTask;
     bindNativeSession: (identity: ClaimIdentity, reference: NativeSessionReference, now: number) => LocalTask;
     pauseTask: (identity: ClaimIdentity, reason: string, now: number) => LocalTask;
     clearPause: (identity: ClaimIdentity, now: number) => LocalTask;
     authorizeRecoveryRetry: (identity: ClaimIdentity, now: number) => LocalTask;
+    authorizeRecoveryRetryAtCount: (identity: ClaimIdentity, expectedCount: number, now: number) => LocalTask;
     beginRecovery: (identity: ClaimIdentity, now: number) => LocalTask;
     beginCleanup: (identity: ClaimIdentity, input: {
         kind: CleanupState["kind"];
@@ -30,6 +76,7 @@ export declare const openWorkerStore: (databaseFile: string, options?: {
     }, now: number) => LocalTask;
     markCleanupInputSubmitting: (identity: ClaimIdentity, now: number) => LocalTask;
     recordCleanupInputOutcome: (identity: ClaimIdentity, input: "submitted" | "rejected" | "unavailable", now: number) => LocalTask;
+    recordCleanupInputEvidence: (identity: ClaimIdentity, baseline: NonNullable<CleanupState["baseline"]>, now: number) => LocalTask;
     recordCleanupResult: (identity: ClaimIdentity, result: NonNullable<CleanupState["result"]>, error: string | null, now: number) => LocalTask;
     recordCleanupError: (identity: ClaimIdentity, error: string, now: number) => LocalTask;
     confirmAgentStopped: (identity: ClaimIdentity, proof: {
@@ -43,13 +90,34 @@ export declare const openWorkerStore: (databaseFile: string, options?: {
     }, now: number) => LocalTask;
     resumeAfterShutdown: (identity: ClaimIdentity, now: number) => LocalTask;
     recordControlIntent: (identity: ClaimIdentity, input: ControlIntent, now: number) => LocalTask;
+    replaceRejectedControlIntent: (identity: ClaimIdentity, input: ControlIntent, proof: {
+        observedVersion: bigint;
+    }, now: number) => LocalTask;
+    confirmUnstartedControlCleanup: (identity: ClaimIdentity, proof: {
+        completeHerdrInventory: true;
+        noOwnedResources: true;
+    }, deadline: number, now: number) => LocalTask;
     markControlSubmitting: (identity: ClaimIdentity, expectedVersion: bigint, now: number) => LocalTask;
     confirmControlApplied: (identity: ClaimIdentity, resultVersion: bigint, now: number) => LocalTask;
     confirmControlOwnershipEnded: (identity: ClaimIdentity, proof: {
         completeOwnClaimInventory: true;
         claimAbsent: true;
     }, now: number) => LocalTask;
+    confirmControlOwnershipEndedByTask: (identity: ClaimIdentity, proof: {
+        observedClaimId: string | null;
+        observedState: "active" | "released" | "completed" | null;
+    }, now: number) => LocalTask;
+    completeAppliedControl: (identity: ClaimIdentity, expectedIntent: ControlIntent, resultVersion: bigint, now: number) => LocalTask;
+    completeEndedControl: (identity: ClaimIdentity, expectedIntent: ControlIntent, proof: {
+        observedClaimId: string | null;
+        observedState: "active" | "released" | "completed" | null;
+    }, now: number) => LocalTask;
     rejectControlSubmission: (identity: ClaimIdentity, error: string, now: number) => LocalTask;
     completeTask: (identity: ClaimIdentity, now: number) => LocalTask;
+    completeUnstartedPending: (identity: ClaimIdentity, proof: {
+        completeOwnClaimInventory: true;
+        claimAbsent: true;
+        authenticatedUserId: string;
+    }, now: number) => LocalTask;
 };
 export type WorkerStore = ReturnType<typeof openWorkerStore>;