@jamesaphoenix/tx-types 0.4.2 → 0.4.3

package/dist/symbol.d.ts

@@ -3,70 +3,69 @@
  *
  * Type definitions for code intelligence and symbol extraction.
  * Used by ast-grep integration for structural code analysis.
- * 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";
 /**
  * All valid symbol kinds for code extraction.
  * Covers common constructs across TypeScript, Rust, Go, Python, etc.
  */
 export declare const SYMBOL_KINDS: readonly ["function", "class", "interface", "type", "const", "variable", "method", "struct", "enum", "trait", "module"];
 /**
- * Symbol kind - one of the valid code construct types.
- */
-export type SymbolKind = (typeof SYMBOL_KINDS)[number];
-/**
- * Information about an extracted symbol.
+ * Import kind - static (import/require) or dynamic (import()).
  */
-export interface SymbolInfo {
+export declare const IMPORT_KINDS: readonly ["static", "dynamic"];
+/** Symbol kind - one of the valid code construct types. */
+export declare const SymbolKindSchema: Schema.Literal<["function", "class", "interface", "type", "const", "variable", "method", "struct", "enum", "trait", "module"]>;
+export type SymbolKind = typeof SymbolKindSchema.Type;
+/** Import kind schema. */
+export declare const ImportKindSchema: Schema.Literal<["static", "dynamic"]>;
+export type ImportKind = typeof ImportKindSchema.Type;
+/** Information about an extracted symbol. */
+export declare const SymbolInfoSchema: Schema.Struct<{
     /** Symbol name (e.g., function name, class name) */
-    readonly name: string;
+    name: typeof Schema.String;
     /** Kind of symbol */
-    readonly kind: SymbolKind;
+    kind: Schema.Literal<["function", "class", "interface", "type", "const", "variable", "method", "struct", "enum", "trait", "module"]>;
     /** Line number where the symbol is defined (1-indexed) */
-    readonly line: number;
+    line: Schema.filter<typeof Schema.Number>;
     /** Whether the symbol is exported */
-    readonly exported: boolean;
-}
-/**
- * Import kind - static (import/require) or dynamic (import()).
- */
-export declare const IMPORT_KINDS: readonly ["static", "dynamic"];
-export type ImportKind = (typeof IMPORT_KINDS)[number];
-/**
- * Information about an import statement.
- */
-export interface ImportInfo {
+    exported: typeof Schema.Boolean;
+}>;
+export type SymbolInfo = typeof SymbolInfoSchema.Type;
+/** Information about an import statement. */
+export declare const ImportInfoSchema: Schema.Struct<{
     /** Source module path or package name */
-    readonly source: string;
+    source: typeof Schema.String;
     /** Imported specifiers (names) */
-    readonly specifiers: readonly string[];
+    specifiers: Schema.Array$<typeof Schema.String>;
     /** Kind of import */
-    readonly kind: ImportKind;
-}
-/**
- * Pattern for matching symbols with ast-grep.
- */
-export interface SymbolPattern {
+    kind: Schema.Literal<["static", "dynamic"]>;
+}>;
+export type ImportInfo = typeof ImportInfoSchema.Type;
+/** Pattern for matching symbols with ast-grep. */
+export declare const SymbolPatternSchema: Schema.Struct<{
     /** ast-grep pattern string */
-    readonly pattern: string;
+    pattern: typeof Schema.String;
     /** Kind of symbol this pattern matches */
-    readonly kind: SymbolKind;
+    kind: Schema.Literal<["function", "class", "interface", "type", "const", "variable", "method", "struct", "enum", "trait", "module"]>;
     /** If specified, only match exported/non-exported symbols */
-    readonly exported?: boolean;
-}
-/**
- * A match result from ast-grep pattern matching.
- */
-export interface Match {
+    exported: Schema.optional<typeof Schema.Boolean>;
+}>;
+export type SymbolPattern = typeof SymbolPatternSchema.Type;
+/** A match result from ast-grep pattern matching. */
+export declare const MatchSchema: Schema.Struct<{
     /** File path where the match was found */
-    readonly file: string;
+    file: typeof Schema.String;
     /** Line number (1-indexed) */
-    readonly line: number;
+    line: Schema.filter<typeof Schema.Number>;
     /** Column number (1-indexed) */
-    readonly column: number;
+    column: Schema.filter<typeof Schema.Number>;
     /** Matched text */
-    readonly text: string;
+    text: typeof Schema.String;
     /** Named captures from the pattern (e.g., $NAME -> value) */
-    readonly captures: Readonly<Record<string, string>>;
-}
+    captures: Schema.Record$<typeof Schema.String, typeof Schema.String>;
+}>;
+export type Match = typeof MatchSchema.Type;
 //# sourceMappingURL=symbol.d.ts.map

