@jamesaphoenix/tx-types 0.4.2 → 0.4.3

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"}

package/dist/learning.js

@@ -3,8 +3,13 @@
  *
  * 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 { Schema } from "effect";
+// =============================================================================
+// CONSTANTS
+// =============================================================================
 /**
  * Valid learning source types.
  */
@@ -14,4 +19,107 @@ export const LEARNING_SOURCE_TYPES = [
     "manual",
     "claude_md",
 ];
+// =============================================================================
+// SCHEMAS & TYPES
+// =============================================================================
+/** Learning source type - where the learning came from. */
+export const LearningSourceTypeSchema = Schema.Literal(...LEARNING_SOURCE_TYPES);
+/** Learning ID - branded integer. */
+export const LearningIdSchema = Schema.Number.pipe(Schema.int(), Schema.brand("LearningId"));
+/** Core learning entity. */
+export const LearningSchema = Schema.Struct({
+    id: LearningIdSchema,
+    content: Schema.String,
+    sourceType: LearningSourceTypeSchema,
+    sourceRef: Schema.NullOr(Schema.String),
+    createdAt: Schema.DateFromSelf,
+    keywords: Schema.Array(Schema.String),
+    category: Schema.NullOr(Schema.String),
+    usageCount: Schema.Number.pipe(Schema.int()),
+    lastUsedAt: Schema.NullOr(Schema.DateFromSelf),
+    outcomeScore: Schema.NullOr(Schema.Number),
+    embedding: Schema.NullOr(Schema.instanceOf(Float32Array)),
+});
+/** Learning with relevance scoring from search results. */
+export const LearningWithScoreSchema = Schema.Struct({
+    ...LearningSchema.fields,
+    relevanceScore: Schema.Number,
+    bm25Score: Schema.Number,
+    vectorScore: Schema.Number,
+    recencyScore: Schema.Number,
+    /** RRF (Reciprocal Rank Fusion) score from combining BM25 and vector rankings */
+    rrfScore: Schema.Number,
+    /** Rank in BM25 results (1-indexed, 0 if not in BM25 results) */
+    bm25Rank: Schema.Number.pipe(Schema.int()),
+    /** Rank in vector similarity results (1-indexed, 0 if not in vector results) */
+    vectorRank: Schema.Number.pipe(Schema.int()),
+    /** LLM reranker score (0-1, optional - only present when reranking is applied) */
+    rerankerScore: Schema.optional(Schema.Number),
+    /** Feedback score from historical usage (0-1, 0.5 = neutral, optional) */
+    feedbackScore: Schema.optional(Schema.Number),
+});
+/** Input for creating a new learning. */
+export const CreateLearningInputSchema = Schema.Struct({
+    content: Schema.String,
+    sourceType: Schema.optional(LearningSourceTypeSchema),
+    sourceRef: Schema.optional(Schema.NullOr(Schema.String)),
+    keywords: Schema.optional(Schema.Array(Schema.String)),
+    category: Schema.optional(Schema.NullOr(Schema.String)),
+});
+/** Input for updating an existing learning. */
+export const UpdateLearningInputSchema = Schema.Struct({
+    usageCount: Schema.optional(Schema.Number.pipe(Schema.int())),
+    lastUsedAt: Schema.optional(Schema.DateFromSelf),
+    outcomeScore: Schema.optional(Schema.Number),
+    embedding: Schema.optional(Schema.instanceOf(Float32Array)),
+});
+/** Query options for learning searches. */
+export const LearningQuerySchema = Schema.Struct({
+    query: Schema.String,
+    limit: Schema.optional(Schema.Number.pipe(Schema.int())),
+    minScore: Schema.optional(Schema.Number),
+    category: Schema.optional(Schema.String),
+    sourceType: Schema.optional(LearningSourceTypeSchema),
+});
+/** Options for context retrieval. */
+export 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.Number.pipe(Schema.int())),
+});
+/** Result of context retrieval for a task. */
+export const ContextResultSchema = Schema.Struct({
+    taskId: Schema.String,
+    taskTitle: Schema.String,
+    learnings: Schema.Array(LearningWithScoreSchema),
+    searchQuery: Schema.String,
+    searchDuration: Schema.Number,
+});
+/** Result of a learning search operation. */
+export const LearningSearchResultSchema = Schema.Struct({
+    learnings: Schema.Array(LearningSchema),
+    query: Schema.String,
+    searchDuration: Schema.Number,
+});
+/** Options for MMR (Maximal Marginal Relevance) diversification. See PRD-017. */
+export const DiversificationOptionsSchema = Schema.Struct({
+    /** Enable MMR diversification (default: false) */
+    enabled: Schema.optional(Schema.Boolean),
+    /** Trade-off between relevance (1.0) and diversity (0.0) (default: 0.7) */
+    lambda: Schema.optional(Schema.Number),
+    /** Maximum results per category for top 5 results (default: 2) */
+    maxPerCategory: Schema.optional(Schema.Number.pipe(Schema.int())),
+});
+/** Options for retrieval operations. Used by RetrieverService.search(). */
+export const RetrievalOptionsSchema = Schema.Struct({
+    /** Maximum number of results to return (default: 10) */
+    limit: Schema.optional(Schema.Number.pipe(Schema.int())),
+    /** Minimum relevance score threshold (default: 0.1) */
+    minScore: Schema.optional(Schema.Number),
+    /** Optional category filter */
+    category: Schema.optional(Schema.String),
+    /** Optional source type filter */
+    sourceType: Schema.optional(LearningSourceTypeSchema),
+    /** MMR diversification options for result variety */
+    diversification: Schema.optional(DiversificationOptionsSchema),
+});
 //# sourceMappingURL=learning.js.map