@jamesaphoenix/tx-types 0.4.2 → 0.4.4

package/dist/cycle.d.ts

@@ -0,0 +1,130 @@
+/**
+ * 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";
+export declare const FINDING_SEVERITIES: readonly ["high", "medium", "low"];
+export declare const LOSS_WEIGHTS: {
+    readonly high: 3;
+    readonly medium: 2;
+    readonly low: 1;
+};
+/** Severity level for a finding. */
+export declare const FindingSeveritySchema: Schema.Literal<["high", "medium", "low"]>;
+export type FindingSeverity = typeof FindingSeveritySchema.Type;
+/** A single issue found by a scan agent. */
+export declare const FindingSchema: Schema.Struct<{
+    title: typeof Schema.String;
+    description: typeof Schema.String;
+    severity: Schema.Literal<["high", "medium", "low"]>;
+    issueType: typeof Schema.String;
+    file: typeof Schema.String;
+    line: typeof Schema.Number;
+}>;
+export type Finding = typeof FindingSchema.Type;
+/** A duplicate finding mapped to an existing issue. */
+export declare const DuplicateSchema: Schema.Struct<{
+    findingIdx: typeof Schema.Number;
+    existingIssueId: typeof Schema.String;
+    reason: typeof Schema.String;
+}>;
+export type Duplicate = typeof DuplicateSchema.Type;
+/** Result of deduplication: new issues and identified duplicates. */
+export declare const DedupResultSchema: Schema.Struct<{
+    newIssues: Schema.Array$<Schema.Struct<{
+        title: typeof Schema.String;
+        description: typeof Schema.String;
+        severity: Schema.Literal<["high", "medium", "low"]>;
+        issueType: typeof Schema.String;
+        file: typeof Schema.String;
+        line: typeof Schema.Number;
+    }>>;
+    duplicates: Schema.Array$<Schema.Struct<{
+        findingIdx: typeof Schema.Number;
+        existingIssueId: typeof Schema.String;
+        reason: typeof Schema.String;
+    }>>;
+}>;
+export type DedupResult = typeof DedupResultSchema.Type;
+/** Configuration for a cycle scan run. */
+export declare const CycleConfigSchema: Schema.Struct<{
+    taskPrompt: typeof Schema.String;
+    scanPrompt: typeof Schema.String;
+    name: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
+    cycles: Schema.optional<Schema.filter<Schema.filter<typeof Schema.Number>>>;
+    maxRounds: Schema.optional<Schema.filter<Schema.filter<typeof Schema.Number>>>;
+    agents: Schema.optional<Schema.filter<Schema.filter<typeof Schema.Number>>>;
+    model: Schema.optional<typeof Schema.String>;
+    fix: Schema.optional<typeof Schema.Boolean>;
+    scanOnly: Schema.optional<typeof Schema.Boolean>;
+    dryRun: Schema.optional<typeof Schema.Boolean>;
+    score: Schema.optional<Schema.filter<typeof Schema.Number>>;
+}>;
+export type CycleConfig = typeof CycleConfigSchema.Type;
+/** Metrics for a single round within a cycle. */
+export declare const RoundMetricsSchema: Schema.Struct<{
+    cycle: Schema.filter<typeof Schema.Number>;
+    round: Schema.filter<typeof Schema.Number>;
+    loss: typeof Schema.Number;
+    newIssues: Schema.filter<typeof Schema.Number>;
+    existingIssues: Schema.filter<typeof Schema.Number>;
+    duplicates: Schema.filter<typeof Schema.Number>;
+    high: Schema.filter<typeof Schema.Number>;
+    medium: Schema.filter<typeof Schema.Number>;
+    low: Schema.filter<typeof Schema.Number>;
+}>;
+export type RoundMetrics = typeof RoundMetricsSchema.Type;
+/** Result of a completed cycle. */
+export declare const CycleResultSchema: Schema.Struct<{
+    cycleRunId: typeof Schema.String;
+    cycle: Schema.filter<typeof Schema.Number>;
+    name: typeof Schema.String;
+    description: typeof Schema.String;
+    rounds: Schema.filter<typeof Schema.Number>;
+    totalNewIssues: Schema.filter<typeof Schema.Number>;
+    existingIssues: Schema.filter<typeof Schema.Number>;
+    finalLoss: typeof Schema.Number;
+    converged: typeof Schema.Boolean;
+}>;
+export type CycleResult = typeof CycleResultSchema.Type;
+/** Progress events emitted during cycle scan — keeps service UI-agnostic. */
+export type CycleProgressEvent = {
+    type: "cycle_start";
+    cycle: number;
+    totalCycles: number;
+    name: string;
+} | {
+    type: "scan_complete";
+    cycle: number;
+    round: number;
+    findings: number;
+    durationMs: number;
+} | {
+    type: "dedup_complete";
+    cycle: number;
+    round: number;
+    newIssues: number;
+    duplicates: number;
+} | {
+    type: "round_loss";
+    cycle: number;
+    round: number;
+    loss: number;
+    high: number;
+    medium: number;
+    low: number;
+} | {
+    type: "converged";
+    cycle: number;
+    round: number;
+} | {
+    type: "cycle_complete";
+    result: CycleResult;
+};
+//# sourceMappingURL=cycle.d.ts.map

package/dist/cycle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle.d.ts","sourceRoot":"","sources":["../src/cycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B,eAAO,MAAM,kBAAkB,oCAAqC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;CAA0C,CAAA;AAMnE,oCAAoC;AACpC,eAAO,MAAM,qBAAqB,2CAAwC,CAAA;AAC1E,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D,4CAA4C;AAC5C,eAAO,MAAM,aAAa;;;;;;;EAOxB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAM/C,uDAAuD;AACvD,eAAO,MAAM,eAAe;;;;EAI1B,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEnD,qEAAqE;AACrE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;EAG5B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAMvD,0CAA0C;AAC1C,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;EAa5B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAMvD,iDAAiD;AACjD,eAAO,MAAM,kBAAkB;;;;;;;;;;EAU7B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAEzD,mCAAmC;AACnC,eAAO,MAAM,iBAAiB;;;;;;;;;;EAU5B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAMvD,6EAA6E;AAC7E,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAC7F;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAC/F;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC7G;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CAAA"}

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