@jamesaphoenix/tx-types 0.4.2 → 0.4.4

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

package/dist/task.js.map

@@ -1 +1 @@
-{"version":3,"file":"task.js","sourceRoot":"","sources":["../src/task.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,SAAS;IACT,OAAO;IACP,UAAU;IACV,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,uBAAuB;IACvB,MAAM;CACE,CAAC;AA2GX;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA8C;IAC1E,OAAO,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC;IAC3D,KAAK,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC;IAChD,QAAQ,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC;IAChD,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC;IACrC,OAAO,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC;IACnD,MAAM,EAAE,CAAC,QAAQ,EAAE,uBAAuB,EAAE,MAAM,CAAC;IACnD,qBAAqB,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC;IACnD,IAAI,EAAE,CAAC,SAAS,CAAC;CACT,CAAC"}
+{"version":3,"file":"task.js","sourceRoot":"","sources":["../src/task.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,SAAS;IACT,OAAO;IACP,UAAU;IACV,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,uBAAuB;IACvB,MAAM;CACE,CAAC;AAEX;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,qBAAqB,CAAC;AAErD;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA8C;IAC1E,OAAO,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC;IAC3D,KAAK,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC;IAChD,QAAQ,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC;IAChD,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC;IACrC,OAAO,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC;IACnD,MAAM,EAAE,CAAC,QAAQ,EAAE,uBAAuB,EAAE,MAAM,CAAC;IACnD,qBAAqB,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC;IACnD,IAAI,EAAE,CAAC,SAAS,CAAC;CACT,CAAC;AAEX,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF,uDAAuD;AACvD,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC,CAAA;AAGhE,2DAA2D;AAC3D,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC5C,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,EAC/B,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CACvB,CAAA;AAGD;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,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,YAAY;IAC9B,SAAS,EAAE,MAAM,CAAC,YAAY;IAC9B,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAC/C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;CACvE,CAAC,CAAA;AAGF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,GAAG,UAAU,CAAC,MAAM;IACpB,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,mDAAmD;AACnD,MAAM,CAAC,MAAM,cAAc,GAAiC,MAAM,CAAC,MAAM,CAAC;IACxE,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAiC,EAAE,CAAC,cAAc,CAAC,CAAC;CAC3F,CAAC,CAAA;AAMF,oCAAoC;AACpC,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,SAAS,EAAE,YAAY;IACvB,SAAS,EAAE,YAAY;IACvB,SAAS,EAAE,MAAM,CAAC,YAAY;CAC/B,CAAC,CAAA;AAGF,qCAAqC;AACrC,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvD,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACxD,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,2CAA2C;AAC3C,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IACzC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvD,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACxD,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,gDAAgD;AAChD,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,EAAE,EAAE,MAAM,CAAC,MAAM;CAClB,CAAC,CAAA;AAGF,uCAAuC;AACvC,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACvF,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvD,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACxD,yDAAyD;IACzD,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,qEAAqE;IACrE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IACzC,wFAAwF;IACxF,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CAChD,CAAC,CAAA;AAGF,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAwB,EAAE;IACxE,OAAO,aAAa,CAAC,QAAQ,CAAC,MAAoB,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IACnB;IAA5B,YAA4B,MAAc;QACxC,KAAK,CAAC,yBAAyB,MAAM,sBAAsB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAD7D,WAAM,GAAN,MAAM,CAAQ;QAExC,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;IACvC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAc,EAAE;IAC7D,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,EAAU,EAAgB,EAAE;IACxD,OAAO,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IACf;IAA5B,YAA4B,EAAU;QACpC,KAAK,CAAC,qBAAqB,EAAE,uCAAuC,CAAC,CAAC;QAD5C,OAAE,GAAF,EAAE,CAAQ;QAEpC,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,EAAU,EAAU,EAAE;IACjD,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC"}

package/dist/tracked-project.d.ts

@@ -3,57 +3,47 @@
  *
  * Tracked projects are directories that the daemon monitors for JSONL
  * transcripts to process for learning extraction.
+ * Core type definitions using Effect Schema (Doctrine Rule 10).
  *
  * @see PRD-015 for the JSONL daemon and knowledge promotion pipeline
  */
-/**
- * Source type of the AI tool generating transcripts.
- *
- * - claude: Claude Code
- * - cursor: Cursor IDE
- * - windsurf: Windsurf IDE
- * - other: Other AI coding tools
- */
-export type SourceType = "claude" | "cursor" | "windsurf" | "other";
+import { Schema } from "effect";
 /**
  * All valid source types.
  */
 export declare const SOURCE_TYPES: readonly ["claude", "cursor", "windsurf", "other"];
-/**
- * Unique identifier for a tracked project.
- */
+/** Source type of the AI tool generating transcripts. */
+export declare const SourceTypeSchema: Schema.Literal<["claude", "cursor", "windsurf", "other"]>;
+export type SourceType = typeof SourceTypeSchema.Type;
+/** Unique identifier for a tracked project. */
 export type TrackedProjectId = number;
-/**
- * A project directory tracked by the daemon for transcript processing.
- */
-export interface TrackedProject {
+/** A project directory tracked by the daemon for transcript processing. */
+export declare const TrackedProjectSchema: Schema.Struct<{
     /** Unique database ID */
-    readonly id: TrackedProjectId;
+    id: Schema.filter<typeof Schema.Number>;
     /** Absolute path to the project directory */
-    readonly projectPath: string;
+    projectPath: typeof Schema.String;
     /** Optional project identifier (for linking to tx database) */
-    readonly projectId: string | null;
+    projectId: Schema.NullOr<typeof Schema.String>;
     /** Type of AI tool generating transcripts */
-    readonly sourceType: SourceType;
+    sourceType: Schema.Literal<["claude", "cursor", "windsurf", "other"]>;
     /** When the project was added for tracking */
-    readonly addedAt: Date;
+    addedAt: typeof Schema.DateFromSelf;
     /** Whether tracking is currently enabled */
-    readonly enabled: boolean;
-}
-/**
- * Input for tracking a new project.
- */
-export interface CreateTrackedProjectInput {
+    enabled: typeof Schema.Boolean;
+}>;
+export type TrackedProject = typeof TrackedProjectSchema.Type;
+/** Input for tracking a new project. */
+export declare const CreateTrackedProjectInputSchema: Schema.Struct<{
     /** Absolute path to the project directory */
-    readonly projectPath: string;
+    projectPath: typeof Schema.String;
     /** Optional project identifier */
-    readonly projectId?: string | null;
+    projectId: Schema.optional<Schema.NullOr<typeof Schema.String>>;
     /** Type of AI tool (defaults to 'claude') */
-    readonly sourceType?: SourceType;
-}
-/**
- * Database row representation for daemon_tracked_projects table.
- */
+    sourceType: Schema.optional<Schema.Literal<["claude", "cursor", "windsurf", "other"]>>;
+}>;
+export type CreateTrackedProjectInput = typeof CreateTrackedProjectInputSchema.Type;
+/** Database row representation for daemon_tracked_projects table. */
 export interface TrackedProjectRow {
     readonly id: number;
     readonly project_path: string;

package/dist/tracked-project.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tracked-project.d.ts","sourceRoot":"","sources":["../src/tracked-project.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,CAAA;AAEnE;;GAEG;AACH,eAAO,MAAM,YAAY,oDAAqD,CAAA;AAE9E;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAA;AAErC;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,yBAAyB;IACzB,QAAQ,CAAC,EAAE,EAAE,gBAAgB,CAAA;IAC7B,6CAA6C;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,+DAA+D;IAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACjC,6CAA6C;IAC7C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAA;IACtB,4CAA4C;IAC5C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,6CAA6C;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,kCAAkC;IAClC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,6CAA6C;IAC7C,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAA;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB"}
+{"version":3,"file":"tracked-project.d.ts","sourceRoot":"","sources":["../src/tracked-project.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B;;GAEG;AACH,eAAO,MAAM,YAAY,oDAAqD,CAAA;AAM9E,yDAAyD;AACzD,eAAO,MAAM,gBAAgB,2DAAkC,CAAA;AAC/D,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,+CAA+C;AAC/C,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAA;AAErC,2EAA2E;AAC3E,eAAO,MAAM,oBAAoB;IAC/B,yBAAyB;;IAEzB,6CAA6C;;IAE7C,+DAA+D;;IAE/D,6CAA6C;;IAE7C,8CAA8C;;IAE9C,4CAA4C;;EAE5C,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAE7D,wCAAwC;AACxC,eAAO,MAAM,+BAA+B;IAC1C,6CAA6C;;IAE7C,kCAAkC;;IAElC,6CAA6C;;EAE7C,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,OAAO,+BAA+B,CAAC,IAAI,CAAA;AAMnF,qEAAqE;AACrE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB"}

package/dist/tracked-project.js

@@ -3,11 +3,45 @@
  *
  * Tracked projects are directories that the daemon monitors for JSONL
  * transcripts to process for learning extraction.
+ * Core type definitions using Effect Schema (Doctrine Rule 10).
  *
  * @see PRD-015 for the JSONL daemon and knowledge promotion pipeline
  */
+import { Schema } from "effect";
+// =============================================================================
+// CONSTANTS
+// =============================================================================
 /**
  * All valid source types.
  */
 export const SOURCE_TYPES = ["claude", "cursor", "windsurf", "other"];
+// =============================================================================
+// SCHEMAS & TYPES
+// =============================================================================
+/** Source type of the AI tool generating transcripts. */
+export const SourceTypeSchema = Schema.Literal(...SOURCE_TYPES);
+/** A project directory tracked by the daemon for transcript processing. */
+export const TrackedProjectSchema = Schema.Struct({
+    /** Unique database ID */
+    id: Schema.Number.pipe(Schema.int()),
+    /** Absolute path to the project directory */
+    projectPath: Schema.String,
+    /** Optional project identifier (for linking to tx database) */
+    projectId: Schema.NullOr(Schema.String),
+    /** Type of AI tool generating transcripts */
+    sourceType: SourceTypeSchema,
+    /** When the project was added for tracking */
+    addedAt: Schema.DateFromSelf,
+    /** Whether tracking is currently enabled */
+    enabled: Schema.Boolean,
+});
+/** Input for tracking a new project. */
+export const CreateTrackedProjectInputSchema = Schema.Struct({
+    /** Absolute path to the project directory */
+    projectPath: Schema.String,
+    /** Optional project identifier */
+    projectId: Schema.optional(Schema.NullOr(Schema.String)),
+    /** Type of AI tool (defaults to 'claude') */
+    sourceType: Schema.optional(SourceTypeSchema),
+});
 //# sourceMappingURL=tracked-project.js.map

package/dist/tracked-project.js.map

@@ -1 +1 @@
-{"version":3,"file":"tracked-project.js","sourceRoot":"","sources":["../src/tracked-project.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAU,CAAA"}
+{"version":3,"file":"tracked-project.js","sourceRoot":"","sources":["../src/tracked-project.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAU,CAAA;AAE9E,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF,yDAAyD;AACzD,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,CAAA;AAM/D,2EAA2E;AAC3E,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,yBAAyB;IACzB,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,6CAA6C;IAC7C,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,+DAA+D;IAC/D,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,6CAA6C;IAC7C,UAAU,EAAE,gBAAgB;IAC5B,8CAA8C;IAC9C,OAAO,EAAE,MAAM,CAAC,YAAY;IAC5B,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC,OAAO;CACxB,CAAC,CAAA;AAGF,wCAAwC;AACxC,MAAM,CAAC,MAAM,+BAA+B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3D,6CAA6C;IAC7C,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,kCAAkC;IAClC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,6CAA6C;IAC7C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC;CAC9C,CAAC,CAAA"}