@danielfgray/pg-sourcerer 0.2.1 → 0.2.2

package/dist/services/resolution.js

@@ -0,0 +1,242 @@
+/**
+ * Resolution Phase
+ *
+ * Matches requests to providers, expands dependencies, builds DAG,
+ * detects cycles, and produces an execution plan.
+ */
+import { Array as Arr, Data, Effect, HashMap, Option, pipe } from "effect";
+import { PluginCycle, PluginNotFound, } from "./plugin.js";
+const makeKey = (kind, params) => Data.struct({
+    kind,
+    paramsJson: JSON.stringify(params ?? {}),
+});
+// ============================================================================
+// Resolution
+// ============================================================================
+/**
+ * Find the first provider that can handle a request.
+ * Returns Option.none() if no provider found.
+ */
+const findProviderOptional = (providers, kind, params) => {
+    const byKind = providers.filter((p) => p.kind === kind);
+    return Arr.findFirst(byKind, (p) => p.canProvide(params));
+};
+/**
+ * Find the first provider that can handle a request.
+ * Fails with PluginNotFound if none found.
+ */
+const findProvider = (providers, kind, params, requestedBy) => pipe(findProviderOptional(providers, kind, params), Option.match({
+    onNone: () => Effect.fail(new PluginNotFound({
+        message: `No provider found for "${kind}"`,
+        kind,
+        params,
+        requestedBy,
+    })),
+    onSome: Effect.succeed,
+}));
+/**
+ * Resolve a single request: match to provider, get required dependencies.
+ * Optional dependencies are handled separately in collectAndResolve.
+ */
+const resolveRequest = (providers, kind, params, requestedBy) => findProvider(providers, kind, params, requestedBy).pipe(Effect.map((provider) => ({
+    kind,
+    params,
+    provider,
+    dependencies: provider.requires?.(params) ?? [],
+    optionalDependencies: [], // Filled in later by collectAndResolve
+})));
+/**
+ * Collect all requests (including transitive dependencies) and resolve them.
+ *
+ * Returns a map of RequestKey → ResolvedRequest.
+ */
+const collectAndResolve = (registry) => {
+    const providers = registry.getPlugins();
+    const pendingRequests = registry.getPendingRequests();
+    const singletons = registry.getSingletons();
+    // Initial requests: pending + singletons
+    const initialRequests = [
+        ...pendingRequests.map((p) => ({ kind: p.kind, params: p.params })),
+        ...singletons.map((s) => ({ kind: s.kind, params: s.singletonParams ?? {} })),
+    ];
+    // Track optional dependencies that were resolved for each request
+    // Key: request key string, Value: array of resolved optional deps
+    const resolvedOptionalDeps = new Map();
+    const keyToString = (k) => `${k.kind}:${k.paramsJson}`;
+    // BFS to collect all requests
+    const processQueue = (queue, resolved) => {
+        if (queue.length === 0) {
+            // Post-process: update resolved requests with their optional dependencies
+            return Effect.succeed(HashMap.map(resolved, (req) => {
+                const key = makeKey(req.kind, req.params);
+                const optDeps = resolvedOptionalDeps.get(keyToString(key)) ?? [];
+                return { ...req, optionalDependencies: optDeps };
+            }));
+        }
+        const [current, ...rest] = queue;
+        if (!current)
+            return Effect.succeed(resolved);
+        const key = makeKey(current.req.kind, current.req.params);
+        // Skip if already resolved
+        if (HashMap.has(resolved, key)) {
+            return processQueue(rest, resolved);
+        }
+        // For optional requests, check if provider exists first
+        if (current.isOptional) {
+            const maybeProvider = findProviderOptional(providers, current.req.kind, current.req.params);
+            if (Option.isNone(maybeProvider)) {
+                // No provider for optional dep - skip silently
+                return processQueue(rest, resolved);
+            }
+        }
+        return resolveRequest(providers, current.req.kind, current.req.params, current.requestedBy).pipe(Effect.flatMap((resolvedReq) => {
+            const newResolved = HashMap.set(resolved, key, resolvedReq);
+            // Add required dependencies to queue
+            const requiredItems = resolvedReq.dependencies.map((dep) => ({
+                req: dep,
+                requestedBy: resolvedReq.provider.name,
+                isOptional: false,
+            }));
+            // Process optional dependencies
+            const optionalReqs = resolvedReq.provider.optionalRequires?.(resolvedReq.params) ?? [];
+            const optionalItems = [];
+            for (const optReq of optionalReqs) {
+                // Check if provider exists for this optional dep
+                const maybeProvider = findProviderOptional(providers, optReq.kind, optReq.params);
+                if (Option.isSome(maybeProvider)) {
+                    // Provider exists - add to queue and track as optional dependency
+                    optionalItems.push({
+                        req: optReq,
+                        requestedBy: resolvedReq.provider.name,
+                        isOptional: true,
+                    });
+                    // Track that this was an optional dep of the current request
+                    const currentKeyStr = keyToString(key);
+                    const existing = resolvedOptionalDeps.get(currentKeyStr) ?? [];
+                    existing.push(optReq);
+                    resolvedOptionalDeps.set(currentKeyStr, existing);
+                }
+                // If no provider, silently skip - that's the point of optional deps
+            }
+            return processQueue([...rest, ...requiredItems, ...optionalItems], newResolved);
+        }));
+    };
+    const initialQueue = initialRequests.map((req) => ({
+        req,
+        requestedBy: "initial",
+        isOptional: false,
+    }));
+    return processQueue(initialQueue, HashMap.empty());
+};
+/**
+ * Build adjacency list for the dependency graph.
+ * Node: RequestKey, Edges: dependencies (both required and optional, as keys)
+ */
+const buildAdjacencyList = (resolved) => HashMap.map(resolved, (req) => {
+    const requiredKeys = req.dependencies.map((dep) => makeKey(dep.kind, dep.params));
+    const optionalKeys = req.optionalDependencies.map((dep) => makeKey(dep.kind, dep.params));
+    return [...requiredKeys, ...optionalKeys];
+});
+/**
+ * Detect cycles using DFS with color marking.
+ * WHITE = unvisited, GRAY = in progress, BLACK = done
+ *
+ * Uses string keys for the color map since Data.struct creates new instances.
+ */
+const detectCycles = (adjacency) => {
+    // Use string serialization for Map keys since Data.struct instances are different objects
+    const keyToString = (k) => `${k.kind}:${k.paramsJson}`;
+    const nodes = HashMap.keys(adjacency);
+    const dfs = (node, colors, path) => {
+        const nodeStr = keyToString(node);
+        const color = colors.get(nodeStr) ?? "white";
+        if (color === "gray") {
+            // Cycle detected - find where in path this node appears
+            const pathStrs = path.map(keyToString);
+            const cycleStart = pathStrs.indexOf(nodeStr);
+            const cyclePath = cycleStart >= 0 ? path.slice(cycleStart) : path;
+            const cycle = [...cyclePath, node].map((k) => {
+                const params = JSON.parse(k.paramsJson);
+                return Object.keys(params).length > 0 ? `${k.kind}(${k.paramsJson})` : k.kind;
+            });
+            return Effect.fail(new PluginCycle({
+                message: `Dependency cycle detected: ${cycle.join(" → ")}`,
+                cycle,
+            }));
+        }
+        if (color === "black") {
+            return Effect.succeed(colors);
+        }
+        colors.set(nodeStr, "gray");
+        const neighbors = pipe(HashMap.get(adjacency, node), Option.getOrElse(() => []));
+        return Effect.reduce(neighbors, colors, (cols, neighbor) => dfs(neighbor, cols, [...path, node])).pipe(Effect.map((cols) => {
+            cols.set(nodeStr, "black");
+            return cols;
+        }));
+    };
+    return Effect.reduce(nodes, new Map(), (colors, node) => dfs(node, colors, [])).pipe(Effect.asVoid);
+};
+/**
+ * Topological sort using Kahn's algorithm.
+ */
+const topologicalSort = (resolved, adjacency) => {
+    const keyToString = (k) => `${k.kind}:${k.paramsJson}`;
+    // Build in-degree map (how many things depend on each node)
+    const inDegree = new Map();
+    const keysByString = new Map();
+    for (const key of HashMap.keys(adjacency)) {
+        const keyStr = keyToString(key);
+        keysByString.set(keyStr, key);
+        if (!inDegree.has(keyStr))
+            inDegree.set(keyStr, 0);
+    }
+    for (const deps of HashMap.values(adjacency)) {
+        for (const dep of deps) {
+            const depStr = keyToString(dep);
+            inDegree.set(depStr, (inDegree.get(depStr) ?? 0) + 1);
+        }
+    }
+    // Start with nodes that have no dependencies on them (in-degree = 0)
+    const queue = [];
+    for (const [keyStr, degree] of inDegree) {
+        if (degree === 0)
+            queue.push(keyStr);
+    }
+    const result = [];
+    while (queue.length > 0) {
+        const nodeStr = queue.shift();
+        const node = keysByString.get(nodeStr);
+        const resolvedReq = pipe(HashMap.get(resolved, node), Option.getOrThrow);
+        result.push(resolvedReq);
+        const deps = pipe(HashMap.get(adjacency, node), Option.getOrElse(() => []));
+        for (const dep of deps) {
+            const depStr = keyToString(dep);
+            const newDegree = (inDegree.get(depStr) ?? 1) - 1;
+            inDegree.set(depStr, newDegree);
+            if (newDegree === 0)
+                queue.push(depStr);
+        }
+    }
+    // Reverse: dependencies should come first
+    return result.reverse();
+};
+// ============================================================================
+// Public API
+// ============================================================================
+/**
+ * Resolve all requests and produce an execution plan.
+ *
+ * Steps:
+ * 1. Collect all requests (pending + singletons + transitive dependencies)
+ * 2. Match each request to a provider
+ * 3. Build dependency DAG
+ * 4. Detect cycles
+ * 5. Topologically sort
+ */
+export const resolve = (registry) => collectAndResolve(registry).pipe(Effect.flatMap((resolved) => {
+    const adjacency = buildAdjacencyList(resolved);
+    return detectCycles(adjacency).pipe(Effect.map(() => ({
+        steps: topologicalSort(resolved, adjacency),
+    })));
+}));
+//# sourceMappingURL=resolution.js.map

