@danielfgray/pg-sourcerer 0.1.0

package/dist/services/plugin.js

@@ -0,0 +1,132 @@
+/**
+ * Plugin Types
+ *
+ * Defines the Effect-native plugin interface where plugins are Effects
+ * that yield the services they need from context.
+ */
+import { Effect } from "effect";
+import { PluginExecutionFailed } from "../errors.js";
+import { createFileBuilder } from "./file-builder.js";
+// Import service tags for yielding in definePlugin
+import { IR } from "./ir.js";
+import { ArtifactStore } from "./artifact-store.js";
+import { PluginMeta } from "./plugin-meta.js";
+import { Inflection } from "./inflection.js";
+import { Emissions } from "./emissions.js";
+import { Symbols } from "./symbols.js";
+import { TypeHints } from "./type-hints.js";
+/**
+ * Create a plugin factory from a simple function-based definition.
+ *
+ * Returns a curried function that accepts config and returns a ConfiguredPlugin.
+ *
+ * @example
+ * ```typescript
+ * const myPlugin = definePlugin({
+ *   name: "my-plugin",
+ *   provides: ["types:row"],
+ *   configSchema: S.Struct({ outputDir: S.String }),
+ *   inflection: { ... },
+ *
+ *   run: (ctx, config) => {
+ *     for (const entity of ctx.ir.entities.values()) {
+ *       ctx.emit(`${config.outputDir}/${entity.name}.ts`, generateType(entity))
+ *     }
+ *   }
+ * })
+ *
+ * // Usage in config:
+ * plugins: [
+ *   myPlugin({ outputDir: "types" }),
+ * ]
+ * ```
+ */
+export function definePlugin(def) {
+    // Build the internal plugin object
+    const plugin = {
+        name: def.name,
+        provides: def.provides,
+        configSchema: def.configSchema,
+        inflection: def.inflection,
+        run: (config) => Effect.gen(function* () {
+            // Yield all services from context
+            const ir = yield* IR;
+            const inflection = yield* Inflection;
+            const emissions = yield* Emissions;
+            const symbols = yield* Symbols;
+            const typeHints = yield* TypeHints;
+            const artifactStore = yield* ArtifactStore;
+            const meta = yield* PluginMeta;
+            // Build the simple context object
+            const ctx = {
+                ir,
+                inflection,
+                symbols,
+                typeHints,
+                pluginName: meta.name,
+                pluginInflection: def.inflection,
+                emit: (path, content) => {
+                    emissions.emit(path, content, meta.name);
+                },
+                emitAst: (path, ast, header) => {
+                    emissions.emitAst(path, ast, meta.name, header);
+                },
+                appendEmit: (path, content) => {
+                    emissions.appendEmit(path, content, meta.name);
+                },
+                getArtifact: (capability) => artifactStore.get(capability),
+                setArtifact: (capability, data) => {
+                    artifactStore.set(capability, meta.name, data);
+                },
+                file: (path) => createFileBuilder(path, meta.name, emissions, symbols),
+                log: {
+                    // Use Effect logging with plugin name annotation
+                    // These run synchronously since logging is side-effect only
+                    debug: (message) => {
+                        Effect.runSync(Effect.logDebug(message).pipe(Effect.annotateLogs("plugin", meta.name)));
+                    },
+                    info: (message) => {
+                        Effect.runSync(Effect.logInfo(message).pipe(Effect.annotateLogs("plugin", meta.name)));
+                    },
+                    warn: (message) => {
+                        Effect.runSync(Effect.logWarning(message).pipe(Effect.annotateLogs("plugin", meta.name)));
+                    },
+                },
+            };
+            // Call the user's run function, handling sync/async errors
+            const result = yield* Effect.try({
+                try: () => def.run(ctx, config),
+                catch: (error) => new PluginExecutionFailed({
+                    message: `Plugin ${def.name} failed`,
+                    plugin: def.name,
+                    cause: error instanceof Error ? error : new Error(String(error)),
+                }),
+            });
+            // If it returned a promise, await it
+            if (result instanceof Promise) {
+                yield* Effect.tryPromise({
+                    try: () => result,
+                    catch: (error) => new PluginExecutionFailed({
+                        message: `Plugin ${def.name} failed`,
+                        plugin: def.name,
+                        cause: error instanceof Error ? error : new Error(String(error)),
+                    }),
+                });
+            }
+        }),
+    };
+    // Add optional properties only if defined (exactOptionalPropertyTypes)
+    let finalPlugin = plugin;
+    if (def.requires !== undefined) {
+        finalPlugin = { ...finalPlugin, requires: def.requires };
+    }
+    if (def.inflectionDefaults !== undefined) {
+        finalPlugin = { ...finalPlugin, inflectionDefaults: def.inflectionDefaults };
+    }
+    // Return the curried factory function with plugin attached for inspection
+    return Object.assign((config) => ({
+        plugin: finalPlugin,
+        config,
+    }), { plugin: finalPlugin });
+}
+//# sourceMappingURL=plugin.js.map

