@jamesaphoenix/tx-types 0.4.2 → 0.4.3

package/dist/response.js

@@ -0,0 +1,354 @@
+/**
+ * Response types for tx
+ *
+ * Shared response schemas optimized for agent consumption.
+ * All types use consistent camelCase naming and provide full context in every response.
+ * Serialized types convert Date objects to ISO strings for JSON output.
+ * Core type definitions using Effect Schema (Doctrine Rule 10).
+ *
+ * Design principles:
+ * - Consistent field naming across CLI, MCP, API, and SDK
+ * - Full context in every response (no bare Task, always TaskWithDeps)
+ * - Serialized types ready for JSON.stringify without custom replacers
+ * - Standard envelopes for lists, pagination, and actions
+ */
+import { Schema } from "effect";
+import { TaskIdSchema, TaskStatusSchema } from "./task.js";
+import { LearningSourceTypeSchema } from "./learning.js";
+import { FileLearningIdSchema } from "./file-learning.js";
+import { RunIdSchema, RunStatusSchema } from "./run.js";
+import { AttemptIdSchema, AttemptOutcomeSchema } from "./attempt.js";
+// =============================================================================
+// SERIALIZED ENTITY SCHEMAS
+// =============================================================================
+// These schemas mirror their domain counterparts but with Date fields as ISO strings.
+// Use these for JSON responses across CLI, MCP, API, and SDK.
+/**
+ * TaskWithDeps serialized for JSON output.
+ * All Date fields converted to ISO strings.
+ * This is the REQUIRED return type for all external APIs (per Doctrine Rule 1).
+ */
+export const TaskWithDepsSerializedSchema = Schema.Struct({
+    id: TaskIdSchema,
+    title: Schema.String,
+    description: Schema.String,
+    status: TaskStatusSchema,
+    parentId: Schema.NullOr(TaskIdSchema),
+    score: Schema.Number.pipe(Schema.int()),
+    createdAt: Schema.String, // ISO string
+    updatedAt: Schema.String, // ISO string
+    completedAt: Schema.NullOr(Schema.String), // ISO string
+    metadata: Schema.Record({ key: Schema.String, value: Schema.Unknown }),
+    /** Task IDs that block this task */
+    blockedBy: Schema.Array(TaskIdSchema),
+    /** Task IDs this task blocks */
+    blocks: Schema.Array(TaskIdSchema),
+    /** Direct child task IDs */
+    children: Schema.Array(TaskIdSchema),
+    /** Whether this task can be worked on (status is workable AND all blockers are done) */
+    isReady: Schema.Boolean,
+});
+/**
+ * Learning serialized for JSON output.
+ * All Date fields converted to ISO strings.
+ * Embedding as number array instead of Float32Array.
+ */
+export const LearningSerializedSchema = Schema.Struct({
+    id: Schema.Number.pipe(Schema.int()),
+    content: Schema.String,
+    sourceType: LearningSourceTypeSchema,
+    sourceRef: Schema.NullOr(Schema.String),
+    createdAt: Schema.String, // ISO string
+    keywords: Schema.Array(Schema.String),
+    category: Schema.NullOr(Schema.String),
+    usageCount: Schema.Number.pipe(Schema.int()),
+    lastUsedAt: Schema.NullOr(Schema.String), // ISO string
+    outcomeScore: Schema.NullOr(Schema.Number),
+    /** Embedding vector as number array (null if not computed) */
+    embedding: Schema.NullOr(Schema.Array(Schema.Number)),
+});
+/**
+ * LearningWithScore serialized for JSON output.
+ * Extends LearningSerialized with relevance scoring fields.
+ */
+export const LearningWithScoreSerializedSchema = Schema.Struct({
+    ...LearningSerializedSchema.fields,
+    /** Combined relevance score (0-1) */
+    relevanceScore: Schema.Number,
+    /** BM25 text search score */
+    bm25Score: Schema.Number,
+    /** Vector similarity score (0-1) */
+    vectorScore: Schema.Number,
+    /** Recency score (0-1, higher for newer) */
+    recencyScore: Schema.Number,
+    /** RRF (Reciprocal Rank Fusion) score from combining BM25 and vector rankings */
+    rrfScore: Schema.Number,
+    /** Rank in BM25 results (1-indexed, 0 if not in BM25 results) */
+    bm25Rank: Schema.Number.pipe(Schema.int()),
+    /** Rank in vector similarity results (1-indexed, 0 if not in vector results) */
+    vectorRank: Schema.Number.pipe(Schema.int()),
+    /** LLM reranker score (0-1, optional - only present when reranking is applied) */
+    rerankerScore: Schema.optional(Schema.Number),
+    /** Feedback score from historical usage (0-1, 0.5 = neutral, optional) */
+    feedbackScore: Schema.optional(Schema.Number),
+});
+/**
+ * FileLearning serialized for JSON output.
+ */
+export const FileLearningsSerializedSchema = Schema.Struct({
+    id: FileLearningIdSchema,
+    filePattern: Schema.String,
+    note: Schema.String,
+    taskId: Schema.NullOr(Schema.String),
+    createdAt: Schema.String, // ISO string
+});
+/**
+ * Run serialized for JSON output.
+ */
+export const RunSerializedSchema = Schema.Struct({
+    id: RunIdSchema,
+    taskId: Schema.NullOr(Schema.String),
+    agent: Schema.String,
+    startedAt: Schema.String, // ISO string
+    endedAt: Schema.NullOr(Schema.String), // ISO string
+    status: RunStatusSchema,
+    exitCode: Schema.NullOr(Schema.Number.pipe(Schema.int())),
+    pid: Schema.NullOr(Schema.Number.pipe(Schema.int())),
+    transcriptPath: Schema.NullOr(Schema.String),
+    stderrPath: Schema.NullOr(Schema.String),
+    stdoutPath: Schema.NullOr(Schema.String),
+    contextInjected: Schema.NullOr(Schema.String),
+    summary: Schema.NullOr(Schema.String),
+    errorMessage: Schema.NullOr(Schema.String),
+    metadata: Schema.Record({ key: Schema.String, value: Schema.Unknown }),
+});
+/**
+ * Attempt serialized for JSON output.
+ */
+export const AttemptSerializedSchema = Schema.Struct({
+    id: AttemptIdSchema,
+    taskId: TaskIdSchema,
+    approach: Schema.String,
+    outcome: AttemptOutcomeSchema,
+    reason: Schema.NullOr(Schema.String),
+    createdAt: Schema.String, // ISO string
+});
+// =============================================================================
+// SERIALIZATION FUNCTIONS
+// =============================================================================
+// Pure functions to convert domain types to serialized types.
+// Use these across CLI, MCP, API, and SDK for consistent JSON output.
+/**
+ * Serialize a TaskWithDeps for JSON output.
+ * Converts Date objects to ISO strings.
+ */
+export const serializeTask = (task) => ({
+    id: task.id,
+    title: task.title,
+    description: task.description,
+    status: task.status,
+    parentId: task.parentId,
+    score: task.score,
+    createdAt: task.createdAt.toISOString(),
+    updatedAt: task.updatedAt.toISOString(),
+    completedAt: task.completedAt?.toISOString() ?? null,
+    metadata: task.metadata,
+    blockedBy: task.blockedBy,
+    blocks: task.blocks,
+    children: task.children,
+    isReady: task.isReady,
+});
+/**
+ * Serialize a Learning for JSON output.
+ * Converts Date objects to ISO strings.
+ * Embeddings are omitted (null) to avoid serialization overhead —
+ * Float32Array → Array.from() → JSON.stringify is expensive and
+ * external consumers never need raw embedding vectors.
+ */
+export const serializeLearning = (learning) => ({
+    id: learning.id,
+    content: learning.content,
+    sourceType: learning.sourceType,
+    sourceRef: learning.sourceRef,
+    createdAt: learning.createdAt.toISOString(),
+    keywords: learning.keywords,
+    category: learning.category,
+    usageCount: learning.usageCount,
+    lastUsedAt: learning.lastUsedAt?.toISOString() ?? null,
+    outcomeScore: learning.outcomeScore,
+    embedding: null,
+});
+/**
+ * Serialize a LearningWithScore for JSON output.
+ * Extends serializeLearning with score fields.
+ */
+export const serializeLearningWithScore = (learning) => ({
+    ...serializeLearning(learning),
+    relevanceScore: learning.relevanceScore,
+    bm25Score: learning.bm25Score,
+    vectorScore: learning.vectorScore,
+    recencyScore: learning.recencyScore,
+    rrfScore: learning.rrfScore,
+    bm25Rank: learning.bm25Rank,
+    vectorRank: learning.vectorRank,
+    rerankerScore: learning.rerankerScore,
+    feedbackScore: learning.feedbackScore,
+});
+/**
+ * Serialize a FileLearning for JSON output.
+ */
+export const serializeFileLearning = (learning) => ({
+    id: learning.id,
+    filePattern: learning.filePattern,
+    note: learning.note,
+    taskId: learning.taskId,
+    createdAt: learning.createdAt.toISOString(),
+});
+/**
+ * Serialize a Run for JSON output.
+ */
+export const serializeRun = (run) => ({
+    id: run.id,
+    taskId: run.taskId,
+    agent: run.agent,
+    startedAt: run.startedAt.toISOString(),
+    endedAt: run.endedAt?.toISOString() ?? null,
+    status: run.status,
+    exitCode: run.exitCode,
+    pid: run.pid,
+    transcriptPath: run.transcriptPath,
+    stderrPath: run.stderrPath,
+    stdoutPath: run.stdoutPath,
+    contextInjected: run.contextInjected,
+    summary: run.summary,
+    errorMessage: run.errorMessage,
+    metadata: run.metadata,
+});
+/**
+ * Serialize an Attempt for JSON output.
+ */
+export const serializeAttempt = (attempt) => ({
+    id: attempt.id,
+    taskId: attempt.taskId,
+    approach: attempt.approach,
+    outcome: attempt.outcome,
+    reason: attempt.reason,
+    createdAt: attempt.createdAt.toISOString(),
+});
+/**
+ * Error response with structured error info.
+ * Use for all error responses.
+ */
+export const ErrorResponseSchema = Schema.Struct({
+    error: Schema.Struct({
+        /** Error code (e.g., "NOT_FOUND", "VALIDATION_ERROR") */
+        code: Schema.String,
+        /** Human-readable error message */
+        message: Schema.String,
+        /** Additional error details */
+        details: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+    }),
+});
+// =============================================================================
+// TASK RESPONSE SCHEMAS
+// =============================================================================
+// Standard task response shapes used across CLI, MCP, API, and SDK.
+/** Response for listing ready tasks. */
+export const TaskReadyResponseSchema = Schema.Struct({
+    tasks: Schema.Array(TaskWithDepsSerializedSchema),
+    count: Schema.Number.pipe(Schema.int()),
+});
+/** Response for listing tasks with pagination. */
+export const TaskListResponseSchema = Schema.Struct({
+    items: Schema.Array(TaskWithDepsSerializedSchema),
+    tasks: Schema.Array(TaskWithDepsSerializedSchema),
+    total: Schema.Number.pipe(Schema.int()),
+    nextCursor: Schema.NullOr(Schema.String),
+    hasMore: Schema.Boolean,
+});
+/** Response for getting a single task with full details. */
+export const TaskDetailResponseSchema = Schema.Struct({
+    task: TaskWithDepsSerializedSchema,
+    /** Tasks that block this task (full details, not just IDs) */
+    blockedByTasks: Schema.Array(TaskWithDepsSerializedSchema),
+    /** Tasks that this task blocks (full details, not just IDs) */
+    blocksTasks: Schema.Array(TaskWithDepsSerializedSchema),
+    /** Child tasks (full details, not just IDs) */
+    childTasks: Schema.Array(TaskWithDepsSerializedSchema),
+});
+/** Response for completing a task. */
+export const TaskCompletionResponseSchema = Schema.Struct({
+    /** The completed task */
+    task: TaskWithDepsSerializedSchema,
+    /** Tasks that became ready after this completion */
+    nowReady: Schema.Array(TaskWithDepsSerializedSchema),
+});
+/** Response for task tree/hierarchy queries. */
+export const TaskTreeResponseSchema = Schema.Struct({
+    tasks: Schema.Array(TaskWithDepsSerializedSchema),
+    /** Root task ID */
+    rootId: TaskIdSchema,
+});
+// =============================================================================
+// LEARNING RESPONSE SCHEMAS
+// =============================================================================
+// Standard learning response shapes.
+/** Response for searching learnings. */
+export const LearningSearchResponseSchema = Schema.Struct({
+    learnings: Schema.Array(LearningWithScoreSerializedSchema),
+    query: Schema.String,
+    count: Schema.Number.pipe(Schema.int()),
+});
+/** Response for getting contextual learnings for a task. */
+export const ContextResponseSchema = Schema.Struct({
+    taskId: Schema.String,
+    taskTitle: Schema.String,
+    learnings: Schema.Array(LearningWithScoreSerializedSchema),
+    searchQuery: Schema.String,
+    /** Search duration in milliseconds */
+    searchDuration: Schema.Number,
+});
+/** Response for file learnings. */
+export const FileLearningListResponseSchema = Schema.Struct({
+    learnings: Schema.Array(FileLearningsSerializedSchema),
+    count: Schema.Number.pipe(Schema.int()),
+    /** File path used for matching (if provided) */
+    matchedPath: Schema.optional(Schema.String),
+});
+// =============================================================================
+// RUN RESPONSE SCHEMAS
+// =============================================================================
+// Standard run response shapes.
+/** Response for listing runs. */
+export const RunListResponseSchema = Schema.Struct({
+    runs: Schema.Array(RunSerializedSchema),
+    count: Schema.Number.pipe(Schema.int()),
+});
+/** Response for getting a single run with details. */
+export const RunDetailResponseSchema = Schema.Struct({
+    run: RunSerializedSchema,
+    /** Associated task (if any) */
+    task: Schema.optional(TaskWithDepsSerializedSchema),
+    /** Attempts made during this run */
+    attempts: Schema.Array(AttemptSerializedSchema),
+});
+// =============================================================================
+// SYNC RESPONSE SCHEMAS
+// =============================================================================
+// Standard sync operation response shapes.
+/** Response for sync export operation. */
+export const SyncExportResponseSchema = Schema.Struct({
+    success: Schema.Boolean,
+    outputPath: Schema.String,
+    taskCount: Schema.Number.pipe(Schema.int()),
+    learningCount: Schema.Number.pipe(Schema.int()),
+});
+/** Response for sync import operation. */
+export const SyncImportResponseSchema = Schema.Struct({
+    success: Schema.Boolean,
+    inputPath: Schema.String,
+    tasksImported: Schema.Number.pipe(Schema.int()),
+    learningsImported: Schema.Number.pipe(Schema.int()),
+    conflicts: Schema.Number.pipe(Schema.int()),
+});
+//# sourceMappingURL=response.js.map