package/dist/services/resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution.js","sourceRoot":"","sources":["../../src/services/resolution.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,KAAK,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAC1E,OAAO,EAIL,WAAW,EACX,cAAc,GACf,MAAM,aAAa,CAAA;AAmCpB,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,MAAe,EAAc,EAAE,CAC5D,IAAI,CAAC,MAAM,CAAC;IACV,IAAI;IACJ,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC;CACzC,CAAC,CAAA;AAEJ,+EAA+E;AAC/E,aAAa;AACb,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,oBAAoB,GAAG,CAC3B,SAA4B,EAC5B,IAAY,EACZ,MAAe,EACQ,EAAE;IACzB,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;IACvD,OAAO,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAA;AAC3D,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,YAAY,GAAG,CACnB,SAA4B,EAC5B,IAAY,EACZ,MAAe,EACf,WAAmB,EACoB,EAAE,CACzC,IAAI,CACF,oBAAoB,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,EAC7C,MAAM,CAAC,KAAK,CAAC;IACX,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,IAAI,CACT,IAAI,cAAc,CAAC;QACjB,OAAO,EAAE,0BAA0B,IAAI,GAAG;QAC1C,IAAI;QACJ,MAAM;QACN,WAAW;KACZ,CAAC,CACH;IACH,MAAM,EAAE,MAAM,CAAC,OAAO;CACvB,CAAC,CACH,CAAA;AAEH;;;GAGG;AACH,MAAM,cAAc,GAAG,CACrB,SAA4B,EAC5B,IAAY,EACZ,MAAe,EACf,WAAmB,EAC6B,EAAE,CAClD,YAAY,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,IAAI,CACrD,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACxB,IAAI;IACJ,MAAM;IACN,QAAQ;IACR,YAAY,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE;IAC/C,oBAAoB,EAAE,EAAE,EAAE,uCAAuC;CAClE,CAAC,CAAC,CACJ,CAAA;AAEH;;;;GAIG;AACH,MAAM,iBAAiB,GAAG,CACxB,QAAwB,EACqD,EAAE;IAC/E,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAA;IACvC,MAAM,eAAe,GAAG,QAAQ,CAAC,kBAAkB,EAAE,CAAA;IACrD,MAAM,UAAU,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAA;IAE3C,yCAAyC;IACzC,MAAM,eAAe,GAA+B;QAClD,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACnE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,eAAe,IAAI,EAAE,EAAE,CAAC,CAAC;KAC9E,CAAA;IAED,kEAAkE;IAClE,kEAAkE;IAClE,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAA6B,CAAA;IAEjE,MAAM,WAAW,GAAG,CAAC,CAAa,EAAU,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,EAAE,CAAA;IAE1E,8BAA8B;IAC9B,MAAM,YAAY,GAAG,CACnB,KAAoF,EACpF,QAAsD,EACuB,EAAE;QAC/E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,0EAA0E;YAC1E,OAAO,MAAM,CAAC,OAAO,CACnB,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;gBACzC,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;gBAChE,OAAO,EAAE,GAAG,GAAG,EAAE,oBAAoB,EAAE,OAAO,EAAE,CAAA;YAClD,CAAC,CAAC,CACH,CAAA;QACH,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAA;QAChC,IAAI,CAAC,OAAO;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;QAE7C,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAEzD,2BAA2B;QAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;QACrC,CAAC;QAED,wDAAwD;QACxD,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,MAAM,aAAa,GAAG,oBAAoB,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAC3F,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;gBACjC,+CAA+C;gBAC/C,OAAO,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;YACrC,CAAC;QACH,CAAC;QAED,OAAO,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAC9F,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE;YAC7B,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,WAAW,CAAC,CAAA;YAE3D,qCAAqC;YACrC,MAAM,aAAa,GAAG,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC3D,GAAG,EAAE,GAAG;gBACR,WAAW,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAI;gBACtC,UAAU,EAAE,KAAK;aAClB,CAAC,CAAC,CAAA;YAEH,gCAAgC;YAChC,MAAM,YAAY,GAAG,WAAW,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;YACtF,MAAM,aAAa,GAAyE,EAAE,CAAA;YAE9F,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;gBAClC,iDAAiD;gBACjD,MAAM,aAAa,GAAG,oBAAoB,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;gBACjF,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;oBACjC,kEAAkE;oBAClE,aAAa,CAAC,IAAI,CAAC;wBACjB,GAAG,EAAE,MAAM;wBACX,WAAW,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAI;wBACtC,UAAU,EAAE,IAAI;qBACjB,CAAC,CAAA;oBACF,6DAA6D;oBAC7D,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;oBACtC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAA;oBAC9D,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;oBACrB,oBAAoB,CAAC,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAA;gBACnD,CAAC;gBACD,oEAAoE;YACtE,CAAC;YAED,OAAO,YAAY,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,aAAa,EAAE,GAAG,aAAa,CAAC,EAAE,WAAW,CAAC,CAAA;QACjF,CAAC,CAAC,CACH,CAAA;IACH,CAAC,CAAA;IAED,MAAM,YAAY,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACjD,GAAG;QACH,WAAW,EAAE,SAAS;QACtB,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC,CAAA;IAEH,OAAO,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAA;AACpD,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,kBAAkB,GAAG,CACzB,QAAsD,EACF,EAAE,CACtD,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;IAC5B,MAAM,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IACjF,MAAM,YAAY,GAAG,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IACzF,OAAO,CAAC,GAAG,YAAY,EAAE,GAAG,YAAY,CAAC,CAAA;AAC3C,CAAC,CAAC,CAAA;AAEJ;;;;;GAKG;AACH,MAAM,YAAY,GAAG,CACnB,SAA6D,EAC3B,EAAE;IAGpC,0FAA0F;IAC1F,MAAM,WAAW,GAAG,CAAC,CAAa,EAAU,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,EAAE,CAAA;IAE1E,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAErC,MAAM,GAAG,GAAG,CACV,IAAgB,EAChB,MAA0B,EAC1B,IAA2B,EACqB,EAAE;QAClD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,OAAO,CAAA;QAE5C,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YACrB,wDAAwD;YACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;YACtC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;YAC5C,MAAM,SAAS,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YACjE,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;gBACvC,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YAC/E,CAAC,CAAC,CAAA;YACF,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,WAAW,CAAC;gBACd,OAAO,EAAE,8BAA8B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;gBAC1D,KAAK;aACN,CAAC,CACH,CAAA;QACH,CAAC;QAED,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACtB,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAC/B,CAAC;QAED,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QAE3B,MAAM,SAAS,GAAG,IAAI,CACpB,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,EAC5B,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,EAA2B,CAAC,CACpD,CAAA;QAED,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CACzD,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CACrC,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAClB,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;YAC1B,OAAO,IAAI,CAAA;QACb,CAAC,CAAC,CACH,CAAA;IACH,CAAC,CAAA;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,GAAG,EAAiB,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CACrE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CACtB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AACvB,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,eAAe,GAAG,CACtB,QAAsD,EACtD,SAA6D,EACjC,EAAE;IAC9B,MAAM,WAAW,GAAG,CAAC,CAAa,EAAU,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,EAAE,CAAA;IAE1E,4DAA4D;IAC5D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC1C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAsB,CAAA;IAElD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;QAC/B,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QAC7B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACpD,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAC/B,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QACvD,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACxC,IAAI,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACtC,CAAC;IAED,MAAM,MAAM,GAAsB,EAAE,CAAA;IAEpC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;QAC9B,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAE,CAAA;QACvC,MAAM,WAAW,GAAG,IAAI,CACtB,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,EAC3B,MAAM,CAAC,UAAU,CAClB,CAAA;QACD,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;QAExB,MAAM,IAAI,GAAG,IAAI,CACf,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,EAC5B,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,EAA2B,CAAC,CACpD,CAAA;QAED,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAC/B,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;YACjD,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;YAC/B,IAAI,SAAS,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACzC,CAAC;IACH,CAAC;IAED,0CAA0C;IAC1C,OAAO,MAAM,CAAC,OAAO,EAAE,CAAA;AACzB,CAAC,CAAA;AAED,+EAA+E;AAC/E,aAAa;AACb,+EAA+E;AAE/E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,QAAwB,EACoC,EAAE,CAC9D,iBAAiB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAC9B,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;IAC1B,MAAM,SAAS,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAA;IAC9C,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC,IAAI,CACjC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;QAChB,KAAK,EAAE,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC;KAC5C,CAAC,CAAC,CACJ,CAAA;AACH,CAAC,CAAC,CACH,CAAA"}

