@jamesaphoenix/tx-types 0.4.2 → 0.4.3

package/dist/cycle.js

@@ -0,0 +1,89 @@
+/**
+ * Cycle types for tx
+ *
+ * Type definitions for the cycle-based issue discovery system.
+ * Core type definitions using Effect Schema (Doctrine Rule 10).
+ *
+ * Cycles dispatch sub-agent swarms to scan for codebase issues,
+ * deduplicate findings against known issues, and optionally fix them.
+ */
+import { Schema } from "effect";
+// =============================================================================
+// CONSTANTS
+// =============================================================================
+export const FINDING_SEVERITIES = ["high", "medium", "low"];
+export const LOSS_WEIGHTS = { high: 3, medium: 2, low: 1 };
+// =============================================================================
+// SCHEMAS & TYPES — Finding
+// =============================================================================
+/** Severity level for a finding. */
+export const FindingSeveritySchema = Schema.Literal(...FINDING_SEVERITIES);
+/** A single issue found by a scan agent. */
+export const FindingSchema = Schema.Struct({
+    title: Schema.String,
+    description: Schema.String,
+    severity: FindingSeveritySchema,
+    issueType: Schema.String,
+    file: Schema.String,
+    line: Schema.Number,
+});
+// =============================================================================
+// SCHEMAS & TYPES — Dedup
+// =============================================================================
+/** A duplicate finding mapped to an existing issue. */
+export const DuplicateSchema = Schema.Struct({
+    findingIdx: Schema.Number,
+    existingIssueId: Schema.String,
+    reason: Schema.String,
+});
+/** Result of deduplication: new issues and identified duplicates. */
+export const DedupResultSchema = Schema.Struct({
+    newIssues: Schema.Array(FindingSchema),
+    duplicates: Schema.Array(DuplicateSchema),
+});
+// =============================================================================
+// SCHEMAS & TYPES — Cycle Config
+// =============================================================================
+/** Configuration for a cycle scan run. */
+export const CycleConfigSchema = Schema.Struct({
+    taskPrompt: Schema.String,
+    scanPrompt: Schema.String,
+    name: Schema.optional(Schema.String),
+    description: Schema.optional(Schema.String),
+    cycles: Schema.optional(Schema.Number.pipe(Schema.int(), Schema.positive())),
+    maxRounds: Schema.optional(Schema.Number.pipe(Schema.int(), Schema.positive())),
+    agents: Schema.optional(Schema.Number.pipe(Schema.int(), Schema.positive())),
+    model: Schema.optional(Schema.String),
+    fix: Schema.optional(Schema.Boolean),
+    scanOnly: Schema.optional(Schema.Boolean),
+    dryRun: Schema.optional(Schema.Boolean),
+    score: Schema.optional(Schema.Number.pipe(Schema.int())),
+});
+// =============================================================================
+// SCHEMAS & TYPES — Metrics
+// =============================================================================
+/** Metrics for a single round within a cycle. */
+export const RoundMetricsSchema = Schema.Struct({
+    cycle: Schema.Number.pipe(Schema.int()),
+    round: Schema.Number.pipe(Schema.int()),
+    loss: Schema.Number,
+    newIssues: Schema.Number.pipe(Schema.int()),
+    existingIssues: Schema.Number.pipe(Schema.int()),
+    duplicates: Schema.Number.pipe(Schema.int()),
+    high: Schema.Number.pipe(Schema.int()),
+    medium: Schema.Number.pipe(Schema.int()),
+    low: Schema.Number.pipe(Schema.int()),
+});
+/** Result of a completed cycle. */
+export const CycleResultSchema = Schema.Struct({
+    cycleRunId: Schema.String,
+    cycle: Schema.Number.pipe(Schema.int()),
+    name: Schema.String,
+    description: Schema.String,
+    rounds: Schema.Number.pipe(Schema.int()),
+    totalNewIssues: Schema.Number.pipe(Schema.int()),
+    existingIssues: Schema.Number.pipe(Schema.int()),
+    finalLoss: Schema.Number,
+    converged: Schema.Boolean,
+});
+//# sourceMappingURL=cycle.js.map

