@jamesaphoenix/tx-types 0.4.2 → 0.4.3

package/dist/doc.js

@@ -0,0 +1,232 @@
+/**
+ * Doc types for tx
+ *
+ * Type definitions for the docs-as-primitives system.
+ * See DD-023 for specification.
+ * Core type definitions using Effect Schema (Doctrine Rule 10).
+ *
+ * Docs are structured YAML (source of truth) with rendered MD views.
+ * YAML content lives on disk (.tx/docs/); DB stores metadata + links only.
+ */
+import { Schema } from "effect";
+// =============================================================================
+// CONSTANTS
+// =============================================================================
+export const DOC_KINDS = ["overview", "prd", "design"];
+export const DOC_STATUSES = ["changing", "locked"];
+export const DOC_LINK_TYPES = [
+    "overview_to_prd",
+    "overview_to_design",
+    "prd_to_design",
+    "design_patch",
+];
+export const TASK_DOC_LINK_TYPES = ["implements", "references"];
+export const INVARIANT_ENFORCEMENT_TYPES = [
+    "integration_test",
+    "linter",
+    "llm_as_judge",
+];
+export const INVARIANT_STATUSES = ["active", "deprecated"];
+// =============================================================================
+// SCHEMAS & TYPES — Docs
+// =============================================================================
+/** Doc kind — overview (one per project), prd, or design. */
+export const DocKindSchema = Schema.Literal(...DOC_KINDS);
+/** Doc status — changing (editable) or locked (immutable). */
+export const DocStatusSchema = Schema.Literal(...DOC_STATUSES);
+/** Doc link type — directed edge between docs in the DAG. */
+export const DocLinkTypeSchema = Schema.Literal(...DOC_LINK_TYPES);
+/** Task-doc link type — how a task relates to a doc. */
+export const TaskDocLinkTypeSchema = Schema.Literal(...TASK_DOC_LINK_TYPES);
+/** Doc ID — branded integer. */
+export const DocIdSchema = Schema.Number.pipe(Schema.int(), Schema.brand("DocId"));
+/** Core doc entity (DB metadata — YAML content lives on disk only). */
+export const DocSchema = Schema.Struct({
+    id: DocIdSchema,
+    hash: Schema.String,
+    kind: DocKindSchema,
+    name: Schema.String,
+    title: Schema.String,
+    version: Schema.Number.pipe(Schema.int()),
+    status: DocStatusSchema,
+    filePath: Schema.String,
+    parentDocId: Schema.NullOr(DocIdSchema),
+    createdAt: Schema.DateFromSelf,
+    lockedAt: Schema.NullOr(Schema.DateFromSelf),
+    metadata: Schema.Record({ key: Schema.String, value: Schema.Unknown }),
+});
+/** Doc with resolved links (for API responses). */
+export const DocWithLinksSchema = Schema.Struct({
+    ...DocSchema.fields,
+    linksTo: Schema.Array(Schema.Struct({
+        docId: DocIdSchema,
+        docName: Schema.String,
+        linkType: DocLinkTypeSchema,
+    })),
+    linksFrom: Schema.Array(Schema.Struct({
+        docId: DocIdSchema,
+        docName: Schema.String,
+        linkType: DocLinkTypeSchema,
+    })),
+    taskIds: Schema.Array(Schema.String),
+    invariantCount: Schema.Number.pipe(Schema.int()),
+});
+/** Doc link entity. */
+export const DocLinkSchema = Schema.Struct({
+    id: Schema.Number.pipe(Schema.int()),
+    fromDocId: DocIdSchema,
+    toDocId: DocIdSchema,
+    linkType: DocLinkTypeSchema,
+    createdAt: Schema.DateFromSelf,
+});
+/** Task-doc link entity. */
+export const TaskDocLinkSchema = Schema.Struct({
+    id: Schema.Number.pipe(Schema.int()),
+    taskId: Schema.String,
+    docId: DocIdSchema,
+    linkType: TaskDocLinkTypeSchema,
+    createdAt: Schema.DateFromSelf,
+});
+/** Input for creating a new doc. */
+export const CreateDocInputSchema = Schema.Struct({
+    kind: DocKindSchema,
+    name: Schema.String,
+    title: Schema.String,
+    yamlContent: Schema.String,
+    metadata: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+});
+// =============================================================================
+// SCHEMAS & TYPES — Invariants
+// =============================================================================
+/** Invariant enforcement type — how the invariant is verified. */
+export const InvariantEnforcementSchema = Schema.Literal(...INVARIANT_ENFORCEMENT_TYPES);
+/** Invariant status. */
+export const InvariantStatusSchema = Schema.Literal(...INVARIANT_STATUSES);
+/** Invariant ID — branded string matching INV-[A-Z0-9-]+. */
+export const InvariantIdSchema = Schema.String.pipe(Schema.pattern(/^INV-[A-Z0-9-]+$/), Schema.brand("InvariantId"));
+/** Invariant entity — a machine-checkable system rule. */
+export const InvariantSchema = Schema.Struct({
+    id: InvariantIdSchema,
+    rule: Schema.String,
+    enforcement: InvariantEnforcementSchema,
+    docId: DocIdSchema,
+    subsystem: Schema.NullOr(Schema.String),
+    testRef: Schema.NullOr(Schema.String),
+    lintRule: Schema.NullOr(Schema.String),
+    promptRef: Schema.NullOr(Schema.String),
+    status: InvariantStatusSchema,
+    createdAt: Schema.DateFromSelf,
+    metadata: Schema.Record({ key: Schema.String, value: Schema.Unknown }),
+});
+/** Invariant check result — audit trail entry. */
+export const InvariantCheckSchema = Schema.Struct({
+    id: Schema.Number.pipe(Schema.int()),
+    invariantId: InvariantIdSchema,
+    passed: Schema.Boolean,
+    details: Schema.NullOr(Schema.String),
+    checkedAt: Schema.DateFromSelf,
+    durationMs: Schema.NullOr(Schema.Number.pipe(Schema.int())),
+});
+/** Input for upserting an invariant (from YAML sync). */
+export const UpsertInvariantInputSchema = Schema.Struct({
+    id: Schema.String,
+    rule: Schema.String,
+    enforcement: InvariantEnforcementSchema,
+    docId: DocIdSchema,
+    subsystem: Schema.optional(Schema.NullOr(Schema.String)),
+    testRef: Schema.optional(Schema.NullOr(Schema.String)),
+    lintRule: Schema.optional(Schema.NullOr(Schema.String)),
+    promptRef: Schema.optional(Schema.NullOr(Schema.String)),
+});
+/** Input for recording an invariant check. */
+export const RecordInvariantCheckInputSchema = Schema.Struct({
+    invariantId: Schema.String,
+    passed: Schema.Boolean,
+    details: Schema.optional(Schema.NullOr(Schema.String)),
+    durationMs: Schema.optional(Schema.NullOr(Schema.Number.pipe(Schema.int()))),
+});
+// =============================================================================
+// RUNTIME VALIDATORS
+// =============================================================================
+/**
+ * Check if a string is a valid doc kind.
+ */
+export const isValidDocKind = (kind) => {
+    return DOC_KINDS.includes(kind);
+};
+export class InvalidDocKindError extends Error {
+    kind;
+    constructor(kind) {
+        super(`Invalid doc kind: "${kind}". Valid kinds: ${DOC_KINDS.join(", ")}`);
+        this.kind = kind;
+        this.name = "InvalidDocKindError";
+    }
+}
+export const assertDocKind = (kind) => {
+    if (!isValidDocKind(kind)) {
+        throw new InvalidDocKindError(kind);
+    }
+    return kind;
+};
+/**
+ * Check if a string is a valid doc status.
+ */
+export const isValidDocStatus = (status) => {
+    return DOC_STATUSES.includes(status);
+};
+export class InvalidDocStatusError extends Error {
+    status;
+    constructor(status) {
+        super(`Invalid doc status: "${status}". Valid statuses: ${DOC_STATUSES.join(", ")}`);
+        this.status = status;
+        this.name = "InvalidDocStatusError";
+    }
+}
+export const assertDocStatus = (status) => {
+    if (!isValidDocStatus(status)) {
+        throw new InvalidDocStatusError(status);
+    }
+    return status;
+};
+/**
+ * Check if a string is a valid doc link type.
+ */
+export const isValidDocLinkType = (linkType) => {
+    return DOC_LINK_TYPES.includes(linkType);
+};
+export class InvalidDocLinkTypeError extends Error {
+    linkType;
+    constructor(linkType) {
+        super(`Invalid doc link type: "${linkType}". Valid types: ${DOC_LINK_TYPES.join(", ")}`);
+        this.linkType = linkType;
+        this.name = "InvalidDocLinkTypeError";
+    }
+}
+export const assertDocLinkType = (linkType) => {
+    if (!isValidDocLinkType(linkType)) {
+        throw new InvalidDocLinkTypeError(linkType);
+    }
+    return linkType;
+};
+// =============================================================================
+// GRAPH TYPES (for dashboard viewer)
+// =============================================================================
+/** Node in the doc graph. */
+export const DocGraphNodeSchema = Schema.Struct({
+    id: Schema.String,
+    label: Schema.String,
+    kind: Schema.Literal("overview", "prd", "design", "task"),
+    status: Schema.optional(Schema.String),
+});
+/** Edge in the doc graph. */
+export const DocGraphEdgeSchema = Schema.Struct({
+    source: Schema.String,
+    target: Schema.String,
+    type: Schema.String,
+});
+/** Full doc graph (nodes + edges). */
+export const DocGraphSchema = Schema.Struct({
+    nodes: Schema.Array(DocGraphNodeSchema),
+    edges: Schema.Array(DocGraphEdgeSchema),
+});
+//# sourceMappingURL=doc.js.map

