@jamesaphoenix/tx-types 0.4.2 → 0.4.4

package/dist/doc.d.ts

@@ -0,0 +1,269 @@
+/**
+ * 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";
+export declare const DOC_KINDS: readonly ["overview", "prd", "design"];
+export declare const DOC_STATUSES: readonly ["changing", "locked"];
+export declare const DOC_LINK_TYPES: readonly ["overview_to_prd", "overview_to_design", "prd_to_design", "design_patch"];
+export declare const TASK_DOC_LINK_TYPES: readonly ["implements", "references"];
+export declare const INVARIANT_ENFORCEMENT_TYPES: readonly ["integration_test", "linter", "llm_as_judge"];
+export declare const INVARIANT_STATUSES: readonly ["active", "deprecated"];
+/** Doc kind — overview (one per project), prd, or design. */
+export declare const DocKindSchema: Schema.Literal<["overview", "prd", "design"]>;
+export type DocKind = typeof DocKindSchema.Type;
+/** Doc status — changing (editable) or locked (immutable). */
+export declare const DocStatusSchema: Schema.Literal<["changing", "locked"]>;
+export type DocStatus = typeof DocStatusSchema.Type;
+/** Doc link type — directed edge between docs in the DAG. */
+export declare const DocLinkTypeSchema: Schema.Literal<["overview_to_prd", "overview_to_design", "prd_to_design", "design_patch"]>;
+export type DocLinkType = typeof DocLinkTypeSchema.Type;
+/** Task-doc link type — how a task relates to a doc. */
+export declare const TaskDocLinkTypeSchema: Schema.Literal<["implements", "references"]>;
+export type TaskDocLinkType = typeof TaskDocLinkTypeSchema.Type;
+/** Doc ID — branded integer. */
+export declare const DocIdSchema: Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">;
+export type DocId = typeof DocIdSchema.Type;
+/** Core doc entity (DB metadata — YAML content lives on disk only). */
+export declare const DocSchema: Schema.Struct<{
+    id: Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">;
+    hash: typeof Schema.String;
+    kind: Schema.Literal<["overview", "prd", "design"]>;
+    name: typeof Schema.String;
+    title: typeof Schema.String;
+    version: Schema.filter<typeof Schema.Number>;
+    status: Schema.Literal<["changing", "locked"]>;
+    filePath: typeof Schema.String;
+    parentDocId: Schema.NullOr<Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">>;
+    createdAt: typeof Schema.DateFromSelf;
+    lockedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+    metadata: Schema.Record$<typeof Schema.String, typeof Schema.Unknown>;
+}>;
+export type Doc = typeof DocSchema.Type;
+/** Doc with resolved links (for API responses). */
+export declare const DocWithLinksSchema: Schema.Struct<{
+    linksTo: Schema.Array$<Schema.Struct<{
+        docId: Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">;
+        docName: typeof Schema.String;
+        linkType: Schema.Literal<["overview_to_prd", "overview_to_design", "prd_to_design", "design_patch"]>;
+    }>>;
+    linksFrom: Schema.Array$<Schema.Struct<{
+        docId: Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">;
+        docName: typeof Schema.String;
+        linkType: Schema.Literal<["overview_to_prd", "overview_to_design", "prd_to_design", "design_patch"]>;
+    }>>;
+    taskIds: Schema.Array$<typeof Schema.String>;
+    invariantCount: Schema.filter<typeof Schema.Number>;
+    id: Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">;
+    hash: typeof Schema.String;
+    kind: Schema.Literal<["overview", "prd", "design"]>;
+    name: typeof Schema.String;
+    title: typeof Schema.String;
+    version: Schema.filter<typeof Schema.Number>;
+    status: Schema.Literal<["changing", "locked"]>;
+    filePath: typeof Schema.String;
+    parentDocId: Schema.NullOr<Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">>;
+    createdAt: typeof Schema.DateFromSelf;
+    lockedAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+    metadata: Schema.Record$<typeof Schema.String, typeof Schema.Unknown>;
+}>;
+export type DocWithLinks = typeof DocWithLinksSchema.Type;
+/** Doc link entity. */
+export declare const DocLinkSchema: Schema.Struct<{
+    id: Schema.filter<typeof Schema.Number>;
+    fromDocId: Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">;
+    toDocId: Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">;
+    linkType: Schema.Literal<["overview_to_prd", "overview_to_design", "prd_to_design", "design_patch"]>;
+    createdAt: typeof Schema.DateFromSelf;
+}>;
+export type DocLink = typeof DocLinkSchema.Type;
+/** Task-doc link entity. */
+export declare const TaskDocLinkSchema: Schema.Struct<{
+    id: Schema.filter<typeof Schema.Number>;
+    taskId: typeof Schema.String;
+    docId: Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">;
+    linkType: Schema.Literal<["implements", "references"]>;
+    createdAt: typeof Schema.DateFromSelf;
+}>;
+export type TaskDocLink = typeof TaskDocLinkSchema.Type;
+/** Input for creating a new doc. */
+export declare const CreateDocInputSchema: Schema.Struct<{
+    kind: Schema.Literal<["overview", "prd", "design"]>;
+    name: typeof Schema.String;
+    title: typeof Schema.String;
+    yamlContent: typeof Schema.String;
+    metadata: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+}>;
+export type CreateDocInput = typeof CreateDocInputSchema.Type;
+/** Invariant enforcement type — how the invariant is verified. */
+export declare const InvariantEnforcementSchema: Schema.Literal<["integration_test", "linter", "llm_as_judge"]>;
+export type InvariantEnforcement = typeof InvariantEnforcementSchema.Type;
+/** Invariant status. */
+export declare const InvariantStatusSchema: Schema.Literal<["active", "deprecated"]>;
+export type InvariantStatus = typeof InvariantStatusSchema.Type;
+/** Invariant ID — branded string matching INV-[A-Z0-9-]+. */
+export declare const InvariantIdSchema: Schema.brand<Schema.filter<typeof Schema.String>, "InvariantId">;
+export type InvariantId = typeof InvariantIdSchema.Type;
+/** Invariant entity — a machine-checkable system rule. */
+export declare const InvariantSchema: Schema.Struct<{
+    id: Schema.brand<Schema.filter<typeof Schema.String>, "InvariantId">;
+    rule: typeof Schema.String;
+    enforcement: Schema.Literal<["integration_test", "linter", "llm_as_judge"]>;
+    docId: Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">;
+    subsystem: Schema.NullOr<typeof Schema.String>;
+    testRef: Schema.NullOr<typeof Schema.String>;
+    lintRule: Schema.NullOr<typeof Schema.String>;
+    promptRef: Schema.NullOr<typeof Schema.String>;
+    status: Schema.Literal<["active", "deprecated"]>;
+    createdAt: typeof Schema.DateFromSelf;
+    metadata: Schema.Record$<typeof Schema.String, typeof Schema.Unknown>;
+}>;
+export type Invariant = typeof InvariantSchema.Type;
+/** Invariant check result — audit trail entry. */
+export declare const InvariantCheckSchema: Schema.Struct<{
+    id: Schema.filter<typeof Schema.Number>;
+    invariantId: Schema.brand<Schema.filter<typeof Schema.String>, "InvariantId">;
+    passed: typeof Schema.Boolean;
+    details: Schema.NullOr<typeof Schema.String>;
+    checkedAt: typeof Schema.DateFromSelf;
+    durationMs: Schema.NullOr<Schema.filter<typeof Schema.Number>>;
+}>;
+export type InvariantCheck = typeof InvariantCheckSchema.Type;
+/** Input for upserting an invariant (from YAML sync). */
+export declare const UpsertInvariantInputSchema: Schema.Struct<{
+    id: typeof Schema.String;
+    rule: typeof Schema.String;
+    enforcement: Schema.Literal<["integration_test", "linter", "llm_as_judge"]>;
+    docId: Schema.brand<Schema.filter<typeof Schema.Number>, "DocId">;
+    subsystem: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    testRef: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    lintRule: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    promptRef: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+}>;
+export type UpsertInvariantInput = typeof UpsertInvariantInputSchema.Type;
+/** Input for recording an invariant check. */
+export declare const RecordInvariantCheckInputSchema: Schema.Struct<{
+    invariantId: typeof Schema.String;
+    passed: typeof Schema.Boolean;
+    details: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    durationMs: Schema.optional<Schema.NullOr<Schema.filter<typeof Schema.Number>>>;
+}>;
+export type RecordInvariantCheckInput = typeof RecordInvariantCheckInputSchema.Type;
+/**
+ * Check if a string is a valid doc kind.
+ */
+export declare const isValidDocKind: (kind: string) => kind is DocKind;
+export declare class InvalidDocKindError extends Error {
+    readonly kind: string;
+    constructor(kind: string);
+}
+export declare const assertDocKind: (kind: string) => DocKind;
+/**
+ * Check if a string is a valid doc status.
+ */
+export declare const isValidDocStatus: (status: string) => status is DocStatus;
+export declare class InvalidDocStatusError extends Error {
+    readonly status: string;
+    constructor(status: string);
+}
+export declare const assertDocStatus: (status: string) => DocStatus;
+/**
+ * Check if a string is a valid doc link type.
+ */
+export declare const isValidDocLinkType: (linkType: string) => linkType is DocLinkType;
+export declare class InvalidDocLinkTypeError extends Error {
+    readonly linkType: string;
+    constructor(linkType: string);
+}
+export declare const assertDocLinkType: (linkType: string) => DocLinkType;
+/** Node in the doc graph. */
+export declare const DocGraphNodeSchema: Schema.Struct<{
+    id: typeof Schema.String;
+    label: typeof Schema.String;
+    kind: Schema.Literal<["overview", "prd", "design", "task"]>;
+    status: Schema.optional<typeof Schema.String>;
+}>;
+export type DocGraphNode = typeof DocGraphNodeSchema.Type;
+/** Edge in the doc graph. */
+export declare const DocGraphEdgeSchema: Schema.Struct<{
+    source: typeof Schema.String;
+    target: typeof Schema.String;
+    type: typeof Schema.String;
+}>;
+export type DocGraphEdge = typeof DocGraphEdgeSchema.Type;
+/** Full doc graph (nodes + edges). */
+export declare const DocGraphSchema: Schema.Struct<{
+    nodes: Schema.Array$<Schema.Struct<{
+        id: typeof Schema.String;
+        label: typeof Schema.String;
+        kind: Schema.Literal<["overview", "prd", "design", "task"]>;
+        status: Schema.optional<typeof Schema.String>;
+    }>>;
+    edges: Schema.Array$<Schema.Struct<{
+        source: typeof Schema.String;
+        target: typeof Schema.String;
+        type: typeof Schema.String;
+    }>>;
+}>;
+export type DocGraph = typeof DocGraphSchema.Type;
+/** Database row type for docs (snake_case from SQLite). */
+export interface DocRow {
+    id: number;
+    hash: string;
+    kind: string;
+    name: string;
+    title: string;
+    version: number;
+    status: string;
+    file_path: string;
+    parent_doc_id: number | null;
+    created_at: string;
+    locked_at: string | null;
+    metadata: string | null;
+}
+/** Database row type for doc links. */
+export interface DocLinkRow {
+    id: number;
+    from_doc_id: number;
+    to_doc_id: number;
+    link_type: string;
+    created_at: string;
+}
+/** Database row type for task-doc links. */
+export interface TaskDocLinkRow {
+    id: number;
+    task_id: string;
+    doc_id: number;
+    link_type: string;
+    created_at: string;
+}
+/** Database row type for invariants. */
+export interface InvariantRow {
+    id: string;
+    rule: string;
+    enforcement: string;
+    doc_id: number;
+    subsystem: string | null;
+    test_ref: string | null;
+    lint_rule: string | null;
+    prompt_ref: string | null;
+    status: string;
+    created_at: string;
+    metadata: string | null;
+}
+/** Database row type for invariant checks. */
+export interface InvariantCheckRow {
+    id: number;
+    invariant_id: string;
+    passed: number;
+    details: string | null;
+    checked_at: string;
+    duration_ms: number | null;
+}
+//# sourceMappingURL=doc.d.ts.map