package/dist/services/service-registry.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Service Registry
+ *
+ * Runtime service registration for plugin-to-plugin communication.
+ * Plugins register services during their provide() phase, and other
+ * plugins can access them via ctx.services.get().
+ *
+ * This enables on-demand requests between plugins without coupling
+ * them to specific implementations.
+ *
+ * @example
+ * ```typescript
+ * // Provider plugin (e.g., zod)
+ * ctx.services.register("schema-builder", {
+ *   buildParamSchema: (params) => // ... generate AST
+ * })
+ *
+ * // Consumer plugin (e.g., http-elysia)
+ * const builder = ctx.services.get<SchemaBuilder>("schema-builder")
+ * if (builder) {
+ *   const ast = builder.buildParamSchema(params)
+ * }
+ * ```
+ */
+import { Context, Layer } from "effect";
+/**
+ * Runtime service registry for plugin communication.
+ */
+export interface ServiceRegistry {
+    /**
+     * Register a service by kind.
+     * Later registrations for the same kind overwrite earlier ones.
+     *
+     * @param kind - Service identifier (e.g., "schema-builder")
+     * @param service - The service implementation
+     */
+    readonly register: <S>(kind: string, service: S) => void;
+    /**
+     * Get a registered service by kind.
+     * Returns undefined if no service is registered for the kind.
+     *
+     * @param kind - Service identifier
+     * @returns The service or undefined
+     */
+    readonly get: <S>(kind: string) => S | undefined;
+    /**
+     * Check if a service is registered.
+     *
+     * @param kind - Service identifier
+     * @returns true if registered
+     */
+    readonly has: (kind: string) => boolean;
+    /**
+     * List all registered service kinds.
+     * Useful for debugging.
+     */
+    readonly kinds: () => readonly string[];
+}
+declare const Services_base: Context.TagClass<Services, "Services", ServiceRegistry>;
+/**
+ * Effect service tag for ServiceRegistry.
+ */
+export declare class Services extends Services_base {
+}
+/**
+ * Create a new service registry.
+ */
+export declare function createServiceRegistry(): ServiceRegistry;
+/**
+ * Live layer - creates fresh service registry.
+ */
+export declare const ServicesLive: Layer.Layer<Services, never, never>;
+export {};
+//# sourceMappingURL=service-registry.d.ts.map