package/dist/doc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"doc.js","sourceRoot":"","sources":["../src/doc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAU,CAAA;AAE/D,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAU,CAAA;AAE3D,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,iBAAiB;IACjB,oBAAoB;IACpB,eAAe;IACf,cAAc;CACN,CAAA;AAEV,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,YAAY,EAAE,YAAY,CAAU,CAAA;AAExE,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,kBAAkB;IAClB,QAAQ;IACR,cAAc;CACN,CAAA;AAEV,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAU,CAAA;AAEnE,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAA;AAGzD,8DAA8D;AAC9D,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,CAAA;AAG9D,6DAA6D;AAC7D,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,cAAc,CAAC,CAAA;AAGlE,wDAAwD;AACxD,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,mBAAmB,CAAC,CAAA;AAG3E,gCAAgC;AAChC,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC3C,MAAM,CAAC,GAAG,EAAE,EACZ,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CACtB,CAAA;AAGD,uEAAuE;AACvE,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,WAAW;IACf,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACzC,MAAM,EAAE,eAAe;IACvB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;IACvC,SAAS,EAAE,MAAM,CAAC,YAAY;IAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAC5C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;CACvE,CAAC,CAAA;AAGF,mDAAmD;AACnD,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,GAAG,SAAS,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;QAClC,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,MAAM,CAAC,MAAM;QACtB,QAAQ,EAAE,iBAAiB;KAC5B,CAAC,CAAC;IACH,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,MAAM,CAAC,MAAM;QACtB,QAAQ,EAAE,iBAAiB;KAC5B,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;CACjD,CAAC,CAAA;AAGF,uBAAuB;AACvB,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,SAAS,EAAE,WAAW;IACtB,OAAO,EAAE,WAAW;IACpB,QAAQ,EAAE,iBAAiB;IAC3B,SAAS,EAAE,MAAM,CAAC,YAAY;CAC/B,CAAC,CAAA;AAGF,4BAA4B;AAC5B,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,KAAK,EAAE,WAAW;IAClB,QAAQ,EAAE,qBAAqB;IAC/B,SAAS,EAAE,MAAM,CAAC,YAAY;CAC/B,CAAC,CAAA;AAGF,oCAAoC;AACpC,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;CACxF,CAAC,CAAA;AAGF,gFAAgF;AAChF,+BAA+B;AAC/B,gFAAgF;AAEhF,kEAAkE;AAClE,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,2BAA2B,CAAC,CAAA;AAGxF,wBAAwB;AACxB,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,kBAAkB,CAAC,CAAA;AAG1E,6DAA6D;AAC7D,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACjD,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAClC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAC5B,CAAA;AAGD,0DAA0D;AAC1D,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,EAAE,EAAE,iBAAiB;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,WAAW,EAAE,0BAA0B;IACvC,KAAK,EAAE,WAAW;IAClB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,MAAM,EAAE,qBAAqB;IAC7B,SAAS,EAAE,MAAM,CAAC,YAAY;IAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;CACvE,CAAC,CAAA;AAGF,kDAAkD;AAClD,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,WAAW,EAAE,iBAAiB;IAC9B,MAAM,EAAE,MAAM,CAAC,OAAO;IACtB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,SAAS,EAAE,MAAM,CAAC,YAAY;IAC9B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;CAC5D,CAAC,CAAA;AAGF,yDAAyD;AACzD,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC;IACtD,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,WAAW,EAAE,0BAA0B;IACvC,KAAK,EAAE,WAAW;IAClB,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtD,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvD,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACzD,CAAC,CAAA;AAGF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,+BAA+B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3D,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,MAAM,EAAE,MAAM,CAAC,OAAO;IACtB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtD,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CAC7E,CAAC,CAAA;AAGF,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAmB,EAAE;IAC9D,OAAQ,SAA+B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAChB;IAA5B,YAA4B,IAAY;QACtC,KAAK,CAAC,sBAAsB,IAAI,mBAAmB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QADjD,SAAI,GAAJ,IAAI,CAAQ;QAEtC,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAW,EAAE;IACrD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAuB,EAAE;IACtE,OAAQ,YAAkC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAClB;IAA5B,YAA4B,MAAc;QACxC,KAAK,CAAC,wBAAwB,MAAM,sBAAsB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAD3D,WAAM,GAAN,MAAM,CAAQ;QAExC,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACtC,CAAC;CACF;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAc,EAAa,EAAE;IAC3D,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAgB,EAA2B,EAAE;IAC9E,OAAQ,cAAoC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAClE,CAAC,CAAC;AAEF,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACpB;IAA5B,YAA4B,QAAgB;QAC1C,KAAK,CAAC,2BAA2B,QAAQ,mBAAmB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAD/D,aAAQ,GAAR,QAAQ,CAAQ;QAE1C,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAe,EAAE;IACjE,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,gFAAgF;AAChF,qCAAqC;AACrC,gFAAgF;AAEhF,6BAA6B;AAC7B,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC;IACzD,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CACvC,CAAC,CAAA;AAGF,6BAA6B;AAC7B,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC,CAAA;AAGF,sCAAsC;AACtC,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1C,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACvC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC;CACxC,CAAC,CAAA"}