package/dist/services/plugin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.js","sourceRoot":"","sources":["../../src/services/plugin.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,MAAM,EAAe,MAAM,QAAQ,CAAA;AAG5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAA;AAKpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAErD,mDAAmD;AACnD,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAC5B,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAyR3C;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,YAAY,CAAU,GAA6B;IACjE,mCAAmC;IACnC,MAAM,MAAM,GAAoB;QAC9B,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,YAAY,EAAE,GAAG,CAAC,YAAY;QAC9B,UAAU,EAAE,GAAG,CAAC,UAAU;QAE1B,GAAG,EAAE,CAAC,MAAe,EAAE,EAAE,CACvB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,kCAAkC;YAClC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,CAAA;YACpB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;YACpC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAA;YAClC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAA;YAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAA;YAClC,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,aAAa,CAAA;YAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;YAE9B,kCAAkC;YAClC,MAAM,GAAG,GAAwB;gBAC/B,EAAE;gBACF,UAAU;gBACV,OAAO;gBACP,SAAS;gBACT,UAAU,EAAE,IAAI,CAAC,IAAI;gBACrB,gBAAgB,EAAE,GAAG,CAAC,UAAU;gBAEhC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE;oBACtB,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC1C,CAAC;gBAED,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;oBAC7B,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;gBACjD,CAAC;gBAED,UAAU,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE;oBAC5B,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBAChD,CAAC;gBAED,WAAW,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC;gBAE1D,WAAW,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE;oBAChC,aAAa,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBAChD,CAAC;gBAED,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC;gBAEtE,GAAG,EAAE;oBACH,iDAAiD;oBACjD,4DAA4D;oBAC5D,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE;wBACjB,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAC3B,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CACzC,CACF,CAAA;oBACH,CAAC;oBACD,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;wBAChB,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CACzC,CACF,CAAA;oBACH,CAAC;oBACD,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;wBAChB,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAC7B,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CACzC,CACF,CAAA;oBACH,CAAC;iBACF;aACF,CAAA;YAED,2DAA2D;YAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBAC/B,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;gBAC/B,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,qBAAqB,CAAC;oBACxB,OAAO,EAAE,UAAU,GAAG,CAAC,IAAI,SAAS;oBACpC,MAAM,EAAE,GAAG,CAAC,IAAI;oBAChB,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;iBACjE,CAAC;aACL,CAAC,CAAA;YAEF,qCAAqC;YACrC,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;gBAC9B,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;oBACvB,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM;oBACjB,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,qBAAqB,CAAC;wBACxB,OAAO,EAAE,UAAU,GAAG,CAAC,IAAI,SAAS;wBACpC,MAAM,EAAE,GAAG,CAAC,IAAI;wBAChB,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;qBACjE,CAAC;iBACL,CAAC,CAAA;YACJ,CAAC;QACH,CAAC,CAAC;KACL,CAAA;IAED,uEAAuE;IACvE,IAAI,WAAW,GAAoB,MAAM,CAAA;IACzC,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC/B,WAAW,GAAG,EAAE,GAAG,WAAW,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAA;IAC1D,CAAC;IACD,IAAI,GAAG,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACzC,WAAW,GAAG,EAAE,GAAG,WAAW,EAAE,kBAAkB,EAAE,GAAG,CAAC,kBAAkB,EAAE,CAAA;IAC9E,CAAC;IAED,0EAA0E;IAC1E,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,MAAe,EAAoB,EAAE,CAAC,CAAC;QACtC,MAAM,EAAE,WAA8B;QACtC,MAAM;KACP,CAAC,EACF,EAAE,MAAM,EAAE,WAAW,EAAE,CACxB,CAAA;AACH,CAAC"}

