@jamesaphoenix/tx-types 0.4.2 → 0.4.3

package/dist/anchor.d.ts

@@ -3,14 +3,10 @@
  *
  * Type definitions for file/code associations (anchors) that link learnings
  * to specific file locations, symbols, or code regions.
- * 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.
  */
-/**
- * Branded type for anchor IDs.
- */
-export type AnchorId = number & {
-    readonly _brand: unique symbol;
-};
+import { Schema } from "effect";
 /**
  * Anchor type - how the learning is associated with code.
  * - glob: Pattern match (e.g., "src/repo/*.ts")
@@ -19,7 +15,6 @@ export type AnchorId = number & {
  * - line_range: Specific line numbers
  */
 export declare const ANCHOR_TYPES: readonly ["glob", "hash", "symbol", "line_range"];
-export type AnchorType = (typeof ANCHOR_TYPES)[number];
 /**
  * Anchor status - validity of the file/code association.
  * - valid: Anchor still points to correct code
@@ -27,60 +22,102 @@ export type AnchorType = (typeof ANCHOR_TYPES)[number];
  * - invalid: Anchor no longer valid (file deleted, symbol removed)
  */
 export declare const ANCHOR_STATUSES: readonly ["valid", "drifted", "invalid"];
-export type AnchorStatus = (typeof ANCHOR_STATUSES)[number];
 /**
- * Anchor entity - links a learning to a file/code location.
+ * Detection source for invalidation.
  */