package/dist/services/service-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"service-registry.d.ts","sourceRoot":"","sources":["../../src/services/service-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAMvC;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,KAAK,IAAI,CAAA;IAExD;;;;;;OAMG;IACH,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,GAAG,SAAS,CAAA;IAEhD;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAA;IAEvC;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,SAAS,MAAM,EAAE,CAAA;CACxC;;AAMD;;GAEG;AACH,qBAAa,QAAS,SAAQ,aAAoD;CAAG;AAMrF;;GAEG;AACH,wBAAgB,qBAAqB,IAAI,eAAe,CAoBvD;AAED;;GAEG;AACH,eAAO,MAAM,YAAY,qCAAsD,CAAA"}

package/dist/services/service-registry.js

@@ -0,0 +1,61 @@
+/**
+ * Service Registry
+ *
+ * Runtime service registration for plugin-to-plugin communication.
+ * Plugins register services during their provide() phase, and other
+ * plugins can access them via ctx.services.get().
+ *
+ * This enables on-demand requests between plugins without coupling
+ * them to specific implementations.
+ *
+ * @example
+ * ```typescript
+ * // Provider plugin (e.g., zod)
+ * ctx.services.register("schema-builder", {
+ *   buildParamSchema: (params) => // ... generate AST
+ * })
+ *
+ * // Consumer plugin (e.g., http-elysia)
+ * const builder = ctx.services.get<SchemaBuilder>("schema-builder")
+ * if (builder) {
+ *   const ast = builder.buildParamSchema(params)
+ * }
+ * ```
+ */
+import { Context, Layer } from "effect";
+// ============================================================================
+// Service Tag
+// ============================================================================
+/**
+ * Effect service tag for ServiceRegistry.
+ */
+export class Services extends Context.Tag("Services")() {
+}
+// ============================================================================
+// Implementation
+// ============================================================================
+/**
+ * Create a new service registry.
+ */
+export function createServiceRegistry() {
+    const services = new Map();
+    return {
+        register: (kind, service) => {
+            services.set(kind, service);
+        },
+        get: (kind) => {
+            return services.get(kind);
+        },
+        has: (kind) => {
+            return services.has(kind);
+        },
+        kinds: () => {
+            return [...services.keys()];
+        },
+    };
+}
+/**
+ * Live layer - creates fresh service registry.
+ */
+export const ServicesLive = Layer.sync(Services, () => createServiceRegistry());
+//# sourceMappingURL=service-registry.js.map