package/dist/services/smart-tags-parser.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Smart Tags Parser
+ *
+ * Parses JSON smart tags from PostgreSQL COMMENT ON statements.
+ * Format: {"sourcerer": {...}} at the start of the comment,
+ * with optional description text after a newline.
+ */
+import { Effect } from "effect";
+import { SmartTags } from "../ir/smart-tags.js";
+import { TagParseError } from "../errors.js";
+/**
+ * Result of parsing a comment
+ */
+export interface ParsedComment {
+    readonly tags: SmartTags;
+    readonly description: string | undefined;
+}
+/**
+ * Context for error reporting
+ */
+export interface TagContext {
+    readonly objectType: "table" | "column" | "constraint" | "type";
+    readonly objectName: string;
+}
+/**
+ * Parse smart tags from a PostgreSQL comment.
+ *
+ * Format:
+ * - `{"sourcerer": {...}}` - JSON only
+ * - `{"sourcerer": {...}}\ndescription` - JSON with description after newline
+ * - `plain text` - no JSON, text is description
+ * - `null/undefined/""` - no tags, no description
+ *
+ * Errors on malformed JSON or invalid sourcerer schema.
+ */
+export declare function parseSmartTags(comment: string | null | undefined, context: TagContext): Effect.Effect<ParsedComment, TagParseError>;
+//# sourceMappingURL=smart-tags-parser.d.ts.map

package/dist/services/smart-tags-parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"smart-tags-parser.d.ts","sourceRoot":"","sources":["../../src/services/smart-tags-parser.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,MAAM,EAAqB,MAAM,QAAQ,CAAA;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAE5C;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAA;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,QAAQ,GAAG,YAAY,GAAG,MAAM,CAAA;IAC/D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC5B;AASD;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EAClC,OAAO,EAAE,UAAU,GAClB,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC,CAuE7C"}

package/dist/services/smart-tags-parser.js