-export interface Anchor {
-    readonly id: AnchorId;
-    readonly learningId: number;
-    readonly anchorType: AnchorType;
-    readonly anchorValue: string;
-    readonly filePath: string;
-    readonly symbolFqname: string | null;
-    readonly lineStart: number | null;
-    readonly lineEnd: number | null;
-    readonly contentHash: string | null;
+export declare const INVALIDATION_SOURCES: readonly ["periodic", "lazy", "manual", "agent", "git_hook"];
+/** Anchor ID - branded integer. */
+export declare const AnchorIdSchema: Schema.brand<Schema.filter<typeof Schema.Number>, "AnchorId">;
+export type AnchorId = typeof AnchorIdSchema.Type;
+/** Anchor type schema. */
+export declare const AnchorTypeSchema: Schema.Literal<["glob", "hash", "symbol", "line_range"]>;
+export type AnchorType = typeof AnchorTypeSchema.Type;
+/** Anchor status schema. */
+export declare const AnchorStatusSchema: Schema.Literal<["valid", "drifted", "invalid"]>;
+export type AnchorStatus = typeof AnchorStatusSchema.Type;
+/** Invalidation source schema. */
+export declare const InvalidationSourceSchema: Schema.Literal<["periodic", "lazy", "manual", "agent", "git_hook"]>;
+export type InvalidationSource = typeof InvalidationSourceSchema.Type;
+/** Anchor entity - links a learning to a file/code location. */
+export declare const AnchorSchema: Schema.Struct<{
+    id: Schema.brand<Schema.filter<typeof Schema.Number>, "AnchorId">;
+    learningId: Schema.filter<typeof Schema.Number>;
+    anchorType: Schema.Literal<["glob", "hash", "symbol", "line_range"]>;
+    anchorValue: typeof Schema.String;
+    filePath: typeof Schema.String;
+    symbolFqname: Schema.NullOr<typeof Schema.String>;
+    lineStart: Schema.NullOr<Schema.filter<typeof Schema.Number>>;
+    lineEnd: Schema.NullOr<Schema.filter<typeof Schema.Number>>;
+    contentHash: Schema.NullOr<typeof Schema.String>;
     /** Original content preview for self-healing Jaccard similarity comparison */
-    readonly contentPreview: string | null;
-    readonly status: AnchorStatus;
-    readonly pinned: boolean;
-    readonly verifiedAt: Date | null;
-    readonly createdAt: Date;
-}
-/**
- * Input for creating a new anchor.
- */
-export interface CreateAnchorInput {
-    readonly learningId: number;
-    readonly anchorType: AnchorType;
-    readonly anchorValue: string;
-    readonly filePath: string;
-    readonly symbolFqname?: string | null;
-    readonly lineStart?: number | null;
-    readonly lineEnd?: number | null;
-    readonly contentHash?: string | null;
+    contentPreview: Schema.NullOr<typeof Schema.String>;
+    status: Schema.Literal<["valid", "drifted", "invalid"]>;
+    pinned: typeof Schema.Boolean;
+    verifiedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+    createdAt: typeof Schema.DateFromSelf;
+}>;
+export type Anchor = typeof AnchorSchema.Type;
+/** Input for creating a new anchor. */
+export declare const CreateAnchorInputSchema: Schema.Struct<{
+    learningId: Schema.filter<typeof Schema.Number>;
+    anchorType: Schema.Literal<["glob", "hash", "symbol", "line_range"]>;
+    anchorValue: typeof Schema.String;
+    filePath: typeof Schema.String;
+    symbolFqname: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    lineStart: Schema.optional<Schema.NullOr<Schema.filter<typeof Schema.Number>>>;
+    lineEnd: Schema.optional<Schema.NullOr<Schema.filter<typeof Schema.Number>>>;
+    contentHash: Schema.optional<Schema.NullOr<typeof Schema.String>>;
     /** Original content preview for self-healing comparison (max ~500 chars) */
-    readonly contentPreview?: string | null;
-}
-/**
- * Input for updating an anchor.
- */
-export interface UpdateAnchorInput {
-    readonly anchorValue?: string;
-    readonly filePath?: string;
-    readonly symbolFqname?: string | null;
-    readonly lineStart?: number | null;
-    readonly lineEnd?: number | null;
-    readonly contentHash?: string | null;
+    contentPreview: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+}>;
+export type CreateAnchorInput = typeof CreateAnchorInputSchema.Type;
+/** Input for updating an anchor. */
+export declare const UpdateAnchorInputSchema: Schema.Struct<{
+    anchorValue: Schema.optional<typeof Schema.String>;
+    filePath: Schema.optional<typeof Schema.String>;
+    symbolFqname: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    lineStart: Schema.optional<Schema.NullOr<Schema.filter<typeof Schema.Number>>>;
+    lineEnd: Schema.optional<Schema.NullOr<Schema.filter<typeof Schema.Number>>>;
+    contentHash: Schema.optional<Schema.NullOr<typeof Schema.String>>;
     /** Updated content preview for self-healing comparison */
-    readonly contentPreview?: string | null;
-    readonly status?: AnchorStatus;
-    readonly verifiedAt?: Date | null;
-}
+    contentPreview: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    status: Schema.optional<Schema.Literal<["valid", "drifted", "invalid"]>>;
+    verifiedAt: Schema.optional<Schema.NullOr<typeof Schema.DateFromSelf>>;
+}>;
+export type UpdateAnchorInput = typeof UpdateAnchorInputSchema.Type;
+/** Invalidation log entry - tracks anchor status changes. */
+export declare const InvalidationLogSchema: Schema.Struct<{
+    id: Schema.filter<typeof Schema.Number>;
+    anchorId: Schema.filter<typeof Schema.Number>;
+    oldStatus: Schema.Literal<["valid", "drifted", "invalid"]>;
+    newStatus: Schema.Literal<["valid", "drifted", "invalid"]>;
+    reason: typeof Schema.String;
+    detectedBy: Schema.Literal<["periodic", "lazy", "manual", "agent", "git_hook"]>;
+    oldContentHash: Schema.NullOr<typeof Schema.String>;
+    newContentHash: Schema.NullOr<typeof Schema.String>;
+    similarityScore: Schema.NullOr<typeof Schema.Number>;
+    invalidatedAt: typeof Schema.DateFromSelf;
+}>;
+export type InvalidationLog = typeof InvalidationLogSchema.Type;
 /**
- * Database row type for anchors (snake_case from SQLite).
+ * Anchor with freshness information for lazy verification.
+ * Returned by getWithVerification - includes whether anchor was fresh or verified.
  */