package/dist/response.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"response.js","sourceRoot":"","sources":["../src/response.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAA;AAE1D,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAA;AAExD,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AAEzD,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAEvD,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAGpE,gFAAgF;AAChF,4BAA4B;AAC5B,gFAAgF;AAChF,sFAAsF;AACtF,8DAA8D;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACxD,EAAE,EAAE,YAAY;IAChB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,MAAM,EAAE,gBAAgB;IACxB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IACrC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACvC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa;IACvC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa;IACvC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,aAAa;IACxD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACtE,oCAAoC;IACpC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;IACrC,gCAAgC;IAChC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;IAClC,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;IACpC,wFAAwF;IACxF,OAAO,EAAE,MAAM,CAAC,OAAO;CACxB,CAAC,CAAA;AAGF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAAC;IACpD,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,UAAU,EAAE,wBAAwB;IACpC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa;IACvC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,aAAa;IACvD,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,8DAA8D;IAC9D,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACtD,CAAC,CAAA;AAGF;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7D,GAAG,wBAAwB,CAAC,MAAM;IAClC,qCAAqC;IACrC,cAAc,EAAE,MAAM,CAAC,MAAM;IAC7B,6BAA6B;IAC7B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,oCAAoC;IACpC,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,4CAA4C;IAC5C,YAAY,EAAE,MAAM,CAAC,MAAM;IAC3B,iFAAiF;IACjF,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,iEAAiE;IACjE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC1C,gFAAgF;IAChF,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC5C,kFAAkF;IAClF,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,0EAA0E;IAC1E,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CAC9C,CAAC,CAAA;AAGF;;GAEG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,MAAM,CAAC,MAAM,CAAC;IACzD,EAAE,EAAE,oBAAoB;IACxB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa;CACxC,CAAC,CAAA;AAGF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,EAAE,EAAE,WAAW;IACf,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa;IACvC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,aAAa;IACpD,MAAM,EAAE,eAAe;IACvB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACzD,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACpD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;CACvE,CAAC,CAAA;AAGF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,EAAE,EAAE,eAAe;IACnB,MAAM,EAAE,YAAY;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,OAAO,EAAE,oBAAoB;IAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa;CACxC,CAAC,CAAA;AAGF,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAChF,8DAA8D;AAC9D,sEAAsE;AAEtE;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkB,EAA0B,EAAE,CAAC,CAAC;IAC5E,EAAE,EAAE,IAAI,CAAC,EAAE;IACX,KAAK,EAAE,IAAI,CAAC,KAAK;IACjB,WAAW,EAAE,IAAI,CAAC,WAAW;IAC7B,MAAM,EAAE,IAAI,CAAC,MAAM;IACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,KAAK,EAAE,IAAI,CAAC,KAAK;IACjB,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE;IACvC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE;IACvC,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,IAAI;IACpD,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,SAAS,EAAE,IAAI,CAAC,SAAS;IACzB,MAAM,EAAE,IAAI,CAAC,MAAM;IACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,OAAO,EAAE,IAAI,CAAC,OAAO;CACtB,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,QAAkB,EAAsB,EAAE,CAAC,CAAC;IAC5E,EAAE,EAAE,QAAQ,CAAC,EAAE;IACf,OAAO,EAAE,QAAQ,CAAC,OAAO;IACzB,UAAU,EAAE,QAAQ,CAAC,UAAU;IAC/B,SAAS,EAAE,QAAQ,CAAC,SAAS;IAC7B,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE;IAC3C,QAAQ,EAAE,QAAQ,CAAC,QAAQ;IAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;IAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;IAC/B,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,IAAI;IACtD,YAAY,EAAE,QAAQ,CAAC,YAAY;IACnC,SAAS,EAAE,IAAI;CAChB,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,QAA2B,EAA+B,EAAE,CAAC,CAAC;IACvG,GAAG,iBAAiB,CAAC,QAAQ,CAAC;IAC9B,cAAc,EAAE,QAAQ,CAAC,cAAc;IACvC,SAAS,EAAE,QAAQ,CAAC,SAAS;IAC7B,WAAW,EAAE,QAAQ,CAAC,WAAW;IACjC,YAAY,EAAE,QAAQ,CAAC,YAAY;IACnC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;IAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;IAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;IAC/B,aAAa,EAAE,QAAQ,CAAC,aAAa;IACrC,aAAa,EAAE,QAAQ,CAAC,aAAa;CACtC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,QAAsB,EAA2B,EAAE,CAAC,CAAC;IACzF,EAAE,EAAE,QAAQ,CAAC,EAAE;IACf,WAAW,EAAE,QAAQ,CAAC,WAAW;IACjC,IAAI,EAAE,QAAQ,CAAC,IAAI;IACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;IACvB,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE;CAC5C,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,GAAQ,EAAiB,EAAE,CAAC,CAAC;IACxD,EAAE,EAAE,GAAG,CAAC,EAAE;IACV,MAAM,EAAE,GAAG,CAAC,MAAM;IAClB,KAAK,EAAE,GAAG,CAAC,KAAK;IAChB,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE;IACtC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,IAAI;IAC3C,MAAM,EAAE,GAAG,CAAC,MAAM;IAClB,QAAQ,EAAE,GAAG,CAAC,QAAQ;IACtB,GAAG,EAAE,GAAG,CAAC,GAAG;IACZ,cAAc,EAAE,GAAG,CAAC,cAAc;IAClC,UAAU,EAAE,GAAG,CAAC,UAAU;IAC1B,UAAU,EAAE,GAAG,CAAC,UAAU;IAC1B,eAAe,EAAE,GAAG,CAAC,eAAe;IACpC,OAAO,EAAE,GAAG,CAAC,OAAO;IACpB,YAAY,EAAE,GAAG,CAAC,YAAY;IAC9B,QAAQ,EAAE,GAAG,CAAC,QAAQ;CACvB,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAgB,EAAqB,EAAE,CAAC,CAAC;IACxE,EAAE,EAAE,OAAO,CAAC,EAAE;IACd,MAAM,EAAE,OAAO,CAAC,MAAM;IACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;IAC1B,OAAO,EAAE,OAAO,CAAC,OAAO;IACxB,MAAM,EAAE,OAAO,CAAC,MAAM;IACtB,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE;CAC3C,CAAC,CAAA;AA2CF;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;QACnB,yDAAyD;QACzD,IAAI,EAAE,MAAM,CAAC,MAAM;QACnB,mCAAmC;QACnC,OAAO,EAAE,MAAM,CAAC,MAAM;QACtB,+BAA+B;QAC/B,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;KACvF,CAAC;CACH,CAAC,CAAA;AAGF,gFAAgF;AAChF,wBAAwB;AACxB,gFAAgF;AAChF,oEAAoE;AAEpE,wCAAwC;AACxC,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;CACxC,CAAC,CAAA;AAGF,kDAAkD;AAClD,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC;IAClD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACvC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,OAAO;CACxB,CAAC,CAAA;AAGF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAAC;IACpD,IAAI,EAAE,4BAA4B;IAClC,8DAA8D;IAC9D,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC;IAC1D,+DAA+D;IAC/D,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC;IACvD,+CAA+C;IAC/C,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC;CACvD,CAAC,CAAA;AAGF,sCAAsC;AACtC,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACxD,yBAAyB;IACzB,IAAI,EAAE,4BAA4B;IAClC,oDAAoD;IACpD,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC;CACrD,CAAC,CAAA;AAGF,gDAAgD;AAChD,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC;IAClD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC;IACjD,mBAAmB;IACnB,MAAM,EAAE,YAAY;CACrB,CAAC,CAAA;AAGF,gFAAgF;AAChF,4BAA4B;AAC5B,gFAAgF;AAChF,qCAAqC;AAErC,wCAAwC;AACxC,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACxD,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,iCAAiC,CAAC;IAC1D,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;CACxC,CAAC,CAAA;AAGF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,iCAAiC,CAAC;IAC1D,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,sCAAsC;IACtC,cAAc,EAAE,MAAM,CAAC,MAAM;CAC9B,CAAC,CAAA;AAGF,mCAAmC;AACnC,MAAM,CAAC,MAAM,8BAA8B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1D,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,6BAA6B,CAAC;IACtD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACvC,gDAAgD;IAChD,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CAC5C,CAAC,CAAA;AAGF,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;AAChF,gCAAgC;AAEhC,iCAAiC;AACjC,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC;IACvC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;CACxC,CAAC,CAAA;AAGF,sDAAsD;AACtD,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,GAAG,EAAE,mBAAmB;IACxB,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,4BAA4B,CAAC;IACnD,oCAAoC;IACpC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,uBAAuB,CAAC;CAChD,CAAC,CAAA;AAGF,gFAAgF;AAChF,wBAAwB;AACxB,gFAAgF;AAChF,2CAA2C;AAE3C,0CAA0C;AAC1C,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAAC;IACpD,OAAO,EAAE,MAAM,CAAC,OAAO;IACvB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;CAChD,CAAC,CAAA;AAGF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAAC;IACpD,OAAO,EAAE,MAAM,CAAC,OAAO;IACvB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC/C,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACnD,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;CAC5C,CAAC,CAAA"}