@@ -0,0 +1,79 @@
+/**
+ * Smart Tags Parser
+ *
+ * Parses JSON smart tags from PostgreSQL COMMENT ON statements.
+ * Format: {"sourcerer": {...}} at the start of the comment,
+ * with optional description text after a newline.
+ */
+import { Effect, Schema as S, pipe } from "effect";
+import { SmartTags } from "../ir/smart-tags.js";
+import { TagParseError } from "../errors.js";
+/**
+ * Schema for the raw JSON wrapper containing sourcerer key
+ */
+const CommentJson = S.Struct({
+    sourcerer: S.optional(S.Unknown),
+}).pipe(S.extend(S.Record({ key: S.String, value: S.Unknown })));
+/**
+ * Parse smart tags from a PostgreSQL comment.
+ *
+ * Format:
+ * - `{"sourcerer": {...}}` - JSON only
+ * - `{"sourcerer": {...}}\ndescription` - JSON with description after newline
+ * - `plain text` - no JSON, text is description
+ * - `null/undefined/""` - no tags, no description
+ *
+ * Errors on malformed JSON or invalid sourcerer schema.
+ */
+export function parseSmartTags(comment, context) {
+    // Handle null/undefined/empty
+    if (!comment || comment.trim() === "") {
+        return Effect.succeed({ tags: {}, description: undefined });
+    }
+    const trimmed = comment.trim();
+    // If doesn't start with {, it's plain text description
+    if (!trimmed.startsWith("{")) {
+        return Effect.succeed({ tags: {}, description: trimmed });
+    }
+    // Find the end of JSON and start of description
+    // JSON ends at first newline, description is everything after
+    const newlineIndex = trimmed.indexOf("\n");
+    const jsonPart = newlineIndex === -1 ? trimmed : trimmed.slice(0, newlineIndex);
+    const descriptionPart = newlineIndex === -1 ? undefined : trimmed.slice(newlineIndex + 1).trim() || undefined;
+    return pipe(
+    // Parse JSON
+    Effect.try({
+        try: () => JSON.parse(jsonPart),
+        catch: (error) => new TagParseError({
+            message: `Invalid JSON in comment: ${error instanceof Error ? error.message : String(error)}`,
+            objectType: context.objectType,
+            objectName: context.objectName,
+            comment,
+            cause: error,
+        }),
+    }), 
+    // Validate wrapper structure and extract sourcerer
+    Effect.flatMap((parsed) => S.decodeUnknown(CommentJson)(parsed).pipe(Effect.mapError((error) => new TagParseError({
+        message: `Invalid comment structure: ${error.message}`,
+        objectType: context.objectType,
+        objectName: context.objectName,
+        comment,
+        cause: error,
+    })))), 
+    // Check for sourcerer key
+    Effect.flatMap((wrapper) => {
+        if (wrapper.sourcerer === undefined) {
+            // Valid JSON but no sourcerer key - other tool's namespace
+            return Effect.succeed({ tags: {}, description: descriptionPart });
+        }
+        // Validate sourcerer against SmartTags schema
+        return S.decodeUnknown(SmartTags)(wrapper.sourcerer).pipe(Effect.map((tags) => ({ tags, description: descriptionPart })), Effect.mapError((error) => new TagParseError({
+            message: `Invalid sourcerer tags: ${error.message}`,
+            objectType: context.objectType,
+            objectName: context.objectName,
+            comment,
+            cause: error,
+        })));
+    }));
+}
+//# sourceMappingURL=smart-tags-parser.js.map

package/dist/services/smart-tags-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"smart-tags-parser.js","sourceRoot":"","sources":["../../src/services/smart-tags-parser.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAkB5C;;GAEG;AACH,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3B,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;CACjC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;AAEhE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAkC,EAClC,OAAmB;IAEnB,8BAA8B;IAC9B,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAA;IAC7D,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAA;IAE9B,uDAAuD;IACvD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAA;IAC3D,CAAC;IAED,gDAAgD;IAChD,8DAA8D;IAC9D,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAC1C,MAAM,QAAQ,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;IAC/E,MAAM,eAAe,GACnB,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAA;IAEvF,OAAO,IAAI;IACT,aAAa;IACb,MAAM,CAAC,GAAG,CAAC;QACT,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAY;QAC1C,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,aAAa,CAAC;YAChB,OAAO,EAAE,4BAA4B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YAC7F,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,OAAO;YACP,KAAK,EAAE,KAAK;SACb,CAAC;KACL,CAAC;IACF,mDAAmD;IACnD,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CACvC,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,aAAa,CAAC;QAChB,OAAO,EAAE,8BAA8B,KAAK,CAAC,OAAO,EAAE;QACtD,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,OAAO;QACP,KAAK,EAAE,KAAK;KACb,CAAC,CACL,CACF,CACF;IACD,0BAA0B;IAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QACzB,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACpC,2DAA2D;YAC3D,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC,CAAA;QACnE,CAAC;QAED,8CAA8C;QAC9C,OAAO,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CACvD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC,CAAC,EAC9D,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,aAAa,CAAC;YAChB,OAAO,EAAE,2BAA2B,KAAK,CAAC,OAAO,EAAE;YACnD,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,OAAO;YACP,KAAK,EAAE,KAAK;SACb,CAAC,CACL,CACF,CAAA;IACH,CAAC,CAAC,CACH,CAAA;AACH,CAAC"}