+export interface AnchorWithFreshness {
+    readonly anchor: Anchor;
+    /** True if anchor was still within TTL, false if verification was needed */
+    readonly isFresh: boolean;
+    /** True if verification was performed (because anchor was stale) */
+    readonly wasVerified: boolean;
+    /** Verification result if verification was performed */
+    readonly verificationResult?: {
+        readonly previousStatus: AnchorStatus;
+        readonly newStatus: AnchorStatus;
+        readonly action: "unchanged" | "self_healed" | "drifted" | "invalidated";
+        readonly reason?: string;
+    };
+}
+/** Database row type for anchors (snake_case from SQLite). */
 export interface AnchorRow {
     id: number;
     learning_id: number;
@@ -97,29 +134,7 @@ export interface AnchorRow {
     verified_at: string | null;
     created_at: string;
 }
-/**
- * Detection source for invalidation.
- */
-export declare const INVALIDATION_SOURCES: readonly ["periodic", "lazy", "manual", "agent", "git_hook"];
-export type InvalidationSource = (typeof INVALIDATION_SOURCES)[number];
-/**
- * Invalidation log entry - tracks anchor status changes.
- */
-export interface InvalidationLog {
-    readonly id: number;
-    readonly anchorId: number;
-    readonly oldStatus: AnchorStatus;
-    readonly newStatus: AnchorStatus;
-    readonly reason: string;
-    readonly detectedBy: InvalidationSource;
-    readonly oldContentHash: string | null;
-    readonly newContentHash: string | null;
-    readonly similarityScore: number | null;
-    readonly invalidatedAt: Date;
-}
-/**
- * Database row type for invalidation log (snake_case from SQLite).
- */
+/** Database row type for invalidation log (snake_case from SQLite). */
 export interface InvalidationLogRow {
     id: number;
     anchor_id: number;
@@ -132,22 +147,4 @@ export interface InvalidationLogRow {
     similarity_score: number | null;
     invalidated_at: string;
 }
-/**
- * Anchor with freshness information for lazy verification.
- * Returned by getWithVerification - includes whether anchor was fresh or verified.
- */
-export interface AnchorWithFreshness {
-    readonly anchor: Anchor;
-    /** True if anchor was still within TTL, false if verification was needed */
-    readonly isFresh: boolean;
-    /** True if verification was performed (because anchor was stale) */
-    readonly wasVerified: boolean;
-    /** Verification result if verification was performed */
-    readonly verificationResult?: {
-        readonly previousStatus: AnchorStatus;
-        readonly newStatus: AnchorStatus;
-        readonly action: "unchanged" | "self_healed" | "drifted" | "invalidated";
-        readonly reason?: string;
-    };
-}
 //# sourceMappingURL=anchor.d.ts.map

package/dist/anchor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"anchor.d.ts","sourceRoot":"","sources":["../src/anchor.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAEnE;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,mDAAoD,CAAC;AAC9E,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD;;;;;GAKG;AACH,eAAO,MAAM,eAAe,0CAA2C,CAAC;AACxE,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,8EAA8E;IAC9E,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,IAAI,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,4EAA4E;IAC5E,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,0DAA0D;IAC1D,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,8DAA+D,CAAC;AACjG,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvE;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,kBAAkB,CAAC,EAAE;QAC5B,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC;QACtC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;QACjC,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,aAAa,CAAC;QACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC;CACH"}
+{"version":3,"file":"anchor.d.ts","sourceRoot":"","sources":["../src/anchor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,mDAAoD,CAAC;AAE9E;;;;;GAKG;AACH,eAAO,MAAM,eAAe,0CAA2C,CAAC;AAExE;;GAEG;AACH,eAAO,MAAM,oBAAoB,8DAA+D,CAAC;AAMjG,mCAAmC;AACnC,eAAO,MAAM,cAAc,+DAG1B,CAAA;AACD,MAAM,MAAM,QAAQ,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEjD,0BAA0B;AAC1B,eAAO,MAAM,gBAAgB,0DAAkC,CAAA;AAC/D,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,4BAA4B;AAC5B,eAAO,MAAM,kBAAkB,iDAAqC,CAAA;AACpE,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAEzD,kCAAkC;AAClC,eAAO,MAAM,wBAAwB,qEAA0C,CAAA;AAC/E,MAAM,MAAM,kBAAkB,GAAG,OAAO,wBAAwB,CAAC,IAAI,CAAA;AAErE,gEAAgE;AAChE,eAAO,MAAM,YAAY;;;;;;;;;;IAUvB,8EAA8E;;;;;;EAM9E,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE7C,uCAAuC;AACvC,eAAO,MAAM,uBAAuB;;;;;;;;;IASlC,4EAA4E;;EAE5E,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEnE,oCAAoC;AACpC,eAAO,MAAM,uBAAuB;;;;;;;IAOlC,0DAA0D;;;;EAI1D,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEnE,6DAA6D;AAC7D,eAAO,MAAM,qBAAqB;;;;;;;;;;;EAWhC,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,kBAAkB,CAAC,EAAE;QAC5B,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC;QACtC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;QACjC,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,aAAa,CAAC;QACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC;CACH;AAMD,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,uEAAuE;AACvE,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,cAAc,EAAE,MAAM,CAAC;CACxB"}

package/dist/anchor.js

@@ -3,8 +3,13 @@
  *
  * Type definitions for file/code associations (anchors) that link learnings
  * to specific file locations, symbols, or code regions.
- * 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
+// =============================================================================
 /**
  * Anchor type - how the learning is associated with code.
  * - glob: Pattern match (e.g., "src/repo/*.ts")
@@ -24,4 +29,72 @@ export const ANCHOR_STATUSES = ["valid", "drifted", "invalid"];
  * Detection source for invalidation.
  */
 export const INVALIDATION_SOURCES = ["periodic", "lazy", "manual", "agent", "git_hook"];
+// =============================================================================
+// SCHEMAS & TYPES
+// =============================================================================
+/** Anchor ID - branded integer. */
+export const AnchorIdSchema = Schema.Number.pipe(Schema.int(), Schema.brand("AnchorId"));
+/** Anchor type schema. */
+export const AnchorTypeSchema = Schema.Literal(...ANCHOR_TYPES);
+/** Anchor status schema. */
+export const AnchorStatusSchema = Schema.Literal(...ANCHOR_STATUSES);
+/** Invalidation source schema. */
+export const InvalidationSourceSchema = Schema.Literal(...INVALIDATION_SOURCES);
+/** Anchor entity - links a learning to a file/code location. */
+export const AnchorSchema = Schema.Struct({
+    id: AnchorIdSchema,
+    learningId: Schema.Number.pipe(Schema.int()),
+    anchorType: AnchorTypeSchema,
+    anchorValue: Schema.String,
+    filePath: Schema.String,
+    symbolFqname: Schema.NullOr(Schema.String),
+    lineStart: Schema.NullOr(Schema.Number.pipe(Schema.int())),
+    lineEnd: Schema.NullOr(Schema.Number.pipe(Schema.int())),
+    contentHash: Schema.NullOr(Schema.String),
+    /** Original content preview for self-healing Jaccard similarity comparison */
+    contentPreview: Schema.NullOr(Schema.String),
+    status: AnchorStatusSchema,
+    pinned: Schema.Boolean,
+    verifiedAt: Schema.NullOr(Schema.DateFromSelf),
+    createdAt: Schema.DateFromSelf,
+});
+/** Input for creating a new anchor. */
+export const CreateAnchorInputSchema = Schema.Struct({
+    learningId: Schema.Number.pipe(Schema.int()),
+    anchorType: AnchorTypeSchema,
+    anchorValue: Schema.String,
+    filePath: Schema.String,
+    symbolFqname: Schema.optional(Schema.NullOr(Schema.String)),
+    lineStart: Schema.optional(Schema.NullOr(Schema.Number.pipe(Schema.int()))),
+    lineEnd: Schema.optional(Schema.NullOr(Schema.Number.pipe(Schema.int()))),
+    contentHash: Schema.optional(Schema.NullOr(Schema.String)),
+    /** Original content preview for self-healing comparison (max ~500 chars) */
+    contentPreview: Schema.optional(Schema.NullOr(Schema.String)),
+});
+/** Input for updating an anchor. */
+export const UpdateAnchorInputSchema = Schema.Struct({
+    anchorValue: Schema.optional(Schema.String),
+    filePath: Schema.optional(Schema.String),
+    symbolFqname: Schema.optional(Schema.NullOr(Schema.String)),
+    lineStart: Schema.optional(Schema.NullOr(Schema.Number.pipe(Schema.int()))),
+    lineEnd: Schema.optional(Schema.NullOr(Schema.Number.pipe(Schema.int()))),
+    contentHash: Schema.optional(Schema.NullOr(Schema.String)),
+    /** Updated content preview for self-healing comparison */
+    contentPreview: Schema.optional(Schema.NullOr(Schema.String)),
+    status: Schema.optional(AnchorStatusSchema),
+    verifiedAt: Schema.optional(Schema.NullOr(Schema.DateFromSelf)),
+});
+/** Invalidation log entry - tracks anchor status changes. */
+export const InvalidationLogSchema = Schema.Struct({
+    id: Schema.Number.pipe(Schema.int()),
+    anchorId: Schema.Number.pipe(Schema.int()),
+    oldStatus: AnchorStatusSchema,
+    newStatus: AnchorStatusSchema,
+    reason: Schema.String,
+    detectedBy: InvalidationSourceSchema,
+    oldContentHash: Schema.NullOr(Schema.String),
+    newContentHash: Schema.NullOr(Schema.String),
+    similarityScore: Schema.NullOr(Schema.Number),
+    invalidatedAt: Schema.DateFromSelf,
+});
 //# sourceMappingURL=anchor.js.map

package/dist/anchor.js.map

@@ -1 +1 @@
-{"version":3,"file":"anchor.js","sourceRoot":"","sources":["../src/anchor.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAOH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAU,CAAC;AAG9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAU,CAAC;AA4ExE;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAU,CAAC"}
+{"version":3,"file":"anchor.js","sourceRoot":"","sources":["../src/anchor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAU,CAAC;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAU,CAAC;AAExE;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAU,CAAC;AAEjG,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF,mCAAmC;AACnC,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC9C,MAAM,CAAC,GAAG,EAAE,EACZ,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CACzB,CAAA;AAGD,0BAA0B;AAC1B,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,CAAA;AAG/D,4BAA4B;AAC5B,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,eAAe,CAAC,CAAA;AAGpE,kCAAkC;AAClC,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,oBAAoB,CAAC,CAAA;AAG/E,gEAAgE;AAChE,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,EAAE,EAAE,cAAc;IAClB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC5C,UAAU,EAAE,gBAAgB;IAC5B,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IAC1D,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACxD,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,8EAA8E;IAC9E,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5C,MAAM,EAAE,kBAAkB;IAC1B,MAAM,EAAE,MAAM,CAAC,OAAO;IACtB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAC9C,SAAS,EAAE,MAAM,CAAC,YAAY;CAC/B,CAAC,CAAA;AAGF,uCAAuC;AACvC,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC5C,UAAU,EAAE,gBAAgB;IAC5B,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3D,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC3E,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACzE,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1D,4EAA4E;IAC5E,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CAC9D,CAAC,CAAA;AAGF,oCAAoC;AACpC,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3D,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC3E,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACzE,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1D,0DAA0D;IAC1D,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7D,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;CAChE,CAAC,CAAA;AAGF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC1C,SAAS,EAAE,kBAAkB;IAC7B,SAAS,EAAE,kBAAkB;IAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,UAAU,EAAE,wBAAwB;IACpC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5C,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5C,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,aAAa,EAAE,MAAM,CAAC,YAAY;CACnC,CAAC,CAAA"}

package/dist/attempt.d.ts

@@ -2,46 +2,54 @@
  * Attempt types for tx
  *
  * Type definitions for tracking task approach outcomes.
- * 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 { TaskId } from "./task.js";
+import { Schema } from "effect";
 /**
  * Valid attempt outcomes.
  */
 export declare const ATTEMPT_OUTCOMES: readonly ["failed", "succeeded"];
+/** Attempt outcome - whether the approach failed or succeeded. */
+export declare const AttemptOutcomeSchema: Schema.Literal<["failed", "succeeded"]>;
+export type AttemptOutcome = typeof AttemptOutcomeSchema.Type;
+/** Attempt ID - branded integer. */
+export declare const AttemptIdSchema: Schema.brand<Schema.filter<typeof Schema.Number>, "AttemptId">;
+export type AttemptId = typeof AttemptIdSchema.Type;
+/** Attempt entity - records a specific approach tried for a task. */
+export declare const AttemptSchema: Schema.Struct<{
+    id: Schema.brand<Schema.filter<typeof Schema.Number>, "AttemptId">;
+    taskId: Schema.brand<Schema.filter<typeof Schema.String>, "TaskId">;
+    approach: typeof Schema.String;
+    outcome: Schema.Literal<["failed", "succeeded"]>;
+    reason: Schema.NullOr<typeof Schema.String>;
+    createdAt: typeof Schema.DateFromSelf;
+}>;
+export type Attempt = typeof AttemptSchema.Type;
+/** Input for creating a new attempt. */
+export declare const CreateAttemptInputSchema: Schema.Struct<{
+    taskId: typeof Schema.String;
+    approach: typeof Schema.String;
+    outcome: Schema.Literal<["failed", "succeeded"]>;
+    reason: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+}>;
+export type CreateAttemptInput = typeof CreateAttemptInputSchema.Type;
 /**
- * Attempt outcome - whether the approach failed or succeeded.
+ * Check if a string is a valid attempt outcome.
  */
-export type AttemptOutcome = (typeof ATTEMPT_OUTCOMES)[number];
+export declare const isValidAttemptOutcome: (outcome: string) => outcome is AttemptOutcome;
 /**
- * Branded type for attempt IDs.
+ * Error thrown when an attempt outcome is invalid.
  */
-export type AttemptId = number & {
-    readonly _brand: unique symbol;
-};
-/**
- * Attempt entity - records a specific approach tried for a task.
- */
-export interface Attempt {
-    readonly id: AttemptId;
-    readonly taskId: TaskId;
-    readonly approach: string;
-    readonly outcome: AttemptOutcome;
-    readonly reason: string | null;
-    readonly createdAt: Date;
-}
-/**
- * Input for creating a new attempt.
- */
-export interface CreateAttemptInput {
-    readonly taskId: string;
-    readonly approach: string;
-    readonly outcome: AttemptOutcome;
-    readonly reason?: string | null;
+export declare class InvalidAttemptOutcomeError extends Error {
+    readonly outcome: string;
+    constructor(outcome: string);
 }
 /**
- * Database row type for attempts (snake_case from SQLite).
+ * Validate and return an AttemptOutcome, or throw if invalid.
  */
+export declare const assertAttemptOutcome: (outcome: string) => AttemptOutcome;
+/** Database row type for attempts (snake_case from SQLite). */
 export interface AttemptRow {
     id: number;
     task_id: string;

package/dist/attempt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"attempt.d.ts","sourceRoot":"","sources":["../src/attempt.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAExC;;GAEG;AACH,eAAO,MAAM,gBAAgB,kCAAmC,CAAC;AAEjE;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE/D;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAEpE;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;CACpB"}
+{"version":3,"file":"attempt.d.ts","sourceRoot":"","sources":["../src/attempt.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAO/B;;GAEG;AACH,eAAO,MAAM,gBAAgB,kCAAmC,CAAC;AAMjE,kEAAkE;AAClE,eAAO,MAAM,oBAAoB,yCAAsC,CAAA;AACvE,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAE7D,oCAAoC;AACpC,eAAO,MAAM,eAAe,gEAG3B,CAAA;AACD,MAAM,MAAM,SAAS,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEnD,qEAAqE;AACrE,eAAO,MAAM,aAAa;;;;;;;EAOxB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAE/C,wCAAwC;AACxC,eAAO,MAAM,wBAAwB;;;;;EAKnC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,OAAO,wBAAwB,CAAC,IAAI,CAAA;AAMrE;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAAI,SAAS,MAAM,KAAG,OAAO,IAAI,cAElE,CAAC;AAEF;;GAEG;AACH,qBAAa,0BAA2B,SAAQ,KAAK;aACvB,OAAO,EAAE,MAAM;gBAAf,OAAO,EAAE,MAAM;CAI5C;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAAI,SAAS,MAAM,KAAG,cAKtD,CAAC;AAMF,+DAA+D;AAC/D,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/attempt.js

@@ -2,10 +2,68 @@
  * Attempt types for tx
  *
  * Type definitions for tracking task approach outcomes.
- * 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";
+import { TaskIdSchema } from "./task.js";
+// =============================================================================
+// CONSTANTS
+// =============================================================================
 /**
  * Valid attempt outcomes.
  */
 export const ATTEMPT_OUTCOMES = ["failed", "succeeded"];
+// =============================================================================
+// SCHEMAS & TYPES
+// =============================================================================
+/** Attempt outcome - whether the approach failed or succeeded. */
+export const AttemptOutcomeSchema = Schema.Literal(...ATTEMPT_OUTCOMES);
+/** Attempt ID - branded integer. */
+export const AttemptIdSchema = Schema.Number.pipe(Schema.int(), Schema.brand("AttemptId"));
+/** Attempt entity - records a specific approach tried for a task. */
+export const AttemptSchema = Schema.Struct({
+    id: AttemptIdSchema,
+    taskId: TaskIdSchema,
+    approach: Schema.String,
+    outcome: AttemptOutcomeSchema,
+    reason: Schema.NullOr(Schema.String),
+    createdAt: Schema.DateFromSelf,
+});
+/** Input for creating a new attempt. */
+export const CreateAttemptInputSchema = Schema.Struct({
+    taskId: Schema.String,
+    approach: Schema.String,
+    outcome: AttemptOutcomeSchema,
+    reason: Schema.optional(Schema.NullOr(Schema.String)),
+});
+// =============================================================================
+// RUNTIME VALIDATORS
+// =============================================================================
+/**
+ * Check if a string is a valid attempt outcome.
+ */
+export const isValidAttemptOutcome = (outcome) => {
+    return ATTEMPT_OUTCOMES.includes(outcome);
+};
+/**
+ * Error thrown when an attempt outcome is invalid.
+ */
+export class InvalidAttemptOutcomeError extends Error {
+    outcome;
+    constructor(outcome) {
+        super(`Invalid attempt outcome: "${outcome}". Valid outcomes: ${ATTEMPT_OUTCOMES.join(", ")}`);
+        this.outcome = outcome;
+        this.name = "InvalidAttemptOutcomeError";
+    }
+}
+/**
+ * Validate and return an AttemptOutcome, or throw if invalid.
+ */
+export const assertAttemptOutcome = (outcome) => {
+    if (!isValidAttemptOutcome(outcome)) {
+        throw new InvalidAttemptOutcomeError(outcome);
+    }
+    return outcome;
+};
 //# sourceMappingURL=attempt.js.map

package/dist/attempt.js.map

@@ -1 +1 @@
-{"version":3,"file":"attempt.js","sourceRoot":"","sources":["../src/attempt.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAU,CAAC"}
+{"version":3,"file":"attempt.js","sourceRoot":"","sources":["../src/attempt.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAExC,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAU,CAAC;AAEjE,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF,kEAAkE;AAClE,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,gBAAgB,CAAC,CAAA;AAGvE,oCAAoC;AACpC,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC/C,MAAM,CAAC,GAAG,EAAE,EACZ,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAC1B,CAAA;AAGD,qEAAqE;AACrE,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,eAAe;IACnB,MAAM,EAAE,YAAY;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,OAAO,EAAE,oBAAoB;IAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,SAAS,EAAE,MAAM,CAAC,YAAY;CAC/B,CAAC,CAAA;AAGF,wCAAwC;AACxC,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAAC;IACpD,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,OAAO,EAAE,oBAAoB;IAC7B,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACtD,CAAC,CAAA;AAGF,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,OAAe,EAA6B,EAAE;IAClF,OAAQ,gBAAsC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;AACnE,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IACvB;IAA5B,YAA4B,OAAe;QACzC,KAAK,CAAC,6BAA6B,OAAO,sBAAsB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QADrE,YAAO,GAAP,OAAO,CAAQ;QAEzC,IAAI,CAAC,IAAI,GAAG,4BAA4B,CAAC;IAC3C,CAAC;CACF;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,OAAe,EAAkB,EAAE;IACtE,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,0BAA0B,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC"}