package/dist/services/service-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"service-registry.js","sourceRoot":"","sources":["../../src/services/service-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AA2CvC,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E;;GAEG;AACH,MAAM,OAAO,QAAS,SAAQ,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAA6B;CAAG;AAErF,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,UAAU,qBAAqB;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAA;IAE3C,OAAO;QACL,QAAQ,EAAE,CAAI,IAAY,EAAE,OAAU,EAAE,EAAE;YACxC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAC7B,CAAC;QAED,GAAG,EAAE,CAAI,IAAY,EAAE,EAAE;YACvB,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAkB,CAAA;QAC5C,CAAC;QAED,GAAG,EAAE,CAAC,IAAY,EAAE,EAAE;YACpB,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC3B,CAAC;QAED,KAAK,EAAE,GAAG,EAAE;YACV,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;QAC7B,CAAC;KACF,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,qBAAqB,EAAE,CAAC,CAAA"}

package/dist/services/symbols.d.ts

@@ -2,9 +2,50 @@
  * Symbol Registry Service
  *
  * Tracks emitted symbols for cross-file import resolution.
+ * Also provides method registry for query provider → HTTP provider communication.
  */
 import { Context, Layer } from "effect";
 import type { CapabilityKey } from "../ir/index.js";
+import type { QueryMethodKind, QueryMethodParam, QueryMethodReturn, CallSignature } from "../ir/extensions/queries.js";
+/**
+ * A method symbol registered by query providers.
+ * HTTP providers consume these to generate routes.
+ */
+export interface MethodSymbol {
+    /** Export name in the generated file (e.g., "findUserById") */
+    readonly name: string;
+    /** File where the method is exported */
+    readonly file: string;
+    /** Entity this method operates on */
+    readonly entity: string;
+    /** What kind of operation */
+    readonly kind: QueryMethodKind;
+    /** Parameters */
+    readonly params: readonly QueryMethodParam[];
+    /** Return type info */
+    readonly returns: QueryMethodReturn;
+    /** For lookup methods */
+    readonly lookupField?: string;
+    /** Whether lookup returns single result */
+    readonly isUniqueLookup?: boolean;
+    /** How to call this method */
+    readonly callSignature?: CallSignature;
+}
+/**
+ * Entity methods summary for a single entity
+ */
+export interface EntityMethods {
+    /** Entity name */
+    readonly entity: string;
+    /** Import path for the methods file */
+    readonly importPath: string;
+    /** All methods for this entity */
+    readonly methods: readonly MethodSymbol[];
+    /** Primary key type */
+    readonly pkType?: string;
+    /** Has composite PK */
+    readonly hasCompositePk?: boolean;
+}
 /**
  * Reference to a symbol
  */