package/dist/run.d.ts

@@ -2,63 +2,94 @@
  * Run types for tx
  *
  * Type definitions for tracking Claude agent runs/sessions.
- * Zero runtime dependencies - pure TypeScript types only.
+ * Core type definitions using Effect Schema (Doctrine Rule 10).
+ * Schema definitions provide both compile-time types and runtime validation.
  */
-/**
- * Run ID format: run-<8 hex chars>
- */
-export type RunId = `run-${string}`;
+import { Schema } from "effect";
 /**
  * Valid run statuses.
  */
 export declare const RUN_STATUSES: readonly ["running", "completed", "failed", "timeout", "cancelled"];
+/** Run status - current state of an agent run. */
+export declare const RunStatusSchema: Schema.Literal<["running", "completed", "failed", "timeout", "cancelled"]>;
+export type RunStatus = typeof RunStatusSchema.Type;
+/** Run ID - branded string matching run-<hex chars>. */
+export declare const RunIdSchema: Schema.brand<Schema.filter<typeof Schema.String>, "RunId">;
+export type RunId = typeof RunIdSchema.Type;
+/** A single Claude agent run/session. */
+export declare const RunSchema: Schema.Struct<{
+    id: Schema.brand<Schema.filter<typeof Schema.String>, "RunId">;
+    taskId: Schema.NullOr<typeof Schema.String>;
+    agent: typeof Schema.String;
+    startedAt: typeof Schema.DateFromSelf;
+    endedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+    status: Schema.Literal<["running", "completed", "failed", "timeout", "cancelled"]>;
+    exitCode: Schema.NullOr<Schema.filter<typeof Schema.Number>>;
+    pid: Schema.NullOr<Schema.filter<typeof Schema.Number>>;
+    transcriptPath: Schema.NullOr<typeof Schema.String>;
+    stderrPath: Schema.NullOr<typeof Schema.String>;
+    stdoutPath: Schema.NullOr<typeof Schema.String>;
+    contextInjected: Schema.NullOr<typeof Schema.String>;
+    summary: Schema.NullOr<typeof Schema.String>;
+    errorMessage: Schema.NullOr<typeof Schema.String>;
+    metadata: Schema.Record$<typeof Schema.String, typeof Schema.Unknown>;
+}>;
+export type Run = typeof RunSchema.Type;
+/** Input for creating a new run. */
+export declare const CreateRunInputSchema: Schema.Struct<{
+    taskId: Schema.optional<typeof Schema.String>;
+    agent: typeof Schema.String;
+    pid: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    transcriptPath: Schema.optional<typeof Schema.String>;
+    stderrPath: Schema.optional<typeof Schema.String>;
+    stdoutPath: Schema.optional<typeof Schema.String>;
+    contextInjected: Schema.optional<typeof Schema.String>;
+    metadata: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+}>;
+export type CreateRunInput = typeof CreateRunInputSchema.Type;
+/** Input for updating an existing run. */
+export declare const UpdateRunInputSchema: Schema.Struct<{
+    status: Schema.optional<Schema.Literal<["running", "completed", "failed", "timeout", "cancelled"]>>;
+    endedAt: Schema.optional<typeof Schema.DateFromSelf>;
+    exitCode: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    summary: Schema.optional<typeof Schema.String>;
+    errorMessage: Schema.optional<typeof Schema.String>;
+    transcriptPath: Schema.optional<typeof Schema.String>;
+    stderrPath: Schema.optional<typeof Schema.String>;
+    stdoutPath: Schema.optional<typeof Schema.String>;
+}>;
+export type UpdateRunInput = typeof UpdateRunInputSchema.Type;
 /**
- * Run status - current state of an agent run.
+ * Check if a string is a valid run status.
  */