package/dist/services/symbols.d.ts

@@ -0,0 +1,85 @@
+/**
+ * Symbol Registry Service
+ *
+ * Tracks emitted symbols for cross-file import resolution.
+ */
+import { Context, Layer } from "effect";
+import type { CapabilityKey } from "../ir/index.js";
+/**
+ * Reference to a symbol
+ */
+export interface SymbolRef {
+    readonly capability: CapabilityKey;
+    readonly entity: string;
+    readonly shape?: string;
+}
+/**
+ * A registered symbol
+ */
+export interface Symbol {
+    readonly name: string;
+    readonly file: string;
+    readonly capability: CapabilityKey;
+    readonly entity: string;
+    readonly shape?: string;
+    readonly isType: boolean;
+    readonly isDefault: boolean;
+}
+/**
+ * Import statement to add to a file
+ */
+export interface ImportStatement {
+    readonly from: string;
+    readonly named: readonly string[];
+    readonly types: readonly string[];
+    readonly default?: string;
+}
+/**
+ * Symbol collision info
+ */
+export interface SymbolCollision {
+    readonly symbol: string;
+    readonly file: string;
+    readonly plugins: readonly string[];
+}
+/**
+ * Symbol registry interface
+ */
+export interface SymbolRegistry {
+    /**
+     * Register a symbol (called by plugins during emit)
+     */
+    readonly register: (symbol: Symbol, plugin: string) => void;
+    /**
+     * Resolve a reference to a symbol
+     */
+    readonly resolve: (ref: SymbolRef) => Symbol | undefined;
+    /**
+     * Generate import statement from one file to another
+     */
+    readonly importFor: (symbol: Symbol, fromFile: string) => ImportStatement;
+    /**
+     * Check for conflicts (same name in same file from different plugins)
+     */
+    readonly validate: () => readonly SymbolCollision[];
+    /**
+     * Get all registered symbols
+     */
+    readonly getAll: () => readonly Symbol[];
+}
+declare const Symbols_base: Context.TagClass<Symbols, "Symbols", SymbolRegistry>;
+/**
+ * SymbolRegistry service tag
+ */
+export declare class Symbols extends Symbols_base {
+}
+/**
+ * Create a new symbol registry
+ */
+export declare function createSymbolRegistry(): SymbolRegistry;
+/**
+ * Live layer - creates fresh symbol registry per use
+ */
+export declare const SymbolsLive: Layer.Layer<Symbols, never, never>;
+export {};
+//# sourceMappingURL=symbols.d.ts.map

package/dist/services/symbols.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbols.d.ts","sourceRoot":"","sources":["../../src/services/symbols.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAgB,OAAO,EAAE,KAAK,EAAgC,MAAM,QAAQ,CAAA;AACnF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,IAAI,CAAA;IAE3D;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,SAAS,KAAK,MAAM,GAAG,SAAS,CAAA;IAExD;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,eAAe,CAAA;IAEzE;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,SAAS,eAAe,EAAE,CAAA;IAEnD;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,SAAS,MAAM,EAAE,CAAA;CACzC;;AAED;;GAEG;AACH,qBAAa,OAAQ,SAAQ,YAG1B;CAAG;AAEN;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,cAAc,CA4GrD;AAmDD;;GAEG;AACH,eAAO,MAAM,WAAW,oCAAoD,CAAA"}

package/dist/services/symbols.js