@@ -66,6 +107,24 @@ export interface SymbolRegistry {
      * Get all registered symbols
      */
     readonly getAll: () => readonly Symbol[];
+    /**
+     * Register all methods for an entity.
+     * Called by query providers (sql-queries, kysely-queries).
+     */
+    readonly registerEntityMethods: (entityMethods: EntityMethods, provider: string) => void;
+    /**
+     * Get all methods for an entity.
+     * Called by HTTP providers (http-elysia, http-trpc).
+     */
+    readonly getEntityMethods: (entity: string) => EntityMethods | undefined;
+    /**
+     * Get all entities that have registered methods.
+     */
+    readonly getEntitiesWithMethods: () => readonly string[];
+    /**
+     * Get methods by kind across all entities.
+     */
+    readonly getMethodsByKind: (kind: QueryMethodKind) => readonly MethodSymbol[];
 }
 declare const Symbols_base: Context.TagClass<Symbols, "Symbols", SymbolRegistry>;
 /**

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

@@ -1 +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"}
+{"version":3,"file":"symbols.d.ts","sourceRoot":"","sources":["../../src/services/symbols.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAgB,OAAO,EAAE,KAAK,EAAgC,MAAM,QAAQ,CAAA;AACnF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACd,MAAM,6BAA6B,CAAA;AAMpC;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,+DAA+D;IAC/D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,6BAA6B;IAC7B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,iBAAiB;IACjB,QAAQ,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAA;IAC5C,uBAAuB;IACvB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAA;IACnC,yBAAyB;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,2CAA2C;IAC3C,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;IACjC,8BAA8B;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,aAAa,CAAA;CACvC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,kBAAkB;IAClB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,uCAAuC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,kCAAkC;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;IACzC,uBAAuB;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,uBAAuB;IACvB,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;CAClC;AAMD;;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;IAMxC;;;OAGG;IACH,QAAQ,CAAC,qBAAqB,EAAE,CAAC,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,KAAK,IAAI,CAAA;IAExF;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,aAAa,GAAG,SAAS,CAAA;IAExE;;OAEG;IACH,QAAQ,CAAC,sBAAsB,EAAE,MAAM,SAAS,MAAM,EAAE,CAAA;IAExD;;OAEG;IACH,QAAQ,CAAC,gBAAgB,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,SAAS,YAAY,EAAE,CAAA;CAC9E;;AAED;;GAEG;AACH,qBAAa,OAAQ,SAAQ,YAG1B;CAAG;AAEN;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,cAAc,CAuIrD;AAmDD;;GAEG;AACH,eAAO,MAAM,WAAW,oCAAoD,CAAA"}

package/dist/services/symbols.js

@@ -2,6 +2,7 @@
  * Symbol Registry Service
  *
  * Tracks emitted symbols for cross-file import resolution.
+ * Also provides method registry for query provider → HTTP provider communication.
  */
 import { Array as Arr, Context, Layer, MutableHashMap, Option, pipe } from "effect";
 /**
@@ -14,6 +15,8 @@ export class Symbols extends Context.Tag("Symbols")() {
  */
 export function createSymbolRegistry() {
     const symbols = MutableHashMap.empty();
+    // Method registry: entity → methods
+    const entityMethodsMap = new Map();
     // Key for deduplication: capability:entity:shape
     const makeKey = (ref) => `${ref.capability}:${ref.entity}:${ref.shape ?? ""}`;
     return {
@@ -79,6 +82,19 @@ export function createSymbolRegistry() {
             }));
         },
         getAll: () => pipe(MutableHashMap.values(symbols), Arr.fromIterable, Arr.flatMap((entries) => entries.map((e) => e.symbol))),
