@danielfgray/pg-sourcerer 0.2.2 → 0.4.0

package/dist/errors.d.ts

@@ -1,142 +1,117 @@
-interface ErrorBase {
-    readonly message: string;
+/**
+ * Core error types for pg-sourcerer
+ * Using Effect's Schema.TaggedError for typed error handling
+ */
+import { Schema } from "effect";
+declare const ConfigNotFound_base: Schema.TaggedErrorClass<ConfigNotFound, "ConfigNotFound", {
+    readonly _tag: Schema.tag<"ConfigNotFound">;
+} & {
+    message: typeof Schema.String;
+    searchPaths: Schema.Array$<typeof Schema.String>;
+}>;
+export declare class ConfigNotFound extends ConfigNotFound_base {
+}
+declare const ConfigInvalid_base: Schema.TaggedErrorClass<ConfigInvalid, "ConfigInvalid", {
+    readonly _tag: Schema.tag<"ConfigInvalid">;
+} & {
+    message: typeof Schema.String;
+    path: typeof Schema.String;
+    errors: Schema.Array$<typeof Schema.String>;
+}>;
+export declare class ConfigInvalid extends ConfigInvalid_base {
+}
+declare const ConnectionFailed_base: Schema.TaggedErrorClass<ConnectionFailed, "ConnectionFailed", {
+    readonly _tag: Schema.tag<"ConnectionFailed">;
+} & {
+    message: typeof Schema.String;
+    connectionString: typeof Schema.String;
+    cause: Schema.optional<typeof Schema.Unknown>;
+}>;
+export declare class ConnectionFailed extends ConnectionFailed_base {
+}
+declare const IntrospectionFailed_base: Schema.TaggedErrorClass<IntrospectionFailed, "IntrospectionFailed", {
+    readonly _tag: Schema.tag<"IntrospectionFailed">;
+} & {
+    message: typeof Schema.String;
+    schema: typeof Schema.String;
+    cause: Schema.optional<typeof Schema.Unknown>;
+}>;
+export declare class IntrospectionFailed extends IntrospectionFailed_base {
+}
+declare const TagParseError_base: Schema.TaggedErrorClass<TagParseError, "TagParseError", {
+    readonly _tag: Schema.tag<"TagParseError">;
+} & {
+    message: typeof Schema.String;
+    objectType: Schema.Union<[Schema.Literal<["table"]>, Schema.Literal<["column"]>, Schema.Literal<["constraint"]>, Schema.Literal<["type"]>]>;
+    objectName: typeof Schema.String;
+    comment: typeof Schema.String;
+    cause: Schema.optional<typeof Schema.Unknown>;
+}>;
+export declare class TagParseError extends TagParseError_base {
+}
+declare const WriteError_base: Schema.TaggedErrorClass<WriteError, "WriteError", {
+    readonly _tag: Schema.tag<"WriteError">;
+} & {
+    message: typeof Schema.String;
+    path: typeof Schema.String;
+    cause: Schema.optional<typeof Schema.Unknown>;
+}>;
+export declare class WriteError extends WriteError_base {
+}
+declare const ExportCollisionError_base: Schema.TaggedErrorClass<ExportCollisionError, "ExportCollisionError", {
+    readonly _tag: Schema.tag<"ExportCollisionError">;
+} & {
+    file: typeof Schema.String;
+    exportName: typeof Schema.String;
+    exportKind: typeof Schema.String;
+    capability1: typeof Schema.String;
+    capability2: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+export declare class ExportCollisionError extends ExportCollisionError_base {
+}
+declare const UserModuleParseError_base: Schema.TaggedErrorClass<UserModuleParseError, "UserModuleParseError", {
+    readonly _tag: Schema.tag<"UserModuleParseError">;
+} & {
+    message: typeof Schema.String;
+    /** Absolute path to the file that failed to parse */
+    path: typeof Schema.String;
+    cause: Schema.optional<typeof Schema.Unknown>;
+}>;
+/**
+ * Error when parsing a user module file fails.
+ */
+export declare class UserModuleParseError extends UserModuleParseError_base {
+}
+declare const ExportNotFoundError_base: Schema.TaggedErrorClass<ExportNotFoundError, "ExportNotFoundError", {
+    readonly _tag: Schema.tag<"ExportNotFoundError">;
+} & {
+    message: typeof Schema.String;
+    /** Absolute path to the module */
+    modulePath: typeof Schema.String;
+    /** The export name that was not found */
+    exportName: typeof Schema.String;
+    /** Available exports in the module */
+    availableExports: Schema.Array$<typeof Schema.String>;
+}>;
+/**
+ * Error when a requested export is not found in a user module.
+ */
+export declare class ExportNotFoundError extends ExportNotFoundError_base {
+}
+declare const UserModuleNotFoundError_base: Schema.TaggedErrorClass<UserModuleNotFoundError, "UserModuleNotFoundError", {
+    readonly _tag: Schema.tag<"UserModuleNotFoundError">;
+} & {
+    message: typeof Schema.String;
+    /** Path as specified in config (relative to config file) */
+    configPath: typeof Schema.String;
+    /** Resolved absolute path that was checked */
+    resolvedPath: typeof Schema.String;
+}>;
+/**
+ * Error when a user module file is not found.
+ */
+export declare class UserModuleNotFoundError extends UserModuleNotFoundError_base {
 }
-declare const ConfigNotFound_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "ConfigNotFound";
-} & Readonly<A>;
-export declare class ConfigNotFound extends ConfigNotFound_base<ErrorBase & {
-    readonly searchPaths: readonly string[];
-}> {
-}
-declare const ConfigInvalid_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "ConfigInvalid";
-} & Readonly<A>;
-export declare class ConfigInvalid extends ConfigInvalid_base<ErrorBase & {
-    readonly path: string;
-    readonly errors: readonly string[];
-}> {
-}
-declare const ConnectionFailed_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "ConnectionFailed";
-} & Readonly<A>;
-export declare class ConnectionFailed extends ConnectionFailed_base<ErrorBase & {
-    readonly connectionString: string;
-    readonly cause: unknown;
-}> {
-}
-declare const IntrospectionFailed_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "IntrospectionFailed";
-} & Readonly<A>;
-export declare class IntrospectionFailed extends IntrospectionFailed_base<ErrorBase & {
-    readonly schema: string;
-    readonly cause: unknown;
-}> {
-}
-declare const TagParseError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "TagParseError";
-} & Readonly<A>;
-export declare class TagParseError extends TagParseError_base<ErrorBase & {
-    readonly objectType: "table" | "column" | "constraint" | "type";
-    readonly objectName: string;
-    readonly comment: string;
-    readonly cause: unknown;
-}> {
-}
-declare const DuplicatePlugin_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "DuplicatePlugin";
-} & Readonly<A>;
-export declare class DuplicatePlugin extends DuplicatePlugin_base<ErrorBase & {
-    readonly plugin: string;
-}> {
-}
-declare const CapabilityNotSatisfied_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "CapabilityNotSatisfied";
-} & Readonly<A>;
-export declare class CapabilityNotSatisfied extends CapabilityNotSatisfied_base<ErrorBase & {
-    readonly required: string;
-    readonly requiredBy: string;
-}> {
-}
-declare const CapabilityConflict_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "CapabilityConflict";
-} & Readonly<A>;
-export declare class CapabilityConflict extends CapabilityConflict_base<ErrorBase & {
-    readonly capability: string;
-    readonly providers: readonly string[];
-}> {
-}
-declare const CapabilityCycle_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "CapabilityCycle";
-} & Readonly<A>;
-export declare class CapabilityCycle extends CapabilityCycle_base<ErrorBase & {
-    readonly cycle: readonly string[];
-}> {
-}
-declare const PluginConfigInvalid_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "PluginConfigInvalid";
-} & Readonly<A>;
-export declare class PluginConfigInvalid extends PluginConfigInvalid_base<ErrorBase & {
-    readonly plugin: string;
-    readonly errors: readonly string[];
-}> {
-}
-declare const PluginExecutionFailed_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "PluginExecutionFailed";
-} & Readonly<A>;
-export declare class PluginExecutionFailed extends PluginExecutionFailed_base<ErrorBase & {
-    readonly plugin: string;
-    readonly entity?: string;
-    readonly field?: string;
-    readonly cause: unknown;
-    readonly hint?: string;
-}> {
-}
-declare const EmitConflict_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "EmitConflict";
-} & Readonly<A>;
-export declare class EmitConflict extends EmitConflict_base<ErrorBase & {
-    readonly path: string;
-    readonly plugins: readonly string[];
-}> {
-}
-declare const SymbolConflict_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "SymbolConflict";
-} & Readonly<A>;
-export declare class SymbolConflict extends SymbolConflict_base<ErrorBase & {
-    readonly symbol: string;
-    readonly file: string;
-    readonly plugins: readonly string[];
-}> {
-}
-declare const WriteError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "WriteError";
-} & Readonly<A>;
-export declare class WriteError extends WriteError_base<ErrorBase & {
-    readonly path: string;
-    readonly cause: unknown;
-}> {
-}
-declare const UndefinedReference_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "UndefinedReference";
-} & Readonly<A>;
-export declare class UndefinedReference extends UndefinedReference_base<ErrorBase & {
-    readonly references: readonly {
-        readonly capability: string;
-        readonly entity: string;
-        readonly shape?: string;
-        readonly requestedBy: string;
-        readonly inFile: string;
-    }[];
-}> {
-}
-declare const FormatError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "FormatError";
-} & Readonly<A>;
-export declare class FormatError extends FormatError_base<ErrorBase & {
-    readonly path: string;
-    readonly cause: unknown;
-}> {
-}
-export type SourcererError = ConfigNotFound | ConfigInvalid | ConnectionFailed | IntrospectionFailed | TagParseError | DuplicatePlugin | CapabilityNotSatisfied | CapabilityConflict | CapabilityCycle | PluginConfigInvalid | PluginExecutionFailed | EmitConflict | SymbolConflict | WriteError | UndefinedReference | FormatError;
 export {};
 //# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAOA,UAAU,SAAS;IACjB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;;;;AAGD,qBAAa,cAAe,SAAQ,oBAClC,SAAS,GAAG;IAAE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CACxD;CAAG;;;;AAEJ,qBAAa,aAAc,SAAQ,mBACjC,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAC1E;CAAG;;;;AAGJ,qBAAa,gBAAiB,SAAQ,sBACpC,SAAS,GAAG;IAAE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAC3E;CAAG;;;;AAEJ,qBAAa,mBAAoB,SAAQ,yBACvC,SAAS,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CACjE;CAAG;;;;AAGJ,qBAAa,aAAc,SAAQ,mBACjC,SAAS,GAAG;IACV,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,QAAQ,GAAG,YAAY,GAAG,MAAM,CAAA;IAC/D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACxB,CACF;CAAG;;;;AAGJ,qBAAa,eAAgB,SAAQ,qBACnC,SAAS,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CACxC;CAAG;;;;AAEJ,qBAAa,sBAAuB,SAAQ,4BAC1C,SAAS,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CACvE;CAAG;;;;AAEJ,qBAAa,kBAAmB,SAAQ,wBACtC,SAAS,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CACnF;CAAG;;;;AAEJ,qBAAa,eAAgB,SAAQ,qBACnC,SAAS,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAClD;CAAG;;;;AAEJ,qBAAa,mBAAoB,SAAQ,yBACvC,SAAS,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAC5E;CAAG;;;;AAEJ,qBAAa,qBAAsB,SAAQ,2BACzC,SAAS,GAAG;IACV,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB,CACF;CAAG;;;;AAGJ,qBAAa,YAAa,SAAQ,kBAChC,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAC3E;CAAG;;;;AAEJ,qBAAa,cAAe,SAAQ,oBAClC,SAAS,GAAG;IACV,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CACpC,CACF;CAAG;;;;AAEJ,qBAAa,UAAW,SAAQ,gBAC9B,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAC/D;CAAG;;;;AAEJ,qBAAa,kBAAmB,SAAQ,wBACtC,SAAS,GAAG;IACV,QAAQ,CAAC,UAAU,EAAE,SAAS;QAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;QAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KACxB,EAAE,CAAA;CACJ,CACF;CAAG;;;;AAEJ,qBAAa,WAAY,SAAQ,iBAC/B,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAC/D;CAAG;AAGJ,MAAM,MAAM,cAAc,GACtB,cAAc,GACd,aAAa,GACb,gBAAgB,GAChB,mBAAmB,GACnB,aAAa,GACb,eAAe,GACf,sBAAsB,GACtB,kBAAkB,GAClB,eAAe,GACf,mBAAmB,GACnB,qBAAqB,GACrB,YAAY,GACZ,cAAc,GACd,UAAU,GACV,kBAAkB,GAClB,WAAW,CAAA"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;;;;;;AAEhC,qBAAa,cAAe,SAAQ,mBAMnC;CAAG;;;;;;;;AAEJ,qBAAa,aAAc,SAAQ,kBAOlC;CAAG;;;;;;;;AAEJ,qBAAa,gBAAiB,SAAQ,qBAOrC;CAAG;;;;;;;;AAEJ,qBAAa,mBAAoB,SAAQ,wBAOxC;CAAG;;;;;;;;;;AAEJ,qBAAa,aAAc,SAAQ,kBASlC;CAAG;;;;;;;;AAEJ,qBAAa,UAAW,SAAQ,eAO/B;CAAG;;;;;;;;;;;AAEJ,qBAAa,oBAAqB,SAAQ,yBAUzC;CAAG;;;;;IAaA,qDAAqD;;;;AAPzD;;GAEG;AACH,qBAAa,oBAAqB,SAAQ,yBAQzC;CAAG;;;;;IASA,kCAAkC;;IAElC,yCAAyC;;IAEzC,sCAAsC;;;AAX1C;;GAEG;AACH,qBAAa,mBAAoB,SAAQ,wBAWxC;CAAG;;;;;IASA,4DAA4D;;IAE5D,8CAA8C;;;AATlD;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,4BAS5C;CAAG"}