package/dist/cycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle.js","sourceRoot":"","sources":["../src/cycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAU,CAAA;AAEpE,MAAM,CAAC,MAAM,YAAY,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAW,CAAA;AAEnE,gFAAgF;AAChF,4BAA4B;AAC5B,gFAAgF;AAEhF,oCAAoC;AACpC,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,kBAAkB,CAAC,CAAA;AAG1E,4CAA4C;AAC5C,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,QAAQ,EAAE,qBAAqB;IAC/B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC,CAAA;AAGF,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF,uDAAuD;AACvD,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,CAAA;AAGF,qEAAqE;AACrE,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;IACtC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC;CAC1C,CAAC,CAAA;AAGF,gFAAgF;AAChF,iCAAiC;AACjC,gFAAgF;AAEhF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC5E,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC/E,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC5E,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;IACzC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;IACvC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;CACzD,CAAC,CAAA;AAGF,gFAAgF;AAChF,4BAA4B;AAC5B,gFAAgF;AAEhF,iDAAiD;AACjD,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACvC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3C,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAChD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC5C,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACtC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACxC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;CACtC,CAAC,CAAA;AAGF,mCAAmC;AACnC,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACxC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAChD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAChD,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,SAAS,EAAE,MAAM,CAAC,OAAO;CAC1B,CAAC,CAAA"}

package/dist/deduplication.d.ts

@@ -3,34 +3,83 @@
  *
  * Type definitions for JSONL line deduplication and file progress tracking.
  * Used by the telemetry daemon to avoid re-processing already-seen content.
- * Zero runtime dependencies - pure TypeScript types only.
- */
-/**
- * Processed hash ID (auto-incremented integer).
+ * Core type definitions using Effect Schema (Doctrine Rule 10).
+ * Schema definitions provide both compile-time types and runtime validation.
  */
+import { Schema } from "effect";
+/** Processed hash ID (auto-incremented integer). */
 export type ProcessedHashId = number;