package/dist/edge.d.ts

@@ -2,19 +2,14 @@
  * Edge types for tx
  *
  * Type definitions for graph edges that connect nodes in the knowledge graph.
- * 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 edge IDs.
- */
-export type EdgeId = number & {
-    readonly _brand: unique symbol;
-};
+import { Schema } from "effect";
 /**
  * Node types in the graph - entities that can be connected by edges.
  */
 export declare const NODE_TYPES: readonly ["learning", "file", "task", "run"];
-export type NodeType = (typeof NODE_TYPES)[number];
 /**
  * Edge types - strong ENUMs (fixed ontology, not pluggable).
  * - ANCHORED_TO: Learning is anchored to a file/location
@@ -27,44 +22,56 @@ export type NodeType = (typeof NODE_TYPES)[number];
  * - INVALIDATED_BY: Learning was invalidated by another
  */
 export declare const EDGE_TYPES: readonly ["ANCHORED_TO", "DERIVED_FROM", "IMPORTS", "CO_CHANGES_WITH", "SIMILAR_TO", "LINKS_TO", "USED_IN_RUN", "INVALIDATED_BY"];
-export type EdgeType = (typeof EDGE_TYPES)[number];
-/**
- * Edge entity - connects two nodes in the graph.
- */
-export interface Edge {
-    readonly id: EdgeId;
-    readonly edgeType: EdgeType;
-    readonly sourceType: NodeType;
-    readonly sourceId: string;
-    readonly targetType: NodeType;
-    readonly targetId: string;
-    readonly weight: number;
-    readonly metadata: Record<string, unknown>;
-    readonly createdAt: Date;
-    readonly invalidatedAt: Date | null;
-}
-/**
- * Input for creating a new edge.
- */
-export interface CreateEdgeInput {
-    readonly edgeType: EdgeType;
-    readonly sourceType: NodeType;
-    readonly sourceId: string;
-    readonly targetType: NodeType;
-    readonly targetId: string;
-    readonly weight?: number;
-    readonly metadata?: Record<string, unknown>;
-}
-/**
- * Input for updating an edge.
- */
-export interface UpdateEdgeInput {
-    readonly weight?: number;
-    readonly metadata?: Record<string, unknown>;
-}
-/**
- * Database row type for edges (snake_case from SQLite).
- */
+/** Node type - one of the valid graph node types. */
+export declare const NodeTypeSchema: Schema.Literal<["learning", "file", "task", "run"]>;
+export type NodeType = typeof NodeTypeSchema.Type;
+/** Edge type - one of the valid graph edge types. */
+export declare const EdgeTypeSchema: Schema.Literal<["ANCHORED_TO", "DERIVED_FROM", "IMPORTS", "CO_CHANGES_WITH", "SIMILAR_TO", "LINKS_TO", "USED_IN_RUN", "INVALIDATED_BY"]>;
+export type EdgeType = typeof EdgeTypeSchema.Type;
+/** Edge ID - branded integer. */
+export declare const EdgeIdSchema: Schema.brand<Schema.filter<typeof Schema.Number>, "EdgeId">;
+export type EdgeId = typeof EdgeIdSchema.Type;
+/** Edge entity - connects two nodes in the graph. */
+export declare const EdgeSchema: Schema.Struct<{
+    id: Schema.brand<Schema.filter<typeof Schema.Number>, "EdgeId">;
+    edgeType: Schema.Literal<["ANCHORED_TO", "DERIVED_FROM", "IMPORTS", "CO_CHANGES_WITH", "SIMILAR_TO", "LINKS_TO", "USED_IN_RUN", "INVALIDATED_BY"]>;
+    sourceType: Schema.Literal<["learning", "file", "task", "run"]>;
+    sourceId: typeof Schema.String;
+    targetType: Schema.Literal<["learning", "file", "task", "run"]>;
+    targetId: typeof Schema.String;
+    weight: typeof Schema.Number;
+    metadata: Schema.Record$<typeof Schema.String, typeof Schema.Unknown>;
+    createdAt: typeof Schema.DateFromSelf;
+    invalidatedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+}>;
+export type Edge = typeof EdgeSchema.Type;
+/** Input for creating a new edge. */
+export declare const CreateEdgeInputSchema: Schema.Struct<{
+    edgeType: Schema.Literal<["ANCHORED_TO", "DERIVED_FROM", "IMPORTS", "CO_CHANGES_WITH", "SIMILAR_TO", "LINKS_TO", "USED_IN_RUN", "INVALIDATED_BY"]>;
+    sourceType: Schema.Literal<["learning", "file", "task", "run"]>;
+    sourceId: typeof Schema.String;
+    targetType: Schema.Literal<["learning", "file", "task", "run"]>;
+    targetId: typeof Schema.String;
+    weight: Schema.optional<typeof Schema.Number>;
+    metadata: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+}>;
+export type CreateEdgeInput = typeof CreateEdgeInputSchema.Type;
+/** Input for updating an edge. */
+export declare const UpdateEdgeInputSchema: Schema.Struct<{
+    weight: Schema.optional<typeof Schema.Number>;
+    metadata: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+}>;
+export type UpdateEdgeInput = typeof UpdateEdgeInputSchema.Type;
+/** Neighbor node returned from graph traversal. */
+export declare const NeighborNodeSchema: Schema.Struct<{
+    nodeType: Schema.Literal<["learning", "file", "task", "run"]>;
+    nodeId: typeof Schema.String;
+    edgeType: Schema.Literal<["ANCHORED_TO", "DERIVED_FROM", "IMPORTS", "CO_CHANGES_WITH", "SIMILAR_TO", "LINKS_TO", "USED_IN_RUN", "INVALIDATED_BY"]>;
+    weight: typeof Schema.Number;
+    direction: Schema.Literal<["outgoing", "incoming"]>;
+}>;
+export type NeighborNode = typeof NeighborNodeSchema.Type;
+/** Database row type for edges (snake_case from SQLite). */
 export interface EdgeRow {
     id: number;
     edge_type: string;
@@ -77,14 +84,4 @@ export interface EdgeRow {
     created_at: string;
     invalidated_at: string | null;
 }
-/**
- * Neighbor node returned from graph traversal.
- */
-export interface NeighborNode {
-    readonly nodeType: NodeType;
-    readonly nodeId: string;
-    readonly edgeType: EdgeType;
-    readonly weight: number;
-    readonly direction: "outgoing" | "incoming";
-}
 //# sourceMappingURL=edge.d.ts.map

package/dist/edge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"edge.d.ts","sourceRoot":"","sources":["../src/edge.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAEjE;;GAEG;AACH,eAAO,MAAM,UAAU,8CAA+C,CAAC;AACvE,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,UAAU,mIASb,CAAC;AACX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,IAAI,GAAG,IAAI,CAAC;CACrC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,UAAU,GAAG,UAAU,CAAC;CAC7C"}
+{"version":3,"file":"edge.d.ts","sourceRoot":"","sources":["../src/edge.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B;;GAEG;AACH,eAAO,MAAM,UAAU,8CAA+C,CAAC;AAEvE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,UAAU,mIASb,CAAC;AAMX,qDAAqD;AACrD,eAAO,MAAM,cAAc,qDAAgC,CAAA;AAC3D,MAAM,MAAM,QAAQ,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEjD,qDAAqD;AACrD,eAAO,MAAM,cAAc,0IAAgC,CAAA;AAC3D,MAAM,MAAM,QAAQ,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEjD,iCAAiC;AACjC,eAAO,MAAM,YAAY,6DAGxB,CAAA;AACD,MAAM,MAAM,MAAM,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE7C,qDAAqD;AACrD,eAAO,MAAM,UAAU;;;;;;;;;;;EAWrB,CAAA;AACF,MAAM,MAAM,IAAI,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAEzC,qCAAqC;AACrC,eAAO,MAAM,qBAAqB;;;;;;;;EAQhC,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D,kCAAkC;AAClC,eAAO,MAAM,qBAAqB;;;EAGhC,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D,mDAAmD;AACnD,eAAO,MAAM,kBAAkB;;;;;;EAM7B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAMzD,4DAA4D;AAC5D,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B"}

package/dist/edge.js

@@ -2,8 +2,13 @@
  * Edge types for tx
  *
  * Type definitions for graph edges that connect nodes in the knowledge graph.
- * 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
+// =============================================================================
 /**
  * Node types in the graph - entities that can be connected by edges.
  */
@@ -29,4 +34,49 @@ export const EDGE_TYPES = [
     "USED_IN_RUN",
     "INVALIDATED_BY",
 ];
+// =============================================================================
+// SCHEMAS & TYPES
+// =============================================================================
+/** Node type - one of the valid graph node types. */
+export const NodeTypeSchema = Schema.Literal(...NODE_TYPES);
+/** Edge type - one of the valid graph edge types. */
+export const EdgeTypeSchema = Schema.Literal(...EDGE_TYPES);
+/** Edge ID - branded integer. */
+export const EdgeIdSchema = Schema.Number.pipe(Schema.int(), Schema.brand("EdgeId"));
+/** Edge entity - connects two nodes in the graph. */
+export const EdgeSchema = Schema.Struct({
+    id: EdgeIdSchema,
+    edgeType: EdgeTypeSchema,
+    sourceType: NodeTypeSchema,
+    sourceId: Schema.String,
+    targetType: NodeTypeSchema,
+    targetId: Schema.String,
+    weight: Schema.Number, // 0-1
+    metadata: Schema.Record({ key: Schema.String, value: Schema.Unknown }),
+    createdAt: Schema.DateFromSelf,
+    invalidatedAt: Schema.NullOr(Schema.DateFromSelf),
+});
+/** Input for creating a new edge. */
+export const CreateEdgeInputSchema = Schema.Struct({
+    edgeType: EdgeTypeSchema,
+    sourceType: NodeTypeSchema,
+    sourceId: Schema.String,
+    targetType: NodeTypeSchema,
+    targetId: Schema.String,
+    weight: Schema.optional(Schema.Number),
+    metadata: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+});
+/** Input for updating an edge. */
+export const UpdateEdgeInputSchema = Schema.Struct({
+    weight: Schema.optional(Schema.Number),
+    metadata: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+});
+/** Neighbor node returned from graph traversal. */
+export const NeighborNodeSchema = Schema.Struct({
+    nodeType: NodeTypeSchema,
+    nodeId: Schema.String,
+    edgeType: EdgeTypeSchema,
+    weight: Schema.Number,
+    direction: Schema.Literal("outgoing", "incoming"),
+});
 //# sourceMappingURL=edge.js.map

package/dist/edge.js.map

@@ -1 +1 @@
-{"version":3,"file":"edge.js","sourceRoot":"","sources":["../src/edge.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAOH;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAU,CAAC;AAGvE;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,aAAa;IACb,cAAc;IACd,SAAS;IACT,iBAAiB;IACjB,YAAY;IACZ,UAAU;IACV,aAAa;IACb,gBAAgB;CACR,CAAC"}
+{"version":3,"file":"edge.js","sourceRoot":"","sources":["../src/edge.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAU,CAAC;AAEvE;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,aAAa;IACb,cAAc;IACd,SAAS;IACT,iBAAiB;IACjB,YAAY;IACZ,UAAU;IACV,aAAa;IACb,gBAAgB;CACR,CAAC;AAEX,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF,qDAAqD;AACrD,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,CAAA;AAG3D,qDAAqD;AACrD,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,CAAA;AAG3D,iCAAiC;AACjC,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC5C,MAAM,CAAC,GAAG,EAAE,EACZ,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CACvB,CAAA;AAGD,qDAAqD;AACrD,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,YAAY;IAChB,QAAQ,EAAE,cAAc;IACxB,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM;IAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACtE,SAAS,EAAE,MAAM,CAAC,YAAY;IAC9B,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;CAClD,CAAC,CAAA;AAGF,qCAAqC;AACrC,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,QAAQ,EAAE,cAAc;IACxB,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;CACxF,CAAC,CAAA;AAGF,kCAAkC;AAClC,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;CACxF,CAAC,CAAA;AAGF,mDAAmD;AACnD,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,QAAQ,EAAE,cAAc;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,QAAQ,EAAE,cAAc;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,CAAC;CAClD,CAAC,CAAA"}

package/dist/file-learning.d.ts

@@ -2,35 +2,30 @@
  * File learning types for tx
  *
  * Type definitions for path-based knowledge storage.
- * Zero runtime dependencies - pure TypeScript types only.
- */
-/**
- * Branded type for file learning IDs.
- */
-export type FileLearningId = number & {
-    readonly _brand: unique symbol;
-};
-/**
- * File learning entity - a note associated with a file pattern.
- */
-export interface FileLearning {
-    readonly id: FileLearningId;
-    readonly filePattern: string;
-    readonly note: string;
-    readonly taskId: string | null;
-    readonly createdAt: Date;
-}
-/**
- * Input for creating a new file learning.
- */
-export interface CreateFileLearningInput {
-    readonly filePattern: string;
-    readonly note: string;
-    readonly taskId?: string | null;
-}
-/**
- * Database row type for file learnings (snake_case from SQLite).
+ * Core type definitions using Effect Schema (Doctrine Rule 10).
+ * Schema definitions provide both compile-time types and runtime validation.
  */
+import { Schema } from "effect";
+/** File learning ID - branded integer. */
+export declare const FileLearningIdSchema: Schema.brand<Schema.filter<typeof Schema.Number>, "FileLearningId">;
+export type FileLearningId = typeof FileLearningIdSchema.Type;
+/** File learning entity - a note associated with a file pattern. */
+export declare const FileLearningSchema: Schema.Struct<{
+    id: Schema.brand<Schema.filter<typeof Schema.Number>, "FileLearningId">;
+    filePattern: typeof Schema.String;
+    note: typeof Schema.String;
+    taskId: Schema.NullOr<typeof Schema.String>;
+    createdAt: typeof Schema.DateFromSelf;
+}>;
+export type FileLearning = typeof FileLearningSchema.Type;
+/** Input for creating a new file learning. */
+export declare const CreateFileLearningInputSchema: Schema.Struct<{
+    filePattern: typeof Schema.String;
+    note: typeof Schema.String;
+    taskId: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+}>;
+export type CreateFileLearningInput = typeof CreateFileLearningInputSchema.Type;
+/** Database row type for file learnings (snake_case from SQLite). */
 export interface FileLearningRow {
     id: number;
     file_pattern: string;

package/dist/file-learning.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"file-learning.d.ts","sourceRoot":"","sources":["../src/file-learning.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAEzE;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACpB"}
+{"version":3,"file":"file-learning.d.ts","sourceRoot":"","sources":["../src/file-learning.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B,0CAA0C;AAC1C,eAAO,MAAM,oBAAoB,qEAGhC,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAE7D,oEAAoE;AACpE,eAAO,MAAM,kBAAkB;;;;;;EAM7B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAEzD,8CAA8C;AAC9C,eAAO,MAAM,6BAA6B;;;;EAIxC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,OAAO,6BAA6B,CAAC,IAAI,CAAA;AAM/E,qEAAqE;AACrE,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/file-learning.js

@@ -2,7 +2,27 @@
  * File learning types for tx
  *
  * Type definitions for path-based knowledge storage.
- * 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.
  */
-export {};
+import { Schema } from "effect";
+// =============================================================================
+// SCHEMAS & TYPES
+// =============================================================================
+/** File learning ID - branded integer. */
+export const FileLearningIdSchema = Schema.Number.pipe(Schema.int(), Schema.brand("FileLearningId"));
+/** File learning entity - a note associated with a file pattern. */
+export const FileLearningSchema = Schema.Struct({
+    id: FileLearningIdSchema,
+    filePattern: Schema.String,
+    note: Schema.String,
+    taskId: Schema.NullOr(Schema.String),
+    createdAt: Schema.DateFromSelf,
+});
+/** Input for creating a new file learning. */
+export const CreateFileLearningInputSchema = Schema.Struct({
+    filePattern: Schema.String,
+    note: Schema.String,
+    taskId: Schema.optional(Schema.NullOr(Schema.String)),
+});
 //# sourceMappingURL=file-learning.js.map

package/dist/file-learning.js.map

@@ -1 +1 @@
-{"version":3,"file":"file-learning.js","sourceRoot":"","sources":["../src/file-learning.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}
+{"version":3,"file":"file-learning.js","sourceRoot":"","sources":["../src/file-learning.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACpD,MAAM,CAAC,GAAG,EAAE,EACZ,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAC/B,CAAA;AAGD,oEAAoE;AACpE,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,EAAE,EAAE,oBAAoB;IACxB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,SAAS,EAAE,MAAM,CAAC,YAAY;CAC/B,CAAC,CAAA;AAGF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,6BAA6B,GAAG,MAAM,CAAC,MAAM,CAAC;IACzD,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACtD,CAAC,CAAA"}

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