+        // ============================================================================
+        // Method Registry Implementation
+        // ============================================================================
+        registerEntityMethods: (entityMethods, provider) => {
+            entityMethodsMap.set(entityMethods.entity, { methods: entityMethods, provider });
+        },
+        getEntityMethods: (entity) => {
+            return entityMethodsMap.get(entity)?.methods;
+        },
+        getEntitiesWithMethods: () => {
+            return [...entityMethodsMap.keys()];
+        },
+        getMethodsByKind: (kind) => pipe([...entityMethodsMap.values()], Arr.flatMap(({ methods }) => methods.methods.filter((m) => m.kind === kind))),
     };
 }
 /**

package/dist/services/symbols.js.map

@@ -1 +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"}
+{"version":3,"file":"symbols.js","sourceRoot":"","sources":["../../src/services/symbols.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,KAAK,IAAI,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AA2JnF;;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,oCAAoC;IACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAwD,CAAA;IAExF,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;QAEH,+EAA+E;QAC/E,iCAAiC;QACjC,+EAA+E;QAE/E,qBAAqB,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,EAAE;YACjD,gBAAgB,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,CAAA;QAClF,CAAC;QAED,gBAAgB,EAAE,CAAC,MAAM,EAAE,EAAE;YAC3B,OAAO,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;QAC9C,CAAC;QAED,sBAAsB,EAAE,GAAG,EAAE;YAC3B,OAAO,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAA;QACrC,CAAC;QAED,gBAAgB,EAAE,CAAC,IAAI,EAAE,EAAE,CACzB,IAAI,CACF,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAC9B,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAC1B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAC/C,CACF;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/testing.d.ts

@@ -6,10 +6,9 @@
 import { Layer } from "effect";
 import { PluginMeta } from "./services/plugin-meta.js";
 import { IR } from "./services/ir.js";
-import { PluginRunner } from "./services/plugin-runner.js";
 import type { SemanticIR } from "./ir/semantic-ir.js";
 /**
- * Base test layers for direct plugin testing (bypassing PluginRunner).
+ * Base test layers for direct plugin testing.
  *
  * Provides all shared services except IR and PluginMeta,
  * which are test-specific.
@@ -23,27 +22,7 @@ import type { SemanticIR } from "./ir/semantic-ir.js";
  * )
  * ```
  */