-/**
- * A processed JSONL line hash record.
- * Tracks unique content by SHA256 hash for deduplication.
- */
-export interface ProcessedHash {
-    readonly id: ProcessedHashId;
-    readonly contentHash: string;
-    readonly sourceFile: string;
-    readonly sourceLine: number;
-    readonly processedAt: Date;
-}
-/**
- * Input for recording a processed hash.
- */
-export interface CreateProcessedHashInput {
-    readonly contentHash: string;
-    readonly sourceFile: string;
-    readonly sourceLine: number;
-}
-/**
- * Database row type for processed_hashes (snake_case from SQLite).
- */
+/** A processed JSONL line hash record. */
+export declare const ProcessedHashSchema: Schema.Struct<{
+    id: Schema.filter<typeof Schema.Number>;
+    contentHash: typeof Schema.String;
+    sourceFile: typeof Schema.String;
+    sourceLine: Schema.filter<typeof Schema.Number>;
+    processedAt: typeof Schema.DateFromSelf;
+}>;
+export type ProcessedHash = typeof ProcessedHashSchema.Type;
+/** Input for recording a processed hash. */
+export declare const CreateProcessedHashInputSchema: Schema.Struct<{
+    contentHash: typeof Schema.String;
+    sourceFile: typeof Schema.String;
+    sourceLine: Schema.filter<typeof Schema.Number>;
+}>;
+export type CreateProcessedHashInput = typeof CreateProcessedHashInputSchema.Type;
+/** File progress ID (auto-incremented integer). */
+export type FileProgressId = number;
+/** File processing progress record. */
+export declare const FileProgressSchema: Schema.Struct<{
+    id: Schema.filter<typeof Schema.Number>;
+    filePath: typeof Schema.String;
+    lastLineProcessed: Schema.filter<typeof Schema.Number>;
+    lastByteOffset: Schema.filter<typeof Schema.Number>;
+    fileSize: Schema.NullOr<Schema.filter<typeof Schema.Number>>;
+    fileChecksum: Schema.NullOr<typeof Schema.String>;
+    lastProcessedAt: typeof Schema.DateFromSelf;
+}>;
+export type FileProgress = typeof FileProgressSchema.Type;
+/** Input for creating/updating file progress. */
+export declare const UpsertFileProgressInputSchema: Schema.Struct<{
+    filePath: typeof Schema.String;
+    lastLineProcessed: Schema.filter<typeof Schema.Number>;
+    lastByteOffset: Schema.filter<typeof Schema.Number>;
+    fileSize: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    fileChecksum: Schema.optional<typeof Schema.String>;
+}>;
+export type UpsertFileProgressInput = typeof UpsertFileProgressInputSchema.Type;
+/** Result of checking if a hash exists. */
+export declare const HashCheckResultSchema: Schema.Struct<{
+    exists: typeof Schema.Boolean;
+    hash: typeof Schema.String;
+}>;
+export type HashCheckResult = typeof HashCheckResultSchema.Type;
+/** Result of processing a JSONL line. */
+export declare const LineProcessResultSchema: Schema.Struct<{
+    hash: typeof Schema.String;
+    isNew: typeof Schema.Boolean;
+    lineNumber: Schema.filter<typeof Schema.Number>;
+    content: typeof Schema.String;
+}>;
+export type LineProcessResult = typeof LineProcessResultSchema.Type;
+/** Result of processing a file. */
+export declare const FileProcessResultSchema: Schema.Struct<{
+    filePath: typeof Schema.String;
+    totalLines: Schema.filter<typeof Schema.Number>;
+    newLines: Schema.filter<typeof Schema.Number>;
+    skippedLines: Schema.filter<typeof Schema.Number>;
+    startLine: Schema.filter<typeof Schema.Number>;
+    endLine: Schema.filter<typeof Schema.Number>;
+    duration: typeof Schema.Number;
+}>;
+export type FileProcessResult = typeof FileProcessResultSchema.Type;
+/** Options for deduplication processing. */
+export declare const DeduplicationOptionsSchema: Schema.Struct<{
+    batchSize: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    startLine: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    maxLines: Schema.optional<Schema.filter<typeof Schema.Number>>;
+}>;
+export type DeduplicationOptions = typeof DeduplicationOptionsSchema.Type;
+/** Database row type for processed_hashes (snake_case from SQLite). */
 export interface ProcessedHashRow {
     id: number;
     content_hash: string;
@@ -38,36 +87,7 @@ export interface ProcessedHashRow {
     source_line: number;
     processed_at: string;
 }
-/**
- * File progress ID (auto-incremented integer).
- */
-export type FileProgressId = number;
-/**
- * File processing progress record.
- * Tracks how far we've processed a JSONL file for incremental processing.
- */
-export interface FileProgress {
-    readonly id: FileProgressId;
-    readonly filePath: string;
-    readonly lastLineProcessed: number;
-    readonly lastByteOffset: number;
-    readonly fileSize: number | null;
-    readonly fileChecksum: string | null;
-    readonly lastProcessedAt: Date;
-}
-/**
- * Input for creating/updating file progress.
- */
-export interface UpsertFileProgressInput {
-    readonly filePath: string;
-    readonly lastLineProcessed: number;
-    readonly lastByteOffset: number;
-    readonly fileSize?: number;
-    readonly fileChecksum?: string;
-}
-/**
- * Database row type for file_progress (snake_case from SQLite).
- */
+/** Database row type for file_progress (snake_case from SQLite). */
 export interface FileProgressRow {
     id: number;
     file_path: string;
@@ -77,40 +97,4 @@ export interface FileProgressRow {
     file_checksum: string | null;
     last_processed_at: string;
 }
-/**
- * Result of checking if a hash exists.
- */
-export interface HashCheckResult {
-    readonly exists: boolean;
-    readonly hash: string;
-}
-/**
- * Result of processing a JSONL line.
- */
-export interface LineProcessResult {
-    readonly hash: string;
-    readonly isNew: boolean;
-    readonly lineNumber: number;
-    readonly content: string;
-}
-/**
- * Result of processing a file.
- */
-export interface FileProcessResult {
-    readonly filePath: string;
-    readonly totalLines: number;
-    readonly newLines: number;
-    readonly skippedLines: number;
-    readonly startLine: number;
-    readonly endLine: number;
-    readonly duration: number;
-}
-/**
- * Options for deduplication processing.
- */
-export interface DeduplicationOptions {
-    readonly batchSize?: number;
-    readonly startLine?: number;
-    readonly maxLines?: number;
-}
 //# sourceMappingURL=deduplication.d.ts.map

package/dist/deduplication.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"deduplication.d.ts","sourceRoot":"","sources":["../src/deduplication.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC;AAErC;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC;AAEpC;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B"}
+{"version":3,"file":"deduplication.d.ts","sourceRoot":"","sources":["../src/deduplication.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B,oDAAoD;AACpD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC;AAErC,0CAA0C;AAC1C,eAAO,MAAM,mBAAmB;;;;;;EAM9B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAE3D,4CAA4C;AAC5C,eAAO,MAAM,8BAA8B;;;;EAIzC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,OAAO,8BAA8B,CAAC,IAAI,CAAA;AAEjF,mDAAmD;AACnD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC;AAEpC,uCAAuC;AACvC,eAAO,MAAM,kBAAkB;;;;;;;;EAQ7B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAEzD,iDAAiD;AACjD,eAAO,MAAM,6BAA6B;;;;;;EAMxC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,OAAO,6BAA6B,CAAC,IAAI,CAAA;AAE/E,2CAA2C;AAC3C,eAAO,MAAM,qBAAqB;;;EAGhC,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D,yCAAyC;AACzC,eAAO,MAAM,uBAAuB;;;;;EAKlC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEnE,mCAAmC;AACnC,eAAO,MAAM,uBAAuB;;;;;;;;EAQlC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEnE,4CAA4C;AAC5C,eAAO,MAAM,0BAA0B;;;;EAIrC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,OAAO,0BAA0B,CAAC,IAAI,CAAA;AAMzE,uEAAuE;AACvE,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,oEAAoE;AACpE,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,iBAAiB,EAAE,MAAM,CAAC;CAC3B"}

package/dist/deduplication.js

@@ -3,7 +3,68 @@
  *
  * Type definitions for JSONL line deduplication and file progress tracking.
  * Used by the telemetry daemon to avoid re-processing already-seen content.
- * 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";
+/** A processed JSONL line hash record. */
+export const ProcessedHashSchema = Schema.Struct({
+    id: Schema.Number.pipe(Schema.int()),
+    contentHash: Schema.String,
+    sourceFile: Schema.String,
+    sourceLine: Schema.Number.pipe(Schema.int()),
+    processedAt: Schema.DateFromSelf,
+});
+/** Input for recording a processed hash. */
+export const CreateProcessedHashInputSchema = Schema.Struct({
+    contentHash: Schema.String,
+    sourceFile: Schema.String,
+    sourceLine: Schema.Number.pipe(Schema.int()),
+});
+/** File processing progress record. */
+export const FileProgressSchema = Schema.Struct({
+    id: Schema.Number.pipe(Schema.int()),
+    filePath: Schema.String,
+    lastLineProcessed: Schema.Number.pipe(Schema.int()),
+    lastByteOffset: Schema.Number.pipe(Schema.int()),
+    fileSize: Schema.NullOr(Schema.Number.pipe(Schema.int())),
+    fileChecksum: Schema.NullOr(Schema.String),
+    lastProcessedAt: Schema.DateFromSelf,
+});
+/** Input for creating/updating file progress. */
+export const UpsertFileProgressInputSchema = Schema.Struct({
+    filePath: Schema.String,
+    lastLineProcessed: Schema.Number.pipe(Schema.int()),
+    lastByteOffset: Schema.Number.pipe(Schema.int()),
+    fileSize: Schema.optional(Schema.Number.pipe(Schema.int())),
+    fileChecksum: Schema.optional(Schema.String),
+});
+/** Result of checking if a hash exists. */
+export const HashCheckResultSchema = Schema.Struct({
+    exists: Schema.Boolean,
+    hash: Schema.String,
+});
+/** Result of processing a JSONL line. */
+export const LineProcessResultSchema = Schema.Struct({
+    hash: Schema.String,
+    isNew: Schema.Boolean,
+    lineNumber: Schema.Number.pipe(Schema.int()),
+    content: Schema.String,
+});
+/** Result of processing a file. */
+export const FileProcessResultSchema = Schema.Struct({
+    filePath: Schema.String,
+    totalLines: Schema.Number.pipe(Schema.int()),
+    newLines: Schema.Number.pipe(Schema.int()),
+    skippedLines: Schema.Number.pipe(Schema.int()),
+    startLine: Schema.Number.pipe(Schema.int()),
+    endLine: Schema.Number.pipe(Schema.int()),
+    duration: Schema.Number,
+});
+/** Options for deduplication processing. */
+export const DeduplicationOptionsSchema = Schema.Struct({
+    batchSize: Schema.optional(Schema.Number.pipe(Schema.int())),
+    startLine: Schema.optional(Schema.Number.pipe(Schema.int())),
+    maxLines: Schema.optional(Schema.Number.pipe(Schema.int())),
+});
 //# sourceMappingURL=deduplication.js.map

package/dist/deduplication.js.map

@@ -1 +1 @@
-{"version":3,"file":"deduplication.js","sourceRoot":"","sources":["../src/deduplication.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}
+{"version":3,"file":"deduplication.js","sourceRoot":"","sources":["../src/deduplication.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAS/B,0CAA0C;AAC1C,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC5C,WAAW,EAAE,MAAM,CAAC,YAAY;CACjC,CAAC,CAAA;AAGF,4CAA4C;AAC5C,MAAM,CAAC,MAAM,8BAA8B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1D,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;CAC7C,CAAC,CAAA;AAMF,uCAAuC;AACvC,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACnD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAChD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACzD,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC,YAAY;CACrC,CAAC,CAAA;AAGF,iDAAiD;AACjD,MAAM,CAAC,MAAM,6BAA6B,GAAG,MAAM,CAAC,MAAM,CAAC;IACzD,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACnD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAChD,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3D,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CAC7C,CAAC,CAAA;AAGF,2CAA2C;AAC3C,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,MAAM,EAAE,MAAM,CAAC,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC,CAAA;AAGF,yCAAyC;AACzC,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,OAAO;IACrB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC5C,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC,CAAA;AAGF,mCAAmC;AACnC,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC5C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC1C,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC9C,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3C,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACzC,QAAQ,EAAE,MAAM,CAAC,MAAM;CACxB,CAAC,CAAA;AAGF,4CAA4C;AAC5C,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC;IACtD,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IAC5D,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IAC5D,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;CAC5D,CAAC,CAAA"}

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