package/dist/errors.js

@@ -1,43 +1,89 @@
 /**
  * Core error types for pg-sourcerer
- * Using Effect's Data.TaggedEnum for typed error handling
+ * Using Effect's Schema.TaggedError for typed error handling
  */
-import { Data } from "effect";
-// Configuration errors
-export class ConfigNotFound extends Data.TaggedError("ConfigNotFound") {
-}
-export class ConfigInvalid extends Data.TaggedError("ConfigInvalid") {
-}
-// Database errors
-export class ConnectionFailed extends Data.TaggedError("ConnectionFailed") {
-}
-export class IntrospectionFailed extends Data.TaggedError("IntrospectionFailed") {
-}
-// Smart tags errors
-export class TagParseError extends Data.TaggedError("TagParseError") {
-}
-// Plugin errors
-export class DuplicatePlugin extends Data.TaggedError("DuplicatePlugin") {
-}
-export class CapabilityNotSatisfied extends Data.TaggedError("CapabilityNotSatisfied") {
-}
-export class CapabilityConflict extends Data.TaggedError("CapabilityConflict") {
-}
-export class CapabilityCycle extends Data.TaggedError("CapabilityCycle") {
-}
-export class PluginConfigInvalid extends Data.TaggedError("PluginConfigInvalid") {
-}
-export class PluginExecutionFailed extends Data.TaggedError("PluginExecutionFailed") {
-}
-// Emission errors
-export class EmitConflict extends Data.TaggedError("EmitConflict") {
-}
-export class SymbolConflict extends Data.TaggedError("SymbolConflict") {
-}
-export class WriteError extends Data.TaggedError("WriteError") {
+import { Schema } from "effect";
+export class ConfigNotFound extends Schema.TaggedError()("ConfigNotFound", {
+    message: Schema.String,
+    searchPaths: Schema.Array(Schema.String),
+}) {
+}
+export class ConfigInvalid extends Schema.TaggedError()("ConfigInvalid", {
+    message: Schema.String,
+    path: Schema.String,
+    errors: Schema.Array(Schema.String),
+}) {
+}
+export class ConnectionFailed extends Schema.TaggedError()("ConnectionFailed", {
+    message: Schema.String,
+    connectionString: Schema.String,
+    cause: Schema.optional(Schema.Unknown),
+}) {
+}
+export class IntrospectionFailed extends Schema.TaggedError()("IntrospectionFailed", {
+    message: Schema.String,
+    schema: Schema.String,
+    cause: Schema.optional(Schema.Unknown),
+}) {
+}
+export class TagParseError extends Schema.TaggedError()("TagParseError", {
+    message: Schema.String,
+    objectType: Schema.Union(Schema.Literal("table"), Schema.Literal("column"), Schema.Literal("constraint"), Schema.Literal("type")),
+    objectName: Schema.String,
+    comment: Schema.String,
+    cause: Schema.optional(Schema.Unknown),
+}) {
+}
+export class WriteError extends Schema.TaggedError()("WriteError", {
+    message: Schema.String,
+    path: Schema.String,
+    cause: Schema.optional(Schema.Unknown),
+}) {
+}
+export class ExportCollisionError extends Schema.TaggedError()("ExportCollisionError", {
+    file: Schema.String,
+    exportName: Schema.String,
+    exportKind: Schema.String,
+    capability1: Schema.String,
+    capability2: Schema.String,
+    message: Schema.String,
+}) {
+}
+// =============================================================================
+// User Module Errors
+// =============================================================================
+/**
+ * Error when parsing a user module file fails.
+ */
+export class UserModuleParseError extends Schema.TaggedError()("UserModuleParseError", {
+    message: Schema.String,
+    /** Absolute path to the file that failed to parse */
+    path: Schema.String,
+    cause: Schema.optional(Schema.Unknown),
+}) {
 }
-export class UndefinedReference extends Data.TaggedError("UndefinedReference") {
+/**
+ * Error when a requested export is not found in a user module.
+ */
+export class ExportNotFoundError extends Schema.TaggedError()("ExportNotFoundError", {
+    message: Schema.String,
+    /** Absolute path to the module */
+    modulePath: Schema.String,
+    /** The export name that was not found */
+    exportName: Schema.String,
+    /** Available exports in the module */
+    availableExports: Schema.Array(Schema.String),
+}) {
 }
-export class FormatError extends Data.TaggedError("FormatError") {
+/**
+ * Error when a user module file is not found.
+ */
+export class UserModuleNotFoundError extends Schema.TaggedError()("UserModuleNotFoundError", {
+    message: Schema.String,
+    /** Path as specified in config (relative to config file) */
+    configPath: Schema.String,
+    /** Resolved absolute path that was checked */
+    resolvedPath: Schema.String,
+}) {
 }
 //# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAO7B,uBAAuB;AACvB,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAEpE;CAAG;AAEJ,MAAM,OAAO,aAAc,SAAQ,IAAI,CAAC,WAAW,CAAC,eAAe,CAElE;CAAG;AAEJ,kBAAkB;AAClB,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAExE;CAAG;AAEJ,MAAM,OAAO,mBAAoB,SAAQ,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAE9E;CAAG;AAEJ,oBAAoB;AACpB,MAAM,OAAO,aAAc,SAAQ,IAAI,CAAC,WAAW,CAAC,eAAe,CAOlE;CAAG;AAEJ,gBAAgB;AAChB,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAEtE;CAAG;AAEJ,MAAM,OAAO,sBAAuB,SAAQ,IAAI,CAAC,WAAW,CAAC,wBAAwB,CAEpF;CAAG;AAEJ,MAAM,OAAO,kBAAmB,SAAQ,IAAI,CAAC,WAAW,CAAC,oBAAoB,CAE5E;CAAG;AAEJ,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAEtE;CAAG;AAEJ,MAAM,OAAO,mBAAoB,SAAQ,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAE9E;CAAG;AAEJ,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAQlF;CAAG;AAEJ,kBAAkB;AAClB,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAAC,cAAc,CAEhE;CAAG;AAEJ,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAMpE;CAAG;AAEJ,MAAM,OAAO,UAAW,SAAQ,IAAI,CAAC,WAAW,CAAC,YAAY,CAE5D;CAAG;AAEJ,MAAM,OAAO,kBAAmB,SAAQ,IAAI,CAAC,WAAW,CAAC,oBAAoB,CAU5E;CAAG;AAEJ,MAAM,OAAO,WAAY,SAAQ,IAAI,CAAC,WAAW,CAAC,aAAa,CAE9D;CAAG"}
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CACtE,gBAAgB,EAChB;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CACF;CAAG;AAEJ,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,EAAiB,CACpE,eAAe,EACf;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACpC,CACF;CAAG;AAEJ,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,EAAoB,CAC1E,kBAAkB,EAClB;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,gBAAgB,EAAE,MAAM,CAAC,MAAM;IAC/B,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CACvC,CACF;CAAG;AAEJ,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,EAAuB,CAChF,qBAAqB,EACrB;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CACvC,CACF;CAAG;AAEJ,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,EAAiB,CACpE,eAAe,EACf;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjI,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CACvC,CACF;CAAG;AAEJ,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,WAAW,EAAc,CAC9D,YAAY,EACZ;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CACvC,CACF;CAAG;AAEJ,MAAM,OAAO,oBAAqB,SAAQ,MAAM,CAAC,WAAW,EAAwB,CAClF,sBAAsB,EACtB;IACE,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CACF;CAAG;AAEJ,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,OAAO,oBAAqB,SAAQ,MAAM,CAAC,WAAW,EAAwB,CAClF,sBAAsB,EACtB;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,qDAAqD;IACrD,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CACvC,CACF;CAAG;AAEJ;;GAEG;AACH,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,EAAuB,CAChF,qBAAqB,EACrB;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,yCAAyC;IACzC,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,sCAAsC;IACtC,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CAC9C,CACF;CAAG;AAEJ;;GAEG;AACH,MAAM,OAAO,uBAAwB,SAAQ,MAAM,CAAC,WAAW,EAA2B,CACxF,yBAAyB,EACzB;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,8CAA8C;IAC9C,YAAY,EAAE,MAAM,CAAC,MAAM;CAC5B,CACF;CAAG"}

package/dist/generate.d.ts

@@ -1,28 +1,13 @@
-/**
- * Generate Orchestration Function
- *
- * Threads together the full code generation pipeline:
- * 1. Load config
- * 2. Introspect database
- * 3. Build IR
- * 4. Run providers
- * 5. Write files
- *
- * Logging:
- * - Effect.log (INFO) - Progress messages shown by default
- * - Effect.logDebug (DEBUG) - Detailed info (entity names, file lists)
- *
- * Configure via Logger.withMinimumLogLevel at the call site.
- */
-import { Effect, Layer } from "effect";
-import { FileSystem, Path, CommandExecutor } from "@effect/platform";
+import { Effect, Layer, Schema } from "effect";
+import { FileSystem } from "@effect/platform";
 import type { ResolvedConfig } from "./config.js";
-import { type PluginRunResult, type PluginRunError } from "./services/plugin-runner.js";
+import type { RenderedSymbol } from "./runtime/types.js";
+import { type OrchestratorResult } from "./runtime/orchestrator.js";
+import { type EmittedFile } from "./runtime/emit.js";
 import { ConfigService } from "./services/config.js";
 import { DatabaseIntrospectionService } from "./services/introspection.js";
 import { type WriteResult } from "./services/file-writer.js";
 import { type SemanticIR } from "./ir/semantic-ir.js";
-import { ConfigNotFound, ConfigInvalid, ConnectionFailed, IntrospectionFailed, TagParseError, WriteError, FormatError } from "./errors.js";
 /**
  * Options for the generate function
  */
@@ -41,45 +26,59 @@ export interface GenerateResult {
     /** The built semantic IR */
     readonly ir: SemanticIR;
     /** Plugin execution results */
-    readonly pluginResult: PluginRunResult;
+    readonly pluginResult: OrchestratorResult;
+    /** Emitted files before writing */
+    readonly emittedFiles: readonly EmittedFile[];
     /** File write results */
     readonly writeResults: readonly WriteResult[];
 }
-/**
- * All possible errors from the generate pipeline
- */
-export type GenerateError = ConfigNotFound | ConfigInvalid | ConnectionFailed | IntrospectionFailed | TagParseError | PluginRunError | WriteError | FormatError;
+declare const FormatError_base: Schema.TaggedErrorClass<FormatError, "FormatError", {
+    readonly _tag: Schema.tag<"FormatError">;
+} & {
+    message: typeof Schema.String;
+    path: typeof Schema.String;
+    cause: Schema.optional<typeof Schema.Unknown>;
+}>;
+export declare class FormatError extends FormatError_base {
+}
 /**
  * The main generate pipeline.
  *
  * Config is provided via ConfigService layer (Effect DI).
- * Use ConfigFromFile or ConfigWithInit layers depending on context.
+ * Use ConfigFromFile or ConfigWithFallback layers depending on context.
  */
-export declare const generate: (options?: GenerateOptions) => Effect.Effect<GenerateResult, GenerateError, ConfigService | DatabaseIntrospectionService | FileSystem.FileSystem | Path.Path | CommandExecutor.CommandExecutor>;
+export declare const generate: (options?: GenerateOptions) => Effect.Effect<{
+    config: ResolvedConfig;
+    ir: SemanticIR;
+    pluginResult: {
+        declarations: import("./index.js").SymbolDeclaration[];
+        rendered: RenderedSymbol[];
+        fileGroups: ReadonlyMap<string, readonly import("./index.js").AssignedSymbol[]>;
+        registry: import("./runtime/registry.js").SymbolRegistryImpl;
+        references: ReadonlyMap<string, readonly string[]>;
+    };
+    emittedFiles: readonly EmittedFile[];
+    writeResults: readonly WriteResult[];
+}, import("./runtime/registry.js").SymbolCollision | import("./runtime/registry.js").CategoryConflict | import("./runtime/errors.js").DeclareError | import("./runtime/errors.js").RenderError | import("./runtime/validation.js").UnsatisfiedCapability | import("./runtime/validation.js").CircularDependency | import("./errors.js").ConnectionFailed | import("./errors.js").IntrospectionFailed | import("./errors.js").TagParseError | import("./errors.js").WriteError | import("./errors.js").UserModuleParseError | import("./errors.js").ExportNotFoundError | import("./errors.js").UserModuleNotFoundError | FormatError, ConfigService | DatabaseIntrospectionService | FileSystem.FileSystem | import("@effect/platform/Path").Path | import("@effect/platform/CommandExecutor").CommandExecutor>;
 /**
  * Layer that provides database introspection for generate().
- *
- * Note: ConfigService is NOT included here - it must be provided separately
- * via ConfigFromFile, ConfigWithInit, or ConfigTest layers.
  */
 export declare const GenerateLive: Layer.Layer<DatabaseIntrospectionService, never, never>;
 /**
  * Run generate with database introspection provided.
- *
- * ConfigService must still be provided by the caller via one of:
- * - ConfigFromFile (load from disk, fail if not found)
- * - ConfigWithInit (load from disk, or run interactive init)
- * - ConfigTest (provide config directly for testing)
- *
- * @example
- * ```typescript
- * import { ConfigFromFile } from "./services/config.js"
- *
- * runGenerate({ dryRun: true }).pipe(
- *   Effect.provide(ConfigFromFile()),
- *   // ... platform layers
- * )
- * ```
  */
-export declare const runGenerate: (options?: GenerateOptions) => Effect.Effect<GenerateResult, GenerateError, ConfigService | FileSystem.FileSystem | Path.Path | CommandExecutor.CommandExecutor>;
+export declare const runGenerate: (options?: GenerateOptions) => Effect.Effect<{
+    config: ResolvedConfig;
+    ir: SemanticIR;
+    pluginResult: {
+        declarations: import("./index.js").SymbolDeclaration[];
+        rendered: RenderedSymbol[];
+        fileGroups: ReadonlyMap<string, readonly import("./index.js").AssignedSymbol[]>;
+        registry: import("./runtime/registry.js").SymbolRegistryImpl;
+        references: ReadonlyMap<string, readonly string[]>;
+    };
+    emittedFiles: readonly EmittedFile[];
+    writeResults: readonly WriteResult[];
+}, import("./runtime/registry.js").SymbolCollision | import("./runtime/registry.js").CategoryConflict | import("./runtime/errors.js").DeclareError | import("./runtime/errors.js").RenderError | import("./runtime/validation.js").UnsatisfiedCapability | import("./runtime/validation.js").CircularDependency | import("./errors.js").ConnectionFailed | import("./errors.js").IntrospectionFailed | import("./errors.js").TagParseError | import("./errors.js").WriteError | import("./errors.js").UserModuleParseError | import("./errors.js").ExportNotFoundError | import("./errors.js").UserModuleNotFoundError | FormatError, ConfigService | FileSystem.FileSystem | import("@effect/platform/Path").Path | import("@effect/platform/CommandExecutor").CommandExecutor>;
+export {};
 //# sourceMappingURL=generate.d.ts.map

package/dist/generate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../src/generate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAW,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAEjD,OAAO,EAAc,KAAK,eAAe,EAAE,KAAK,cAAc,EAAE,MAAM,6BAA6B,CAAA;AACnG,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACpD,OAAO,EACL,4BAA4B,EAE7B,MAAM,6BAA6B,CAAA;AAEpC,OAAO,EAAoB,KAAK,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAG9E,OAAO,EAKL,KAAK,UAAU,EAChB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACL,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,mBAAmB,EACnB,aAAa,EACb,UAAU,EACV,WAAW,EACZ,MAAM,aAAa,CAAA;AAEpB;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,4CAA4C;IAC5C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;IAC/B,4BAA4B;IAC5B,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAA;IACvB,+BAA+B;IAC/B,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAA;IACtC,yBAAyB;IACzB,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAA;CAC9C;AAED;;GAEG;AACH,MAAM,MAAM,aAAa,GACrB,cAAc,GACd,aAAa,GACb,gBAAgB,GAChB,mBAAmB,GACnB,aAAa,GACb,cAAc,GACd,UAAU,GACV,WAAW,CAAA;AA4Cf;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GACnB,UAAS,eAAoB,KAC5B,MAAM,CAAC,MAAM,CACd,cAAc,EACd,aAAa,EACX,aAAa,GACb,4BAA4B,GAC5B,UAAU,CAAC,UAAU,GACrB,IAAI,CAAC,IAAI,GACT,eAAe,CAAC,eAAe,CAmI/B,CAAA;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,YAAY,yDAGxB,CAAA;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,WAAW,GACtB,UAAS,eAAoB,KAC5B,MAAM,CAAC,MAAM,CACd,cAAc,EACd,aAAa,EACb,aAAa,GAAG,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC,eAAe,CAC5B,CAAA"}
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../src/generate.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAsB,MAAM,QAAQ,CAAC;AACnE,OAAO,EAAW,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,KAAK,EAAU,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAc,KAAK,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAChF,OAAO,EAAa,KAAK,WAAW,EAAkC,MAAM,mBAAmB,CAAC;AAChG,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,4BAA4B,EAE7B,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAoB,KAAK,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAG/E,OAAO,EAKL,KAAK,UAAU,EAChB,MAAM,qBAAqB,CAAC;AAI7B;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,4CAA4C;IAC5C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,4BAA4B;IAC5B,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,+BAA+B;IAC/B,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAC1C,mCAAmC;IACnC,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,yBAAyB;IACzB,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;CAC/C;;;;;;;;AAED,qBAAa,WAAY,SAAQ,gBAI/B;CAAG;AAqFL;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,UAAS,eAAoB;;;;;;;;;;;;+wBA+HlD,CAAC;AAEL;;GAEG;AACH,eAAO,MAAM,YAAY,yDAAwE,CAAC;AAElG;;GAEG;AACH,eAAO,MAAM,WAAW,GAAI,UAAS,eAAoB;;;;;;;;;;;;gvBACH,CAAC"}