-export declare const PluginTestLayers: Layer.Layer<import("./index.js").Inflection | import("./testing.js").Symbols | import("./index.js").TypeHints | import("./testing.js").Emissions | import("./index.js").ArtifactStore, never, never>;
-/**
- * Test layer for PluginRunner integration tests.
- *
- * PluginRunner.Default includes InflectionLive by default.
- * Add TypeHintsLive for complete test setup.
- *
- * Usage:
- * ```typescript
- * layer(PluginRunnerTestLayer)("my tests", (it) => {
- *   it.effect("runs plugins", () =>
- *     Effect.gen(function* () {
- *       const runner = yield* PluginRunner
- *       const prepared = yield* runner.prepare(plugins)
- *       const result = yield* runner.run(prepared, ir)
- *     })
- *   )
- * })
- * ```
- */
-export declare const PluginRunnerTestLayer: Layer.Layer<import("./index.js").TypeHints | PluginRunner, never, never>;
+export declare const PluginTestLayers: Layer.Layer<import("./index.js").Inflection | import("./testing.js").Symbols | import("./testing.js").Emissions | import("./index.js").TypeHints | import("./index.js").ArtifactStore, never, never>;
 /**
  * Create a complete test layer for a specific plugin test.
  *
@@ -67,11 +46,11 @@ export declare const PluginRunnerTestLayer: Layer.Layer<import("./index.js").Typ
  * })
  * ```
  */
-export declare function createPluginTestLayer(ir: SemanticIR, pluginName: string): Layer.Layer<import("./index.js").Inflection | import("./testing.js").Symbols | import("./index.js").TypeHints | import("./testing.js").Emissions | IR | import("./index.js").ArtifactStore | PluginMeta, never, never>;
+export declare function createPluginTestLayer(ir: SemanticIR, pluginName: string): Layer.Layer<import("./index.js").Inflection | import("./testing.js").Symbols | import("./testing.js").Emissions | import("./index.js").TypeHints | IR | import("./index.js").ArtifactStore | PluginMeta, never, never>;
 export { IR } from "./services/ir.js";
 export { PluginMeta } from "./services/plugin-meta.js";
 export { Emissions } from "./services/emissions.js";
 export { Symbols } from "./services/symbols.js";
-export { PluginRunner } from "./services/plugin-runner.js";
+export { runPlugins } from "./services/plugin-runner.js";
 export { createIRBuilder, freezeIR } from "./ir/semantic-ir.js";
 //# sourceMappingURL=testing.d.ts.map

package/dist/testing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAM9B,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAA;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAErD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,gBAAgB,sMAM5B,CAAA;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,qBAAqB,0EAGjC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,0NAMvE;AAGD,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAA;AAC1D,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA"}
+{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAM9B,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AACrC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAErD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,gBAAgB,sMAM5B,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,0NAMvE;AAGD,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AACxD,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA"}