@jamesaphoenix/tx-types 0.4.2 → 0.4.4

package/dist/index.d.ts

@@ -1,29 +1,29 @@
 /**
  * @tx/types - Shared TypeScript types for tx
  *
- * Zero runtime dependencies - pure TypeScript types only.
+ * Effect Schema definitions providing both compile-time types and runtime validation.
  * Works with any runtime (Node, Bun, Deno).
  *
  * @example
  * ```typescript
  * import { Task, TaskWithDeps, TaskId, TaskStatus } from "@jamesaphoenix/tx-types";
+ * import { TaskSchema, TaskWithDepsSchema } from "@jamesaphoenix/tx-types";
  * import { Learning, LearningWithScore } from "@jamesaphoenix/tx-types";
  * import { Attempt, Run } from "@jamesaphoenix/tx-types";
  *
  * // Or import from specific modules:
- * import type { Task, TaskWithDeps } from "@tx/types/task";
- * import type { Learning } from "@tx/types/learning";
+ * import { TaskSchema, type Task, type TaskWithDeps } from "@tx/types/task";
+ * import { LearningSchema, type Learning } from "@tx/types/learning";
  * ```
  */
-export { TASK_STATUSES, VALID_TRANSITIONS, type TaskStatus, type TaskId, type Task, type TaskWithDeps, type TaskTree, type TaskDependency, type CreateTaskInput, type UpdateTaskInput, type TaskFilter, type TaskCursor, type TaskRow, type DependencyRow, } from "./task.js";
-export { LEARNING_SOURCE_TYPES, type LearningSourceType, type LearningId, type Learning, type LearningWithScore, type CreateLearningInput, type UpdateLearningInput, type LearningQuery, type ContextOptions, type ContextResult, type GraphExpansionStats, type LearningSearchResult, type LearningRow, type LearningRowWithBM25, type RetrievalOptions, type GraphExpansionQueryOptions, type DiversificationOptions, } from "./learning.js";
-export { type FileLearningId, type FileLearning, type CreateFileLearningInput, type FileLearningRow, } from "./file-learning.js";
-export { ATTEMPT_OUTCOMES, type AttemptOutcome, type AttemptId, type Attempt, type CreateAttemptInput, type AttemptRow, } from "./attempt.js";
-export { RUN_STATUSES, type RunId, type RunStatus, type Run, type CreateRunInput, type UpdateRunInput, type RunRow, } from "./run.js";
-export { ANCHOR_TYPES, ANCHOR_STATUSES, INVALIDATION_SOURCES, type AnchorId, type AnchorType, type AnchorStatus, type Anchor, type AnchorWithFreshness, type CreateAnchorInput, type UpdateAnchorInput, type AnchorRow, type InvalidationSource, type InvalidationLog, type InvalidationLogRow, } from "./anchor.js";
-export { NODE_TYPES, EDGE_TYPES, type EdgeId, type NodeType, type EdgeType, type Edge, type CreateEdgeInput, type UpdateEdgeInput, type EdgeRow, type NeighborNode, } from "./edge.js";
-export { type ProcessedHashId, type ProcessedHash, type CreateProcessedHashInput, type ProcessedHashRow, type FileProgressId, type FileProgress, type UpsertFileProgressInput, type FileProgressRow, type HashCheckResult, type LineProcessResult, type FileProcessResult, type DeduplicationOptions, } from "./deduplication.js";
-export { CANDIDATE_CONFIDENCES, CANDIDATE_CATEGORIES, CANDIDATE_STATUSES, type CandidateConfidence, type CandidateCategory, type CandidateStatus, type CandidateId, type TranscriptChunk, type ExtractedCandidate, type LearningCandidate, type CreateCandidateInput, type UpdateCandidateInput, type CandidateFilter, type ExtractionResult, type CandidateRow, } from "./candidate.js";
-export { SYMBOL_KINDS, IMPORT_KINDS, type SymbolKind, type SymbolInfo, type ImportKind, type ImportInfo, type SymbolPattern, type Match, } from "./symbol.js";
-export { SOURCE_TYPES, type SourceType, type TrackedProjectId, type TrackedProject, type CreateTrackedProjectInput, type TrackedProjectRow, } from "./tracked-project.js";
+export { TASK_STATUSES, VALID_TRANSITIONS, TASK_ID_PATTERN, TaskStatusSchema, TaskIdSchema, TaskSchema, TaskWithDepsSchema, TaskTreeSchema, TaskDependencySchema, CreateTaskInputSchema, UpdateTaskInputSchema, TaskCursorSchema, TaskFilterSchema, isValidTaskId, assertTaskId, InvalidTaskIdError, isValidTaskStatus, assertTaskStatus, InvalidTaskStatusError, type TaskStatus, type TaskId, type Task, type TaskWithDeps, type TaskTree, type TaskDependency, type CreateTaskInput, type UpdateTaskInput, type TaskFilter, type TaskCursor, type TaskRow, type DependencyRow, } from "./task.js";
+export { LEARNING_SOURCE_TYPES, LearningSourceTypeSchema, LearningIdSchema, LearningSchema, LearningWithScoreSchema, CreateLearningInputSchema, UpdateLearningInputSchema, LearningQuerySchema, ContextOptionsSchema, ContextResultSchema, LearningSearchResultSchema, DiversificationOptionsSchema, RetrievalOptionsSchema, type LearningSourceType, type LearningId, type Learning, type LearningWithScore, type CreateLearningInput, type UpdateLearningInput, type LearningQuery, type ContextOptions, type ContextResult, type LearningSearchResult, type LearningRow, type LearningRowWithBM25, type RetrievalOptions, type DiversificationOptions, } from "./learning.js";
+export { FileLearningIdSchema, FileLearningSchema, CreateFileLearningInputSchema, type FileLearningId, type FileLearning, type CreateFileLearningInput, type FileLearningRow, } from "./file-learning.js";
+export { ATTEMPT_OUTCOMES, AttemptOutcomeSchema, AttemptIdSchema, AttemptSchema, CreateAttemptInputSchema, isValidAttemptOutcome, assertAttemptOutcome, InvalidAttemptOutcomeError, type AttemptOutcome, type AttemptId, type Attempt, type CreateAttemptInput, type AttemptRow, } from "./attempt.js";
+export { RUN_STATUSES, RunStatusSchema, RunIdSchema, RunSchema, CreateRunInputSchema, UpdateRunInputSchema, isValidRunStatus, assertRunStatus, InvalidRunStatusError, isValidRunId, assertRunId, InvalidRunIdError, type RunId, type RunStatus, type Run, type CreateRunInput, type UpdateRunInput, type RunRow, } from "./run.js";
+export { ProcessedHashSchema, CreateProcessedHashInputSchema, FileProgressSchema, UpsertFileProgressInputSchema, HashCheckResultSchema, LineProcessResultSchema, FileProcessResultSchema, DeduplicationOptionsSchema, type ProcessedHashId, type ProcessedHash, type CreateProcessedHashInput, type ProcessedHashRow, type FileProgressId, type FileProgress, type UpsertFileProgressInput, type FileProgressRow, type HashCheckResult, type LineProcessResult, type FileProcessResult, type DeduplicationOptions, } from "./deduplication.js";
+export { SOURCE_TYPES, SourceTypeSchema, TrackedProjectSchema, CreateTrackedProjectInputSchema, type SourceType, type TrackedProjectId, type TrackedProject, type CreateTrackedProjectInput, type TrackedProjectRow, } from "./tracked-project.js";
+export { DOC_KINDS, DOC_STATUSES, DOC_LINK_TYPES, TASK_DOC_LINK_TYPES, INVARIANT_ENFORCEMENT_TYPES, INVARIANT_STATUSES, DocKindSchema, DocStatusSchema, DocLinkTypeSchema, TaskDocLinkTypeSchema, DocIdSchema, isValidDocKind, assertDocKind, InvalidDocKindError, isValidDocStatus, assertDocStatus, InvalidDocStatusError, isValidDocLinkType, assertDocLinkType, InvalidDocLinkTypeError, DocSchema, DocWithLinksSchema, DocLinkSchema, TaskDocLinkSchema, CreateDocInputSchema, InvariantEnforcementSchema, InvariantStatusSchema, InvariantIdSchema, InvariantSchema, InvariantCheckSchema, UpsertInvariantInputSchema, RecordInvariantCheckInputSchema, DocGraphNodeSchema, DocGraphEdgeSchema, DocGraphSchema, type DocKind, type DocStatus, type DocLinkType, type TaskDocLinkType, type DocId, type Doc, type DocWithLinks, type DocLink, type TaskDocLink, type CreateDocInput, type InvariantEnforcement, type InvariantStatus, type InvariantId, type Invariant, type InvariantCheck, type UpsertInvariantInput, type RecordInvariantCheckInput, type DocGraphNode, type DocGraphEdge, type DocGraph, type DocRow, type DocLinkRow, type TaskDocLinkRow, type InvariantRow, type InvariantCheckRow, } from "./doc.js";
+export { FINDING_SEVERITIES, LOSS_WEIGHTS, FindingSeveritySchema, FindingSchema, DuplicateSchema, DedupResultSchema, CycleConfigSchema, RoundMetricsSchema, CycleResultSchema, type FindingSeverity, type Finding, type Duplicate, type DedupResult, type CycleConfig, type RoundMetrics, type CycleResult, type CycleProgressEvent, } from "./cycle.js";
+export { TaskWithDepsSerializedSchema, LearningSerializedSchema, LearningWithScoreSerializedSchema, FileLearningsSerializedSchema, RunSerializedSchema, AttemptSerializedSchema, type TaskWithDepsSerialized, type LearningSerialized, type LearningWithScoreSerialized, type FileLearningsSerialized, type RunSerialized, type AttemptSerialized, serializeTask, serializeLearning, serializeLearningWithScore, serializeFileLearning, serializeRun, serializeAttempt, ErrorResponseSchema, type ListResponse, type PaginatedResponse, type ActionResponse, type ErrorResponse, TaskReadyResponseSchema, TaskListResponseSchema, TaskDetailResponseSchema, TaskCompletionResponseSchema, TaskTreeResponseSchema, type TaskReadyResponse, type TaskListResponse, type TaskDetailResponse, type TaskCompletionResponse, type TaskTreeResponse, LearningSearchResponseSchema, ContextResponseSchema, FileLearningListResponseSchema, type LearningSearchResponse, type ContextResponse, type FileLearningListResponse, RunListResponseSchema, RunDetailResponseSchema, type RunListResponse, type RunDetailResponse, SyncExportResponseSchema, SyncImportResponseSchema, type SyncExportResponse, type SyncImportResponse, } from "./response.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,KAAK,UAAU,EACf,KAAK,MAAM,EACX,KAAK,IAAI,EACT,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,OAAO,EACZ,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,qBAAqB,EACrB,KAAK,kBAAkB,EACvB,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,WAAW,EAChB,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACrB,KAAK,0BAA0B,EAC/B,KAAK,sBAAsB,GAC5B,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAC5B,KAAK,eAAe,GACrB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,gBAAgB,EAChB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,kBAAkB,EACvB,KAAK,UAAU,GAChB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,YAAY,EACZ,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,GAAG,EACR,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,MAAM,GACZ,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,MAAM,EACX,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,kBAAkB,GACxB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,UAAU,EACV,UAAU,EACV,KAAK,MAAM,EACX,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,IAAI,EACT,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,OAAO,EACZ,KAAK,YAAY,GAClB,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,wBAAwB,EAC7B,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAC5B,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,GAC1B,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,YAAY,GAClB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,KAAK,GACX,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,yBAAyB,EAC9B,KAAK,iBAAiB,GACvB,MAAM,sBAAsB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,YAAY,EACZ,UAAU,EACV,kBAAkB,EAClB,cAAc,EACd,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,EACtB,KAAK,UAAU,EACf,KAAK,MAAM,EACX,KAAK,IAAI,EACT,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,OAAO,EACZ,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,0BAA0B,EAC1B,4BAA4B,EAC5B,sBAAsB,EACtB,KAAK,kBAAkB,EACvB,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,oBAAoB,EACzB,KAAK,WAAW,EAChB,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,GAC5B,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,6BAA6B,EAC7B,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAC5B,KAAK,eAAe,GACrB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,oBAAoB,EACpB,0BAA0B,EAC1B,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,kBAAkB,EACvB,KAAK,UAAU,GAChB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,WAAW,EACX,SAAS,EACT,oBAAoB,EACpB,oBAAoB,EACpB,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,GAAG,EACR,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,MAAM,GACZ,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,mBAAmB,EACnB,8BAA8B,EAC9B,kBAAkB,EAClB,6BAA6B,EAC7B,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,EAC1B,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,wBAAwB,EAC7B,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAC5B,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,GAC1B,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,oBAAoB,EACpB,+BAA+B,EAC/B,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,yBAAyB,EAC9B,KAAK,iBAAiB,GACvB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,SAAS,EACT,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,iBAAiB,EACjB,uBAAuB,EACvB,SAAS,EACT,kBAAkB,EAClB,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,0BAA0B,EAC1B,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,oBAAoB,EACpB,0BAA0B,EAC1B,+BAA+B,EAC/B,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,KAAK,EACV,KAAK,GAAG,EACR,KAAK,YAAY,EACjB,KAAK,OAAO,EACZ,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,KAAK,yBAAyB,EAC9B,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,iBAAiB,GACvB,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,eAAe,EACpB,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,kBAAkB,GACxB,MAAM,YAAY,CAAA;AAGnB,OAAO,EAEL,4BAA4B,EAC5B,wBAAwB,EACxB,iCAAiC,EACjC,6BAA6B,EAC7B,mBAAmB,EACnB,uBAAuB,EAEvB,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,EACvB,KAAK,2BAA2B,EAChC,KAAK,uBAAuB,EAC5B,KAAK,aAAa,EAClB,KAAK,iBAAiB,EAEtB,aAAa,EACb,iBAAiB,EACjB,0BAA0B,EAC1B,qBAAqB,EACrB,YAAY,EACZ,gBAAgB,EAEhB,mBAAmB,EAEnB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,aAAa,EAElB,uBAAuB,EACvB,sBAAsB,EACtB,wBAAwB,EACxB,4BAA4B,EAC5B,sBAAsB,EACtB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,sBAAsB,EAC3B,KAAK,gBAAgB,EAErB,4BAA4B,EAC5B,qBAAqB,EACrB,8BAA8B,EAC9B,KAAK,sBAAsB,EAC3B,KAAK,eAAe,EACpB,KAAK,wBAAwB,EAE7B,qBAAqB,EACrB,uBAAuB,EACvB,KAAK,eAAe,EACpB,KAAK,iBAAiB,EAEtB,wBAAwB,EACxB,wBAAwB,EACxB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,eAAe,CAAC"}