package/dist/symbol.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol.d.ts","sourceRoot":"","sources":["../src/symbol.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH;;;GAGG;AACH,eAAO,MAAM,YAAY,yHAYf,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,oDAAoD;IACpD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qBAAqB;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qCAAqC;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;GAEG;AACH,eAAO,MAAM,YAAY,gCAAiC,CAAC;AAC3D,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kCAAkC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,qBAAqB;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,8BAA8B;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0CAA0C;IAC1C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,KAAK;IACpB,0CAA0C;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8BAA8B;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,mBAAmB;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD"}
+{"version":3,"file":"symbol.d.ts","sourceRoot":"","sources":["../src/symbol.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B;;;GAGG;AACH,eAAO,MAAM,YAAY,yHAYf,CAAC;AAEX;;GAEG;AACH,eAAO,MAAM,YAAY,gCAAiC,CAAC;AAM3D,2DAA2D;AAC3D,eAAO,MAAM,gBAAgB,gIAAkC,CAAA;AAC/D,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,0BAA0B;AAC1B,eAAO,MAAM,gBAAgB,uCAAkC,CAAA;AAC/D,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,6CAA6C;AAC7C,eAAO,MAAM,gBAAgB;IAC3B,oDAAoD;;IAEpD,qBAAqB;;IAErB,0DAA0D;;IAE1D,qCAAqC;;EAErC,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,6CAA6C;AAC7C,eAAO,MAAM,gBAAgB;IAC3B,yCAAyC;;IAEzC,kCAAkC;;IAElC,qBAAqB;;EAErB,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,kDAAkD;AAClD,eAAO,MAAM,mBAAmB;IAC9B,8BAA8B;;IAE9B,0CAA0C;;IAE1C,6DAA6D;;EAE7D,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAE3D,qDAAqD;AACrD,eAAO,MAAM,WAAW;IACtB,0CAA0C;;IAE1C,8BAA8B;;IAE9B,gCAAgC;;IAEhC,mBAAmB;;IAEnB,6DAA6D;;EAE7D,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA"}

package/dist/symbol.js

@@ -3,8 +3,13 @@
  *
  * Type definitions for code intelligence and symbol extraction.
  * Used by ast-grep integration for structural code analysis.
- * 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
+// =============================================================================
 /**
  * All valid symbol kinds for code extraction.
  * Covers common constructs across TypeScript, Rust, Go, Python, etc.
@@ -26,4 +31,53 @@ export const SYMBOL_KINDS = [
  * Import kind - static (import/require) or dynamic (import()).
  */
 export const IMPORT_KINDS = ["static", "dynamic"];
+// =============================================================================
+// SCHEMAS & TYPES
+// =============================================================================
+/** Symbol kind - one of the valid code construct types. */
+export const SymbolKindSchema = Schema.Literal(...SYMBOL_KINDS);
+/** Import kind schema. */
+export const ImportKindSchema = Schema.Literal(...IMPORT_KINDS);
+/** Information about an extracted symbol. */
+export const SymbolInfoSchema = Schema.Struct({
+    /** Symbol name (e.g., function name, class name) */
+    name: Schema.String,
+    /** Kind of symbol */
+    kind: SymbolKindSchema,
+    /** Line number where the symbol is defined (1-indexed) */
+    line: Schema.Number.pipe(Schema.int()),
+    /** Whether the symbol is exported */
+    exported: Schema.Boolean,
+});
+/** Information about an import statement. */
+export const ImportInfoSchema = Schema.Struct({
+    /** Source module path or package name */
+    source: Schema.String,
+    /** Imported specifiers (names) */
+    specifiers: Schema.Array(Schema.String),
+    /** Kind of import */
+    kind: ImportKindSchema,
+});
+/** Pattern for matching symbols with ast-grep. */
+export const SymbolPatternSchema = Schema.Struct({
+    /** ast-grep pattern string */
+    pattern: Schema.String,
+    /** Kind of symbol this pattern matches */
+    kind: SymbolKindSchema,
+    /** If specified, only match exported/non-exported symbols */
+    exported: Schema.optional(Schema.Boolean),
+});
+/** A match result from ast-grep pattern matching. */
+export const MatchSchema = Schema.Struct({
+    /** File path where the match was found */
+    file: Schema.String,
+    /** Line number (1-indexed) */
+    line: Schema.Number.pipe(Schema.int()),
+    /** Column number (1-indexed) */
+    column: Schema.Number.pipe(Schema.int()),
+    /** Matched text */
+    text: Schema.String,
+    /** Named captures from the pattern (e.g., $NAME -> value) */
+    captures: Schema.Record({ key: Schema.String, value: Schema.String }),
+});
 //# sourceMappingURL=symbol.js.map

package/dist/symbol.js.map

@@ -1 +1 @@
-{"version":3,"file":"symbol.js","sourceRoot":"","sources":["../src/symbol.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,UAAU;IACV,OAAO;IACP,WAAW;IACX,MAAM;IACN,OAAO;IACP,UAAU;IACV,QAAQ;IACR,QAAQ;IACR,MAAM;IACN,OAAO;IACP,QAAQ;CACA,CAAC;AAqBX;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAU,CAAC"}
+{"version":3,"file":"symbol.js","sourceRoot":"","sources":["../src/symbol.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,UAAU;IACV,OAAO;IACP,WAAW;IACX,MAAM;IACN,OAAO;IACP,UAAU;IACV,QAAQ;IACR,QAAQ;IACR,MAAM;IACN,OAAO;IACP,QAAQ;CACA,CAAC;AAEX;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAU,CAAC;AAE3D,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,CAAA;AAG/D,0BAA0B;AAC1B,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,CAAA;AAG/D,6CAA6C;AAC7C,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,qBAAqB;IACrB,IAAI,EAAE,gBAAgB;IACtB,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACtC,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC,OAAO;CACzB,CAAC,CAAA;AAGF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,qBAAqB;IACrB,IAAI,EAAE,gBAAgB;CACvB,CAAC,CAAA;AAGF,kDAAkD;AAClD,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,0CAA0C;IAC1C,IAAI,EAAE,gBAAgB;IACtB,6DAA6D;IAC7D,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CAC1C,CAAC,CAAA;AAGF,qDAAqD;AACrD,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,0CAA0C;IAC1C,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,8BAA8B;IAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACtC,gCAAgC;IAChC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACxC,mBAAmB;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,6DAA6D;IAC7D,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CACtE,CAAC,CAAA"}

package/dist/task.d.ts

@@ -1,120 +1,158 @@
 /**
  * Task types for tx
  *
- * Core type definitions for the task management system.
- * 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";
 /**
  * All valid task statuses in lifecycle order.
  * backlog → ready → planning → active → blocked → review → human_needs_to_review → done
  */
 export declare const TASK_STATUSES: readonly ["backlog", "ready", "planning", "active", "blocked", "review", "human_needs_to_review", "done"];
 /**
- * Task status - one of the valid lifecycle states.
+ * Regex pattern for valid task IDs.
  */
-export type TaskStatus = (typeof TASK_STATUSES)[number];
+export declare const TASK_ID_PATTERN: RegExp;
 /**
- * Branded type for task IDs.
- * Format: tx-[a-z0-9]{6,8} (e.g., "tx-abc123")
+ * Valid status transitions map.
+ * Used to validate status changes follow the lifecycle.
  */
-export type TaskId = string & {
-    readonly _brand: unique symbol;
-};
+export declare const VALID_TRANSITIONS: Record<TaskStatus, readonly TaskStatus[]>;
+/** Task status - one of the valid lifecycle states. */
+export declare const TaskStatusSchema: Schema.Literal<["backlog", "ready", "planning", "active", "blocked", "review", "human_needs_to_review", "done"]>;
+export type TaskStatus = typeof TaskStatusSchema.Type;
+/** Task ID - branded string matching tx-[a-z0-9]{6,12}. */
+export declare const TaskIdSchema: Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">;
+export type TaskId = typeof TaskIdSchema.Type;
 /**
  * Core task entity without dependency information.
  * IMPORTANT: Per doctrine Rule 1, never return bare Task to external consumers.
  * Always use TaskWithDeps for API responses.
  */
-export interface Task {
-    readonly id: TaskId;
-    readonly title: string;
-    readonly description: string;
-    readonly status: TaskStatus;
-    readonly parentId: TaskId | null;
-    readonly score: number;
-    readonly createdAt: Date;
-    readonly updatedAt: Date;
-    readonly completedAt: Date | null;
-    readonly metadata: Record<string, unknown>;
-}
+export declare const TaskSchema: Schema.Struct<{
+    id: Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">;
+    title: typeof Schema.String;
+    description: typeof Schema.String;
+    status: Schema.Literal<["backlog", "ready", "planning", "active", "blocked", "review", "human_needs_to_review", "done"]>;
+    parentId: Schema.NullOr<Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">>;
+    score: Schema.filter<typeof Schema.Number>;
+    createdAt: typeof Schema.DateFromSelf;
+    updatedAt: typeof Schema.DateFromSelf;
+    completedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+    metadata: Schema.Record$<typeof Schema.String, typeof Schema.Unknown>;
+}>;
+export type Task = typeof TaskSchema.Type;
 /**
  * Task with full dependency information.
  * This is the REQUIRED return type for all external APIs (Rule 1).
  */
-export interface TaskWithDeps extends Task {
+export declare const TaskWithDepsSchema: Schema.Struct<{
     /** Task IDs that block this task */
-    readonly blockedBy: TaskId[];
+    blockedBy: Schema.Array$<Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">>;
     /** Task IDs this task blocks */
-    readonly blocks: TaskId[];
+    blocks: Schema.Array$<Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">>;
     /** Direct child task IDs */
-    readonly children: TaskId[];
+    children: Schema.Array$<Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">>;
     /** Whether this task can be worked on (status is workable AND all blockers are done) */
-    readonly isReady: boolean;
-}
-/**
- * Recursive tree structure for task hierarchy.
- */
-export interface TaskTree {
+    isReady: typeof Schema.Boolean;
+    id: Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">;
+    title: typeof Schema.String;
+    description: typeof Schema.String;
+    status: Schema.Literal<["backlog", "ready", "planning", "active", "blocked", "review", "human_needs_to_review", "done"]>;
+    parentId: Schema.NullOr<Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">>;
+    score: Schema.filter<typeof Schema.Number>;
+    createdAt: typeof Schema.DateFromSelf;
+    updatedAt: typeof Schema.DateFromSelf;
+    completedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+    metadata: Schema.Record$<typeof Schema.String, typeof Schema.Unknown>;
+}>;
+export type TaskWithDeps = typeof TaskWithDepsSchema.Type;
+/** Recursive tree structure for task hierarchy. */
+export declare const TaskTreeSchema: Schema.Schema<TaskTree, any>;
+export type TaskTree = {
     readonly task: Task;
     readonly children: readonly TaskTree[];
-}
+};
+/** Task dependency relationship. */
+export declare const TaskDependencySchema: Schema.Struct<{
+    blockerId: Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">;
+    blockedId: Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">;
+    createdAt: typeof Schema.DateFromSelf;
+}>;
+export type TaskDependency = typeof TaskDependencySchema.Type;
+/** Input for creating a new task. */
+export declare const CreateTaskInputSchema: Schema.Struct<{
+    title: typeof Schema.String;
+    description: Schema.optional<typeof Schema.String>;
+    parentId: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    score: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    metadata: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+}>;
+export type CreateTaskInput = typeof CreateTaskInputSchema.Type;
+/** Input for updating an existing task. */
+export declare const UpdateTaskInputSchema: Schema.Struct<{
+    title: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
+    status: Schema.optional<Schema.Literal<["backlog", "ready", "planning", "active", "blocked", "review", "human_needs_to_review", "done"]>>;
+    parentId: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    score: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    metadata: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+}>;
+export type UpdateTaskInput = typeof UpdateTaskInputSchema.Type;
+/** Cursor for pagination (score + id based). */
+export declare const TaskCursorSchema: Schema.Struct<{
+    score: typeof Schema.Number;
+    id: typeof Schema.String;
+}>;
+export type TaskCursor = typeof TaskCursorSchema.Type;
+/** Filter options for task queries. */
+export declare const TaskFilterSchema: Schema.Struct<{
+    status: Schema.optional<Schema.Union<[Schema.Literal<["backlog", "ready", "planning", "active", "blocked", "review", "human_needs_to_review", "done"]>, Schema.Array$<Schema.Literal<["backlog", "ready", "planning", "active", "blocked", "review", "human_needs_to_review", "done"]>>]>>;
+    parentId: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    limit: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    /** Search in title and description (case-insensitive) */
+    search: Schema.optional<typeof Schema.String>;
+    /** Cursor for keyset pagination (returns tasks after this cursor) */
+    cursor: Schema.optional<Schema.Struct<{
+        score: typeof Schema.Number;
+        id: typeof Schema.String;
+    }>>;
+    /** Exclude tasks that have an active claim in task_claims (prevents thundering herd) */
+    excludeClaimed: Schema.optional<typeof Schema.Boolean>;
+}>;
+export type TaskFilter = typeof TaskFilterSchema.Type;
 /**
- * Task dependency relationship.
+ * Check if a string is a valid task status.
  */
-export interface TaskDependency {
-    readonly blockerId: TaskId;
-    readonly blockedId: TaskId;
-    readonly createdAt: Date;
-}
+export declare const isValidTaskStatus: (status: string) => status is TaskStatus;
 /**
- * Input for creating a new task.
+ * Error thrown when a task status is invalid.
  */
-export interface CreateTaskInput {
-    readonly title: string;
-    readonly description?: string;
-    readonly parentId?: string | null;
-    readonly score?: number;
-    readonly metadata?: Record<string, unknown>;
+export declare class InvalidTaskStatusError extends Error {
+    readonly status: string;
+    constructor(status: string);
 }
 /**
- * Input for updating an existing task.
+ * Validate and return a TaskStatus, or throw if invalid.
  */
-export interface UpdateTaskInput {
-    readonly title?: string;
-    readonly description?: string;
-    readonly status?: TaskStatus;
-    readonly parentId?: string | null;
-    readonly score?: number;
-    readonly metadata?: Record<string, unknown>;
-}
+export declare const assertTaskStatus: (status: string) => TaskStatus;
 /**
- * Cursor for pagination (score + id based).
+ * Check if a string is a valid task ID format.
  */
-export interface TaskCursor {
-    readonly score: number;
-    readonly id: string;
-}
+export declare const isValidTaskId: (id: string) => id is TaskId;
 /**
- * Filter options for task queries.
+ * Error thrown when a task ID is invalid.
  */
-export interface TaskFilter {
-    readonly status?: TaskStatus | TaskStatus[];
-    readonly parentId?: string | null;
-    readonly limit?: number;
-    /** Search in title and description (case-insensitive) */
-    readonly search?: string;
-    /** Cursor for keyset pagination (returns tasks after this cursor) */
-    readonly cursor?: TaskCursor;
+export declare class InvalidTaskIdError extends Error {
+    readonly id: string;
+    constructor(id: string);
 }
 /**
- * Valid status transitions map.
- * Used to validate status changes follow the lifecycle.
- */
-export declare const VALID_TRANSITIONS: Record<TaskStatus, readonly TaskStatus[]>;
-/**
- * Database row type for tasks (snake_case from SQLite).
- * Used by repositories for mapping DB rows to Task objects.
+ * Validate and return a branded TaskId, or throw if invalid.
  */
+export declare const assertTaskId: (id: string) => TaskId;
+/** Database row type for tasks (snake_case from SQLite). */
 export interface TaskRow {
     id: string;
     title: string;
@@ -127,9 +165,7 @@ export interface TaskRow {
     completed_at: string | null;
     metadata: string;
 }
-/**
- * Database row type for dependencies (snake_case from SQLite).
- */
+/** Database row type for dependencies (snake_case from SQLite). */
 export interface DependencyRow {
     blocker_id: string;
     blocked_id: string;

package/dist/task.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"task.d.ts","sourceRoot":"","sources":["../src/task.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;GAGG;AACH,eAAO,MAAM,aAAa,2GAShB,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAExD;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAEjE;;;;GAIG;AACH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,IAAI,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C;AAED;;;GAGG;AACH,MAAM,WAAW,YAAa,SAAQ,IAAI;IACxC,oCAAoC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAC7B,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1B,4BAA4B;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC5B,wFAAwF;IACxF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAC;CACxC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,GAAG,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,yDAAyD;IACzD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;CAC9B;AAED;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,UAAU,EAAE,CAS9D,CAAC;AAEX;;;GAGG;AACH,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACpB"}
+{"version":3,"file":"task.d.ts","sourceRoot":"","sources":["../src/task.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B;;;GAGG;AACH,eAAO,MAAM,aAAa,2GAShB,CAAC;AAEX;;GAEG;AACH,eAAO,MAAM,eAAe,QAAwB,CAAC;AAErD;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,UAAU,EAAE,CAS9D,CAAC;AAMX,uDAAuD;AACvD,eAAO,MAAM,gBAAgB,kHAAmC,CAAA;AAChE,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,2DAA2D;AAC3D,eAAO,MAAM,YAAY,6DAGxB,CAAA;AACD,MAAM,MAAM,MAAM,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE7C;;;;GAIG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;EAWrB,CAAA;AACF,MAAM,MAAM,IAAI,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAEzC;;;GAGG;AACH,eAAO,MAAM,kBAAkB;IAE7B,oCAAoC;;IAEpC,gCAAgC;;IAEhC,4BAA4B;;IAE5B,wFAAwF;;;;;;;;;;;;EAExF,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAEzD,mDAAmD;AACnD,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAGtD,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAA;CACvC,CAAA;AAED,oCAAoC;AACpC,eAAO,MAAM,oBAAoB;;;;EAI/B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAE7D,qCAAqC;AACrC,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D,2CAA2C;AAC3C,eAAO,MAAM,qBAAqB;;;;;;;EAOhC,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D,gDAAgD;AAChD,eAAO,MAAM,gBAAgB;;;EAG3B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,uCAAuC;AACvC,eAAO,MAAM,gBAAgB;;;;IAI3B,yDAAyD;;IAEzD,qEAAqE;;;;;IAErE,wFAAwF;;EAExF,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAMrD;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,KAAG,MAAM,IAAI,UAE5D,CAAC;AAEF;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,KAAK;aACnB,MAAM,EAAE,MAAM;gBAAd,MAAM,EAAE,MAAM;CAI3C;AAED;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,KAAG,UAKjD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,IAAI,MAAM,KAAG,EAAE,IAAI,MAEhD,CAAC;AAEF;;GAEG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;aACf,EAAE,EAAE,MAAM;gBAAV,EAAE,EAAE,MAAM;CAIvC;AAED;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,IAAI,MAAM,KAAG,MAKzC,CAAC;AAMF,4DAA4D;AAC5D,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,mEAAmE;AACnE,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/task.js

@@ -1,9 +1,13 @@
 /**
  * Task types for tx
  *
- * Core type definitions for the task management system.
- * 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
+// =============================================================================
 /**
  * All valid task statuses in lifecycle order.
  * backlog → ready → planning → active → blocked → review → human_needs_to_review → done
@@ -18,6 +22,10 @@ export const TASK_STATUSES = [
     "human_needs_to_review",
     "done",
 ];
+/**
+ * Regex pattern for valid task IDs.
+ */
+export const TASK_ID_PATTERN = /^tx-[a-z0-9]{6,12}$/;
 /**
  * Valid status transitions map.
  * Used to validate status changes follow the lifecycle.
@@ -32,4 +40,143 @@ export const VALID_TRANSITIONS = {
     human_needs_to_review: ["active", "review", "done"],
     done: ["backlog"],
 };
+// =============================================================================
+// SCHEMAS & TYPES
+// =============================================================================
+/** Task status - one of the valid lifecycle states. */
+export const TaskStatusSchema = Schema.Literal(...TASK_STATUSES);
+/** Task ID - branded string matching tx-[a-z0-9]{6,12}. */
+export const TaskIdSchema = Schema.String.pipe(Schema.pattern(TASK_ID_PATTERN), Schema.brand("TaskId"));
+/**
+ * Core task entity without dependency information.
+ * IMPORTANT: Per doctrine Rule 1, never return bare Task to external consumers.
+ * Always use TaskWithDeps for API responses.
+ */
+export const TaskSchema = Schema.Struct({
+    id: TaskIdSchema,
+    title: Schema.String,
+    description: Schema.String,
+    status: TaskStatusSchema,
+    parentId: Schema.NullOr(TaskIdSchema),
+    score: Schema.Number.pipe(Schema.int()),
+    createdAt: Schema.DateFromSelf,
+    updatedAt: Schema.DateFromSelf,
+    completedAt: Schema.NullOr(Schema.DateFromSelf),
+    metadata: Schema.Record({ key: Schema.String, value: Schema.Unknown }),
+});
+/**
+ * Task with full dependency information.
+ * This is the REQUIRED return type for all external APIs (Rule 1).
+ */
+export const TaskWithDepsSchema = Schema.Struct({
+    ...TaskSchema.fields,
+    /** 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,
+});
+/** Recursive tree structure for task hierarchy. */
+export const TaskTreeSchema = Schema.Struct({
+    task: TaskSchema,
+    children: Schema.Array(Schema.suspend(() => TaskTreeSchema)),
+});
+/** Task dependency relationship. */
+export const TaskDependencySchema = Schema.Struct({
+    blockerId: TaskIdSchema,
+    blockedId: TaskIdSchema,
+    createdAt: Schema.DateFromSelf,
+});
+/** Input for creating a new task. */
+export const CreateTaskInputSchema = Schema.Struct({
+    title: Schema.String,
+    description: Schema.optional(Schema.String),
+    parentId: Schema.optional(Schema.NullOr(Schema.String)),
+    score: Schema.optional(Schema.Number.pipe(Schema.int())),
+    metadata: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+});
+/** Input for updating an existing task. */
+export const UpdateTaskInputSchema = Schema.Struct({
+    title: Schema.optional(Schema.String),
+    description: Schema.optional(Schema.String),
+    status: Schema.optional(TaskStatusSchema),
+    parentId: Schema.optional(Schema.NullOr(Schema.String)),
+    score: Schema.optional(Schema.Number.pipe(Schema.int())),
+    metadata: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+});
+/** Cursor for pagination (score + id based). */
+export const TaskCursorSchema = Schema.Struct({
+    score: Schema.Number,
+    id: Schema.String,
+});
+/** Filter options for task queries. */
+export const TaskFilterSchema = Schema.Struct({
+    status: Schema.optional(Schema.Union(TaskStatusSchema, Schema.Array(TaskStatusSchema))),
+    parentId: Schema.optional(Schema.NullOr(Schema.String)),
+    limit: Schema.optional(Schema.Number.pipe(Schema.int())),
+    /** Search in title and description (case-insensitive) */
+    search: Schema.optional(Schema.String),
+    /** Cursor for keyset pagination (returns tasks after this cursor) */
+    cursor: Schema.optional(TaskCursorSchema),
+    /** Exclude tasks that have an active claim in task_claims (prevents thundering herd) */
+    excludeClaimed: Schema.optional(Schema.Boolean),
+});
+// =============================================================================
+// VALIDATION FUNCTIONS
+// =============================================================================
+/**
+ * Check if a string is a valid task status.
+ */
+export const isValidTaskStatus = (status) => {
+    return TASK_STATUSES.includes(status);
+};
+/**
+ * Error thrown when a task status is invalid.
+ */
+export class InvalidTaskStatusError extends Error {
+    status;
+    constructor(status) {
+        super(`Invalid task status: "${status}". Valid statuses: ${TASK_STATUSES.join(", ")}`);
+        this.status = status;
+        this.name = "InvalidTaskStatusError";
+    }
+}
+/**
+ * Validate and return a TaskStatus, or throw if invalid.
+ */
+export const assertTaskStatus = (status) => {
+    if (!isValidTaskStatus(status)) {
+        throw new InvalidTaskStatusError(status);
+    }
+    return status;
+};
+/**
+ * Check if a string is a valid task ID format.
+ */
+export const isValidTaskId = (id) => {
+    return TASK_ID_PATTERN.test(id);
+};
+/**
+ * Error thrown when a task ID is invalid.
+ */
+export class InvalidTaskIdError extends Error {
+    id;
+    constructor(id) {
+        super(`Invalid task ID: "${id}". Expected format: tx-[a-z0-9]{6,12}`);
+        this.id = id;
+        this.name = "InvalidTaskIdError";
+    }
+}
+/**
+ * Validate and return a branded TaskId, or throw if invalid.
+ */
+export const assertTaskId = (id) => {
+    if (!isValidTaskId(id)) {
+        throw new InvalidTaskIdError(id);
+    }
+    return id;
+};
 //# sourceMappingURL=task.js.map