-export type RunStatus = (typeof RUN_STATUSES)[number];
+export declare const isValidRunStatus: (status: string) => status is RunStatus;
 /**
- * A single Claude agent run/session.
+ * Error thrown when a run status is invalid.
  */
-export interface Run {
-    readonly id: RunId;
-    readonly taskId: string | null;
-    readonly agent: string;
-    readonly startedAt: Date;
-    readonly endedAt: Date | null;
-    readonly status: RunStatus;
-    readonly exitCode: number | null;
-    readonly pid: number | null;
-    readonly transcriptPath: string | null;
-    readonly contextInjected: string | null;
-    readonly summary: string | null;
-    readonly errorMessage: string | null;
-    readonly metadata: Record<string, unknown>;
+export declare class InvalidRunStatusError extends Error {
+    readonly status: string;
+    constructor(status: string);
 }
 /**
- * Input for creating a new run.
+ * Validate and return a RunStatus, or throw if invalid.
  */
-export interface CreateRunInput {
-    readonly taskId?: string;
-    readonly agent: string;
-    readonly pid?: number;
-    readonly transcriptPath?: string;
-    readonly contextInjected?: string;
-    readonly metadata?: Record<string, unknown>;
-}
+export declare const assertRunStatus: (status: string) => RunStatus;
+/**
+ * Check if a string is a valid run ID format.
+ */
+export declare const isValidRunId: (id: string) => id is RunId;
 /**
- * Input for updating an existing run.
+ * Error thrown when a run ID is invalid.
  */
-export interface UpdateRunInput {
-    readonly status?: RunStatus;
-    readonly endedAt?: Date;
-    readonly exitCode?: number;
-    readonly summary?: string;
-    readonly errorMessage?: string;
-    readonly transcriptPath?: string;
+export declare class InvalidRunIdError extends Error {
+    readonly id: string;
+    constructor(id: string);
 }
 /**
- * Database row type for runs (snake_case from SQLite).
+ * Validate and return a branded RunId, or throw if invalid.
  */
+export declare const assertRunId: (id: string) => RunId;
+/** Database row type for runs (snake_case from SQLite). */
 export interface RunRow {
     id: string;
     task_id: string | null;
@@ -69,6 +100,8 @@ export interface RunRow {
     exit_code: number | null;
     pid: number | null;
     transcript_path: string | null;
+    stderr_path: string | null;
+    stdout_path: string | null;
     context_injected: string | null;
     summary: string | null;
     error_message: string | null;

package/dist/run.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../src/run.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;GAEG;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,MAAM,EAAE,CAAC;AAEpC;;GAEG;AACH,eAAO,MAAM,YAAY,qEAMf,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtD;;GAEG;AACH,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;CAClB"}
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../src/run.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B;;GAEG;AACH,eAAO,MAAM,YAAY,qEAMf,CAAC;AAMX,kDAAkD;AAClD,eAAO,MAAM,eAAe,4EAAkC,CAAA;AAC9D,MAAM,MAAM,SAAS,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEnD,wDAAwD;AACxD,eAAO,MAAM,WAAW,4DAGvB,CAAA;AACD,MAAM,MAAM,KAAK,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAE3C,yCAAyC;AACzC,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;EAgBpB,CAAA;AACF,MAAM,MAAM,GAAG,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAEvC,oCAAoC;AACpC,eAAO,MAAM,oBAAoB;;;;;;;;;EAS/B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAE7D,0CAA0C;AAC1C,eAAO,MAAM,oBAAoB;;;;;;;;;EAS/B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAM7D;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,KAAG,MAAM,IAAI,SAE3D,CAAC;AAEF;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;aAClB,MAAM,EAAE,MAAM;gBAAd,MAAM,EAAE,MAAM;CAI3C;AAED;;GAEG;AACH,eAAO,MAAM,eAAe,GAAI,QAAQ,MAAM,KAAG,SAKhD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,IAAI,MAAM,KAAG,EAAE,IAAI,KAE/C,CAAC;AAEF;;GAEG;AACH,qBAAa,iBAAkB,SAAQ,KAAK;aACd,EAAE,EAAE,MAAM;gBAAV,EAAE,EAAE,MAAM;CAIvC;AAED;;GAEG;AACH,eAAO,MAAM,WAAW,GAAI,IAAI,MAAM,KAAG,KAKxC,CAAC;AAMF,2DAA2D;AAC3D,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;CAClB"}

package/dist/run.js

@@ -2,8 +2,13 @@
  * Run types for tx
  *
  * Type definitions for tracking Claude agent runs/sessions.
- * Zero runtime dependencies - pure TypeScript types only.
+ * Core type definitions using Effect Schema (Doctrine Rule 10).
+ * Schema definitions provide both compile-time types and runtime validation.
  */
+import { Schema } from "effect";
+// =============================================================================
+// CONSTANTS
+// =============================================================================
 /**
  * Valid run statuses.
  */
@@ -14,4 +19,106 @@ export const RUN_STATUSES = [
     "timeout",
     "cancelled",
 ];
+// =============================================================================
+// SCHEMAS & TYPES
+// =============================================================================
+/** Run status - current state of an agent run. */
+export const RunStatusSchema = Schema.Literal(...RUN_STATUSES);
+/** Run ID - branded string matching run-<hex chars>. */
+export const RunIdSchema = Schema.String.pipe(Schema.pattern(/^run-.+$/), Schema.brand("RunId"));
+/** A single Claude agent run/session. */
+export const RunSchema = Schema.Struct({
+    id: RunIdSchema,
+    taskId: Schema.NullOr(Schema.String),
+    agent: Schema.String,
+    startedAt: Schema.DateFromSelf,
+    endedAt: Schema.NullOr(Schema.DateFromSelf),
+    status: RunStatusSchema,
+    exitCode: Schema.NullOr(Schema.Number.pipe(Schema.int())),
+    pid: Schema.NullOr(Schema.Number.pipe(Schema.int())),
+    transcriptPath: Schema.NullOr(Schema.String),
+    stderrPath: Schema.NullOr(Schema.String),
+    stdoutPath: Schema.NullOr(Schema.String),
+    contextInjected: Schema.NullOr(Schema.String),
+    summary: Schema.NullOr(Schema.String),
+    errorMessage: Schema.NullOr(Schema.String),
+    metadata: Schema.Record({ key: Schema.String, value: Schema.Unknown }),
+});
+/** Input for creating a new run. */
+export const CreateRunInputSchema = Schema.Struct({
+    taskId: Schema.optional(Schema.String),
+    agent: Schema.String,
+    pid: Schema.optional(Schema.Number.pipe(Schema.int())),
+    transcriptPath: Schema.optional(Schema.String),
+    stderrPath: Schema.optional(Schema.String),
+    stdoutPath: Schema.optional(Schema.String),
+    contextInjected: Schema.optional(Schema.String),
+    metadata: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+});
+/** Input for updating an existing run. */
+export const UpdateRunInputSchema = Schema.Struct({
+    status: Schema.optional(RunStatusSchema),
+    endedAt: Schema.optional(Schema.DateFromSelf),
+    exitCode: Schema.optional(Schema.Number.pipe(Schema.int())),
+    summary: Schema.optional(Schema.String),
+    errorMessage: Schema.optional(Schema.String),
+    transcriptPath: Schema.optional(Schema.String),
+    stderrPath: Schema.optional(Schema.String),
+    stdoutPath: Schema.optional(Schema.String),
+});
+// =============================================================================
+// RUNTIME VALIDATORS
+// =============================================================================
+/**
+ * Check if a string is a valid run status.
+ */
+export const isValidRunStatus = (status) => {
+    return RUN_STATUSES.includes(status);
+};
+/**
+ * Error thrown when a run status is invalid.
+ */
+export class InvalidRunStatusError extends Error {
+    status;
+    constructor(status) {
+        super(`Invalid run status: "${status}". Valid statuses: ${RUN_STATUSES.join(", ")}`);
+        this.status = status;
+        this.name = "InvalidRunStatusError";
+    }
+}
+/**
+ * Validate and return a RunStatus, or throw if invalid.
+ */
+export const assertRunStatus = (status) => {
+    if (!isValidRunStatus(status)) {
+        throw new InvalidRunStatusError(status);
+    }
+    return status;
+};
+/**
+ * Check if a string is a valid run ID format.
+ */
+export const isValidRunId = (id) => {
+    return /^run-.+$/.test(id);
+};
+/**
+ * Error thrown when a run ID is invalid.
+ */
+export class InvalidRunIdError extends Error {
+    id;
+    constructor(id) {
+        super(`Invalid run ID: "${id}". Expected format: run-<identifier>`);
+        this.id = id;
+        this.name = "InvalidRunIdError";
+    }
+}
+/**
+ * Validate and return a branded RunId, or throw if invalid.
+ */
+export const assertRunId = (id) => {
+    if (!isValidRunId(id)) {
+        throw new InvalidRunIdError(id);
+    }
+    return id;
+};
 //# sourceMappingURL=run.js.map

package/dist/run.js.map

@@ -1 +1 @@
-{"version":3,"file":"run.js","sourceRoot":"","sources":["../src/run.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAOH;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,SAAS;IACT,WAAW;IACX,QAAQ;IACR,SAAS;IACT,WAAW;CACH,CAAC"}
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../src/run.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,SAAS;IACT,WAAW;IACX,QAAQ;IACR,SAAS;IACT,WAAW;CACH,CAAC;AAEX,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF,kDAAkD;AAClD,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,CAAA;AAG9D,wDAAwD;AACxD,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC3C,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAC1B,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CACtB,CAAA;AAGD,yCAAyC;AACzC,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,WAAW;IACf,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,SAAS,EAAE,MAAM,CAAC,YAAY;IAC9B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAC3C,MAAM,EAAE,eAAe;IACvB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACzD,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACpD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;CACvE,CAAC,CAAA;AAGF,oCAAoC;AACpC,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACtD,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC/C,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;CACxF,CAAC,CAAA;AAGF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC;IAC7C,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3D,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5C,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CAC3C,CAAC,CAAA;AAGF,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAuB,EAAE;IACtE,OAAQ,YAAkC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAClB;IAA5B,YAA4B,MAAc;QACxC,KAAK,CAAC,wBAAwB,MAAM,sBAAsB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAD3D,WAAM,GAAN,MAAM,CAAQ;QAExC,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACtC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAc,EAAa,EAAE;IAC3D,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,EAAU,EAAe,EAAE;IACtD,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACd;IAA5B,YAA4B,EAAU;QACpC,KAAK,CAAC,oBAAoB,EAAE,sCAAsC,CAAC,CAAC;QAD1C,OAAE,GAAF,EAAE,CAAQ;QAEpC,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,EAAU,EAAS,EAAE;IAC/C,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,iBAAiB,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC"}