package/dist/index.js

@@ -1,36 +1,53 @@
 /**
  * @tx/types - Shared TypeScript types for tx
  *
- * Zero runtime dependencies - pure TypeScript types only.
+ * Effect Schema definitions providing both compile-time types and runtime validation.
  * Works with any runtime (Node, Bun, Deno).
  *
  * @example
  * ```typescript
  * import { Task, TaskWithDeps, TaskId, TaskStatus } from "@jamesaphoenix/tx-types";
+ * import { TaskSchema, TaskWithDepsSchema } from "@jamesaphoenix/tx-types";
  * import { Learning, LearningWithScore } from "@jamesaphoenix/tx-types";
  * import { Attempt, Run } from "@jamesaphoenix/tx-types";
  *
  * // Or import from specific modules:
- * import type { Task, TaskWithDeps } from "@tx/types/task";
- * import type { Learning } from "@tx/types/learning";
+ * import { TaskSchema, type Task, type TaskWithDeps } from "@tx/types/task";
+ * import { LearningSchema, type Learning } from "@tx/types/learning";
  * ```
  */
-// Task types
-export { TASK_STATUSES, VALID_TRANSITIONS, } from "./task.js";
-// Learning types
-export { LEARNING_SOURCE_TYPES, } from "./learning.js";
-// Attempt types
-export { ATTEMPT_OUTCOMES, } from "./attempt.js";
-// Run types
-export { RUN_STATUSES, } from "./run.js";
-// Anchor types
-export { ANCHOR_TYPES, ANCHOR_STATUSES, INVALIDATION_SOURCES, } from "./anchor.js";
-// Edge types
-export { NODE_TYPES, EDGE_TYPES, } from "./edge.js";
-// Candidate types (learning extraction from transcripts)
-export { CANDIDATE_CONFIDENCES, CANDIDATE_CATEGORIES, CANDIDATE_STATUSES, } from "./candidate.js";
-// Symbol extraction types (code intelligence)
-export { SYMBOL_KINDS, IMPORT_KINDS, } from "./symbol.js";
-// Tracked project types (daemon monitoring)
-export { SOURCE_TYPES, } from "./tracked-project.js";
+// Task types & schemas
+export { TASK_STATUSES, VALID_TRANSITIONS, TASK_ID_PATTERN, TaskStatusSchema, TaskIdSchema, TaskSchema, TaskWithDepsSchema, TaskTreeSchema, TaskDependencySchema, CreateTaskInputSchema, UpdateTaskInputSchema, TaskCursorSchema, TaskFilterSchema, isValidTaskId, assertTaskId, InvalidTaskIdError, isValidTaskStatus, assertTaskStatus, InvalidTaskStatusError, } from "./task.js";
+// Learning types & schemas
+export { LEARNING_SOURCE_TYPES, LearningSourceTypeSchema, LearningIdSchema, LearningSchema, LearningWithScoreSchema, CreateLearningInputSchema, UpdateLearningInputSchema, LearningQuerySchema, ContextOptionsSchema, ContextResultSchema, LearningSearchResultSchema, DiversificationOptionsSchema, RetrievalOptionsSchema, } from "./learning.js";
+// File learning types & schemas
+export { FileLearningIdSchema, FileLearningSchema, CreateFileLearningInputSchema, } from "./file-learning.js";
+// Attempt types & schemas
+export { ATTEMPT_OUTCOMES, AttemptOutcomeSchema, AttemptIdSchema, AttemptSchema, CreateAttemptInputSchema, isValidAttemptOutcome, assertAttemptOutcome, InvalidAttemptOutcomeError, } from "./attempt.js";
+// Run types & schemas
+export { RUN_STATUSES, RunStatusSchema, RunIdSchema, RunSchema, CreateRunInputSchema, UpdateRunInputSchema, isValidRunStatus, assertRunStatus, InvalidRunStatusError, isValidRunId, assertRunId, InvalidRunIdError, } from "./run.js";
+// Deduplication types & schemas
+export { ProcessedHashSchema, CreateProcessedHashInputSchema, FileProgressSchema, UpsertFileProgressInputSchema, HashCheckResultSchema, LineProcessResultSchema, FileProcessResultSchema, DeduplicationOptionsSchema, } from "./deduplication.js";
+// Tracked project types & schemas (daemon monitoring)
+export { SOURCE_TYPES, SourceTypeSchema, TrackedProjectSchema, CreateTrackedProjectInputSchema, } from "./tracked-project.js";
+// Doc types & schemas
+export { DOC_KINDS, DOC_STATUSES, DOC_LINK_TYPES, TASK_DOC_LINK_TYPES, INVARIANT_ENFORCEMENT_TYPES, INVARIANT_STATUSES, DocKindSchema, DocStatusSchema, DocLinkTypeSchema, TaskDocLinkTypeSchema, DocIdSchema, isValidDocKind, assertDocKind, InvalidDocKindError, isValidDocStatus, assertDocStatus, InvalidDocStatusError, isValidDocLinkType, assertDocLinkType, InvalidDocLinkTypeError, DocSchema, DocWithLinksSchema, DocLinkSchema, TaskDocLinkSchema, CreateDocInputSchema, InvariantEnforcementSchema, InvariantStatusSchema, InvariantIdSchema, InvariantSchema, InvariantCheckSchema, UpsertInvariantInputSchema, RecordInvariantCheckInputSchema, DocGraphNodeSchema, DocGraphEdgeSchema, DocGraphSchema, } from "./doc.js";
+// Cycle types & schemas (cycle-based issue discovery)
+export { FINDING_SEVERITIES, LOSS_WEIGHTS, FindingSeveritySchema, FindingSchema, DuplicateSchema, DedupResultSchema, CycleConfigSchema, RoundMetricsSchema, CycleResultSchema, } from "./cycle.js";
+// Response types & schemas (shared schemas for CLI, MCP, API, SDK)
+export { 
+// Serialized entity schemas
+TaskWithDepsSerializedSchema, LearningSerializedSchema, LearningWithScoreSerializedSchema, FileLearningsSerializedSchema, RunSerializedSchema, AttemptSerializedSchema, 
+// Serialization functions
+serializeTask, serializeLearning, serializeLearningWithScore, serializeFileLearning, serializeRun, serializeAttempt, 
+// Response envelope schemas
+ErrorResponseSchema, 
+// Task response schemas & types
+TaskReadyResponseSchema, TaskListResponseSchema, TaskDetailResponseSchema, TaskCompletionResponseSchema, TaskTreeResponseSchema, 
+// Learning response schemas & types
+LearningSearchResponseSchema, ContextResponseSchema, FileLearningListResponseSchema, 
+// Run response schemas & types
+RunListResponseSchema, RunDetailResponseSchema, 
+// Sync response schemas & types
+SyncExportResponseSchema, SyncImportResponseSchema, } from "./response.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,aAAa;AACb,OAAO,EACL,aAAa,EACb,iBAAiB,GAalB,MAAM,WAAW,CAAC;AAEnB,iBAAiB;AACjB,OAAO,EACL,qBAAqB,GAiBtB,MAAM,eAAe,CAAC;AAUvB,gBAAgB;AAChB,OAAO,EACL,gBAAgB,GAMjB,MAAM,cAAc,CAAC;AAEtB,YAAY;AACZ,OAAO,EACL,YAAY,GAOb,MAAM,UAAU,CAAC;AAElB,eAAe;AACf,OAAO,EACL,YAAY,EACZ,eAAe,EACf,oBAAoB,GAYrB,MAAM,aAAa,CAAA;AAEpB,aAAa;AACb,OAAO,EACL,UAAU,EACV,UAAU,GASX,MAAM,WAAW,CAAC;AAkBnB,yDAAyD;AACzD,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,GAanB,MAAM,gBAAgB,CAAC;AAExB,8CAA8C;AAC9C,OAAO,EACL,YAAY,EACZ,YAAY,GAOb,MAAM,aAAa,CAAA;AAEpB,4CAA4C;AAC5C,OAAO,EACL,YAAY,GAMb,MAAM,sBAAsB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,uBAAuB;AACvB,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,YAAY,EACZ,UAAU,EACV,kBAAkB,EAClB,cAAc,EACd,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,GAavB,MAAM,WAAW,CAAC;AAEnB,2BAA2B;AAC3B,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,0BAA0B,EAC1B,4BAA4B,EAC5B,sBAAsB,GAevB,MAAM,eAAe,CAAC;AAEvB,gCAAgC;AAChC,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,6BAA6B,GAK9B,MAAM,oBAAoB,CAAC;AAE5B,0BAA0B;AAC1B,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,oBAAoB,EACpB,0BAA0B,GAM3B,MAAM,cAAc,CAAC;AAEtB,sBAAsB;AACtB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,WAAW,EACX,SAAS,EACT,oBAAoB,EACpB,oBAAoB,EACpB,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,YAAY,EACZ,WAAW,EACX,iBAAiB,GAOlB,MAAM,UAAU,CAAC;AAElB,gCAAgC;AAChC,OAAO,EACL,mBAAmB,EACnB,8BAA8B,EAC9B,kBAAkB,EAClB,6BAA6B,EAC7B,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,GAa3B,MAAM,oBAAoB,CAAC;AAE5B,sDAAsD;AACtD,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,oBAAoB,EACpB,+BAA+B,GAMhC,MAAM,sBAAsB,CAAC;AAE9B,sBAAsB;AACtB,OAAO,EACL,SAAS,EACT,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,iBAAiB,EACjB,uBAAuB,EACvB,SAAS,EACT,kBAAkB,EAClB,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,0BAA0B,EAC1B,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,oBAAoB,EACpB,0BAA0B,EAC1B,+BAA+B,EAC/B,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,GA0Bf,MAAM,UAAU,CAAC;AAElB,sDAAsD;AACtD,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,GASlB,MAAM,YAAY,CAAA;AAEnB,mEAAmE;AACnE,OAAO;AACL,4BAA4B;AAC5B,4BAA4B,EAC5B,wBAAwB,EACxB,iCAAiC,EACjC,6BAA6B,EAC7B,mBAAmB,EACnB,uBAAuB;AAQvB,0BAA0B;AAC1B,aAAa,EACb,iBAAiB,EACjB,0BAA0B,EAC1B,qBAAqB,EACrB,YAAY,EACZ,gBAAgB;AAChB,4BAA4B;AAC5B,mBAAmB;AAMnB,gCAAgC;AAChC,uBAAuB,EACvB,sBAAsB,EACtB,wBAAwB,EACxB,4BAA4B,EAC5B,sBAAsB;AAMtB,oCAAoC;AACpC,4BAA4B,EAC5B,qBAAqB,EACrB,8BAA8B;AAI9B,+BAA+B;AAC/B,qBAAqB,EACrB,uBAAuB;AAGvB,gCAAgC;AAChC,wBAAwB,EACxB,wBAAwB,GAGzB,MAAM,eAAe,CAAC"}

