import { Type, type Static } from "typebox";
export declare const RUN_STATE_VERSION = 4;
export declare const MAX_TASKS = 8;
export declare const MAX_EXECUTE_REQUEST_BYTES: number;
export declare const MAX_PERSISTED_RUNTIME_TEXT_BYTES: number;
export declare const MAX_POSSIBLE_RESOURCES = 32;
export type ModelClass = Static<typeof ModelClassSchema>;
declare const ModelClassSchema: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
export declare const CheckCommandSchema: Type.TObject<{
    command: Type.TString;
    args: Type.TArray<Type.TString>;
}>;
export declare const JudgmentSchema: Type.TObject<{
    role: Type.TString;
    modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
    criterion: Type.TString;
}>;
declare const TextTaskRequestSchema: Type.TObject<{
    role: Type.TString;
    modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
    requirements: Type.TString;
    deliverable: Type.TString;
    dependsOn: Type.TArray<Type.TString>;
    contextFrom: Type.TArray<Type.TString>;
    id: Type.TString;
    kind: Type.TLiteral<"text">;
}>;
declare const ChangesetTaskRequestSchema: Type.TObject<{
    role: Type.TString;
    modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
    requirements: Type.TString;
    deliverable: Type.TString;
    dependsOn: Type.TArray<Type.TString>;
    contextFrom: Type.TArray<Type.TString>;
    id: Type.TString;
    kind: Type.TLiteral<"changeset">;
    checks: Type.TArray<Type.TObject<{
        command: Type.TString;
        args: Type.TArray<Type.TString>;
    }>>;
    judgment: Type.TOptional<Type.TObject<{
        role: Type.TString;
        modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
        criterion: Type.TString;
    }>>;
}>;
export declare const TaskRequestSchema: Type.TUnion<[Type.TObject<{
    role: Type.TString;
    modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
    requirements: Type.TString;
    deliverable: Type.TString;
    dependsOn: Type.TArray<Type.TString>;
    contextFrom: Type.TArray<Type.TString>;
    id: Type.TString;
    kind: Type.TLiteral<"text">;
}>, Type.TObject<{
    role: Type.TString;
    modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
    requirements: Type.TString;
    deliverable: Type.TString;
    dependsOn: Type.TArray<Type.TString>;
    contextFrom: Type.TArray<Type.TString>;
    id: Type.TString;
    kind: Type.TLiteral<"changeset">;
    checks: Type.TArray<Type.TObject<{
        command: Type.TString;
        args: Type.TArray<Type.TString>;
    }>>;
    judgment: Type.TOptional<Type.TObject<{
        role: Type.TString;
        modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
        criterion: Type.TString;
    }>>;
}>]>;
export declare const ExecuteRequestSchema: Type.TObject<{
    id: Type.TString;
    goal: Type.TString;
    budgetMs: Type.TInteger;
    tasks: Type.TArray<Type.TUnion<[Type.TObject<{
        role: Type.TString;
        modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
        requirements: Type.TString;
        deliverable: Type.TString;
        dependsOn: Type.TArray<Type.TString>;
        contextFrom: Type.TArray<Type.TString>;
        id: Type.TString;
        kind: Type.TLiteral<"text">;
    }>, Type.TObject<{
        role: Type.TString;
        modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
        requirements: Type.TString;
        deliverable: Type.TString;
        dependsOn: Type.TArray<Type.TString>;
        contextFrom: Type.TArray<Type.TString>;
        id: Type.TString;
        kind: Type.TLiteral<"changeset">;
        checks: Type.TArray<Type.TObject<{
            command: Type.TString;
            args: Type.TArray<Type.TString>;
        }>>;
        judgment: Type.TOptional<Type.TObject<{
            role: Type.TString;
            modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
            criterion: Type.TString;
        }>>;
    }>]>>;
    finalChecks: Type.TArray<Type.TObject<{
        command: Type.TString;
        args: Type.TArray<Type.TString>;
    }>>;
    finalJudgment: Type.TOptional<Type.TObject<{
        role: Type.TString;
        modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
        criterion: Type.TString;
    }>>;
}>;
export declare const IdOnlySchema: Type.TObject<{
    id: Type.TString;
}>;
export declare const ResumeRequestSchema: Type.TUnion<[Type.TObject<{
    id: Type.TString;
    action: Type.TLiteral<"retry">;
    taskId: Type.TString;
}>, Type.TObject<{
    id: Type.TString;
    action: Type.TLiteral<"verify">;
    taskId: Type.TString;
}>, Type.TObject<{
    id: Type.TString;
    action: Type.TLiteral<"finalize">;
}>]>;
export type IdOnly = Static<typeof IdOnlySchema>;
export type CheckCommand = Static<typeof CheckCommandSchema>;
export type Judgment = Static<typeof JudgmentSchema>;
export type TextTaskRequest = Static<typeof TextTaskRequestSchema>;
export type ChangesetTaskRequest = Static<typeof ChangesetTaskRequestSchema>;
export type TaskRequest = Static<typeof TaskRequestSchema>;
export type ExecuteRequest = Static<typeof ExecuteRequestSchema>;
export type ResumeRequest = Static<typeof ResumeRequestSchema>;
export type WorkspaceIdentity = Static<typeof WorkspaceSchema>;
declare const WorktreeRecordSchema: Type.TObject<{
    path: Type.TString;
    cwd: Type.TString;
    branch: Type.TString;
    repoRoot: Type.TString;
    baseCommit: Type.TString;
}>;
declare const WorktreeAllocationIntentSchema: Type.TObject<{
    generation: Type.TInteger;
    token: Type.TString;
    status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
    possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
    failure: Type.TOptional<Type.TString>;
    kind: Type.TLiteral<"worktree">;
    worktree: Type.TOptional<Type.TObject<{
        path: Type.TString;
        cwd: Type.TString;
        branch: Type.TString;
        repoRoot: Type.TString;
        baseCommit: Type.TString;
    }>>;
}>;
declare const WorkspaceAllocationIntentSchema: Type.TObject<{
    generation: Type.TInteger;
    token: Type.TString;
    status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
    possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
    failure: Type.TOptional<Type.TString>;
    kind: Type.TLiteral<"workspace">;
    label: Type.TString;
    worktreeCwd: Type.TString;
    mainRoot: Type.TString;
    repoKey: Type.TString;
    herdrRepoRoot: Type.TString;
    workspaceId: Type.TOptional<Type.TString>;
    rootTabId: Type.TOptional<Type.TString>;
    rootPaneId: Type.TOptional<Type.TString>;
}>;
declare const WorkerTabAllocationIntentSchema: Type.TObject<{
    generation: Type.TInteger;
    token: Type.TString;
    status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
    possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
    failure: Type.TOptional<Type.TString>;
    kind: Type.TLiteral<"worker_tab">;
    label: Type.TString;
    workspaceId: Type.TString;
    workspaceRootTabId: Type.TString;
    workspaceRootPaneId: Type.TString;
    worktreeCwd: Type.TString;
    leasePath: Type.TString;
    tabId: Type.TOptional<Type.TString>;
    paneId: Type.TOptional<Type.TString>;
}>;
declare const AgentAllocationIntentSchema: Type.TObject<{
    generation: Type.TInteger;
    token: Type.TString;
    status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
    possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
    failure: Type.TOptional<Type.TString>;
    kind: Type.TLiteral<"agent">;
    agentName: Type.TString;
    workspaceId: Type.TString;
    tabId: Type.TString;
    paneId: Type.TString;
    worktreeCwd: Type.TString;
    leasePath: Type.TString;
}>;
export declare const AllocationIntentSchema: Type.TUnion<[Type.TObject<{
    generation: Type.TInteger;
    token: Type.TString;
    status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
    possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
    failure: Type.TOptional<Type.TString>;
    kind: Type.TLiteral<"worktree">;
    worktree: Type.TOptional<Type.TObject<{
        path: Type.TString;
        cwd: Type.TString;
        branch: Type.TString;
        repoRoot: Type.TString;
        baseCommit: Type.TString;
    }>>;
}>, Type.TObject<{
    generation: Type.TInteger;
    token: Type.TString;
    status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
    possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
    failure: Type.TOptional<Type.TString>;
    kind: Type.TLiteral<"workspace">;
    label: Type.TString;
    worktreeCwd: Type.TString;
    mainRoot: Type.TString;
    repoKey: Type.TString;
    herdrRepoRoot: Type.TString;
    workspaceId: Type.TOptional<Type.TString>;
    rootTabId: Type.TOptional<Type.TString>;
    rootPaneId: Type.TOptional<Type.TString>;
}>, Type.TObject<{
    generation: Type.TInteger;
    token: Type.TString;
    status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
    possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
    failure: Type.TOptional<Type.TString>;
    kind: Type.TLiteral<"worker_tab">;
    label: Type.TString;
    workspaceId: Type.TString;
    workspaceRootTabId: Type.TString;
    workspaceRootPaneId: Type.TString;
    worktreeCwd: Type.TString;
    leasePath: Type.TString;
    tabId: Type.TOptional<Type.TString>;
    paneId: Type.TOptional<Type.TString>;
}>, Type.TObject<{
    generation: Type.TInteger;
    token: Type.TString;
    status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
    possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
    failure: Type.TOptional<Type.TString>;
    kind: Type.TLiteral<"agent">;
    agentName: Type.TString;
    workspaceId: Type.TString;
    tabId: Type.TString;
    paneId: Type.TString;
    worktreeCwd: Type.TString;
    leasePath: Type.TString;
}>]>;
export type WorktreeRecord = Static<typeof WorktreeRecordSchema>;
export type WorktreeAllocationIntent = Static<typeof WorktreeAllocationIntentSchema>;
export type WorkspaceAllocationIntent = Static<typeof WorkspaceAllocationIntentSchema>;
export type WorkerTabAllocationIntent = Static<typeof WorkerTabAllocationIntentSchema>;
export type AgentAllocationIntent = Static<typeof AgentAllocationIntentSchema>;
export type AllocationIntent = Static<typeof AllocationIntentSchema>;
export type AllocationKind = AllocationIntent["kind"];
export type WorktreeAllocationPlan = WorktreeRecord;
export type WorkspaceAllocationPlan = Pick<WorkspaceAllocationIntent, "kind" | "label" | "worktreeCwd" | "mainRoot" | "repoKey" | "herdrRepoRoot">;
export type WorkerTabAllocationPlan = Pick<WorkerTabAllocationIntent, "kind" | "label" | "workspaceId" | "workspaceRootTabId" | "workspaceRootPaneId" | "worktreeCwd" | "leasePath">;
export type AgentAllocationPlan = Pick<AgentAllocationIntent, "kind" | "agentName" | "workspaceId" | "tabId" | "paneId" | "worktreeCwd" | "leasePath">;
export type HostAllocationIntent = WorkspaceAllocationIntent | WorkerTabAllocationIntent | AgentAllocationIntent;
export type HostAllocationPlan = WorkspaceAllocationPlan | WorkerTabAllocationPlan | AgentAllocationPlan;
export type PromptRecord = Static<typeof PromptRecordSchema>;
export type CommandEvidence = Static<typeof CommandEvidenceSchema>;
export type CheckBatchEvidence = Static<typeof CheckBatchEvidenceSchema>;
export type ReviewEvidence = Static<typeof ReviewEvidenceSchema>;
export type RebaseTransition = Static<typeof RebaseTransitionSchema>;
export type WorkerTermination = Static<typeof WorkerTerminationSchema>;
export declare const CLEANUP_KINDS: readonly ["worker_tab", "workspace", "worktree", "branch"];
export type CleanupStep = Static<typeof CleanupStepSchema>;
export type CleanupKind = CleanupStep["kind"];
export type ChangesetTaskAttempt = Static<typeof TaskAttemptSchema>;
export type TaskAttempt = ChangesetTaskAttempt;
export type TextTaskAttempt = Static<typeof TextTaskAttemptSchema>;
export type ChangesetTaskState = Static<typeof ChangesetTaskStateSchema>;
export type TextTaskState = Static<typeof TextTaskStateSchema>;
export type TaskState = Static<typeof TaskStateSchema>;
export type WaveState = Static<typeof WaveStateSchema>;
export type RunState = Static<typeof RunStateSchema>;
declare const WorkspaceSchema: Type.TObject<{
    branch: Type.TString;
    head: Type.TString;
    index: Type.TString;
    tree: Type.TString;
}>;
declare const PromptRecordSchema: Type.TObject<{
    kind: Type.TUnion<[Type.TLiteral<"initial">, Type.TLiteral<"correction">, Type.TLiteral<"followup">]>;
    status: Type.TUnion<[Type.TLiteral<"submitting">, Type.TLiteral<"not_sent">, Type.TLiteral<"settled">, Type.TLiteral<"ambiguous">]>;
    preCandidate: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    candidate: Type.TOptional<Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>>;
    instruction: Type.TOptional<Type.TString>;
    failure: Type.TOptional<Type.TString>;
    at: Type.TInteger;
}>;
declare const CommandEvidenceSchema: Type.TObject<{
    command: Type.TString;
    args: Type.TArray<Type.TString>;
    code: Type.TInteger;
    killed: Type.TBoolean;
    stdout: Type.TString;
    stderr: Type.TString;
}>;
declare const CheckBatchEvidenceSchema: Type.TObject<{
    phase: Type.TUnion<[Type.TLiteral<"preliminary">, Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
    candidate: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    identityAfter: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    results: Type.TArray<Type.TObject<{
        command: Type.TString;
        args: Type.TArray<Type.TString>;
        code: Type.TInteger;
        killed: Type.TBoolean;
        stdout: Type.TString;
        stderr: Type.TString;
    }>>;
    passed: Type.TBoolean;
    at: Type.TInteger;
}>;
declare const ReviewEvidenceSchema: Type.TObject<{
    phase: Type.TUnion<[Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
    criterion: Type.TString;
    base: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    tip: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    identityAfter: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    verdict: Type.TString;
    passed: Type.TBoolean;
    at: Type.TInteger;
}>;
declare const WorkerTerminationSchema: Type.TObject<{
    status: Type.TUnion<[Type.TLiteral<"terminating">, Type.TLiteral<"terminated">, Type.TLiteral<"unknown">]>;
    workerId: Type.TString;
    candidate: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    at: Type.TOptional<Type.TInteger>;
    failure: Type.TOptional<Type.TString>;
}>;
declare const RebaseTransitionSchema: Type.TObject<{
    kind: Type.TLiteral<"rebase">;
    status: Type.TUnion<[Type.TLiteral<"rebasing">, Type.TLiteral<"rebased">, Type.TLiteral<"unknown">]>;
    sourceBase: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    from: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    onto: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    to: Type.TOptional<Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>>;
    at: Type.TInteger;
    failure: Type.TOptional<Type.TString>;
}>;
declare const CleanupStepSchema: Type.TObject<{
    kind: Type.TUnion<[Type.TLiteral<"worker_tab">, Type.TLiteral<"workspace">, Type.TLiteral<"worktree">, Type.TLiteral<"branch">]>;
    status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"running">, Type.TLiteral<"completed">]>;
    failure: Type.TOptional<Type.TString>;
}>;
declare const TaskAttemptSchema: Type.TObject<{
    number: Type.TInteger;
    waveNumber: Type.TInteger;
    waveBase: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    correlationToken: Type.TString;
    allocationGeneration: Type.TInteger;
    allocations: Type.TArray<Type.TUnion<[Type.TObject<{
        generation: Type.TInteger;
        token: Type.TString;
        status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
        possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
        failure: Type.TOptional<Type.TString>;
        kind: Type.TLiteral<"worktree">;
        worktree: Type.TOptional<Type.TObject<{
            path: Type.TString;
            cwd: Type.TString;
            branch: Type.TString;
            repoRoot: Type.TString;
            baseCommit: Type.TString;
        }>>;
    }>, Type.TObject<{
        generation: Type.TInteger;
        token: Type.TString;
        status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
        possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
        failure: Type.TOptional<Type.TString>;
        kind: Type.TLiteral<"workspace">;
        label: Type.TString;
        worktreeCwd: Type.TString;
        mainRoot: Type.TString;
        repoKey: Type.TString;
        herdrRepoRoot: Type.TString;
        workspaceId: Type.TOptional<Type.TString>;
        rootTabId: Type.TOptional<Type.TString>;
        rootPaneId: Type.TOptional<Type.TString>;
    }>, Type.TObject<{
        generation: Type.TInteger;
        token: Type.TString;
        status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
        possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
        failure: Type.TOptional<Type.TString>;
        kind: Type.TLiteral<"worker_tab">;
        label: Type.TString;
        workspaceId: Type.TString;
        workspaceRootTabId: Type.TString;
        workspaceRootPaneId: Type.TString;
        worktreeCwd: Type.TString;
        leasePath: Type.TString;
        tabId: Type.TOptional<Type.TString>;
        paneId: Type.TOptional<Type.TString>;
    }>, Type.TObject<{
        generation: Type.TInteger;
        token: Type.TString;
        status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
        possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
        failure: Type.TOptional<Type.TString>;
        kind: Type.TLiteral<"agent">;
        agentName: Type.TString;
        workspaceId: Type.TString;
        tabId: Type.TString;
        paneId: Type.TString;
        worktreeCwd: Type.TString;
        leasePath: Type.TString;
    }>]>>;
    prompts: Type.TArray<Type.TObject<{
        kind: Type.TUnion<[Type.TLiteral<"initial">, Type.TLiteral<"correction">, Type.TLiteral<"followup">]>;
        status: Type.TUnion<[Type.TLiteral<"submitting">, Type.TLiteral<"not_sent">, Type.TLiteral<"settled">, Type.TLiteral<"ambiguous">]>;
        preCandidate: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        candidate: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        instruction: Type.TOptional<Type.TString>;
        failure: Type.TOptional<Type.TString>;
        at: Type.TInteger;
    }>>;
    candidate: Type.TOptional<Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>>;
    candidateBase: Type.TOptional<Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>>;
    preliminaryChecks: Type.TOptional<Type.TObject<{
        phase: Type.TUnion<[Type.TLiteral<"preliminary">, Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
        candidate: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        identityAfter: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        results: Type.TArray<Type.TObject<{
            command: Type.TString;
            args: Type.TArray<Type.TString>;
            code: Type.TInteger;
            killed: Type.TBoolean;
            stdout: Type.TString;
            stderr: Type.TString;
        }>>;
        passed: Type.TBoolean;
        at: Type.TInteger;
    }>>;
    readiness: Type.TOptional<Type.TObject<{
        candidate: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        base: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        at: Type.TInteger;
    }>>;
    transitions: Type.TArray<Type.TObject<{
        kind: Type.TLiteral<"rebase">;
        status: Type.TUnion<[Type.TLiteral<"rebasing">, Type.TLiteral<"rebased">, Type.TLiteral<"unknown">]>;
        sourceBase: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        from: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        onto: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        to: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        at: Type.TInteger;
        failure: Type.TOptional<Type.TString>;
    }>>;
    termination: Type.TOptional<Type.TObject<{
        status: Type.TUnion<[Type.TLiteral<"terminating">, Type.TLiteral<"terminated">, Type.TLiteral<"unknown">]>;
        workerId: Type.TString;
        candidate: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        at: Type.TOptional<Type.TInteger>;
        failure: Type.TOptional<Type.TString>;
    }>>;
    integrationBase: Type.TOptional<Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>>;
    integrationCandidate: Type.TOptional<Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>>;
    authoritativeChecks: Type.TOptional<Type.TObject<{
        phase: Type.TUnion<[Type.TLiteral<"preliminary">, Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
        candidate: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        identityAfter: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        results: Type.TArray<Type.TObject<{
            command: Type.TString;
            args: Type.TArray<Type.TString>;
            code: Type.TInteger;
            killed: Type.TBoolean;
            stdout: Type.TString;
            stderr: Type.TString;
        }>>;
        passed: Type.TBoolean;
        at: Type.TInteger;
    }>>;
    authoritativeReview: Type.TOptional<Type.TObject<{
        phase: Type.TUnion<[Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
        criterion: Type.TString;
        base: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        tip: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        identityAfter: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        verdict: Type.TString;
        passed: Type.TBoolean;
        at: Type.TInteger;
    }>>;
    integration: Type.TOptional<Type.TObject<{
        status: Type.TUnion<[Type.TLiteral<"integrating">, Type.TLiteral<"integrated">, Type.TLiteral<"failed">, Type.TLiteral<"unknown">]>;
        expectedMain: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        candidate: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        mainAfter: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        failure: Type.TOptional<Type.TString>;
    }>>;
    cleanup: Type.TArray<Type.TObject<{
        kind: Type.TUnion<[Type.TLiteral<"worker_tab">, Type.TLiteral<"workspace">, Type.TLiteral<"worktree">, Type.TLiteral<"branch">]>;
        status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"running">, Type.TLiteral<"completed">]>;
        failure: Type.TOptional<Type.TString>;
    }>>;
}>;
declare const ChangesetTaskStateSchema: Type.TObject<{
    taskId: Type.TString;
    kind: Type.TLiteral<"changeset">;
    status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"allocating">, Type.TLiteral<"working">, Type.TLiteral<"ready_to_integrate">, Type.TLiteral<"integrating">, Type.TLiteral<"cleanup">, Type.TLiteral<"completed">, Type.TLiteral<"needs_attention">]>;
    attempts: Type.TArray<Type.TObject<{
        number: Type.TInteger;
        waveNumber: Type.TInteger;
        waveBase: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        correlationToken: Type.TString;
        allocationGeneration: Type.TInteger;
        allocations: Type.TArray<Type.TUnion<[Type.TObject<{
            generation: Type.TInteger;
            token: Type.TString;
            status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
            possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
            failure: Type.TOptional<Type.TString>;
            kind: Type.TLiteral<"worktree">;
            worktree: Type.TOptional<Type.TObject<{
                path: Type.TString;
                cwd: Type.TString;
                branch: Type.TString;
                repoRoot: Type.TString;
                baseCommit: Type.TString;
            }>>;
        }>, Type.TObject<{
            generation: Type.TInteger;
            token: Type.TString;
            status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
            possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
            failure: Type.TOptional<Type.TString>;
            kind: Type.TLiteral<"workspace">;
            label: Type.TString;
            worktreeCwd: Type.TString;
            mainRoot: Type.TString;
            repoKey: Type.TString;
            herdrRepoRoot: Type.TString;
            workspaceId: Type.TOptional<Type.TString>;
            rootTabId: Type.TOptional<Type.TString>;
            rootPaneId: Type.TOptional<Type.TString>;
        }>, Type.TObject<{
            generation: Type.TInteger;
            token: Type.TString;
            status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
            possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
            failure: Type.TOptional<Type.TString>;
            kind: Type.TLiteral<"worker_tab">;
            label: Type.TString;
            workspaceId: Type.TString;
            workspaceRootTabId: Type.TString;
            workspaceRootPaneId: Type.TString;
            worktreeCwd: Type.TString;
            leasePath: Type.TString;
            tabId: Type.TOptional<Type.TString>;
            paneId: Type.TOptional<Type.TString>;
        }>, Type.TObject<{
            generation: Type.TInteger;
            token: Type.TString;
            status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
            possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
            failure: Type.TOptional<Type.TString>;
            kind: Type.TLiteral<"agent">;
            agentName: Type.TString;
            workspaceId: Type.TString;
            tabId: Type.TString;
            paneId: Type.TString;
            worktreeCwd: Type.TString;
            leasePath: Type.TString;
        }>]>>;
        prompts: Type.TArray<Type.TObject<{
            kind: Type.TUnion<[Type.TLiteral<"initial">, Type.TLiteral<"correction">, Type.TLiteral<"followup">]>;
            status: Type.TUnion<[Type.TLiteral<"submitting">, Type.TLiteral<"not_sent">, Type.TLiteral<"settled">, Type.TLiteral<"ambiguous">]>;
            preCandidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            candidate: Type.TOptional<Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>>;
            instruction: Type.TOptional<Type.TString>;
            failure: Type.TOptional<Type.TString>;
            at: Type.TInteger;
        }>>;
        candidate: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        candidateBase: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        preliminaryChecks: Type.TOptional<Type.TObject<{
            phase: Type.TUnion<[Type.TLiteral<"preliminary">, Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            identityAfter: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            results: Type.TArray<Type.TObject<{
                command: Type.TString;
                args: Type.TArray<Type.TString>;
                code: Type.TInteger;
                killed: Type.TBoolean;
                stdout: Type.TString;
                stderr: Type.TString;
            }>>;
            passed: Type.TBoolean;
            at: Type.TInteger;
        }>>;
        readiness: Type.TOptional<Type.TObject<{
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            base: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            at: Type.TInteger;
        }>>;
        transitions: Type.TArray<Type.TObject<{
            kind: Type.TLiteral<"rebase">;
            status: Type.TUnion<[Type.TLiteral<"rebasing">, Type.TLiteral<"rebased">, Type.TLiteral<"unknown">]>;
            sourceBase: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            from: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            onto: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            to: Type.TOptional<Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>>;
            at: Type.TInteger;
            failure: Type.TOptional<Type.TString>;
        }>>;
        termination: Type.TOptional<Type.TObject<{
            status: Type.TUnion<[Type.TLiteral<"terminating">, Type.TLiteral<"terminated">, Type.TLiteral<"unknown">]>;
            workerId: Type.TString;
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            at: Type.TOptional<Type.TInteger>;
            failure: Type.TOptional<Type.TString>;
        }>>;
        integrationBase: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        integrationCandidate: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        authoritativeChecks: Type.TOptional<Type.TObject<{
            phase: Type.TUnion<[Type.TLiteral<"preliminary">, Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            identityAfter: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            results: Type.TArray<Type.TObject<{
                command: Type.TString;
                args: Type.TArray<Type.TString>;
                code: Type.TInteger;
                killed: Type.TBoolean;
                stdout: Type.TString;
                stderr: Type.TString;
            }>>;
            passed: Type.TBoolean;
            at: Type.TInteger;
        }>>;
        authoritativeReview: Type.TOptional<Type.TObject<{
            phase: Type.TUnion<[Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
            criterion: Type.TString;
            base: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            tip: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            identityAfter: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            verdict: Type.TString;
            passed: Type.TBoolean;
            at: Type.TInteger;
        }>>;
        integration: Type.TOptional<Type.TObject<{
            status: Type.TUnion<[Type.TLiteral<"integrating">, Type.TLiteral<"integrated">, Type.TLiteral<"failed">, Type.TLiteral<"unknown">]>;
            expectedMain: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            mainAfter: Type.TOptional<Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>>;
            failure: Type.TOptional<Type.TString>;
        }>>;
        cleanup: Type.TArray<Type.TObject<{
            kind: Type.TUnion<[Type.TLiteral<"worker_tab">, Type.TLiteral<"workspace">, Type.TLiteral<"worktree">, Type.TLiteral<"branch">]>;
            status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"running">, Type.TLiteral<"completed">]>;
            failure: Type.TOptional<Type.TString>;
        }>>;
    }>>;
    failure: Type.TOptional<Type.TString>;
}>;
declare const TextTaskAttemptSchema: Type.TObject<{
    number: Type.TInteger;
    status: Type.TUnion<[Type.TLiteral<"running">, Type.TLiteral<"completed">, Type.TLiteral<"failed">]>;
    failure: Type.TOptional<Type.TString>;
    output: Type.TOptional<Type.TObject<{
        text: Type.TString;
    }>>;
}>;
declare const TextTaskStateSchema: Type.TObject<{
    taskId: Type.TString;
    kind: Type.TLiteral<"text">;
    status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"running">, Type.TLiteral<"completed">, Type.TLiteral<"needs_attention">]>;
    attempts: Type.TArray<Type.TObject<{
        number: Type.TInteger;
        status: Type.TUnion<[Type.TLiteral<"running">, Type.TLiteral<"completed">, Type.TLiteral<"failed">]>;
        failure: Type.TOptional<Type.TString>;
        output: Type.TOptional<Type.TObject<{
            text: Type.TString;
        }>>;
    }>>;
    failure: Type.TOptional<Type.TString>;
}>;
declare const TaskStateSchema: Type.TUnion<[Type.TObject<{
    taskId: Type.TString;
    kind: Type.TLiteral<"text">;
    status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"running">, Type.TLiteral<"completed">, Type.TLiteral<"needs_attention">]>;
    attempts: Type.TArray<Type.TObject<{
        number: Type.TInteger;
        status: Type.TUnion<[Type.TLiteral<"running">, Type.TLiteral<"completed">, Type.TLiteral<"failed">]>;
        failure: Type.TOptional<Type.TString>;
        output: Type.TOptional<Type.TObject<{
            text: Type.TString;
        }>>;
    }>>;
    failure: Type.TOptional<Type.TString>;
}>, Type.TObject<{
    taskId: Type.TString;
    kind: Type.TLiteral<"changeset">;
    status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"allocating">, Type.TLiteral<"working">, Type.TLiteral<"ready_to_integrate">, Type.TLiteral<"integrating">, Type.TLiteral<"cleanup">, Type.TLiteral<"completed">, Type.TLiteral<"needs_attention">]>;
    attempts: Type.TArray<Type.TObject<{
        number: Type.TInteger;
        waveNumber: Type.TInteger;
        waveBase: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        correlationToken: Type.TString;
        allocationGeneration: Type.TInteger;
        allocations: Type.TArray<Type.TUnion<[Type.TObject<{
            generation: Type.TInteger;
            token: Type.TString;
            status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
            possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
            failure: Type.TOptional<Type.TString>;
            kind: Type.TLiteral<"worktree">;
            worktree: Type.TOptional<Type.TObject<{
                path: Type.TString;
                cwd: Type.TString;
                branch: Type.TString;
                repoRoot: Type.TString;
                baseCommit: Type.TString;
            }>>;
        }>, Type.TObject<{
            generation: Type.TInteger;
            token: Type.TString;
            status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
            possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
            failure: Type.TOptional<Type.TString>;
            kind: Type.TLiteral<"workspace">;
            label: Type.TString;
            worktreeCwd: Type.TString;
            mainRoot: Type.TString;
            repoKey: Type.TString;
            herdrRepoRoot: Type.TString;
            workspaceId: Type.TOptional<Type.TString>;
            rootTabId: Type.TOptional<Type.TString>;
            rootPaneId: Type.TOptional<Type.TString>;
        }>, Type.TObject<{
            generation: Type.TInteger;
            token: Type.TString;
            status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
            possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
            failure: Type.TOptional<Type.TString>;
            kind: Type.TLiteral<"worker_tab">;
            label: Type.TString;
            workspaceId: Type.TString;
            workspaceRootTabId: Type.TString;
            workspaceRootPaneId: Type.TString;
            worktreeCwd: Type.TString;
            leasePath: Type.TString;
            tabId: Type.TOptional<Type.TString>;
            paneId: Type.TOptional<Type.TString>;
        }>, Type.TObject<{
            generation: Type.TInteger;
            token: Type.TString;
            status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
            possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
            failure: Type.TOptional<Type.TString>;
            kind: Type.TLiteral<"agent">;
            agentName: Type.TString;
            workspaceId: Type.TString;
            tabId: Type.TString;
            paneId: Type.TString;
            worktreeCwd: Type.TString;
            leasePath: Type.TString;
        }>]>>;
        prompts: Type.TArray<Type.TObject<{
            kind: Type.TUnion<[Type.TLiteral<"initial">, Type.TLiteral<"correction">, Type.TLiteral<"followup">]>;
            status: Type.TUnion<[Type.TLiteral<"submitting">, Type.TLiteral<"not_sent">, Type.TLiteral<"settled">, Type.TLiteral<"ambiguous">]>;
            preCandidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            candidate: Type.TOptional<Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>>;
            instruction: Type.TOptional<Type.TString>;
            failure: Type.TOptional<Type.TString>;
            at: Type.TInteger;
        }>>;
        candidate: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        candidateBase: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        preliminaryChecks: Type.TOptional<Type.TObject<{
            phase: Type.TUnion<[Type.TLiteral<"preliminary">, Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            identityAfter: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            results: Type.TArray<Type.TObject<{
                command: Type.TString;
                args: Type.TArray<Type.TString>;
                code: Type.TInteger;
                killed: Type.TBoolean;
                stdout: Type.TString;
                stderr: Type.TString;
            }>>;
            passed: Type.TBoolean;
            at: Type.TInteger;
        }>>;
        readiness: Type.TOptional<Type.TObject<{
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            base: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            at: Type.TInteger;
        }>>;
        transitions: Type.TArray<Type.TObject<{
            kind: Type.TLiteral<"rebase">;
            status: Type.TUnion<[Type.TLiteral<"rebasing">, Type.TLiteral<"rebased">, Type.TLiteral<"unknown">]>;
            sourceBase: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            from: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            onto: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            to: Type.TOptional<Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>>;
            at: Type.TInteger;
            failure: Type.TOptional<Type.TString>;
        }>>;
        termination: Type.TOptional<Type.TObject<{
            status: Type.TUnion<[Type.TLiteral<"terminating">, Type.TLiteral<"terminated">, Type.TLiteral<"unknown">]>;
            workerId: Type.TString;
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            at: Type.TOptional<Type.TInteger>;
            failure: Type.TOptional<Type.TString>;
        }>>;
        integrationBase: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        integrationCandidate: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        authoritativeChecks: Type.TOptional<Type.TObject<{
            phase: Type.TUnion<[Type.TLiteral<"preliminary">, Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            identityAfter: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            results: Type.TArray<Type.TObject<{
                command: Type.TString;
                args: Type.TArray<Type.TString>;
                code: Type.TInteger;
                killed: Type.TBoolean;
                stdout: Type.TString;
                stderr: Type.TString;
            }>>;
            passed: Type.TBoolean;
            at: Type.TInteger;
        }>>;
        authoritativeReview: Type.TOptional<Type.TObject<{
            phase: Type.TUnion<[Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
            criterion: Type.TString;
            base: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            tip: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            identityAfter: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            verdict: Type.TString;
            passed: Type.TBoolean;
            at: Type.TInteger;
        }>>;
        integration: Type.TOptional<Type.TObject<{
            status: Type.TUnion<[Type.TLiteral<"integrating">, Type.TLiteral<"integrated">, Type.TLiteral<"failed">, Type.TLiteral<"unknown">]>;
            expectedMain: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            mainAfter: Type.TOptional<Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>>;
            failure: Type.TOptional<Type.TString>;
        }>>;
        cleanup: Type.TArray<Type.TObject<{
            kind: Type.TUnion<[Type.TLiteral<"worker_tab">, Type.TLiteral<"workspace">, Type.TLiteral<"worktree">, Type.TLiteral<"branch">]>;
            status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"running">, Type.TLiteral<"completed">]>;
            failure: Type.TOptional<Type.TString>;
        }>>;
    }>>;
    failure: Type.TOptional<Type.TString>;
}>]>;
declare const WaveStateSchema: Type.TObject<{
    number: Type.TInteger;
    base: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    taskIds: Type.TArray<Type.TString>;
    status: Type.TUnion<[Type.TLiteral<"dispatching">, Type.TLiteral<"integrating">, Type.TLiteral<"completed">, Type.TLiteral<"needs_attention">]>;
}>;
declare const RunStateSchema: Type.TObject<{
    version: Type.TLiteral<4>;
    request: Type.TObject<{
        id: Type.TString;
        goal: Type.TString;
        budgetMs: Type.TInteger;
        tasks: Type.TArray<Type.TUnion<[Type.TObject<{
            role: Type.TString;
            modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
            requirements: Type.TString;
            deliverable: Type.TString;
            dependsOn: Type.TArray<Type.TString>;
            contextFrom: Type.TArray<Type.TString>;
            id: Type.TString;
            kind: Type.TLiteral<"text">;
        }>, Type.TObject<{
            role: Type.TString;
            modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
            requirements: Type.TString;
            deliverable: Type.TString;
            dependsOn: Type.TArray<Type.TString>;
            contextFrom: Type.TArray<Type.TString>;
            id: Type.TString;
            kind: Type.TLiteral<"changeset">;
            checks: Type.TArray<Type.TObject<{
                command: Type.TString;
                args: Type.TArray<Type.TString>;
            }>>;
            judgment: Type.TOptional<Type.TObject<{
                role: Type.TString;
                modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
                criterion: Type.TString;
            }>>;
        }>]>>;
        finalChecks: Type.TArray<Type.TObject<{
            command: Type.TString;
            args: Type.TArray<Type.TString>;
        }>>;
        finalJudgment: Type.TOptional<Type.TObject<{
            role: Type.TString;
            modelClass: Type.TUnion<[Type.TLiteral<"fast">, Type.TLiteral<"balanced">, Type.TLiteral<"frontier">, Type.TLiteral<"fav">]>;
            criterion: Type.TString;
        }>>;
    }>;
    root: Type.TString;
    requestStartMain: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    main: Type.TObject<{
        branch: Type.TString;
        head: Type.TString;
        index: Type.TString;
        tree: Type.TString;
    }>;
    deadlineStartedAt: Type.TInteger;
    deadline: Type.TInteger;
    status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"running">, Type.TLiteral<"needs_attention">, Type.TLiteral<"completed">, Type.TLiteral<"final_failed">, Type.TLiteral<"superseded">, Type.TLiteral<"aborted">]>;
    tasks: Type.TArray<Type.TUnion<[Type.TObject<{
        taskId: Type.TString;
        kind: Type.TLiteral<"text">;
        status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"running">, Type.TLiteral<"completed">, Type.TLiteral<"needs_attention">]>;
        attempts: Type.TArray<Type.TObject<{
            number: Type.TInteger;
            status: Type.TUnion<[Type.TLiteral<"running">, Type.TLiteral<"completed">, Type.TLiteral<"failed">]>;
            failure: Type.TOptional<Type.TString>;
            output: Type.TOptional<Type.TObject<{
                text: Type.TString;
            }>>;
        }>>;
        failure: Type.TOptional<Type.TString>;
    }>, Type.TObject<{
        taskId: Type.TString;
        kind: Type.TLiteral<"changeset">;
        status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"allocating">, Type.TLiteral<"working">, Type.TLiteral<"ready_to_integrate">, Type.TLiteral<"integrating">, Type.TLiteral<"cleanup">, Type.TLiteral<"completed">, Type.TLiteral<"needs_attention">]>;
        attempts: Type.TArray<Type.TObject<{
            number: Type.TInteger;
            waveNumber: Type.TInteger;
            waveBase: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            correlationToken: Type.TString;
            allocationGeneration: Type.TInteger;
            allocations: Type.TArray<Type.TUnion<[Type.TObject<{
                generation: Type.TInteger;
                token: Type.TString;
                status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
                possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
                failure: Type.TOptional<Type.TString>;
                kind: Type.TLiteral<"worktree">;
                worktree: Type.TOptional<Type.TObject<{
                    path: Type.TString;
                    cwd: Type.TString;
                    branch: Type.TString;
                    repoRoot: Type.TString;
                    baseCommit: Type.TString;
                }>>;
            }>, Type.TObject<{
                generation: Type.TInteger;
                token: Type.TString;
                status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
                possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
                failure: Type.TOptional<Type.TString>;
                kind: Type.TLiteral<"workspace">;
                label: Type.TString;
                worktreeCwd: Type.TString;
                mainRoot: Type.TString;
                repoKey: Type.TString;
                herdrRepoRoot: Type.TString;
                workspaceId: Type.TOptional<Type.TString>;
                rootTabId: Type.TOptional<Type.TString>;
                rootPaneId: Type.TOptional<Type.TString>;
            }>, Type.TObject<{
                generation: Type.TInteger;
                token: Type.TString;
                status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
                possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
                failure: Type.TOptional<Type.TString>;
                kind: Type.TLiteral<"worker_tab">;
                label: Type.TString;
                workspaceId: Type.TString;
                workspaceRootTabId: Type.TString;
                workspaceRootPaneId: Type.TString;
                worktreeCwd: Type.TString;
                leasePath: Type.TString;
                tabId: Type.TOptional<Type.TString>;
                paneId: Type.TOptional<Type.TString>;
            }>, Type.TObject<{
                generation: Type.TInteger;
                token: Type.TString;
                status: Type.TUnion<[Type.TLiteral<"allocating">, Type.TLiteral<"owned">, Type.TLiteral<"absent">, Type.TLiteral<"unknown">]>;
                possibleResources: Type.TOptional<Type.TArray<Type.TString>>;
                failure: Type.TOptional<Type.TString>;
                kind: Type.TLiteral<"agent">;
                agentName: Type.TString;
                workspaceId: Type.TString;
                tabId: Type.TString;
                paneId: Type.TString;
                worktreeCwd: Type.TString;
                leasePath: Type.TString;
            }>]>>;
            prompts: Type.TArray<Type.TObject<{
                kind: Type.TUnion<[Type.TLiteral<"initial">, Type.TLiteral<"correction">, Type.TLiteral<"followup">]>;
                status: Type.TUnion<[Type.TLiteral<"submitting">, Type.TLiteral<"not_sent">, Type.TLiteral<"settled">, Type.TLiteral<"ambiguous">]>;
                preCandidate: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                candidate: Type.TOptional<Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>>;
                instruction: Type.TOptional<Type.TString>;
                failure: Type.TOptional<Type.TString>;
                at: Type.TInteger;
            }>>;
            candidate: Type.TOptional<Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>>;
            candidateBase: Type.TOptional<Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>>;
            preliminaryChecks: Type.TOptional<Type.TObject<{
                phase: Type.TUnion<[Type.TLiteral<"preliminary">, Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
                candidate: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                identityAfter: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                results: Type.TArray<Type.TObject<{
                    command: Type.TString;
                    args: Type.TArray<Type.TString>;
                    code: Type.TInteger;
                    killed: Type.TBoolean;
                    stdout: Type.TString;
                    stderr: Type.TString;
                }>>;
                passed: Type.TBoolean;
                at: Type.TInteger;
            }>>;
            readiness: Type.TOptional<Type.TObject<{
                candidate: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                base: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                at: Type.TInteger;
            }>>;
            transitions: Type.TArray<Type.TObject<{
                kind: Type.TLiteral<"rebase">;
                status: Type.TUnion<[Type.TLiteral<"rebasing">, Type.TLiteral<"rebased">, Type.TLiteral<"unknown">]>;
                sourceBase: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                from: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                onto: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                to: Type.TOptional<Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>>;
                at: Type.TInteger;
                failure: Type.TOptional<Type.TString>;
            }>>;
            termination: Type.TOptional<Type.TObject<{
                status: Type.TUnion<[Type.TLiteral<"terminating">, Type.TLiteral<"terminated">, Type.TLiteral<"unknown">]>;
                workerId: Type.TString;
                candidate: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                at: Type.TOptional<Type.TInteger>;
                failure: Type.TOptional<Type.TString>;
            }>>;
            integrationBase: Type.TOptional<Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>>;
            integrationCandidate: Type.TOptional<Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>>;
            authoritativeChecks: Type.TOptional<Type.TObject<{
                phase: Type.TUnion<[Type.TLiteral<"preliminary">, Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
                candidate: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                identityAfter: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                results: Type.TArray<Type.TObject<{
                    command: Type.TString;
                    args: Type.TArray<Type.TString>;
                    code: Type.TInteger;
                    killed: Type.TBoolean;
                    stdout: Type.TString;
                    stderr: Type.TString;
                }>>;
                passed: Type.TBoolean;
                at: Type.TInteger;
            }>>;
            authoritativeReview: Type.TOptional<Type.TObject<{
                phase: Type.TUnion<[Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
                criterion: Type.TString;
                base: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                tip: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                identityAfter: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                verdict: Type.TString;
                passed: Type.TBoolean;
                at: Type.TInteger;
            }>>;
            integration: Type.TOptional<Type.TObject<{
                status: Type.TUnion<[Type.TLiteral<"integrating">, Type.TLiteral<"integrated">, Type.TLiteral<"failed">, Type.TLiteral<"unknown">]>;
                expectedMain: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                candidate: Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>;
                mainAfter: Type.TOptional<Type.TObject<{
                    branch: Type.TString;
                    head: Type.TString;
                    index: Type.TString;
                    tree: Type.TString;
                }>>;
                failure: Type.TOptional<Type.TString>;
            }>>;
            cleanup: Type.TArray<Type.TObject<{
                kind: Type.TUnion<[Type.TLiteral<"worker_tab">, Type.TLiteral<"workspace">, Type.TLiteral<"worktree">, Type.TLiteral<"branch">]>;
                status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"running">, Type.TLiteral<"completed">]>;
                failure: Type.TOptional<Type.TString>;
            }>>;
        }>>;
        failure: Type.TOptional<Type.TString>;
    }>]>>;
    waves: Type.TArray<Type.TObject<{
        number: Type.TInteger;
        base: Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>;
        taskIds: Type.TArray<Type.TString>;
        status: Type.TUnion<[Type.TLiteral<"dispatching">, Type.TLiteral<"integrating">, Type.TLiteral<"completed">, Type.TLiteral<"needs_attention">]>;
    }>>;
    final: Type.TObject<{
        status: Type.TUnion<[Type.TLiteral<"pending">, Type.TLiteral<"running">, Type.TLiteral<"interrupted">, Type.TLiteral<"passed">, Type.TLiteral<"final_failed">, Type.TLiteral<"superseded">]>;
        identity: Type.TOptional<Type.TObject<{
            branch: Type.TString;
            head: Type.TString;
            index: Type.TString;
            tree: Type.TString;
        }>>;
        checks: Type.TOptional<Type.TObject<{
            phase: Type.TUnion<[Type.TLiteral<"preliminary">, Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
            candidate: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            identityAfter: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            results: Type.TArray<Type.TObject<{
                command: Type.TString;
                args: Type.TArray<Type.TString>;
                code: Type.TInteger;
                killed: Type.TBoolean;
                stdout: Type.TString;
                stderr: Type.TString;
            }>>;
            passed: Type.TBoolean;
            at: Type.TInteger;
        }>>;
        review: Type.TOptional<Type.TObject<{
            phase: Type.TUnion<[Type.TLiteral<"authoritative">, Type.TLiteral<"final">]>;
            criterion: Type.TString;
            base: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            tip: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            identityAfter: Type.TObject<{
                branch: Type.TString;
                head: Type.TString;
                index: Type.TString;
                tree: Type.TString;
            }>;
            verdict: Type.TString;
            passed: Type.TBoolean;
            at: Type.TInteger;
        }>>;
        failure: Type.TOptional<Type.TString>;
    }>;
    recovery: Type.TOptional<Type.TObject<{
        kind: Type.TLiteral<"resume">;
        action: Type.TUnion<[Type.TLiteral<"retry">, Type.TLiteral<"verify">, Type.TLiteral<"finalize">]>;
        taskId: Type.TOptional<Type.TString>;
        deadline: Type.TInteger;
    }>>;
    accepted: Type.TBoolean;
    acceptedAt: Type.TOptional<Type.TInteger>;
    createdAt: Type.TInteger;
    updatedAt: Type.TInteger;
}>;
export declare function taskDependencies(task: TaskRequest): string[];
export declare function validateGraph(tasks: readonly TaskRequest[]): void;
export declare function parseExecuteRequest(value: unknown): ExecuteRequest;
export declare function parseIdOnly(value: unknown): IdOnly;
export declare function parseResumeRequest(value: unknown): ResumeRequest;
export declare function sameIdentity(left: WorkspaceIdentity, right: WorkspaceIdentity): boolean;
export declare function isCleanCommitted(identity: WorkspaceIdentity): boolean;
export declare function checkBatchPasses(evidence: CheckBatchEvidence | undefined, checks: readonly CheckCommand[], candidate: WorkspaceIdentity): boolean;
export declare function reviewEvidencePasses(evidence: ReviewEvidence | undefined, phase: ReviewEvidence["phase"], criterion: string, base: WorkspaceIdentity, tip: WorkspaceIdentity): boolean;
export declare function parseRunState(value: unknown): RunState;
export {};