@@ -0,0 +1,128 @@
+/**
+ * Symbol Registry Service
+ *
+ * Tracks emitted symbols for cross-file import resolution.
+ */
+import { Array as Arr, Context, Layer, MutableHashMap, Option, pipe } from "effect";
+/**
+ * SymbolRegistry service tag
+ */
+export class Symbols extends Context.Tag("Symbols")() {
+}
+/**
+ * Create a new symbol registry
+ */
+export function createSymbolRegistry() {
+    const symbols = MutableHashMap.empty();
+    // Key for deduplication: capability:entity:shape
+    const makeKey = (ref) => `${ref.capability}:${ref.entity}:${ref.shape ?? ""}`;
+    return {
+        register: (symbol, plugin) => {
+            const key = makeKey(symbol);
+            pipe(MutableHashMap.get(symbols, key), Option.match({
+                onNone: () => MutableHashMap.set(symbols, key, [{ symbol, plugin }]),
+                onSome: (existing) => {
+                    existing.push({ symbol, plugin });
+                    MutableHashMap.set(symbols, key, existing);
+                }
+            }));
+        },
+        resolve: (ref) => {
+            const key = makeKey(ref);
+            return pipe(MutableHashMap.get(symbols, key), Option.flatMap((entries) => Option.fromNullable(entries[0])), Option.map((entry) => entry.symbol), Option.getOrUndefined);
+        },
+        importFor: (symbol, fromFile) => {
+            // TODO: implement relative path calculation
+            const relativePath = calculateRelativePath(fromFile, symbol.file);
+            if (symbol.isDefault) {
+                return {
+                    from: relativePath,
+                    named: [],
+                    types: [],
+                    default: symbol.name,
+                };
+            }
+            if (symbol.isType) {
+                return {
+                    from: relativePath,
+                    named: [],
+                    types: [symbol.name],
+                };
+            }
+            return {
+                from: relativePath,
+                named: [symbol.name],
+                types: [],
+            };
+        },
+        validate: () => {
+            // Flatten all entries, group by file+name+isType, find collisions
+            // A type and a value with the same name are allowed (different namespaces)
+            const allEntries = pipe(MutableHashMap.values(symbols), Arr.fromIterable, Arr.flatten);
+            // Group by file:name:isType (type vs value namespace)
+            const byFileNameAndKind = pipe(allEntries, Arr.reduce(new Map(), (map, entry) => {
+                const key = `${entry.symbol.file}:${entry.symbol.name}:${entry.symbol.isType}`;
+                const existing = map.get(key) ?? [];
+                existing.push(entry);
+                map.set(key, existing);
+                return map;
+            }));
+            // Find entries with multiple plugins in same namespace
+            return pipe([...byFileNameAndKind.entries()], Arr.filterMap(([key, entries]) => {
+                if (entries.length <= 1)
+                    return Option.none();
+                const [file, symbol] = key.split(":");
+                const plugins = [...new Set(entries.map((e) => e.plugin))];
+                return plugins.length > 1
+                    ? Option.some({ symbol, file, plugins })
+                    : Option.none();
+            }));
+        },
+        getAll: () => pipe(MutableHashMap.values(symbols), Arr.fromIterable, Arr.flatMap((entries) => entries.map((e) => e.symbol))),
+    };
+}
+/**
+ * Calculate relative import path from one file to another.
+ *
+ * Both paths are relative to the output directory root.
+ * Returns a path with .js extension for ESM compatibility.
+ *
+ * @example
+ * calculateRelativePath("types/User.ts", "schemas/User.ts")
+ * // => "../schemas/User.js"
+ *
+ * calculateRelativePath("types/User.ts", "types/Post.ts")
+ * // => "./Post.js"
+ */
+function calculateRelativePath(fromFile, toFile) {
+    // Normalize paths - remove leading ./ if present
+    const normalizedFrom = fromFile.replace(/^\.\//, "");
+    const normalizedTo = toFile.replace(/^\.\//, "");
+    // Split into directory parts and filename
+    const fromParts = normalizedFrom.split("/");
+    const toParts = normalizedTo.split("/");
+    // Get the filename from the target (without .ts, add .js)
+    const toFilename = toParts.pop() ?? "";
+    const toFilenameJs = toFilename.replace(/\.ts$/, ".js");
+    // Get the directory of the source file (remove filename)
+    fromParts.pop();
+    // Find common prefix length
+    let commonLength = 0;
+    const minLength = Math.min(fromParts.length, toParts.length);
+    while (commonLength < minLength && fromParts[commonLength] === toParts[commonLength]) {
+        commonLength++;
+    }
+    // Calculate how many directories to go up from fromFile
+    const upCount = fromParts.length - commonLength;
+    // Build the relative path
+    const upPath = upCount > 0 ? "../".repeat(upCount) : "./";
+    // Add remaining directories from toFile
+    const remainingDirs = toParts.slice(commonLength);
+    const dirPath = remainingDirs.length > 0 ? remainingDirs.join("/") + "/" : "";
+    return upPath + dirPath + toFilenameJs;
+}
+/**
+ * Live layer - creates fresh symbol registry per use
+ */
+export const SymbolsLive = Layer.sync(Symbols, () => createSymbolRegistry());
+//# sourceMappingURL=symbols.js.map

package/dist/services/symbols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbols.js","sourceRoot":"","sources":["../../src/services/symbols.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,KAAK,IAAI,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AA0EnF;;GAEG;AACH,MAAM,OAAO,OAAQ,SAAQ,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAGhD;CAAG;AAEN;;GAEG;AACH,MAAM,UAAU,oBAAoB;IAClC,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAGjC,CAAA;IAEH,iDAAiD;IACjD,MAAM,OAAO,GAAG,CAAC,GAAc,EAAU,EAAE,CACzC,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,EAAE,CAAA;IAEtD,OAAO;QACL,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;YAC3B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;YAC3B,IAAI,CACF,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,EAChC,MAAM,CAAC,KAAK,CAAC;gBACX,MAAM,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;gBACpE,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE;oBACnB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;oBACjC,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAA;gBAC5C,CAAC;aACF,CAAC,CACH,CAAA;QACH,CAAC;QAED,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACf,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;YACxB,OAAO,IAAI,CACT,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,EAChC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EACnC,MAAM,CAAC,cAAc,CACtB,CAAA;QACH,CAAC;QAED,SAAS,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE;YAC9B,4CAA4C;YAC5C,MAAM,YAAY,GAAG,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;YAEjE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;gBACrB,OAAO;oBACL,IAAI,EAAE,YAAY;oBAClB,KAAK,EAAE,EAAE;oBACT,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE,MAAM,CAAC,IAAI;iBACrB,CAAA;YACH,CAAC;YAED,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClB,OAAO;oBACL,IAAI,EAAE,YAAY;oBAClB,KAAK,EAAE,EAAE;oBACT,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;iBACrB,CAAA;YACH,CAAC;YAED,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;gBACpB,KAAK,EAAE,EAAE;aACV,CAAA;QACH,CAAC;QAED,QAAQ,EAAE,GAAG,EAAE;YACb,kEAAkE;YAClE,2EAA2E;YAC3E,MAAM,UAAU,GAAG,IAAI,CACrB,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,EAC9B,GAAG,CAAC,YAAY,EAChB,GAAG,CAAC,OAAO,CACZ,CAAA;YAED,sDAAsD;YACtD,MAAM,iBAAiB,GAAG,IAAI,CAC5B,UAAU,EACV,GAAG,CAAC,MAAM,CACR,IAAI,GAAG,EAAgD,EACvD,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;gBACb,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAA;gBAC9E,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;gBACnC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACpB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;gBACtB,OAAO,GAAG,CAAA;YACZ,CAAC,CACF,CACF,CAAA;YAED,uDAAuD;YACvD,OAAO,IAAI,CACT,CAAC,GAAG,iBAAiB,CAAC,OAAO,EAAE,CAAC,EAChC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;gBAC/B,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;oBAAE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;gBAC7C,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAA;gBACzD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;gBAC1D,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC;oBACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAqB,CAAC;oBAC3D,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;YACnB,CAAC,CAAC,CACH,CAAA;QACH,CAAC;QAED,MAAM,EAAE,GAAG,EAAE,CACX,IAAI,CACF,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,EAC9B,GAAG,CAAC,YAAY,EAChB,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CACvD;KACJ,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,qBAAqB,CAAC,QAAgB,EAAE,MAAc;IAC7D,iDAAiD;IACjD,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IACpD,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IAEhD,0CAA0C;IAC1C,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC3C,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAEvC,0DAA0D;IAC1D,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,CAAA;IACtC,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAEvD,yDAAyD;IACzD,SAAS,CAAC,GAAG,EAAE,CAAA;IAEf,4BAA4B;IAC5B,IAAI,YAAY,GAAG,CAAC,CAAA;IACpB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IAC5D,OAAO,YAAY,GAAG,SAAS,IAAI,SAAS,CAAC,YAAY,CAAC,KAAK,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACrF,YAAY,EAAE,CAAA;IAChB,CAAC;IAED,wDAAwD;IACxD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,GAAG,YAAY,CAAA;IAE/C,0BAA0B;IAC1B,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAEzD,wCAAwC;IACxC,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;IACjD,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;IAE7E,OAAO,MAAM,GAAG,OAAO,GAAG,YAAY,CAAA;AACxC,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,oBAAoB,EAAE,CAAC,CAAA"}

package/dist/services/type-hints.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Type Hint Registry Service
+ *
+ * Provides user-configured type overrides that plugins can query.
+ *
+ * Precedence rules (higher score wins):
+ * - schema + table + column: 9 points
+ * - table + column: 7 points
+ * - schema + column: 6 points
+ * - schema + table: 5 points
+ * - column: 4 points
+ * - table: 3 points
+ * - schema: 2 points
+ * - pgType: 1 point
+ *
+ * For same specificity, later rules in config override earlier ones.
+ */
+import { Context, Layer, Option } from "effect";
+import type { TypeHint } from "../config.js";
+/**
+ * Field matching criteria for type hints
+ */
+export interface TypeHintFieldMatch {
+    readonly schema: string;
+    readonly table: string;
+    readonly column: string;
+    readonly pgType: string;
+}
+/**
+ * Type hint registry interface
+ */
+export interface TypeHintRegistry {
+    /**
+     * Get all hints for a specific field (merged from all matching rules)
+     * More specific matches take precedence over general ones
+     */
+    readonly getHints: (field: TypeHintFieldMatch) => Record<string, unknown>;
+    /**
+     * Get a specific hint value for a field
+     */
+    readonly getHint: <T>(field: TypeHintFieldMatch, key: string) => Option.Option<T>;
+}
+declare const TypeHints_base: Context.TagClass<TypeHints, "TypeHints", TypeHintRegistry>;
+/**
+ * TypeHintRegistry service tag
+ */
+export declare class TypeHints extends TypeHints_base {
+}
+/**
+ * Create a type hint registry from configuration
+ */
+export declare function createTypeHintRegistry(hints: readonly TypeHint[]): TypeHintRegistry;
+/**
+ * Empty registry for testing
+ */
+export declare const emptyTypeHintRegistry: TypeHintRegistry;
+/**
+ * Create a live layer from config
+ */
+export declare function TypeHintsLive(hints: readonly TypeHint[]): Layer.Layer<TypeHints, never, never>;
+export {};
+//# sourceMappingURL=type-hints.d.ts.map

package/dist/services/type-hints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-hints.d.ts","sourceRoot":"","sources":["../../src/services/type-hints.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAA6B,MAAM,QAAQ,CAAA;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAiB,MAAM,cAAc,CAAA;AAE3D;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,kBAAkB,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAEzE;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAClF;;AAED;;GAEG;AACH,qBAAa,SAAU,SAAQ,cAG5B;CAAG;AA6DN;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,gBAAgB,CAqCnF;AAED;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,gBAGnC,CAAA;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,wCAEvD"}