@jamesaphoenix/tx-api-server 0.1.1

package/dist/api.d.ts

@@ -0,0 +1,1616 @@
+/**
+ * TX API Definition
+ *
+ * Declarative API definition using Effect HttpApi.
+ * Defines all endpoints, groups, errors, and their schemas.
+ * Handlers are implemented separately in routes/*.ts files.
+ */
+import { HttpApi, HttpApiEndpoint, HttpApiGroup } from "@effect/platform";
+import { Schema } from "effect";
+declare const NotFound_base: Schema.TaggedErrorClass<NotFound, "NotFound", {
+    readonly _tag: Schema.tag<"NotFound">;
+} & {
+    message: typeof Schema.String;
+}>;
+export declare class NotFound extends NotFound_base {
+}
+declare const BadRequest_base: Schema.TaggedErrorClass<BadRequest, "BadRequest", {
+    readonly _tag: Schema.tag<"BadRequest">;
+} & {
+    message: typeof Schema.String;
+}>;
+export declare class BadRequest extends BadRequest_base {
+}
+declare const InternalError_base: Schema.TaggedErrorClass<InternalError, "InternalError", {
+    readonly _tag: Schema.tag<"InternalError">;
+} & {
+    message: typeof Schema.String;
+}>;
+export declare class InternalError extends InternalError_base {
+}
+declare const Unauthorized_base: Schema.TaggedErrorClass<Unauthorized, "Unauthorized", {
+    readonly _tag: Schema.tag<"Unauthorized">;
+} & {
+    message: typeof Schema.String;
+}>;
+export declare class Unauthorized extends Unauthorized_base {
+}
+declare const Forbidden_base: Schema.TaggedErrorClass<Forbidden, "Forbidden", {
+    readonly _tag: Schema.tag<"Forbidden">;
+} & {
+    message: typeof Schema.String;
+}>;
+export declare class Forbidden extends Forbidden_base {
+}
+declare const ServiceUnavailable_base: Schema.TaggedErrorClass<ServiceUnavailable, "ServiceUnavailable", {
+    readonly _tag: Schema.tag<"ServiceUnavailable">;
+} & {
+    message: typeof Schema.String;
+}>;
+export declare class ServiceUnavailable extends ServiceUnavailable_base {
+}
+/**
+ * Maps tx-core tagged errors to API error types.
+ * Used by all route handlers for consistent error handling.
+ */
+export declare const mapCoreError: (e: unknown) => NotFound | BadRequest | InternalError | ServiceUnavailable;
+/**
+ * A Schema.String with basic path traversal protection.
+ * Rejects null bytes and '..' traversal sequences at the schema level.
+ * Handler-level validation still checks allowed directories (defense-in-depth).
+ */
+export declare const SafePathString: Schema.filter<typeof Schema.String>;
+export declare const HealthGroup: HttpApiGroup.HttpApiGroup<"health", HttpApiEndpoint.HttpApiEndpoint<"health", "GET", never, never, never, never, {
+    readonly status: "healthy" | "degraded" | "unhealthy";
+    readonly timestamp: string;
+    readonly version: string;
+    readonly database: {
+        readonly connected: boolean;
+        readonly path: string | null;
+    };
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"stats", "GET", never, never, never, never, {
+    readonly tasks: number;
+    readonly done: number;
+    readonly ready: number;
+    readonly learnings: number;
+    readonly runsRunning?: number | undefined;
+    readonly runsTotal?: number | undefined;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"ralph", "GET", never, never, never, never, {
+    readonly running: boolean;
+    readonly pid: number | null;
+    readonly currentIteration: number;
+    readonly currentTask: string | null;
+    readonly recentActivity: readonly {
+        readonly status: "started" | "completed" | "failed";
+        readonly timestamp: string;
+        readonly iteration: number;
+        readonly task: string;
+        readonly taskTitle: string;
+        readonly agent: string;
+    }[];
+}, never, never, never>, never, never, false>;
+export declare const TasksGroup: HttpApiGroup.HttpApiGroup<"tasks", HttpApiEndpoint.HttpApiEndpoint<"listTasks", "GET", never, {
+    readonly status?: string | undefined;
+    readonly cursor?: string | undefined;
+    readonly limit?: number | undefined;
+    readonly search?: string | undefined;
+}, never, never, {
+    readonly tasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+    readonly nextCursor: string | null;
+    readonly hasMore: boolean;
+    readonly total: number;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"readyTasks", "GET", never, {
+    readonly limit?: number | undefined;
+}, never, never, {
+    readonly tasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getTask", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly task: {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    };
+    readonly blockedByTasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+    readonly blocksTasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+    readonly childTasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createTask", "POST", never, never, {
+    readonly title: string;
+    readonly description?: string | undefined;
+    readonly parentId?: string | undefined;
+    readonly score?: number | undefined;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+}, never, {
+    readonly id: string & import("effect/Brand").Brand<"TaskId">;
+    readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+    readonly title: string;
+    readonly description: string;
+    readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+    readonly score: number;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+    readonly completedAt: string | null;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly isReady: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"updateTask", "PATCH", {
+    readonly id: string;
+}, never, {
+    readonly status?: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review" | undefined;
+    readonly title?: string | undefined;
+    readonly description?: string | undefined;
+    readonly parentId?: string | null | undefined;
+    readonly score?: number | undefined;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+}, never, {
+    readonly id: string & import("effect/Brand").Brand<"TaskId">;
+    readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+    readonly title: string;
+    readonly description: string;
+    readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+    readonly score: number;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+    readonly completedAt: string | null;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly isReady: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"completeTask", "POST", {
+    readonly id: string;
+}, never, never, never, {
+    readonly task: {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    };
+    readonly nowReady: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"deleteTask", "DELETE", {
+    readonly id: string;
+}, {
+    readonly cascade?: string | undefined;
+}, never, never, {
+    readonly id: string;
+    readonly success: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"blockTask", "POST", {
+    readonly id: string;
+}, never, {
+    readonly blockerId: string;
+}, never, {
+    readonly id: string & import("effect/Brand").Brand<"TaskId">;
+    readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+    readonly title: string;
+    readonly description: string;
+    readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+    readonly score: number;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+    readonly completedAt: string | null;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly isReady: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"unblockTask", "DELETE", {
+    readonly id: string;
+    readonly blockerId: string;
+}, never, never, never, {
+    readonly id: string & import("effect/Brand").Brand<"TaskId">;
+    readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+    readonly title: string;
+    readonly description: string;
+    readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+    readonly score: number;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+    readonly completedAt: string | null;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly isReady: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getTaskTree", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly tasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+}, never, never, never>, never, never, false>;
+export declare const LearningsGroup: HttpApiGroup.HttpApiGroup<"learnings", HttpApiEndpoint.HttpApiEndpoint<"searchLearnings", "GET", never, {
+    readonly limit?: number | undefined;
+    readonly query?: string | undefined;
+    readonly minScore?: number | undefined;
+    readonly category?: string | undefined;
+}, never, never, {
+    readonly learnings: readonly {
+        readonly id: number;
+        readonly createdAt: string;
+        readonly category: string | null;
+        readonly relevanceScore: number;
+        readonly bm25Score: number;
+        readonly vectorScore: number;
+        readonly recencyScore: number;
+        readonly rrfScore: number;
+        readonly bm25Rank: number;
+        readonly vectorRank: number;
+        readonly rerankerScore?: number | undefined;
+        readonly feedbackScore?: number | undefined;
+        readonly content: string;
+        readonly sourceType: "compaction" | "run" | "manual" | "claude_md";
+        readonly sourceRef: string | null;
+        readonly keywords: readonly string[];
+        readonly usageCount: number;
+        readonly lastUsedAt: string | null;
+        readonly outcomeScore: number | null;
+        readonly embedding: readonly number[] | null;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getLearning", "GET", {
+    readonly id: number;
+}, never, never, never, {
+    readonly id: number;
+    readonly createdAt: string;
+    readonly category: string | null;
+    readonly content: string;
+    readonly sourceType: "compaction" | "run" | "manual" | "claude_md";
+    readonly sourceRef: string | null;
+    readonly keywords: readonly string[];
+    readonly usageCount: number;
+    readonly lastUsedAt: string | null;
+    readonly outcomeScore: number | null;
+    readonly embedding: readonly number[] | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createLearning", "POST", never, never, {
+    readonly category?: string | undefined;
+    readonly content: string;
+    readonly sourceType?: "compaction" | "run" | "manual" | "claude_md" | undefined;
+    readonly sourceRef?: string | undefined;
+    readonly keywords?: readonly string[] | undefined;
+}, never, {
+    readonly id: number;
+    readonly createdAt: string;
+    readonly category: string | null;
+    readonly content: string;
+    readonly sourceType: "compaction" | "run" | "manual" | "claude_md";
+    readonly sourceRef: string | null;
+    readonly keywords: readonly string[];
+    readonly usageCount: number;
+    readonly lastUsedAt: string | null;
+    readonly outcomeScore: number | null;
+    readonly embedding: readonly number[] | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"updateHelpfulness", "POST", {
+    readonly id: number;
+}, never, {
+    readonly score: number;
+}, never, {
+    readonly id: number;
+    readonly score: number;
+    readonly success: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getContext", "GET", {
+    readonly taskId: string;
+}, never, never, never, {
+    readonly taskId: string;
+    readonly learnings: readonly {
+        readonly id: number;
+        readonly createdAt: string;
+        readonly category: string | null;
+        readonly relevanceScore: number;
+        readonly bm25Score: number;
+        readonly vectorScore: number;
+        readonly recencyScore: number;
+        readonly rrfScore: number;
+        readonly bm25Rank: number;
+        readonly vectorRank: number;
+        readonly rerankerScore?: number | undefined;
+        readonly feedbackScore?: number | undefined;
+        readonly content: string;
+        readonly sourceType: "compaction" | "run" | "manual" | "claude_md";
+        readonly sourceRef: string | null;
+        readonly keywords: readonly string[];
+        readonly usageCount: number;
+        readonly lastUsedAt: string | null;
+        readonly outcomeScore: number | null;
+        readonly embedding: readonly number[] | null;
+    }[];
+    readonly taskTitle: string;
+    readonly searchQuery: string;
+    readonly searchDuration: number;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"listFileLearnings", "GET", never, {
+    readonly path?: string | undefined;
+}, never, never, {
+    readonly learnings: readonly {
+        readonly id: number & import("effect/Brand").Brand<"FileLearningId">;
+        readonly taskId: string | null;
+        readonly createdAt: string;
+        readonly filePattern: string;
+        readonly note: string;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createFileLearning", "POST", never, never, {
+    readonly taskId?: string | undefined;
+    readonly filePattern: string;
+    readonly note: string;
+}, never, {
+    readonly id: number & import("effect/Brand").Brand<"FileLearningId">;
+    readonly taskId: string | null;
+    readonly createdAt: string;
+    readonly filePattern: string;
+    readonly note: string;
+}, never, never, never>, never, never, false>;
+export declare const RunsGroup: HttpApiGroup.HttpApiGroup<"runs", HttpApiEndpoint.HttpApiEndpoint<"listRuns", "GET", never, {
+    readonly taskId?: string | undefined;
+    readonly status?: string | undefined;
+    readonly agent?: string | undefined;
+    readonly cursor?: string | undefined;
+    readonly limit?: number | undefined;
+}, never, never, {
+    readonly nextCursor: string | null;
+    readonly hasMore: boolean;
+    readonly total: number;
+    readonly runs: readonly {
+        readonly id: string & import("effect/Brand").Brand<"RunId">;
+        readonly taskId: string | null;
+        readonly status: "running" | "completed" | "failed" | "timeout" | "cancelled";
+        readonly pid: number | null;
+        readonly agent: string;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly startedAt: string;
+        readonly endedAt: string | null;
+        readonly exitCode: number | null;
+        readonly transcriptPath: string | null;
+        readonly stderrPath: string | null;
+        readonly stdoutPath: string | null;
+        readonly contextInjected: string | null;
+        readonly summary: string | null;
+        readonly errorMessage: string | null;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getRun", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly run: {
+        readonly id: string & import("effect/Brand").Brand<"RunId">;
+        readonly taskId: string | null;
+        readonly status: "running" | "completed" | "failed" | "timeout" | "cancelled";
+        readonly pid: number | null;
+        readonly agent: string;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly startedAt: string;
+        readonly endedAt: string | null;
+        readonly exitCode: number | null;
+        readonly transcriptPath: string | null;
+        readonly stderrPath: string | null;
+        readonly stdoutPath: string | null;
+        readonly contextInjected: string | null;
+        readonly summary: string | null;
+        readonly errorMessage: string | null;
+    };
+    readonly messages: readonly {
+        readonly timestamp?: string | undefined;
+        readonly content: unknown;
+        readonly role: "user" | "assistant" | "system";
+        readonly type?: "tool_use" | "tool_result" | "text" | "thinking" | undefined;
+        readonly tool_name?: string | undefined;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createRun", "POST", never, never, {
+    readonly taskId?: string | undefined;
+    readonly pid?: number | undefined;
+    readonly agent: string;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly transcriptPath?: string | undefined;
+    readonly contextInjected?: string | undefined;
+}, never, {
+    readonly id: string & import("effect/Brand").Brand<"RunId">;
+    readonly taskId: string | null;
+    readonly status: "running" | "completed" | "failed" | "timeout" | "cancelled";
+    readonly pid: number | null;
+    readonly agent: string;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly startedAt: string;
+    readonly endedAt: string | null;
+    readonly exitCode: number | null;
+    readonly transcriptPath: string | null;
+    readonly stderrPath: string | null;
+    readonly stdoutPath: string | null;
+    readonly contextInjected: string | null;
+    readonly summary: string | null;
+    readonly errorMessage: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"updateRun", "PATCH", {
+    readonly id: string;
+}, never, {
+    readonly status?: "running" | "completed" | "failed" | "timeout" | "cancelled" | undefined;
+    readonly endedAt?: string | undefined;
+    readonly exitCode?: number | undefined;
+    readonly transcriptPath?: string | undefined;
+    readonly summary?: string | undefined;
+    readonly errorMessage?: string | undefined;
+}, never, {
+    readonly id: string & import("effect/Brand").Brand<"RunId">;
+    readonly taskId: string | null;
+    readonly status: "running" | "completed" | "failed" | "timeout" | "cancelled";
+    readonly pid: number | null;
+    readonly agent: string;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly startedAt: string;
+    readonly endedAt: string | null;
+    readonly exitCode: number | null;
+    readonly transcriptPath: string | null;
+    readonly stderrPath: string | null;
+    readonly stdoutPath: string | null;
+    readonly contextInjected: string | null;
+    readonly summary: string | null;
+    readonly errorMessage: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getRunStdout", "GET", {
+    readonly id: string;
+}, {
+    readonly tail?: number | undefined;
+}, never, never, {
+    readonly content: string;
+    readonly truncated: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getRunStderr", "GET", {
+    readonly id: string;
+}, {
+    readonly tail?: number | undefined;
+}, never, never, {
+    readonly content: string;
+    readonly truncated: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getRunContext", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly content: string;
+    readonly truncated: boolean;
+}, never, never, never>, never, never, false>;
+export declare const SyncGroup: HttpApiGroup.HttpApiGroup<"sync", HttpApiEndpoint.HttpApiEndpoint<"syncExport", "POST", never, never, {
+    readonly path?: string | undefined;
+}, never, {
+    readonly path: string;
+    readonly opCount: number;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"syncImport", "POST", never, never, {
+    readonly path?: string | undefined;
+}, never, {
+    readonly imported: number;
+    readonly skipped: number;
+    readonly conflicts: number;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"syncStatus", "GET", never, never, never, never, {
+    readonly dbTaskCount: number;
+    readonly jsonlOpCount: number;
+    readonly lastExport: string | null;
+    readonly lastImport: string | null;
+    readonly isDirty: boolean;
+    readonly autoSyncEnabled: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"syncCompact", "POST", never, never, {
+    readonly path?: string | undefined;
+}, never, {
+    readonly before: number;
+    readonly after: number;
+}, never, never, never>, never, never, false>;
+export declare const DocsGroup: HttpApiGroup.HttpApiGroup<"docs", HttpApiEndpoint.HttpApiEndpoint<"listDocs", "GET", never, {
+    readonly status?: string | undefined;
+    readonly kind?: string | undefined;
+}, never, never, {
+    readonly docs: readonly {
+        readonly id: number;
+        readonly status: string;
+        readonly version: number;
+        readonly title: string;
+        readonly createdAt: string;
+        readonly updatedAt: string | null;
+        readonly name: string;
+        readonly kind: string;
+        readonly filePath: string | null;
+        readonly hash: string;
+        readonly lockedAt: string | null;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getDoc", "GET", {
+    readonly name: string;
+}, never, never, never, {
+    readonly id: number;
+    readonly status: string;
+    readonly version: number;
+    readonly title: string;
+    readonly createdAt: string;
+    readonly updatedAt: string | null;
+    readonly name: string;
+    readonly kind: string;
+    readonly filePath: string | null;
+    readonly hash: string;
+    readonly lockedAt: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createDoc", "POST", never, never, {
+    readonly title: string;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly name: string;
+    readonly kind: "overview" | "prd" | "design";
+    readonly yamlContent: string;
+}, never, {
+    readonly id: number;
+    readonly status: string;
+    readonly version: number;
+    readonly title: string;
+    readonly createdAt: string;
+    readonly updatedAt: string | null;
+    readonly name: string;
+    readonly kind: string;
+    readonly filePath: string | null;
+    readonly hash: string;
+    readonly lockedAt: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"updateDoc", "PATCH", {
+    readonly name: string;
+}, never, {
+    readonly yamlContent: string;
+}, never, {
+    readonly id: number;
+    readonly status: string;
+    readonly version: number;
+    readonly title: string;
+    readonly createdAt: string;
+    readonly updatedAt: string | null;
+    readonly name: string;
+    readonly kind: string;
+    readonly filePath: string | null;
+    readonly hash: string;
+    readonly lockedAt: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"lockDoc", "POST", {
+    readonly name: string;
+}, never, never, never, {
+    readonly id: number;
+    readonly status: string;
+    readonly version: number;
+    readonly title: string;
+    readonly createdAt: string;
+    readonly updatedAt: string | null;
+    readonly name: string;
+    readonly kind: string;
+    readonly filePath: string | null;
+    readonly hash: string;
+    readonly lockedAt: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"linkDoc", "POST", {
+    readonly name: string;
+}, never, {
+    readonly toName: string;
+    readonly linkType?: string | undefined;
+}, never, {
+    readonly success: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"renderDoc", "POST", {
+    readonly name: string;
+}, never, never, never, {
+    readonly rendered: readonly string[];
+}, never, never, never>, never, never, false>;
+export declare const ClaimsGroup: HttpApiGroup.HttpApiGroup<"claims", HttpApiEndpoint.HttpApiEndpoint<"createClaim", "POST", never, never, {
+    readonly taskId: string;
+    readonly workerId: string;
+    readonly leaseDurationMinutes?: number | undefined;
+}, never, {
+    readonly id: number;
+    readonly taskId: string;
+    readonly status: string;
+    readonly workerId: string;
+    readonly claimedAt: string;
+    readonly leaseExpiresAt: string;
+    readonly renewedCount: number;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"releaseClaim", "DELETE", {
+    readonly taskId: string;
+    readonly workerId: string;
+}, never, never, never, {
+    readonly success: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"renewClaim", "POST", {
+    readonly taskId: string;
+    readonly workerId: string;
+}, never, never, never, {
+    readonly id: number;
+    readonly taskId: string;
+    readonly status: string;
+    readonly workerId: string;
+    readonly claimedAt: string;
+    readonly leaseExpiresAt: string;
+    readonly renewedCount: number;
+}, never, never, never>, never, never, false>;
+export declare const AttemptsGroup: HttpApiGroup.HttpApiGroup<"attempts", HttpApiEndpoint.HttpApiEndpoint<"listAttempts", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly attempts: readonly {
+        readonly id: number & import("effect/Brand").Brand<"AttemptId">;
+        readonly taskId: string & import("effect/Brand").Brand<"TaskId">;
+        readonly createdAt: string;
+        readonly approach: string;
+        readonly outcome: "failed" | "succeeded";
+        readonly reason: string | null;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createAttempt", "POST", {
+    readonly id: string;
+}, never, {
+    readonly approach: string;
+    readonly outcome: "failed" | "succeeded";
+    readonly reason?: string | null | undefined;
+}, never, {
+    readonly id: number & import("effect/Brand").Brand<"AttemptId">;
+    readonly taskId: string & import("effect/Brand").Brand<"TaskId">;
+    readonly createdAt: string;
+    readonly approach: string;
+    readonly outcome: "failed" | "succeeded";
+    readonly reason: string | null;
+}, never, never, never>, never, never, false>;
+export declare const InvariantsGroup: HttpApiGroup.HttpApiGroup<"invariants", HttpApiEndpoint.HttpApiEndpoint<"listInvariants", "GET", never, {
+    readonly status?: "changing" | "locked" | undefined;
+    readonly enforcement?: "integration_test" | "linter" | "llm_as_judge" | undefined;
+    readonly subsystem?: string | undefined;
+}, never, never, {
+    readonly invariants: readonly {
+        readonly id: string;
+        readonly status: string;
+        readonly createdAt: string;
+        readonly rule: string;
+        readonly enforcement: string;
+        readonly docId: number;
+        readonly subsystem: string | null;
+        readonly testRef: string | null;
+        readonly lintRule: string | null;
+        readonly promptRef: string | null;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getInvariant", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly id: string;
+    readonly status: string;
+    readonly createdAt: string;
+    readonly rule: string;
+    readonly enforcement: string;
+    readonly docId: number;
+    readonly subsystem: string | null;
+    readonly testRef: string | null;
+    readonly lintRule: string | null;
+    readonly promptRef: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"checkInvariant", "POST", {
+    readonly id: string;
+}, never, {
+    readonly passed: boolean;
+    readonly details?: string | undefined;
+    readonly durationMs?: number | undefined;
+}, never, {
+    readonly id: number;
+    readonly invariantId: string;
+    readonly passed: boolean;
+    readonly details: string | null;
+    readonly checkedAt: string;
+    readonly durationMs: number | null;
+}, never, never, never>, never, never, false>;
+declare const TxApi_base: HttpApi.HttpApi<"tx", HttpApiGroup.HttpApiGroup<"health", HttpApiEndpoint.HttpApiEndpoint<"health", "GET", never, never, never, never, {
+    readonly status: "healthy" | "degraded" | "unhealthy";
+    readonly timestamp: string;
+    readonly version: string;
+    readonly database: {
+        readonly connected: boolean;
+        readonly path: string | null;
+    };
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"stats", "GET", never, never, never, never, {
+    readonly tasks: number;
+    readonly done: number;
+    readonly ready: number;
+    readonly learnings: number;
+    readonly runsRunning?: number | undefined;
+    readonly runsTotal?: number | undefined;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"ralph", "GET", never, never, never, never, {
+    readonly running: boolean;
+    readonly pid: number | null;
+    readonly currentIteration: number;
+    readonly currentTask: string | null;
+    readonly recentActivity: readonly {
+        readonly status: "started" | "completed" | "failed";
+        readonly timestamp: string;
+        readonly iteration: number;
+        readonly task: string;
+        readonly taskTitle: string;
+        readonly agent: string;
+    }[];
+}, never, never, never>, never, never, false> | HttpApiGroup.HttpApiGroup<"tasks", HttpApiEndpoint.HttpApiEndpoint<"listTasks", "GET", never, {
+    readonly status?: string | undefined;
+    readonly cursor?: string | undefined;
+    readonly limit?: number | undefined;
+    readonly search?: string | undefined;
+}, never, never, {
+    readonly tasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+    readonly nextCursor: string | null;
+    readonly hasMore: boolean;
+    readonly total: number;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"readyTasks", "GET", never, {
+    readonly limit?: number | undefined;
+}, never, never, {
+    readonly tasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getTask", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly task: {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    };
+    readonly blockedByTasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+    readonly blocksTasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+    readonly childTasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createTask", "POST", never, never, {
+    readonly title: string;
+    readonly description?: string | undefined;
+    readonly parentId?: string | undefined;
+    readonly score?: number | undefined;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+}, never, {
+    readonly id: string & import("effect/Brand").Brand<"TaskId">;
+    readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+    readonly title: string;
+    readonly description: string;
+    readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+    readonly score: number;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+    readonly completedAt: string | null;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly isReady: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"updateTask", "PATCH", {
+    readonly id: string;
+}, never, {
+    readonly status?: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review" | undefined;
+    readonly title?: string | undefined;
+    readonly description?: string | undefined;
+    readonly parentId?: string | null | undefined;
+    readonly score?: number | undefined;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+}, never, {
+    readonly id: string & import("effect/Brand").Brand<"TaskId">;
+    readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+    readonly title: string;
+    readonly description: string;
+    readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+    readonly score: number;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+    readonly completedAt: string | null;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly isReady: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"completeTask", "POST", {
+    readonly id: string;
+}, never, never, never, {
+    readonly task: {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    };
+    readonly nowReady: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"deleteTask", "DELETE", {
+    readonly id: string;
+}, {
+    readonly cascade?: string | undefined;
+}, never, never, {
+    readonly id: string;
+    readonly success: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"blockTask", "POST", {
+    readonly id: string;
+}, never, {
+    readonly blockerId: string;
+}, never, {
+    readonly id: string & import("effect/Brand").Brand<"TaskId">;
+    readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+    readonly title: string;
+    readonly description: string;
+    readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+    readonly score: number;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+    readonly completedAt: string | null;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly isReady: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"unblockTask", "DELETE", {
+    readonly id: string;
+    readonly blockerId: string;
+}, never, never, never, {
+    readonly id: string & import("effect/Brand").Brand<"TaskId">;
+    readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+    readonly title: string;
+    readonly description: string;
+    readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+    readonly score: number;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+    readonly completedAt: string | null;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+    readonly isReady: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getTaskTree", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly tasks: readonly {
+        readonly id: string & import("effect/Brand").Brand<"TaskId">;
+        readonly status: "done" | "ready" | "backlog" | "planning" | "active" | "blocked" | "review" | "human_needs_to_review";
+        readonly title: string;
+        readonly description: string;
+        readonly parentId: (string & import("effect/Brand").Brand<"TaskId">) | null;
+        readonly score: number;
+        readonly createdAt: string;
+        readonly updatedAt: string;
+        readonly completedAt: string | null;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly blockedBy: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly blocks: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly children: readonly (string & import("effect/Brand").Brand<"TaskId">)[];
+        readonly isReady: boolean;
+    }[];
+}, never, never, never>, never, never, false> | HttpApiGroup.HttpApiGroup<"learnings", HttpApiEndpoint.HttpApiEndpoint<"searchLearnings", "GET", never, {
+    readonly limit?: number | undefined;
+    readonly query?: string | undefined;
+    readonly minScore?: number | undefined;
+    readonly category?: string | undefined;
+}, never, never, {
+    readonly learnings: readonly {
+        readonly id: number;
+        readonly createdAt: string;
+        readonly category: string | null;
+        readonly relevanceScore: number;
+        readonly bm25Score: number;
+        readonly vectorScore: number;
+        readonly recencyScore: number;
+        readonly rrfScore: number;
+        readonly bm25Rank: number;
+        readonly vectorRank: number;
+        readonly rerankerScore?: number | undefined;
+        readonly feedbackScore?: number | undefined;
+        readonly content: string;
+        readonly sourceType: "compaction" | "run" | "manual" | "claude_md";
+        readonly sourceRef: string | null;
+        readonly keywords: readonly string[];
+        readonly usageCount: number;
+        readonly lastUsedAt: string | null;
+        readonly outcomeScore: number | null;
+        readonly embedding: readonly number[] | null;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getLearning", "GET", {
+    readonly id: number;
+}, never, never, never, {
+    readonly id: number;
+    readonly createdAt: string;
+    readonly category: string | null;
+    readonly content: string;
+    readonly sourceType: "compaction" | "run" | "manual" | "claude_md";
+    readonly sourceRef: string | null;
+    readonly keywords: readonly string[];
+    readonly usageCount: number;
+    readonly lastUsedAt: string | null;
+    readonly outcomeScore: number | null;
+    readonly embedding: readonly number[] | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createLearning", "POST", never, never, {
+    readonly category?: string | undefined;
+    readonly content: string;
+    readonly sourceType?: "compaction" | "run" | "manual" | "claude_md" | undefined;
+    readonly sourceRef?: string | undefined;
+    readonly keywords?: readonly string[] | undefined;
+}, never, {
+    readonly id: number;
+    readonly createdAt: string;
+    readonly category: string | null;
+    readonly content: string;
+    readonly sourceType: "compaction" | "run" | "manual" | "claude_md";
+    readonly sourceRef: string | null;
+    readonly keywords: readonly string[];
+    readonly usageCount: number;
+    readonly lastUsedAt: string | null;
+    readonly outcomeScore: number | null;
+    readonly embedding: readonly number[] | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"updateHelpfulness", "POST", {
+    readonly id: number;
+}, never, {
+    readonly score: number;
+}, never, {
+    readonly id: number;
+    readonly score: number;
+    readonly success: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getContext", "GET", {
+    readonly taskId: string;
+}, never, never, never, {
+    readonly taskId: string;
+    readonly learnings: readonly {
+        readonly id: number;
+        readonly createdAt: string;
+        readonly category: string | null;
+        readonly relevanceScore: number;
+        readonly bm25Score: number;
+        readonly vectorScore: number;
+        readonly recencyScore: number;
+        readonly rrfScore: number;
+        readonly bm25Rank: number;
+        readonly vectorRank: number;
+        readonly rerankerScore?: number | undefined;
+        readonly feedbackScore?: number | undefined;
+        readonly content: string;
+        readonly sourceType: "compaction" | "run" | "manual" | "claude_md";
+        readonly sourceRef: string | null;
+        readonly keywords: readonly string[];
+        readonly usageCount: number;
+        readonly lastUsedAt: string | null;
+        readonly outcomeScore: number | null;
+        readonly embedding: readonly number[] | null;
+    }[];
+    readonly taskTitle: string;
+    readonly searchQuery: string;
+    readonly searchDuration: number;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"listFileLearnings", "GET", never, {
+    readonly path?: string | undefined;
+}, never, never, {
+    readonly learnings: readonly {
+        readonly id: number & import("effect/Brand").Brand<"FileLearningId">;
+        readonly taskId: string | null;
+        readonly createdAt: string;
+        readonly filePattern: string;
+        readonly note: string;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createFileLearning", "POST", never, never, {
+    readonly taskId?: string | undefined;
+    readonly filePattern: string;
+    readonly note: string;
+}, never, {
+    readonly id: number & import("effect/Brand").Brand<"FileLearningId">;
+    readonly taskId: string | null;
+    readonly createdAt: string;
+    readonly filePattern: string;
+    readonly note: string;
+}, never, never, never>, never, never, false> | HttpApiGroup.HttpApiGroup<"runs", HttpApiEndpoint.HttpApiEndpoint<"listRuns", "GET", never, {
+    readonly taskId?: string | undefined;
+    readonly status?: string | undefined;
+    readonly agent?: string | undefined;
+    readonly cursor?: string | undefined;
+    readonly limit?: number | undefined;
+}, never, never, {
+    readonly nextCursor: string | null;
+    readonly hasMore: boolean;
+    readonly total: number;
+    readonly runs: readonly {
+        readonly id: string & import("effect/Brand").Brand<"RunId">;
+        readonly taskId: string | null;
+        readonly status: "running" | "completed" | "failed" | "timeout" | "cancelled";
+        readonly pid: number | null;
+        readonly agent: string;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly startedAt: string;
+        readonly endedAt: string | null;
+        readonly exitCode: number | null;
+        readonly transcriptPath: string | null;
+        readonly stderrPath: string | null;
+        readonly stdoutPath: string | null;
+        readonly contextInjected: string | null;
+        readonly summary: string | null;
+        readonly errorMessage: string | null;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getRun", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly run: {
+        readonly id: string & import("effect/Brand").Brand<"RunId">;
+        readonly taskId: string | null;
+        readonly status: "running" | "completed" | "failed" | "timeout" | "cancelled";
+        readonly pid: number | null;
+        readonly agent: string;
+        readonly metadata: {
+            readonly [x: string]: unknown;
+        };
+        readonly startedAt: string;
+        readonly endedAt: string | null;
+        readonly exitCode: number | null;
+        readonly transcriptPath: string | null;
+        readonly stderrPath: string | null;
+        readonly stdoutPath: string | null;
+        readonly contextInjected: string | null;
+        readonly summary: string | null;
+        readonly errorMessage: string | null;
+    };
+    readonly messages: readonly {
+        readonly timestamp?: string | undefined;
+        readonly content: unknown;
+        readonly role: "user" | "assistant" | "system";
+        readonly type?: "tool_use" | "tool_result" | "text" | "thinking" | undefined;
+        readonly tool_name?: string | undefined;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createRun", "POST", never, never, {
+    readonly taskId?: string | undefined;
+    readonly pid?: number | undefined;
+    readonly agent: string;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly transcriptPath?: string | undefined;
+    readonly contextInjected?: string | undefined;
+}, never, {
+    readonly id: string & import("effect/Brand").Brand<"RunId">;
+    readonly taskId: string | null;
+    readonly status: "running" | "completed" | "failed" | "timeout" | "cancelled";
+    readonly pid: number | null;
+    readonly agent: string;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly startedAt: string;
+    readonly endedAt: string | null;
+    readonly exitCode: number | null;
+    readonly transcriptPath: string | null;
+    readonly stderrPath: string | null;
+    readonly stdoutPath: string | null;
+    readonly contextInjected: string | null;
+    readonly summary: string | null;
+    readonly errorMessage: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"updateRun", "PATCH", {
+    readonly id: string;
+}, never, {
+    readonly status?: "running" | "completed" | "failed" | "timeout" | "cancelled" | undefined;
+    readonly endedAt?: string | undefined;
+    readonly exitCode?: number | undefined;
+    readonly transcriptPath?: string | undefined;
+    readonly summary?: string | undefined;
+    readonly errorMessage?: string | undefined;
+}, never, {
+    readonly id: string & import("effect/Brand").Brand<"RunId">;
+    readonly taskId: string | null;
+    readonly status: "running" | "completed" | "failed" | "timeout" | "cancelled";
+    readonly pid: number | null;
+    readonly agent: string;
+    readonly metadata: {
+        readonly [x: string]: unknown;
+    };
+    readonly startedAt: string;
+    readonly endedAt: string | null;
+    readonly exitCode: number | null;
+    readonly transcriptPath: string | null;
+    readonly stderrPath: string | null;
+    readonly stdoutPath: string | null;
+    readonly contextInjected: string | null;
+    readonly summary: string | null;
+    readonly errorMessage: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getRunStdout", "GET", {
+    readonly id: string;
+}, {
+    readonly tail?: number | undefined;
+}, never, never, {
+    readonly content: string;
+    readonly truncated: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getRunStderr", "GET", {
+    readonly id: string;
+}, {
+    readonly tail?: number | undefined;
+}, never, never, {
+    readonly content: string;
+    readonly truncated: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getRunContext", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly content: string;
+    readonly truncated: boolean;
+}, never, never, never>, never, never, false> | HttpApiGroup.HttpApiGroup<"sync", HttpApiEndpoint.HttpApiEndpoint<"syncExport", "POST", never, never, {
+    readonly path?: string | undefined;
+}, never, {
+    readonly path: string;
+    readonly opCount: number;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"syncImport", "POST", never, never, {
+    readonly path?: string | undefined;
+}, never, {
+    readonly imported: number;
+    readonly skipped: number;
+    readonly conflicts: number;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"syncStatus", "GET", never, never, never, never, {
+    readonly dbTaskCount: number;
+    readonly jsonlOpCount: number;
+    readonly lastExport: string | null;
+    readonly lastImport: string | null;
+    readonly isDirty: boolean;
+    readonly autoSyncEnabled: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"syncCompact", "POST", never, never, {
+    readonly path?: string | undefined;
+}, never, {
+    readonly before: number;
+    readonly after: number;
+}, never, never, never>, never, never, false> | HttpApiGroup.HttpApiGroup<"docs", HttpApiEndpoint.HttpApiEndpoint<"listDocs", "GET", never, {
+    readonly status?: string | undefined;
+    readonly kind?: string | undefined;
+}, never, never, {
+    readonly docs: readonly {
+        readonly id: number;
+        readonly status: string;
+        readonly version: number;
+        readonly title: string;
+        readonly createdAt: string;
+        readonly updatedAt: string | null;
+        readonly name: string;
+        readonly kind: string;
+        readonly filePath: string | null;
+        readonly hash: string;
+        readonly lockedAt: string | null;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getDoc", "GET", {
+    readonly name: string;
+}, never, never, never, {
+    readonly id: number;
+    readonly status: string;
+    readonly version: number;
+    readonly title: string;
+    readonly createdAt: string;
+    readonly updatedAt: string | null;
+    readonly name: string;
+    readonly kind: string;
+    readonly filePath: string | null;
+    readonly hash: string;
+    readonly lockedAt: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createDoc", "POST", never, never, {
+    readonly title: string;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly name: string;
+    readonly kind: "overview" | "prd" | "design";
+    readonly yamlContent: string;
+}, never, {
+    readonly id: number;
+    readonly status: string;
+    readonly version: number;
+    readonly title: string;
+    readonly createdAt: string;
+    readonly updatedAt: string | null;
+    readonly name: string;
+    readonly kind: string;
+    readonly filePath: string | null;
+    readonly hash: string;
+    readonly lockedAt: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"updateDoc", "PATCH", {
+    readonly name: string;
+}, never, {
+    readonly yamlContent: string;
+}, never, {
+    readonly id: number;
+    readonly status: string;
+    readonly version: number;
+    readonly title: string;
+    readonly createdAt: string;
+    readonly updatedAt: string | null;
+    readonly name: string;
+    readonly kind: string;
+    readonly filePath: string | null;
+    readonly hash: string;
+    readonly lockedAt: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"lockDoc", "POST", {
+    readonly name: string;
+}, never, never, never, {
+    readonly id: number;
+    readonly status: string;
+    readonly version: number;
+    readonly title: string;
+    readonly createdAt: string;
+    readonly updatedAt: string | null;
+    readonly name: string;
+    readonly kind: string;
+    readonly filePath: string | null;
+    readonly hash: string;
+    readonly lockedAt: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"linkDoc", "POST", {
+    readonly name: string;
+}, never, {
+    readonly toName: string;
+    readonly linkType?: string | undefined;
+}, never, {
+    readonly success: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"renderDoc", "POST", {
+    readonly name: string;
+}, never, never, never, {
+    readonly rendered: readonly string[];
+}, never, never, never>, never, never, false> | HttpApiGroup.HttpApiGroup<"claims", HttpApiEndpoint.HttpApiEndpoint<"createClaim", "POST", never, never, {
+    readonly taskId: string;
+    readonly workerId: string;
+    readonly leaseDurationMinutes?: number | undefined;
+}, never, {
+    readonly id: number;
+    readonly taskId: string;
+    readonly status: string;
+    readonly workerId: string;
+    readonly claimedAt: string;
+    readonly leaseExpiresAt: string;
+    readonly renewedCount: number;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"releaseClaim", "DELETE", {
+    readonly taskId: string;
+    readonly workerId: string;
+}, never, never, never, {
+    readonly success: boolean;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"renewClaim", "POST", {
+    readonly taskId: string;
+    readonly workerId: string;
+}, never, never, never, {
+    readonly id: number;
+    readonly taskId: string;
+    readonly status: string;
+    readonly workerId: string;
+    readonly claimedAt: string;
+    readonly leaseExpiresAt: string;
+    readonly renewedCount: number;
+}, never, never, never>, never, never, false> | HttpApiGroup.HttpApiGroup<"attempts", HttpApiEndpoint.HttpApiEndpoint<"listAttempts", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly attempts: readonly {
+        readonly id: number & import("effect/Brand").Brand<"AttemptId">;
+        readonly taskId: string & import("effect/Brand").Brand<"TaskId">;
+        readonly createdAt: string;
+        readonly approach: string;
+        readonly outcome: "failed" | "succeeded";
+        readonly reason: string | null;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"createAttempt", "POST", {
+    readonly id: string;
+}, never, {
+    readonly approach: string;
+    readonly outcome: "failed" | "succeeded";
+    readonly reason?: string | null | undefined;
+}, never, {
+    readonly id: number & import("effect/Brand").Brand<"AttemptId">;
+    readonly taskId: string & import("effect/Brand").Brand<"TaskId">;
+    readonly createdAt: string;
+    readonly approach: string;
+    readonly outcome: "failed" | "succeeded";
+    readonly reason: string | null;
+}, never, never, never>, never, never, false> | HttpApiGroup.HttpApiGroup<"invariants", HttpApiEndpoint.HttpApiEndpoint<"listInvariants", "GET", never, {
+    readonly status?: "changing" | "locked" | undefined;
+    readonly enforcement?: "integration_test" | "linter" | "llm_as_judge" | undefined;
+    readonly subsystem?: string | undefined;
+}, never, never, {
+    readonly invariants: readonly {
+        readonly id: string;
+        readonly status: string;
+        readonly createdAt: string;
+        readonly rule: string;
+        readonly enforcement: string;
+        readonly docId: number;
+        readonly subsystem: string | null;
+        readonly testRef: string | null;
+        readonly lintRule: string | null;
+        readonly promptRef: string | null;
+    }[];
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getInvariant", "GET", {
+    readonly id: string;
+}, never, never, never, {
+    readonly id: string;
+    readonly status: string;
+    readonly createdAt: string;
+    readonly rule: string;
+    readonly enforcement: string;
+    readonly docId: number;
+    readonly subsystem: string | null;
+    readonly testRef: string | null;
+    readonly lintRule: string | null;
+    readonly promptRef: string | null;
+}, never, never, never> | HttpApiEndpoint.HttpApiEndpoint<"checkInvariant", "POST", {
+    readonly id: string;
+}, never, {
+    readonly passed: boolean;
+    readonly details?: string | undefined;
+    readonly durationMs?: number | undefined;
+}, never, {
+    readonly id: number;
+    readonly invariantId: string;
+    readonly passed: boolean;
+    readonly details: string | null;
+    readonly checkedAt: string;
+    readonly durationMs: number | null;
+}, never, never, never>, never, never, false>, NotFound | BadRequest | InternalError | Unauthorized | Forbidden | ServiceUnavailable | import("@effect/platform/HttpApiError").HttpApiDecodeError, never>;
+export declare class TxApi extends TxApi_base {
+}
+export {};
+//# sourceMappingURL=api.d.ts.map