package/dist/learning.d.ts

@@ -3,154 +3,182 @@
  *
  * Type definitions for the contextual learnings system.
  * See PRD-010 and DD-010 for specification.
- * 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 type { EdgeType } from "./edge.js";
+import { Schema } from "effect";
 /**
  * Valid learning source types.
  */
 export declare const LEARNING_SOURCE_TYPES: readonly ["compaction", "run", "manual", "claude_md"];
-/**
- * Learning source type - where the learning came from.
- */
-export type LearningSourceType = (typeof LEARNING_SOURCE_TYPES)[number];
-/**
- * Branded type for learning IDs.
- */
-export type LearningId = number & {
-    readonly _brand: unique symbol;
-};
-/**
- * Core learning entity.
- */
-export interface Learning {
-    readonly id: LearningId;
-    readonly content: string;
-    readonly sourceType: LearningSourceType;
-    readonly sourceRef: string | null;
-    readonly createdAt: Date;
-    readonly keywords: string[];
-    readonly category: string | null;
-    readonly usageCount: number;
-    readonly lastUsedAt: Date | null;
-    readonly outcomeScore: number | null;
-    readonly embedding: Float32Array | null;
-}
-/**
- * Learning with relevance scoring from search results.
- */
-export interface LearningWithScore extends Learning {
-    readonly relevanceScore: number;
-    readonly bm25Score: number;
-    readonly vectorScore: number;
-    readonly recencyScore: number;
+/** Learning source type - where the learning came from. */
+export declare const LearningSourceTypeSchema: Schema.Literal<["compaction", "run", "manual", "claude_md"]>;
+export type LearningSourceType = typeof LearningSourceTypeSchema.Type;
+/** Learning ID - branded integer. */
+export declare const LearningIdSchema: Schema.brand<Schema.filter<typeof Schema.Number>, "LearningId">;
+export type LearningId = typeof LearningIdSchema.Type;
+/** Core learning entity. */
+export declare const LearningSchema: Schema.Struct<{
+    id: Schema.brand<Schema.filter<typeof Schema.Number>, "LearningId">;
+    content: typeof Schema.String;
+    sourceType: Schema.Literal<["compaction", "run", "manual", "claude_md"]>;
+    sourceRef: Schema.NullOr<typeof Schema.String>;
+    createdAt: typeof Schema.DateFromSelf;
+    keywords: Schema.Array$<typeof Schema.String>;
+    category: Schema.NullOr<typeof Schema.String>;
+    usageCount: Schema.filter<typeof Schema.Number>;
+    lastUsedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+    outcomeScore: Schema.NullOr<typeof Schema.Number>;
+    embedding: Schema.NullOr<Schema.instanceOf<Float32Array<ArrayBuffer>>>;
+}>;
+export type Learning = typeof LearningSchema.Type;
+/** Learning with relevance scoring from search results. */
+export declare const LearningWithScoreSchema: Schema.Struct<{
+    relevanceScore: typeof Schema.Number;
+    bm25Score: typeof Schema.Number;
+    vectorScore: typeof Schema.Number;
+    recencyScore: typeof Schema.Number;
     /** RRF (Reciprocal Rank Fusion) score from combining BM25 and vector rankings */
-    readonly rrfScore: number;
+    rrfScore: typeof Schema.Number;
     /** Rank in BM25 results (1-indexed, 0 if not in BM25 results) */
-    readonly bm25Rank: number;
+    bm25Rank: Schema.filter<typeof Schema.Number>;
     /** Rank in vector similarity results (1-indexed, 0 if not in vector results) */
-    readonly vectorRank: number;
+    vectorRank: Schema.filter<typeof Schema.Number>;
     /** LLM reranker score (0-1, optional - only present when reranking is applied) */
-    readonly rerankerScore?: number;
-    /** Number of hops from seed (0 = direct match from RRF, 1+ = expanded via graph) */
-    readonly expansionHops?: number;
-    /** Path of learning IDs from seed to this learning (only for expanded results) */
-    readonly expansionPath?: readonly LearningId[];
-    /** Edge type that led to this learning (null for direct matches) */
-    readonly sourceEdge?: EdgeType | null;
+    rerankerScore: Schema.optional<typeof Schema.Number>;
     /** Feedback score from historical usage (0-1, 0.5 = neutral, optional) */
-    readonly feedbackScore?: number;
-}
-/**
- * Input for creating a new learning.
- */
-export interface CreateLearningInput {
-    readonly content: string;
-    readonly sourceType?: LearningSourceType;
-    readonly sourceRef?: string | null;
-    readonly keywords?: string[];
-    readonly category?: string | null;
-}
-/**
- * Input for updating an existing learning.
- */
-export interface UpdateLearningInput {
-    readonly usageCount?: number;
-    readonly lastUsedAt?: Date;
-    readonly outcomeScore?: number;
-    readonly embedding?: Float32Array;
-}
-/**
- * Options for graph expansion during search.
- * See PRD-016 for specification.
- */
-export interface GraphExpansionQueryOptions {
-    /** Enable graph expansion (default: false) */
-    readonly enabled: boolean;
-    /** Maximum traversal depth (default: 2) */
-    readonly depth?: number;
-    /** Score decay factor per hop (default: 0.7) */
-    readonly decayFactor?: number;
-    /** Maximum nodes to return from expansion (default: 100) */
-    readonly maxNodes?: number;
-    /** Filter by specific edge types (default: all types) */
-    readonly edgeTypes?: readonly EdgeType[];
-}
-/**
- * Query options for learning searches.
- */
-export interface LearningQuery {
-    readonly query: string;
-    readonly limit?: number;
-    readonly minScore?: number;
-    readonly category?: string;
-    readonly sourceType?: LearningSourceType;
-    /** Graph expansion options for traversing related learnings */
-    readonly graphExpansion?: GraphExpansionQueryOptions;
-}
-/**
- * Options for context retrieval.
- */
-export interface ContextOptions {
-    /** Enable graph expansion (default: false) */
-    readonly useGraph?: boolean;
-    /** Graph expansion depth (default: 2 per PRD-016) */
-    readonly expansionDepth?: number;
-    /** Edge types to include in expansion */
-    readonly edgeTypes?: readonly EdgeType[];
-}
-/**
- * Statistics about graph expansion during context retrieval.
- */
-export interface GraphExpansionStats {
-    readonly enabled: boolean;
-    readonly seedCount: number;
-    readonly expandedCount: number;
-    readonly maxDepthReached: number;
-}
-/**
- * Result of context retrieval for a task.
- */
-export interface ContextResult {
-    readonly taskId: string;
-    readonly taskTitle: string;
-    readonly learnings: readonly LearningWithScore[];
-    readonly searchQuery: string;
-    readonly searchDuration: number;
-    /** Graph expansion statistics (only present when useGraph=true) */
-    readonly graphExpansion?: GraphExpansionStats;
-}
-/**
- * Result of a learning search operation.
- */
-export interface LearningSearchResult {
-    readonly learnings: readonly Learning[];
-    readonly query: string;
-    readonly searchDuration: number;
-}
-/**
- * Database row type for learnings (snake_case from SQLite).
- */
+    feedbackScore: Schema.optional<typeof Schema.Number>;
+    id: Schema.brand<Schema.filter<typeof Schema.Number>, "LearningId">;
+    content: typeof Schema.String;
+    sourceType: Schema.Literal<["compaction", "run", "manual", "claude_md"]>;
+    sourceRef: Schema.NullOr<typeof Schema.String>;
+    createdAt: typeof Schema.DateFromSelf;
+    keywords: Schema.Array$<typeof Schema.String>;
+    category: Schema.NullOr<typeof Schema.String>;
+    usageCount: Schema.filter<typeof Schema.Number>;
+    lastUsedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+    outcomeScore: Schema.NullOr<typeof Schema.Number>;
+    embedding: Schema.NullOr<Schema.instanceOf<Float32Array<ArrayBuffer>>>;
+}>;
+export type LearningWithScore = typeof LearningWithScoreSchema.Type;
+/** Input for creating a new learning. */
+export declare const CreateLearningInputSchema: Schema.Struct<{
+    content: typeof Schema.String;
+    sourceType: Schema.optional<Schema.Literal<["compaction", "run", "manual", "claude_md"]>>;
+    sourceRef: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    keywords: Schema.optional<Schema.Array$<typeof Schema.String>>;
+    category: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+}>;
+export type CreateLearningInput = typeof CreateLearningInputSchema.Type;
+/** Input for updating an existing learning. */
+export declare const UpdateLearningInputSchema: Schema.Struct<{
+    usageCount: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    lastUsedAt: Schema.optional<typeof Schema.DateFromSelf>;
+    outcomeScore: Schema.optional<typeof Schema.Number>;
+    embedding: Schema.optional<Schema.instanceOf<Float32Array<ArrayBuffer>>>;
+}>;
+export type UpdateLearningInput = typeof UpdateLearningInputSchema.Type;
+/** Query options for learning searches. */
+export declare const LearningQuerySchema: Schema.Struct<{
+    query: typeof Schema.String;
+    limit: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    minScore: Schema.optional<typeof Schema.Number>;
+    category: Schema.optional<typeof Schema.String>;
+    sourceType: Schema.optional<Schema.Literal<["compaction", "run", "manual", "claude_md"]>>;
+}>;
+export type LearningQuery = typeof LearningQuerySchema.Type;
+/** Options for context retrieval. */
+export declare const ContextOptionsSchema: Schema.Struct<{
+    /** Maximum number of learnings to return (default: 10, capped at 50). Misnamed — this is a result count, not a token budget. */
+    maxTokens: Schema.optional<Schema.filter<typeof Schema.Number>>;
+}>;
+export type ContextOptions = typeof ContextOptionsSchema.Type;
+/** Result of context retrieval for a task. */
+export declare const ContextResultSchema: Schema.Struct<{
+    taskId: typeof Schema.String;
+    taskTitle: typeof Schema.String;
+    learnings: Schema.Array$<Schema.Struct<{
+        relevanceScore: typeof Schema.Number;
+        bm25Score: typeof Schema.Number;
+        vectorScore: typeof Schema.Number;
+        recencyScore: typeof Schema.Number;
+        /** RRF (Reciprocal Rank Fusion) score from combining BM25 and vector rankings */
+        rrfScore: typeof Schema.Number;
+        /** Rank in BM25 results (1-indexed, 0 if not in BM25 results) */
+        bm25Rank: Schema.filter<typeof Schema.Number>;
+        /** Rank in vector similarity results (1-indexed, 0 if not in vector results) */
+        vectorRank: Schema.filter<typeof Schema.Number>;
+        /** LLM reranker score (0-1, optional - only present when reranking is applied) */
+        rerankerScore: Schema.optional<typeof Schema.Number>;
+        /** Feedback score from historical usage (0-1, 0.5 = neutral, optional) */
+        feedbackScore: Schema.optional<typeof Schema.Number>;
+        id: Schema.brand<Schema.filter<typeof Schema.Number>, "LearningId">;
+        content: typeof Schema.String;
+        sourceType: Schema.Literal<["compaction", "run", "manual", "claude_md"]>;
+        sourceRef: Schema.NullOr<typeof Schema.String>;
+        createdAt: typeof Schema.DateFromSelf;
+        keywords: Schema.Array$<typeof Schema.String>;
+        category: Schema.NullOr<typeof Schema.String>;
+        usageCount: Schema.filter<typeof Schema.Number>;
+        lastUsedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+        outcomeScore: Schema.NullOr<typeof Schema.Number>;
+        embedding: Schema.NullOr<Schema.instanceOf<Float32Array<ArrayBuffer>>>;
+    }>>;
+    searchQuery: typeof Schema.String;
+    searchDuration: typeof Schema.Number;
+}>;
+export type ContextResult = typeof ContextResultSchema.Type;
+/** Result of a learning search operation. */
+export declare const LearningSearchResultSchema: Schema.Struct<{
+    learnings: Schema.Array$<Schema.Struct<{
+        id: Schema.brand<Schema.filter<typeof Schema.Number>, "LearningId">;
+        content: typeof Schema.String;
+        sourceType: Schema.Literal<["compaction", "run", "manual", "claude_md"]>;
+        sourceRef: Schema.NullOr<typeof Schema.String>;
+        createdAt: typeof Schema.DateFromSelf;
+        keywords: Schema.Array$<typeof Schema.String>;
+        category: Schema.NullOr<typeof Schema.String>;
+        usageCount: Schema.filter<typeof Schema.Number>;
+        lastUsedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+        outcomeScore: Schema.NullOr<typeof Schema.Number>;
+        embedding: Schema.NullOr<Schema.instanceOf<Float32Array<ArrayBuffer>>>;
+    }>>;
+    query: typeof Schema.String;
+    searchDuration: typeof Schema.Number;
+}>;
+export type LearningSearchResult = typeof LearningSearchResultSchema.Type;
+/** Options for MMR (Maximal Marginal Relevance) diversification. See PRD-017. */
+export declare const DiversificationOptionsSchema: Schema.Struct<{
+    /** Enable MMR diversification (default: false) */
+    enabled: Schema.optional<typeof Schema.Boolean>;
+    /** Trade-off between relevance (1.0) and diversity (0.0) (default: 0.7) */
+    lambda: Schema.optional<typeof Schema.Number>;
+    /** Maximum results per category for top 5 results (default: 2) */
+    maxPerCategory: Schema.optional<Schema.filter<typeof Schema.Number>>;
+}>;
+export type DiversificationOptions = typeof DiversificationOptionsSchema.Type;
+/** Options for retrieval operations. Used by RetrieverService.search(). */
+export declare const RetrievalOptionsSchema: Schema.Struct<{
+    /** Maximum number of results to return (default: 10) */
+    limit: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    /** Minimum relevance score threshold (default: 0.1) */
+    minScore: Schema.optional<typeof Schema.Number>;
+    /** Optional category filter */
+    category: Schema.optional<typeof Schema.String>;
+    /** Optional source type filter */
+    sourceType: Schema.optional<Schema.Literal<["compaction", "run", "manual", "claude_md"]>>;
+    /** MMR diversification options for result variety */
+    diversification: Schema.optional<Schema.Struct<{
+        /** Enable MMR diversification (default: false) */
+        enabled: Schema.optional<typeof Schema.Boolean>;
+        /** Trade-off between relevance (1.0) and diversity (0.0) (default: 0.7) */
+        lambda: Schema.optional<typeof Schema.Number>;
+        /** Maximum results per category for top 5 results (default: 2) */
+        maxPerCategory: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    }>>;
+}>;
+export type RetrievalOptions = typeof RetrievalOptionsSchema.Type;
+/** Database row type for learnings (snake_case from SQLite). */
 export interface LearningRow {
     id: number;
     content: string;
@@ -164,40 +192,7 @@ export interface LearningRow {
     outcome_score: number | null;
     embedding: Buffer | null;
 }
-/**
- * Options for MMR (Maximal Marginal Relevance) diversification.
- * Balances relevance with diversity to avoid redundant results.
- * See PRD-017 for specification.
- */
-export interface DiversificationOptions {
-    /** Enable MMR diversification (default: false) */
-    readonly enabled?: boolean;
-    /** Trade-off between relevance (1.0) and diversity (0.0) (default: 0.7) */
-    readonly lambda?: number;
-    /** Maximum results per category for top 5 results (default: 2) */
-    readonly maxPerCategory?: number;
-}
-/**
- * Options for retrieval operations.
- * Used by RetrieverService.search() and custom retrievers.
- */
-export interface RetrievalOptions {
-    /** Maximum number of results to return (default: 10) */
-    readonly limit?: number;
-    /** Minimum relevance score threshold (default: 0.1) */
-    readonly minScore?: number;
-    /** Optional category filter */
-    readonly category?: string;
-    /** Optional source type filter */
-    readonly sourceType?: LearningSourceType;
-    /** Graph expansion options for traversing related learnings */
-    readonly graphExpansion?: GraphExpansionQueryOptions;
-    /** MMR diversification options for result variety */
-    readonly diversification?: DiversificationOptions;
-}
-/**
- * Learning row with BM25 score from FTS5 query.
- */
+/** Learning row with BM25 score from FTS5 query. */
 export interface LearningRowWithBM25 extends LearningRow {
     bm25_score: number;
 }

package/dist/learning.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"learning.d.ts","sourceRoot":"","sources":["../src/learning.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEzC;;GAEG;AACH,eAAO,MAAM,qBAAqB,uDAKxB,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAExE;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAErE;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,IAAI,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,YAAY,GAAG,IAAI,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,kFAAkF;IAClF,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,oFAAoF;IACpF,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,kFAAkF;IAClF,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC/C,oEAAoE;IACpE,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC;IACtC,0EAA0E;IAC1E,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC3B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC;CACnC;AAED;;;GAGG;AACH,MAAM,WAAW,0BAA0B;IACzC,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,gDAAgD;IAChD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,4DAA4D;IAC5D,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,yDAAyD;IACzD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;IACzC,+DAA+D;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,0BAA0B,CAAC;CACtD;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,qDAAqD;IACrD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,yCAAyC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,mEAAmE;IACnE,QAAQ,CAAC,cAAc,CAAC,EAAE,mBAAmB,CAAC;CAC/C;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,kDAAkD;IAClD,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,kEAAkE;IAClE,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,wDAAwD;IACxD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,uDAAuD;IACvD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,+BAA+B;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,kCAAkC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;IACzC,+DAA+D;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,0BAA0B,CAAC;IACrD,qDAAqD;IACrD,QAAQ,CAAC,eAAe,CAAC,EAAE,sBAAsB,CAAC;CACnD;AAED;;GAEG;AACH,MAAM,WAAW,mBAAoB,SAAQ,WAAW;IACtD,UAAU,EAAE,MAAM,CAAC;CACpB"}
+{"version":3,"file":"learning.d.ts","sourceRoot":"","sources":["../src/learning.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B;;GAEG;AACH,eAAO,MAAM,qBAAqB,uDAKxB,CAAC;AAMX,2DAA2D;AAC3D,eAAO,MAAM,wBAAwB,8DAA2C,CAAA;AAChF,MAAM,MAAM,kBAAkB,GAAG,OAAO,wBAAwB,CAAC,IAAI,CAAA;AAErE,qCAAqC;AACrC,eAAO,MAAM,gBAAgB,iEAG5B,CAAA;AACD,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,4BAA4B;AAC5B,eAAO,MAAM,cAAc;;;;;;;;;;;;EAYzB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEjD,2DAA2D;AAC3D,eAAO,MAAM,uBAAuB;;;;;IAMlC,iFAAiF;;IAEjF,iEAAiE;;IAEjE,gFAAgF;;IAEhF,kFAAkF;;IAElF,0EAA0E;;;;;;;;;;;;;EAE1E,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEnE,yCAAyC;AACzC,eAAO,MAAM,yBAAyB;;;;;;EAMpC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,OAAO,yBAAyB,CAAC,IAAI,CAAA;AAEvE,+CAA+C;AAC/C,eAAO,MAAM,yBAAyB;;;;;EAKpC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,OAAO,yBAAyB,CAAC,IAAI,CAAA;AAEvE,2CAA2C;AAC3C,eAAO,MAAM,mBAAmB;;;;;;EAM9B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAE3D,qCAAqC;AACrC,eAAO,MAAM,oBAAoB;IAC/B,gIAAgI;;EAEhI,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAE7D,8CAA8C;AAC9C,eAAO,MAAM,mBAAmB;;;;;;;;QAlD9B,iFAAiF;;QAEjF,iEAAiE;;QAEjE,gFAAgF;;QAEhF,kFAAkF;;QAElF,0EAA0E;;;;;;;;;;;;;;;;EAgD1E,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAE3D,6CAA6C;AAC7C,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;EAIrC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,OAAO,0BAA0B,CAAC,IAAI,CAAA;AAEzE,iFAAiF;AACjF,eAAO,MAAM,4BAA4B;IACvC,kDAAkD;;IAElD,2EAA2E;;IAE3E,kEAAkE;;EAElE,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,OAAO,4BAA4B,CAAC,IAAI,CAAA;AAE7E,2EAA2E;AAC3E,eAAO,MAAM,sBAAsB;IACjC,wDAAwD;;IAExD,uDAAuD;;IAEvD,+BAA+B;;IAE/B,kCAAkC;;IAElC,qDAAqD;;QAnBrD,kDAAkD;;QAElD,2EAA2E;;QAE3E,kEAAkE;;;EAiBlE,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,OAAO,sBAAsB,CAAC,IAAI,CAAA;AAMjE,gEAAgE;AAChE,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,oDAAoD;AACpD,MAAM,WAAW,mBAAoB,SAAQ,WAAW;IACtD,UAAU,EAAE,MAAM,CAAC;CACpB"}