package/dist/doc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"doc.d.ts","sourceRoot":"","sources":["../src/doc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B,eAAO,MAAM,SAAS,wCAAyC,CAAA;AAE/D,eAAO,MAAM,YAAY,iCAAkC,CAAA;AAE3D,eAAO,MAAM,cAAc,qFAKjB,CAAA;AAEV,eAAO,MAAM,mBAAmB,uCAAwC,CAAA;AAExE,eAAO,MAAM,2BAA2B,yDAI9B,CAAA;AAEV,eAAO,MAAM,kBAAkB,mCAAoC,CAAA;AAMnE,6DAA6D;AAC7D,eAAO,MAAM,aAAa,+CAA+B,CAAA;AACzD,MAAM,MAAM,OAAO,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAE/C,8DAA8D;AAC9D,eAAO,MAAM,eAAe,wCAAkC,CAAA;AAC9D,MAAM,MAAM,SAAS,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEnD,6DAA6D;AAC7D,eAAO,MAAM,iBAAiB,4FAAoC,CAAA;AAClE,MAAM,MAAM,WAAW,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAEvD,wDAAwD;AACxD,eAAO,MAAM,qBAAqB,8CAAyC,CAAA;AAC3E,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D,gCAAgC;AAChC,eAAO,MAAM,WAAW,4DAGvB,CAAA;AACD,MAAM,MAAM,KAAK,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAE3C,uEAAuE;AACvE,eAAO,MAAM,SAAS;;;;;;;;;;;;;EAapB,CAAA;AACF,MAAM,MAAM,GAAG,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAEvC,mDAAmD;AACnD,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;EAc7B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAEzD,uBAAuB;AACvB,eAAO,MAAM,aAAa;;;;;;EAMxB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAE/C,4BAA4B;AAC5B,eAAO,MAAM,iBAAiB;;;;;;EAM5B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAEvD,oCAAoC;AACpC,eAAO,MAAM,oBAAoB;;;;;;EAM/B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAM7D,kEAAkE;AAClE,eAAO,MAAM,0BAA0B,gEAAiD,CAAA;AACxF,MAAM,MAAM,oBAAoB,GAAG,OAAO,0BAA0B,CAAC,IAAI,CAAA;AAEzE,wBAAwB;AACxB,eAAO,MAAM,qBAAqB,0CAAwC,CAAA;AAC1E,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D,6DAA6D;AAC7D,eAAO,MAAM,iBAAiB,kEAG7B,CAAA;AACD,MAAM,MAAM,WAAW,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAEvD,0DAA0D;AAC1D,eAAO,MAAM,eAAe;;;;;;;;;;;;EAY1B,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEnD,kDAAkD;AAClD,eAAO,MAAM,oBAAoB;;;;;;;EAO/B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAE7D,yDAAyD;AACzD,eAAO,MAAM,0BAA0B;;;;;;;;;EASrC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,OAAO,0BAA0B,CAAC,IAAI,CAAA;AAEzE,8CAA8C;AAC9C,eAAO,MAAM,+BAA+B;;;;;EAK1C,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,OAAO,+BAA+B,CAAC,IAAI,CAAA;AAMnF;;GAEG;AACH,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,IAAI,IAAI,OAErD,CAAC;AAEF,qBAAa,mBAAoB,SAAQ,KAAK;aAChB,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM;CAIzC;AAED,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,KAAG,OAK5C,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,KAAG,MAAM,IAAI,SAE3D,CAAC;AAEF,qBAAa,qBAAsB,SAAQ,KAAK;aAClB,MAAM,EAAE,MAAM;gBAAd,MAAM,EAAE,MAAM;CAI3C;AAED,eAAO,MAAM,eAAe,GAAI,QAAQ,MAAM,KAAG,SAKhD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAAI,UAAU,MAAM,KAAG,QAAQ,IAAI,WAEjE,CAAC;AAEF,qBAAa,uBAAwB,SAAQ,KAAK;aACpB,QAAQ,EAAE,MAAM;gBAAhB,QAAQ,EAAE,MAAM;CAI7C;AAED,eAAO,MAAM,iBAAiB,GAAI,UAAU,MAAM,KAAG,WAKpD,CAAC;AAMF,6BAA6B;AAC7B,eAAO,MAAM,kBAAkB;;;;;EAK7B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAEzD,6BAA6B;AAC7B,eAAO,MAAM,kBAAkB;;;;EAI7B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAEzD,sCAAsC;AACtC,eAAO,MAAM,cAAc;;;;;;;;;;;;EAGzB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAMjD,2DAA2D;AAC3D,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,MAAM,CAAA;IACjB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACxB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CACxB;AAED,uCAAuC;AACvC,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,4CAA4C;AAC5C,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,wCAAwC;AACxC,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACxB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACxB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IACzB,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CACxB;AAED,8CAA8C;AAC9C,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,YAAY,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;CAC3B"}

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