@aburi/effects-prisma 0.1.0 → 0.2.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 kage1020
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -13,7 +13,7 @@ Recognised shapes:
 | `<client>.$transaction(...)` | `db.transaction` |
 
 Raw SQL (`$queryRaw` / `$executeRaw` / `$queryRawUnsafe` / `$executeRawUnsafe`)
-is intentionally **not** classified in v0.1 — statically distinguishing a read
+is intentionally **not** classified today — statically distinguishing a read
 raw query from a write raw query would require SQL parsing, which is out of the
 current scope. A future revision may add it under a `medium` confidence tier.
 
@@ -37,4 +37,4 @@ import { prismaEffectsPlugin } from "@aburi/effects-prisma"
 
 ## See also
 
-- [`design/details/effect-plugin.md`](../../design/details/effect-plugin.md)
+- [`docs/design/effect-plugin.md`](../../docs/design/effect-plugin.md)

package/dist/index.d.mts

@@ -1,12 +1,6 @@
 import { CallCandidate, ClassifyContext, EffectClassification, EffectPlugin, ImportEdge, PluginContext } from "@aburi/types";
 
 //#region src/classify.d.ts
-/**
- * Shared derivedBy namespace. `manifest.ts` imports this same const for its
- * `derivedByPrefixes` entry, so the classifier's tag builder and the registry
- * declaration cannot drift.
- */
-declare const EFFECTS_PRISMA_DERIVED_BY_PREFIX: "effects-plugin:prisma";
 /**
  * Classify a CallCandidate against Prisma Client conventions.
  *
@@ -29,18 +23,32 @@ declare const EFFECTS_PRISMA_DERIVED_BY_PREFIX: "effects-plugin:prisma";
  */
 declare function classifyPrismaCall(call: CallCandidate, ctx: ClassifyContext): EffectClassification | null;
 //#endregion
+//#region src/constants.d.ts
+/**
+ * Package-relative plugin name. Doubles as the prefix of every thrown message, so a caught
+ * exception names the plugin that rejected the input. `manifest.ts` declares the same
+ * string as `name`.
+ */
+declare const EFFECTS_PRISMA_PLUGIN_NAME: "effects-prisma";
+/**
+ * Shared derivedBy namespace. `manifest.ts` imports this same const for its
+ * `derivedByPrefixes` entry, so the classifier's tag builder and the registry
+ * declaration cannot drift.
+ */
+declare const EFFECTS_PRISMA_DERIVED_BY_PREFIX: "effects-plugin:prisma";
+//#endregion
 //#region src/imports.d.ts
 /**
  * True when the file's import list contains any recognized Prisma Client module. An
- * empty source string on an ImportEdge is rejected: the language plugin's contract is
- * to emit normalized non-empty specifiers, and treating `""` as unmatched would silently
- * hide upstream bugs.
+ * empty source string on an ImportEdge is rejected by the shared guard: the language
+ * plugin's contract is to emit normalized non-empty specifiers, and treating `""` as
+ * unmatched would silently hide upstream bugs.
  *
- * Validation runs across every edge before the match check so ImportEdge order does
- * not make throw behavior non-deterministic. Using `.some()` alone would short-circuit
- * on the first match and never notice a broken edge that happens to sit later.
+ * `filePath` is required and threaded into any thrown error message so a caught
+ * exception in production tooling (CI logs, error reporters) points directly at the
+ * offending source file rather than a bare "empty source" string.
  */
-declare function hasPrismaImport(imports: readonly ImportEdge[]): boolean;
+declare function hasPrismaImport(imports: readonly ImportEdge[], filePath: string): boolean;
 //#endregion
 //#region src/manifest.d.ts
 /**
@@ -50,7 +58,7 @@ declare function hasPrismaImport(imports: readonly ImportEdge[]): boolean;
  * The plugin returns core-owned effect ids (`db.read` / `db.write` / `db.transaction`)
  * from `classify()`; per extension-vocab.md §5.1 core vocab lives in the reserved
  * namespace and MUST NOT appear in a plugin's `provides.effects`. The plugin's own
- * `x-prisma:*` namespace has no v0.1 bindings — model-specific effects would sit there
+ * `x-prisma:*` namespace currently has no bindings — model-specific effects would sit there
  * once introduced. `derivedByPrefixes` shares its literal with the classifier's tag
  * builder so both stay in lockstep across edits.
  */
@@ -141,5 +149,5 @@ declare class PrismaEffectsPlugin implements EffectPlugin {
  */
 declare const prismaEffectsPlugin: PrismaEffectsPlugin;
 //#endregion
-export { EFFECTS_PRISMA_DERIVED_BY_PREFIX, PRISMA_READ_METHODS, PRISMA_TRANSACTION_METHOD, PRISMA_WRITE_METHODS, PrismaEffectsPlugin, type PrismaReadMethod, type PrismaTransactionMethod, type PrismaWriteMethod, classifyPrismaCall, effectsPrismaManifest, hasPrismaImport, isPrismaReadMethod, isPrismaTransactionMethod, isPrismaWriteMethod, prismaEffectsPlugin };
+export { EFFECTS_PRISMA_DERIVED_BY_PREFIX, EFFECTS_PRISMA_PLUGIN_NAME, PRISMA_READ_METHODS, PRISMA_TRANSACTION_METHOD, PRISMA_WRITE_METHODS, PrismaEffectsPlugin, type PrismaReadMethod, type PrismaTransactionMethod, type PrismaWriteMethod, classifyPrismaCall, effectsPrismaManifest, hasPrismaImport, isPrismaReadMethod, isPrismaTransactionMethod, isPrismaWriteMethod, prismaEffectsPlugin };
 //# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/classify.ts","../src/imports.ts","../src/manifest.ts","../src/methods.ts","../src/plugin.ts"],"mappings":";;;;;AASA;;;cAAa,gCAAA;AAAmE;AAsBhF;;;;;;;;;;;;;;AAGuB;;;;ACDvB;ADxBgF,iBAsBhE,kBAAA,CACd,IAAA,EAAM,aAAA,EACN,GAAA,EAAK,eAAA,GACJ,oBAAA;;;;;;;;AAAoB;;;;ACDvB;iBAAgB,eAAA,CAAgB,OAA8B,WAAZ,UAAU;;;;;;ADxB5D;;;;AAAgF;AAsBhF;;;cEjBa,qBAAA;EAAA;;;;;;;;;;;;;;;;;;;;;AFLb;;;;AAAgF;AAsBhF;;;;;cGlBM,wBAAA;AAAA,cAWA,yBAAA;AAAA,KAYM,gBAAA,WAA2B,wBAAwB;AAAA,KACnD,iBAAA,WAA4B,yBAAyB;;KAGrD,uBAAA;AAAA,cAEC,mBAAA,EAAqB,WAAW,CAAC,gBAAA;AAAA,cACjC,oBAAA,EAAsB,WAAW,CAAC,iBAAA;AAAA,cAGlC,yBAAA,EAA2B,uBAAwC;AAAA,iBAEhE,kBAAA,CAAmB,IAAA,WAAe,IAAA,IAAQ,gBAAgB;AAAA,iBAI1D,mBAAA,CAAoB,IAAA,WAAe,IAAA,IAAQ,iBAAiB;AAAA,iBAI5D,yBAAA,CAA0B,IAAA,WAAe,IAAA,IAAQ,uBAAuB;;;;;AH/CxF;;;;AAAgF;AAsBhF;;;cIXM,mBAAA,YAA+B,YAAA;EAAA,SAC1B,QAAA;IAAA;;;;;;;;;;;;;;;;EAEH,IAAA,CAAK,IAAA,EAAM,aAAA,GAAgB,OAAA;EAEjC,QAAA,CAAS,IAAA,EAAM,aAAA,EAAe,GAAA,EAAK,eAAA,GAAkB,oBAAA;AAAA;;;AFXvD;;;;;;cEwBa,mBAAA,EAAmB,mBAA4B"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/classify.ts","../src/constants.ts","../src/imports.ts","../src/manifest.ts","../src/methods.ts","../src/plugin.ts"],"mappings":";;;;;AA0BA;;;;;;;;;;;;;;AAGuB;;;;iBAHP,kBAAA,CACd,IAAA,EAAM,aAAA,EACN,GAAA,EAAK,eAAA,GACJ,oBAAA;;;;;;AAHH;;cCjBa,0BAAA;;;;;;cAOA,gCAAA;;;ADaU;;;;ACpBvB;;;;AAAmE;AAOnE;ADauB,iBEWP,eAAA,CAAgB,OAAA,WAAkB,UAAU,IAAI,QAAA;;;;;;AFdhE;;;;;;;;cGZa,qBAAA;EAAA;;;;;;;;;;;;;;;;;;;;;AHYb;;;;;;;;;;cIbM,wBAAA;AAAA,cAWA,yBAAA;AAAA,KAYM,gBAAA,WAA2B,wBAAwB;AAAA,KACnD,iBAAA,WAA4B,yBAAyB;AJR1C;AAAA,KIWX,uBAAA;AAAA,cAEC,mBAAA,EAAqB,WAAW,CAAC,gBAAA;AAAA,cACjC,oBAAA,EAAsB,WAAW,CAAC,iBAAA;AAAA,cAGlC,yBAAA,EAA2B,uBAAwC;AAAA,iBAEhE,kBAAA,CAAmB,IAAA,WAAe,IAAA,IAAQ,gBAAgB;AAAA,iBAI1D,mBAAA,CAAoB,IAAA,WAAe,IAAA,IAAQ,iBAAiB;AAAA,iBAI5D,yBAAA,CAA0B,IAAA,WAAe,IAAA,IAAQ,uBAAuB;;;;;AJ9BxF;;;;;;;;cKNM,mBAAA,YAA+B,YAAA;EAAA,SAC1B,QAAA;IAAA;;;;;;;;;;;;;;;;EAEH,IAAA,CAAK,IAAA,EAAM,aAAA,GAAgB,OAAA;EAEjC,QAAA,CAAS,IAAA,EAAM,aAAA,EAAe,GAAA,EAAK,eAAA,GAAkB,oBAAA;AAAA;;;AHevD;;;;;;cGFa,mBAAA,EAAmB,mBAA4B"}

package/dist/index.mjs

@@ -1,3 +1,20 @@
+import { assertNonEmptySegments, hasMatchingImport } from "@aburi/plugin-registry/plugin-input";
+
+//#region src/constants.ts
+/**
+* Package-relative plugin name. Doubles as the prefix of every thrown message, so a caught
+* exception names the plugin that rejected the input. `manifest.ts` declares the same
+* string as `name`.
+*/
+const EFFECTS_PRISMA_PLUGIN_NAME = "effects-prisma";
+/**
+* Shared derivedBy namespace. `manifest.ts` imports this same const for its
+* `derivedByPrefixes` entry, so the classifier's tag builder and the registry
+* declaration cannot drift.
+*/
+const EFFECTS_PRISMA_DERIVED_BY_PREFIX = "effects-plugin:prisma";
+
+//#endregion
 //#region src/imports.ts
 /**
 * npm module specifiers that expose a `PrismaClient`. Any file that pulls in one of
@@ -14,19 +31,25 @@
 */
 const PRISMA_CLIENT_MODULES_LIST = ["@prisma/client", "@prisma/client/edge"];
 const PRISMA_CLIENT_MODULES = new Set(PRISMA_CLIENT_MODULES_LIST);
+/** Membership test against the closed set of Prisma Client entry points. */
+function isPrismaClientModule(source) {
+	return PRISMA_CLIENT_MODULES.has(source);
+}
 /**
 * True when the file's import list contains any recognized Prisma Client module. An
-* empty source string on an ImportEdge is rejected: the language plugin's contract is
-* to emit normalized non-empty specifiers, and treating `""` as unmatched would silently
-* hide upstream bugs.
+* empty source string on an ImportEdge is rejected by the shared guard: the language
+* plugin's contract is to emit normalized non-empty specifiers, and treating `""` as
+* unmatched would silently hide upstream bugs.
 *
-* Validation runs across every edge before the match check so ImportEdge order does
-* not make throw behavior non-deterministic. Using `.some()` alone would short-circuit
-* on the first match and never notice a broken edge that happens to sit later.
+* `filePath` is required and threaded into any thrown error message so a caught
+* exception in production tooling (CI logs, error reporters) points directly at the
+* offending source file rather than a bare "empty source" string.
 */
-function hasPrismaImport(imports) {
-	for (const edge of imports) if (edge.source.length === 0) throw new Error("effects-prisma: ImportEdge.source is empty — language plugin emitted an unnormalized import edge");
-	return imports.some((edge) => PRISMA_CLIENT_MODULES.has(edge.source));
+function hasPrismaImport(imports, filePath) {
+	return hasMatchingImport(imports, {
+		plugin: EFFECTS_PRISMA_PLUGIN_NAME,
+		filePath
+	}, isPrismaClientModule);
 }
 
 //#endregion
@@ -81,12 +104,6 @@ function isPrismaTransactionMethod(name) {
 //#endregion
 //#region src/classify.ts
 /**
-* Shared derivedBy namespace. `manifest.ts` imports this same const for its
-* `derivedByPrefixes` entry, so the classifier's tag builder and the registry
-* declaration cannot drift.
-*/
-const EFFECTS_PRISMA_DERIVED_BY_PREFIX = "effects-plugin:prisma";
-/**
 * Classify a CallCandidate against Prisma Client conventions.
 *
 * Recognition strategy:
@@ -107,9 +124,12 @@ const EFFECTS_PRISMA_DERIVED_BY_PREFIX = "effects-plugin:prisma";
 * timeout budget the core enforces (effect-plugin.md §5.1.1).
 */
 function classifyPrismaCall(call, ctx) {
-	const parts = assertNonEmptySegments(call.target);
-	if (!hasPrismaImport(ctx.file.imports)) return null;
-	const method = parts.at(-1);
+	const origin = {
+		plugin: EFFECTS_PRISMA_PLUGIN_NAME,
+		filePath: ctx.file.path
+	};
+	const { segments: parts, last: method } = assertNonEmptySegments(call.target, origin);
+	if (!hasPrismaImport(ctx.file.imports, ctx.file.path)) return null;
 	if (isPrismaTransactionMethod(method)) {
 		if (parts.length < 2) return null;
 		return {
@@ -131,19 +151,6 @@ function classifyPrismaCall(call, ctx) {
 	};
 	return null;
 }
-/**
-* Split `target` on `.` and reject any shape a well-formed language plugin would never
-* emit: an empty target, or one with an empty segment (leading, trailing, or adjacent
-* dots). A malformed target here would otherwise slip through the length gate and
-* false-classify — e.g. `"prisma..create"` has three segments and would match a write
-* verb — so this is the fail-fast the sibling classifiers apply at their entry points.
-*/
-function assertNonEmptySegments(target) {
-	if (target.length === 0) throw new Error("effects-prisma: CallCandidate.target is empty — language plugin emitted an unnormalized callee");
-	const parts = target.split(".");
-	for (const segment of parts) if (segment.length === 0) throw new Error(`effects-prisma: CallCandidate.target "${target}" has empty segment(s) — language plugin emitted an unnormalized callee`);
-	return parts;
-}
 
 //#endregion
 //#region src/manifest.ts
@@ -154,13 +161,13 @@ function assertNonEmptySegments(target) {
 * The plugin returns core-owned effect ids (`db.read` / `db.write` / `db.transaction`)
 * from `classify()`; per extension-vocab.md §5.1 core vocab lives in the reserved
 * namespace and MUST NOT appear in a plugin's `provides.effects`. The plugin's own
-* `x-prisma:*` namespace has no v0.1 bindings — model-specific effects would sit there
+* `x-prisma:*` namespace currently has no bindings — model-specific effects would sit there
 * once introduced. `derivedByPrefixes` shares its literal with the classifier's tag
 * builder so both stay in lockstep across edits.
 */
 const effectsPrismaManifest = {
 	$schema: "https://aburi.dev/schema/aburi.plugin.v1.json",
-	name: "effects-prisma",
+	name: EFFECTS_PRISMA_PLUGIN_NAME,
 	version: "0.0.0",
 	type: "effects",
 	engines: { aburi: "*" },
@@ -204,5 +211,5 @@ var PrismaEffectsPlugin = class {
 const prismaEffectsPlugin = new PrismaEffectsPlugin();
 
 //#endregion
-export { EFFECTS_PRISMA_DERIVED_BY_PREFIX, PRISMA_READ_METHODS, PRISMA_TRANSACTION_METHOD, PRISMA_WRITE_METHODS, PrismaEffectsPlugin, classifyPrismaCall, effectsPrismaManifest, hasPrismaImport, isPrismaReadMethod, isPrismaTransactionMethod, isPrismaWriteMethod, prismaEffectsPlugin };
+export { EFFECTS_PRISMA_DERIVED_BY_PREFIX, EFFECTS_PRISMA_PLUGIN_NAME, PRISMA_READ_METHODS, PRISMA_TRANSACTION_METHOD, PRISMA_WRITE_METHODS, PrismaEffectsPlugin, classifyPrismaCall, effectsPrismaManifest, hasPrismaImport, isPrismaReadMethod, isPrismaTransactionMethod, isPrismaWriteMethod, prismaEffectsPlugin };
 //# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","names":[],"sources":["../src/imports.ts","../src/methods.ts","../src/classify.ts","../src/manifest.ts","../src/plugin.ts"],"sourcesContent":["import type { ImportEdge } from \"@aburi/types\"\n\n/**\n * npm module specifiers that expose a `PrismaClient`. Any file that pulls in one of\n * these is treated as a Prisma consumer; files that reference the identifier without\n * importing Prisma are ignored so an unrelated `db.user.findMany()` from another ORM\n * does not get miscategorized.\n *\n * - `@prisma/client` — the default Prisma Client entry since v4.\n * - `@prisma/client/edge` — the Edge runtime entry used by Vercel Edge, Cloudflare\n *   Workers, and Prisma Accelerate. Different bundle, same delegate surface.\n *\n * The set is a literal source of truth. Extending the plugin for community builds or a\n * future Prisma bundle is a table edit here.\n */\nconst PRISMA_CLIENT_MODULES_LIST = [\"@prisma/client\", \"@prisma/client/edge\"] as const\n\nexport type PrismaClientModule = (typeof PRISMA_CLIENT_MODULES_LIST)[number]\n\nexport const PRISMA_CLIENT_MODULES: ReadonlySet<PrismaClientModule> = new Set(\n  PRISMA_CLIENT_MODULES_LIST,\n)\n\n/**\n * True when the file's import list contains any recognized Prisma Client module. An\n * empty source string on an ImportEdge is rejected: the language plugin's contract is\n * to emit normalized non-empty specifiers, and treating `\"\"` as unmatched would silently\n * hide upstream bugs.\n *\n * Validation runs across every edge before the match check so ImportEdge order does\n * not make throw behavior non-deterministic. Using `.some()` alone would short-circuit\n * on the first match and never notice a broken edge that happens to sit later.\n */\nexport function hasPrismaImport(imports: readonly ImportEdge[]): boolean {\n  for (const edge of imports) {\n    if (edge.source.length === 0) {\n      throw new Error(\n        \"effects-prisma: ImportEdge.source is empty — language plugin emitted an unnormalized import edge\",\n      )\n    }\n  }\n  return imports.some((edge) => (PRISMA_CLIENT_MODULES as ReadonlySet<string>).has(edge.source))\n}\n","/**\n * Prisma model delegate method vocabulary.\n *\n * Each `_LIST` is the single source of truth — the union type and the runtime `Set` are\n * both derived from it, so extending the vocabulary is a table edit in exactly one\n * place. Extending as Prisma ships new delegate methods keeps the classifier honest\n * without a code rewrite.\n *\n * Only methods that map cleanly onto core `db.read` / `db.write` vocabulary are listed.\n * Delegate helpers whose semantics do not match (metadata accessors, raw SQL escapes,\n * connection lifecycle) stay out — the plugin returns `null` for them so downstream\n * effect plugins get a chance.\n */\nconst PRISMA_READ_METHODS_LIST = [\n  \"findUnique\",\n  \"findUniqueOrThrow\",\n  \"findFirst\",\n  \"findFirstOrThrow\",\n  \"findMany\",\n  \"count\",\n  \"aggregate\",\n  \"groupBy\",\n] as const\n\nconst PRISMA_WRITE_METHODS_LIST = [\n  \"create\",\n  \"createMany\",\n  \"createManyAndReturn\",\n  \"update\",\n  \"updateMany\",\n  \"updateManyAndReturn\",\n  \"upsert\",\n  \"delete\",\n  \"deleteMany\",\n] as const\n\nexport type PrismaReadMethod = (typeof PRISMA_READ_METHODS_LIST)[number]\nexport type PrismaWriteMethod = (typeof PRISMA_WRITE_METHODS_LIST)[number]\n\n/** Top-level client method: `prisma.$transaction(...)`. Not nested under a model. */\nexport type PrismaTransactionMethod = \"$transaction\"\n\nexport const PRISMA_READ_METHODS: ReadonlySet<PrismaReadMethod> = new Set(PRISMA_READ_METHODS_LIST)\nexport const PRISMA_WRITE_METHODS: ReadonlySet<PrismaWriteMethod> = new Set(\n  PRISMA_WRITE_METHODS_LIST,\n)\nexport const PRISMA_TRANSACTION_METHOD: PrismaTransactionMethod = \"$transaction\"\n\nexport function isPrismaReadMethod(name: string): name is PrismaReadMethod {\n  return (PRISMA_READ_METHODS as ReadonlySet<string>).has(name)\n}\n\nexport function isPrismaWriteMethod(name: string): name is PrismaWriteMethod {\n  return (PRISMA_WRITE_METHODS as ReadonlySet<string>).has(name)\n}\n\nexport function isPrismaTransactionMethod(name: string): name is PrismaTransactionMethod {\n  return name === PRISMA_TRANSACTION_METHOD\n}\n","import type { CallCandidate, ClassifyContext, EffectClassification } from \"@aburi/types\"\nimport { hasPrismaImport } from \"./imports\"\nimport { isPrismaReadMethod, isPrismaTransactionMethod, isPrismaWriteMethod } from \"./methods\"\n\n/**\n * Shared derivedBy namespace. `manifest.ts` imports this same const for its\n * `derivedByPrefixes` entry, so the classifier's tag builder and the registry\n * declaration cannot drift.\n */\nexport const EFFECTS_PRISMA_DERIVED_BY_PREFIX = \"effects-plugin:prisma\" as const\n\n/**\n * Classify a CallCandidate against Prisma Client conventions.\n *\n * Recognition strategy:\n *   1. The owning file must import a Prisma Client module (see `hasPrismaImport`). No\n *      import → `null`, so callers can chain other effect plugins after this one.\n *   2. The target is split on `.`; the plugin looks at the trailing segments to match\n *      Prisma's fixed client surface. Two shapes are accepted:\n *        - `<...>.<model>.<verb>` (3+ segments) — a model delegate call. The client\n *          segment stops two-segment method collisions (Express `router.create(...)`)\n *          from false-classifying.\n *        - `<...>.$transaction` (2+ segments) — the top-level transaction API on the\n *          client itself.\n *   3. Malformed targets (empty string, adjacent / leading / trailing dots) throw — the\n *      language plugin's contract is a normalized non-empty callee, so a violation\n *      here is an upstream bug we surface loudly instead of silently miscategorizing.\n *\n * The function is a pure lookup — no I/O, no state, no async — matching the per-call\n * timeout budget the core enforces (effect-plugin.md §5.1.1).\n */\nexport function classifyPrismaCall(\n  call: CallCandidate,\n  ctx: ClassifyContext,\n): EffectClassification | null {\n  // Fail-fast runs BEFORE the import gate so a malformed target throws on every file,\n  // not just the ~1% that import Prisma. Ordering the other way lets the same bug\n  // surface only in Prisma-consuming files and stay silent everywhere else —\n  // catastrophic for reproducing upstream language-plugin bugs.\n  const parts = assertNonEmptySegments(call.target)\n\n  if (!hasPrismaImport(ctx.file.imports)) return null\n\n  // `parts` is guaranteed non-empty by `assertNonEmptySegments`, but `at()`'s general\n  // signature still widens to `string | undefined`. `.at(-1) as string` records the\n  // intent without a non-null assertion (Biome disallows `!` under noNonNullAssertion).\n  const method = parts.at(-1) as string\n\n  if (isPrismaTransactionMethod(method)) {\n    // Bare `$transaction()` (single segment) is not a Prisma call — the transaction\n    // API only makes sense as a method on the client (`<client>.$transaction(...)`).\n    if (parts.length < 2) return null\n    return {\n      effectId: \"db.transaction\",\n      confidence: \"high\",\n      derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:tx`,\n    }\n  }\n\n  // Model delegate calls need `<client>.<model>.<verb>` to distinguish them from\n  // unrelated two-segment method calls (Express `router.create(...)`, an Array's\n  // hypothetical `.findMany` collision) that would otherwise false-positive in files\n  // that colocate Prisma with another library.\n  if (parts.length < 3) return null\n\n  if (isPrismaReadMethod(method)) {\n    return {\n      effectId: \"db.read\",\n      confidence: \"high\",\n      derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:read`,\n    }\n  }\n\n  if (isPrismaWriteMethod(method)) {\n    return {\n      effectId: \"db.write\",\n      confidence: \"high\",\n      derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:write`,\n    }\n  }\n\n  return null\n}\n\n/**\n * A non-empty split — after `assertNonEmptySegments` runs there is guaranteed to be at\n * least one segment, so the tuple type reflects that.\n */\ntype NonEmptySegments = readonly [string, ...string[]]\n\n/**\n * Split `target` on `.` and reject any shape a well-formed language plugin would never\n * emit: an empty target, or one with an empty segment (leading, trailing, or adjacent\n * dots). A malformed target here would otherwise slip through the length gate and\n * false-classify — e.g. `\"prisma..create\"` has three segments and would match a write\n * verb — so this is the fail-fast the sibling classifiers apply at their entry points.\n */\nfunction assertNonEmptySegments(target: string): NonEmptySegments {\n  if (target.length === 0) {\n    throw new Error(\n      \"effects-prisma: CallCandidate.target is empty — language plugin emitted an unnormalized callee\",\n    )\n  }\n  const parts = target.split(\".\")\n  for (const segment of parts) {\n    if (segment.length === 0) {\n      throw new Error(\n        `effects-prisma: CallCandidate.target \"${target}\" has empty segment(s) — language plugin emitted an unnormalized callee`,\n      )\n    }\n  }\n  // Split of a non-empty string yields at least one segment, and the loop above ruled\n  // out empty segments — the tuple assertion here reflects a proven invariant.\n  return parts as unknown as NonEmptySegments\n}\n","import type { EffectsManifest } from \"@aburi/types\"\nimport { EFFECTS_PRISMA_DERIVED_BY_PREFIX } from \"./classify\"\n\n/**\n * Manifest for `@aburi/effects-prisma`. `as const satisfies EffectsManifest` keeps\n * every literal narrow so downstream registry checks see the exact shape.\n *\n * The plugin returns core-owned effect ids (`db.read` / `db.write` / `db.transaction`)\n * from `classify()`; per extension-vocab.md §5.1 core vocab lives in the reserved\n * namespace and MUST NOT appear in a plugin's `provides.effects`. The plugin's own\n * `x-prisma:*` namespace has no v0.1 bindings — model-specific effects would sit there\n * once introduced. `derivedByPrefixes` shares its literal with the classifier's tag\n * builder so both stay in lockstep across edits.\n */\nexport const effectsPrismaManifest = {\n  $schema: \"https://aburi.dev/schema/aburi.plugin.v1.json\",\n  name: \"effects-prisma\",\n  version: \"0.0.0\",\n  type: \"effects\",\n  engines: { aburi: \"*\" },\n  provides: {\n    effects: [],\n    effectPrefixes: [],\n    extKinds: [],\n    extKindPrefixes: [],\n    derivedByPrefixes: [EFFECTS_PRISMA_DERIVED_BY_PREFIX],\n    frameworks: [],\n  },\n} as const satisfies EffectsManifest\n","import type {\n  CallCandidate,\n  ClassifyContext,\n  EffectClassification,\n  EffectPlugin,\n  PluginContext,\n} from \"@aburi/types\"\nimport { classifyPrismaCall } from \"./classify\"\nimport { effectsPrismaManifest } from \"./manifest\"\n\n/**\n * Prisma effect plugin. Sits behind the language plugin's `walkBody` output, mapping\n * `prisma.<model>.<verb>` and `prisma.$transaction` call expressions into the core\n * `db.read` / `db.write` / `db.transaction` effect vocabulary.\n *\n * `init` and `classify` are both pure with respect to plugin state — no lazy resources,\n * no per-run caches — so repeated invocations against the same CallCandidate produce\n * identical results. This matches the per-call timeout contract in\n * effect-plugin.md §5.1.1 and the \"pure classifier\" recommendation in §11.1.\n */\nclass PrismaEffectsPlugin implements EffectPlugin {\n  readonly manifest = effectsPrismaManifest\n\n  async init(_ctx: PluginContext): Promise<void> {}\n\n  classify(call: CallCandidate, ctx: ClassifyContext): EffectClassification | null {\n    return classifyPrismaCall(call, ctx)\n  }\n}\n\n/**\n * Ready-to-register instance. Callers pass this to `@aburi/plugin-registry` or a scan\n * pipeline. The type annotation is omitted deliberately: `class implements EffectPlugin`\n * already enforces the structural contract, and inferring the narrow class type keeps\n * the manifest literals (`readonly [\"effects-plugin:prisma\"]`, `\"effects-prisma\"`)\n * visible to consumers that want to compare against them without a separate manifest\n * import.\n */\nexport const prismaEffectsPlugin = new PrismaEffectsPlugin()\n\nexport { PrismaEffectsPlugin }\n"],"mappings":";;;;;;;;;;;;;;AAeA,MAAM,6BAA6B,CAAC,kBAAkB,qBAAqB;AAI3E,MAAa,wBAAyD,IAAI,IACxE,0BACF;;;;;;;;;;;AAYA,SAAgB,gBAAgB,SAAyC;CACvE,KAAK,MAAM,QAAQ,SACjB,IAAI,KAAK,OAAO,WAAW,GACzB,MAAM,IAAI,MACR,kGACF;CAGJ,OAAO,QAAQ,MAAM,SAAU,sBAA8C,IAAI,KAAK,MAAM,CAAC;AAC/F;;;;;;;;;;;;;;;;;AC7BA,MAAM,2BAA2B;CAC/B;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,MAAM,4BAA4B;CAChC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAQA,MAAa,sBAAqD,IAAI,IAAI,wBAAwB;AAClG,MAAa,uBAAuD,IAAI,IACtE,yBACF;AACA,MAAa,4BAAqD;AAElE,SAAgB,mBAAmB,MAAwC;CACzE,OAAQ,oBAA4C,IAAI,IAAI;AAC9D;AAEA,SAAgB,oBAAoB,MAAyC;CAC3E,OAAQ,qBAA6C,IAAI,IAAI;AAC/D;AAEA,SAAgB,0BAA0B,MAA+C;CACvF,OAAO,SAAS;AAClB;;;;;;;;;ACjDA,MAAa,mCAAmC;;;;;;;;;;;;;;;;;;;;;AAsBhD,SAAgB,mBACd,MACA,KAC6B;CAK7B,MAAM,QAAQ,uBAAuB,KAAK,MAAM;CAEhD,IAAI,CAAC,gBAAgB,IAAI,KAAK,OAAO,GAAG,OAAO;CAK/C,MAAM,SAAS,MAAM,GAAG,EAAE;CAE1B,IAAI,0BAA0B,MAAM,GAAG;EAGrC,IAAI,MAAM,SAAS,GAAG,OAAO;EAC7B,OAAO;GACL,UAAU;GACV,YAAY;GACZ,WAAW,GAAG,iCAAiC;EACjD;CACF;CAMA,IAAI,MAAM,SAAS,GAAG,OAAO;CAE7B,IAAI,mBAAmB,MAAM,GAC3B,OAAO;EACL,UAAU;EACV,YAAY;EACZ,WAAW,GAAG,iCAAiC;CACjD;CAGF,IAAI,oBAAoB,MAAM,GAC5B,OAAO;EACL,UAAU;EACV,YAAY;EACZ,WAAW,GAAG,iCAAiC;CACjD;CAGF,OAAO;AACT;;;;;;;;AAeA,SAAS,uBAAuB,QAAkC;CAChE,IAAI,OAAO,WAAW,GACpB,MAAM,IAAI,MACR,gGACF;CAEF,MAAM,QAAQ,OAAO,MAAM,GAAG;CAC9B,KAAK,MAAM,WAAW,OACpB,IAAI,QAAQ,WAAW,GACrB,MAAM,IAAI,MACR,yCAAyC,OAAO,wEAClD;CAKJ,OAAO;AACT;;;;;;;;;;;;;;;ACpGA,MAAa,wBAAwB;CACnC,SAAS;CACT,MAAM;CACN,SAAS;CACT,MAAM;CACN,SAAS,EAAE,OAAO,IAAI;CACtB,UAAU;EACR,SAAS,CAAC;EACV,gBAAgB,CAAC;EACjB,UAAU,CAAC;EACX,iBAAiB,CAAC;EAClB,mBAAmB,CAAC,gCAAgC;EACpD,YAAY,CAAC;CACf;AACF;;;;;;;;;;;;;;ACRA,IAAM,sBAAN,MAAkD;CAChD,AAAS,WAAW;CAEpB,MAAM,KAAK,MAAoC,CAAC;CAEhD,SAAS,MAAqB,KAAmD;EAC/E,OAAO,mBAAmB,MAAM,GAAG;CACrC;AACF;;;;;;;;;AAUA,MAAa,sBAAsB,IAAI,oBAAoB"}
+{"version":3,"file":"index.mjs","names":[],"sources":["../src/constants.ts","../src/imports.ts","../src/methods.ts","../src/classify.ts","../src/manifest.ts","../src/plugin.ts"],"sourcesContent":["// Plugin identity, kept in a leaf module so `classify.ts`, `imports.ts`, and `manifest.ts`\n// can all reach it without importing each other. Putting these next to the classifier\n// instead would make `imports.ts → classify.ts → imports.ts` a cycle.\n\n/**\n * Package-relative plugin name. Doubles as the prefix of every thrown message, so a caught\n * exception names the plugin that rejected the input. `manifest.ts` declares the same\n * string as `name`.\n */\nexport const EFFECTS_PRISMA_PLUGIN_NAME = \"effects-prisma\" as const\n\n/**\n * Shared derivedBy namespace. `manifest.ts` imports this same const for its\n * `derivedByPrefixes` entry, so the classifier's tag builder and the registry\n * declaration cannot drift.\n */\nexport const EFFECTS_PRISMA_DERIVED_BY_PREFIX = \"effects-plugin:prisma\" as const\n","import { hasMatchingImport } from \"@aburi/plugin-registry/plugin-input\"\nimport type { ImportEdge } from \"@aburi/types\"\nimport { EFFECTS_PRISMA_PLUGIN_NAME } from \"./constants\"\n\n/**\n * npm module specifiers that expose a `PrismaClient`. Any file that pulls in one of\n * these is treated as a Prisma consumer; files that reference the identifier without\n * importing Prisma are ignored so an unrelated `db.user.findMany()` from another ORM\n * does not get miscategorized.\n *\n * - `@prisma/client` — the default Prisma Client entry since v4.\n * - `@prisma/client/edge` — the Edge runtime entry used by Vercel Edge, Cloudflare\n *   Workers, and Prisma Accelerate. Different bundle, same delegate surface.\n *\n * The set is a literal source of truth. Extending the plugin for community builds or a\n * future Prisma bundle is a table edit here.\n */\nconst PRISMA_CLIENT_MODULES_LIST = [\"@prisma/client\", \"@prisma/client/edge\"] as const\n\nexport type PrismaClientModule = (typeof PRISMA_CLIENT_MODULES_LIST)[number]\n\nexport const PRISMA_CLIENT_MODULES: ReadonlySet<PrismaClientModule> = new Set(\n  PRISMA_CLIENT_MODULES_LIST,\n)\n\n/** Membership test against the closed set of Prisma Client entry points. */\nfunction isPrismaClientModule(source: string): boolean {\n  return (PRISMA_CLIENT_MODULES as ReadonlySet<string>).has(source)\n}\n\n/**\n * True when the file's import list contains any recognized Prisma Client module. An\n * empty source string on an ImportEdge is rejected by the shared guard: the language\n * plugin's contract is to emit normalized non-empty specifiers, and treating `\"\"` as\n * unmatched would silently hide upstream bugs.\n *\n * `filePath` is required and threaded into any thrown error message so a caught\n * exception in production tooling (CI logs, error reporters) points directly at the\n * offending source file rather than a bare \"empty source\" string.\n */\nexport function hasPrismaImport(imports: readonly ImportEdge[], filePath: string): boolean {\n  return hasMatchingImport(\n    imports,\n    { plugin: EFFECTS_PRISMA_PLUGIN_NAME, filePath },\n    isPrismaClientModule,\n  )\n}\n","/**\n * Prisma model delegate method vocabulary.\n *\n * Each `_LIST` is the single source of truth — the union type and the runtime `Set` are\n * both derived from it, so extending the vocabulary is a table edit in exactly one\n * place. Extending as Prisma ships new delegate methods keeps the classifier honest\n * without a code rewrite.\n *\n * Only methods that map cleanly onto core `db.read` / `db.write` vocabulary are listed.\n * Delegate helpers whose semantics do not match (metadata accessors, raw SQL escapes,\n * connection lifecycle) stay out — the plugin returns `null` for them so downstream\n * effect plugins get a chance.\n */\nconst PRISMA_READ_METHODS_LIST = [\n  \"findUnique\",\n  \"findUniqueOrThrow\",\n  \"findFirst\",\n  \"findFirstOrThrow\",\n  \"findMany\",\n  \"count\",\n  \"aggregate\",\n  \"groupBy\",\n] as const\n\nconst PRISMA_WRITE_METHODS_LIST = [\n  \"create\",\n  \"createMany\",\n  \"createManyAndReturn\",\n  \"update\",\n  \"updateMany\",\n  \"updateManyAndReturn\",\n  \"upsert\",\n  \"delete\",\n  \"deleteMany\",\n] as const\n\nexport type PrismaReadMethod = (typeof PRISMA_READ_METHODS_LIST)[number]\nexport type PrismaWriteMethod = (typeof PRISMA_WRITE_METHODS_LIST)[number]\n\n/** Top-level client method: `prisma.$transaction(...)`. Not nested under a model. */\nexport type PrismaTransactionMethod = \"$transaction\"\n\nexport const PRISMA_READ_METHODS: ReadonlySet<PrismaReadMethod> = new Set(PRISMA_READ_METHODS_LIST)\nexport const PRISMA_WRITE_METHODS: ReadonlySet<PrismaWriteMethod> = new Set(\n  PRISMA_WRITE_METHODS_LIST,\n)\nexport const PRISMA_TRANSACTION_METHOD: PrismaTransactionMethod = \"$transaction\"\n\nexport function isPrismaReadMethod(name: string): name is PrismaReadMethod {\n  return (PRISMA_READ_METHODS as ReadonlySet<string>).has(name)\n}\n\nexport function isPrismaWriteMethod(name: string): name is PrismaWriteMethod {\n  return (PRISMA_WRITE_METHODS as ReadonlySet<string>).has(name)\n}\n\nexport function isPrismaTransactionMethod(name: string): name is PrismaTransactionMethod {\n  return name === PRISMA_TRANSACTION_METHOD\n}\n","import { assertNonEmptySegments, type PluginInputOrigin } from \"@aburi/plugin-registry/plugin-input\"\nimport type { CallCandidate, ClassifyContext, EffectClassification } from \"@aburi/types\"\nimport { EFFECTS_PRISMA_DERIVED_BY_PREFIX, EFFECTS_PRISMA_PLUGIN_NAME } from \"./constants\"\nimport { hasPrismaImport } from \"./imports\"\nimport { isPrismaReadMethod, isPrismaTransactionMethod, isPrismaWriteMethod } from \"./methods\"\n\n/**\n * Classify a CallCandidate against Prisma Client conventions.\n *\n * Recognition strategy:\n *   1. The owning file must import a Prisma Client module (see `hasPrismaImport`). No\n *      import → `null`, so callers can chain other effect plugins after this one.\n *   2. The target is split on `.`; the plugin looks at the trailing segments to match\n *      Prisma's fixed client surface. Two shapes are accepted:\n *        - `<...>.<model>.<verb>` (3+ segments) — a model delegate call. The client\n *          segment stops two-segment method collisions (Express `router.create(...)`)\n *          from false-classifying.\n *        - `<...>.$transaction` (2+ segments) — the top-level transaction API on the\n *          client itself.\n *   3. Malformed targets (empty string, adjacent / leading / trailing dots) throw — the\n *      language plugin's contract is a normalized non-empty callee, so a violation\n *      here is an upstream bug we surface loudly instead of silently miscategorizing.\n *\n * The function is a pure lookup — no I/O, no state, no async — matching the per-call\n * timeout budget the core enforces (effect-plugin.md §5.1.1).\n */\nexport function classifyPrismaCall(\n  call: CallCandidate,\n  ctx: ClassifyContext,\n): EffectClassification | null {\n  const origin: PluginInputOrigin = { plugin: EFFECTS_PRISMA_PLUGIN_NAME, filePath: ctx.file.path }\n\n  // Fail-fast runs BEFORE the import gate — see `assertNonEmptySegments` for why the\n  // order is load-bearing.\n  const { segments: parts, last: method } = assertNonEmptySegments(call.target, origin)\n\n  if (!hasPrismaImport(ctx.file.imports, ctx.file.path)) return null\n\n  if (isPrismaTransactionMethod(method)) {\n    // Bare `$transaction()` (single segment) is not a Prisma call — the transaction\n    // API only makes sense as a method on the client (`<client>.$transaction(...)`).\n    if (parts.length < 2) return null\n    return {\n      effectId: \"db.transaction\",\n      confidence: \"high\",\n      derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:tx`,\n    }\n  }\n\n  // Model delegate calls need `<client>.<model>.<verb>` to distinguish them from\n  // unrelated two-segment method calls (Express `router.create(...)`, an Array's\n  // hypothetical `.findMany` collision) that would otherwise false-positive in files\n  // that colocate Prisma with another library.\n  if (parts.length < 3) return null\n\n  if (isPrismaReadMethod(method)) {\n    return {\n      effectId: \"db.read\",\n      confidence: \"high\",\n      derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:read`,\n    }\n  }\n\n  if (isPrismaWriteMethod(method)) {\n    return {\n      effectId: \"db.write\",\n      confidence: \"high\",\n      derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:write`,\n    }\n  }\n\n  return null\n}\n","import type { EffectsManifest } from \"@aburi/types\"\nimport { EFFECTS_PRISMA_DERIVED_BY_PREFIX, EFFECTS_PRISMA_PLUGIN_NAME } from \"./constants\"\n\n/**\n * Manifest for `@aburi/effects-prisma`. `as const satisfies EffectsManifest` keeps\n * every literal narrow so downstream registry checks see the exact shape.\n *\n * The plugin returns core-owned effect ids (`db.read` / `db.write` / `db.transaction`)\n * from `classify()`; per extension-vocab.md §5.1 core vocab lives in the reserved\n * namespace and MUST NOT appear in a plugin's `provides.effects`. The plugin's own\n * `x-prisma:*` namespace currently has no bindings — model-specific effects would sit there\n * once introduced. `derivedByPrefixes` shares its literal with the classifier's tag\n * builder so both stay in lockstep across edits.\n */\nexport const effectsPrismaManifest = {\n  $schema: \"https://aburi.dev/schema/aburi.plugin.v1.json\",\n  name: EFFECTS_PRISMA_PLUGIN_NAME,\n  version: \"0.0.0\",\n  type: \"effects\",\n  engines: { aburi: \"*\" },\n  provides: {\n    effects: [],\n    effectPrefixes: [],\n    extKinds: [],\n    extKindPrefixes: [],\n    derivedByPrefixes: [EFFECTS_PRISMA_DERIVED_BY_PREFIX],\n    frameworks: [],\n  },\n} as const satisfies EffectsManifest\n","import type {\n  CallCandidate,\n  ClassifyContext,\n  EffectClassification,\n  EffectPlugin,\n  PluginContext,\n} from \"@aburi/types\"\nimport { classifyPrismaCall } from \"./classify\"\nimport { effectsPrismaManifest } from \"./manifest\"\n\n/**\n * Prisma effect plugin. Sits behind the language plugin's `walkBody` output, mapping\n * `prisma.<model>.<verb>` and `prisma.$transaction` call expressions into the core\n * `db.read` / `db.write` / `db.transaction` effect vocabulary.\n *\n * `init` and `classify` are both pure with respect to plugin state — no lazy resources,\n * no per-run caches — so repeated invocations against the same CallCandidate produce\n * identical results. This matches the per-call timeout contract in\n * effect-plugin.md §5.1.1 and the \"pure classifier\" recommendation in §11.1.\n */\nclass PrismaEffectsPlugin implements EffectPlugin {\n  readonly manifest = effectsPrismaManifest\n\n  async init(_ctx: PluginContext): Promise<void> {}\n\n  classify(call: CallCandidate, ctx: ClassifyContext): EffectClassification | null {\n    return classifyPrismaCall(call, ctx)\n  }\n}\n\n/**\n * Ready-to-register instance. Callers pass this to `@aburi/plugin-registry` or a scan\n * pipeline. The type annotation is omitted deliberately: `class implements EffectPlugin`\n * already enforces the structural contract, and inferring the narrow class type keeps\n * the manifest literals (`readonly [\"effects-plugin:prisma\"]`, `\"effects-prisma\"`)\n * visible to consumers that want to compare against them without a separate manifest\n * import.\n */\nexport const prismaEffectsPlugin = new PrismaEffectsPlugin()\n\nexport { PrismaEffectsPlugin }\n"],"mappings":";;;;;;;;AASA,MAAa,6BAA6B;;;;;;AAO1C,MAAa,mCAAmC;;;;;;;;;;;;;;;;;ACChD,MAAM,6BAA6B,CAAC,kBAAkB,qBAAqB;AAI3E,MAAa,wBAAyD,IAAI,IACxE,0BACF;;AAGA,SAAS,qBAAqB,QAAyB;CACrD,OAAQ,sBAA8C,IAAI,MAAM;AAClE;;;;;;;;;;;AAYA,SAAgB,gBAAgB,SAAgC,UAA2B;CACzF,OAAO,kBACL,SACA;EAAE,QAAQ;EAA4B;CAAS,GAC/C,oBACF;AACF;;;;;;;;;;;;;;;;;ACjCA,MAAM,2BAA2B;CAC/B;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,MAAM,4BAA4B;CAChC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAQA,MAAa,sBAAqD,IAAI,IAAI,wBAAwB;AAClG,MAAa,uBAAuD,IAAI,IACtE,yBACF;AACA,MAAa,4BAAqD;AAElE,SAAgB,mBAAmB,MAAwC;CACzE,OAAQ,oBAA4C,IAAI,IAAI;AAC9D;AAEA,SAAgB,oBAAoB,MAAyC;CAC3E,OAAQ,qBAA6C,IAAI,IAAI;AAC/D;AAEA,SAAgB,0BAA0B,MAA+C;CACvF,OAAO,SAAS;AAClB;;;;;;;;;;;;;;;;;;;;;;;;AChCA,SAAgB,mBACd,MACA,KAC6B;CAC7B,MAAM,SAA4B;EAAE,QAAQ;EAA4B,UAAU,IAAI,KAAK;CAAK;CAIhG,MAAM,EAAE,UAAU,OAAO,MAAM,WAAW,uBAAuB,KAAK,QAAQ,MAAM;CAEpF,IAAI,CAAC,gBAAgB,IAAI,KAAK,SAAS,IAAI,KAAK,IAAI,GAAG,OAAO;CAE9D,IAAI,0BAA0B,MAAM,GAAG;EAGrC,IAAI,MAAM,SAAS,GAAG,OAAO;EAC7B,OAAO;GACL,UAAU;GACV,YAAY;GACZ,WAAW,GAAG,iCAAiC;EACjD;CACF;CAMA,IAAI,MAAM,SAAS,GAAG,OAAO;CAE7B,IAAI,mBAAmB,MAAM,GAC3B,OAAO;EACL,UAAU;EACV,YAAY;EACZ,WAAW,GAAG,iCAAiC;CACjD;CAGF,IAAI,oBAAoB,MAAM,GAC5B,OAAO;EACL,UAAU;EACV,YAAY;EACZ,WAAW,GAAG,iCAAiC;CACjD;CAGF,OAAO;AACT;;;;;;;;;;;;;;;AC1DA,MAAa,wBAAwB;CACnC,SAAS;CACT,MAAM;CACN,SAAS;CACT,MAAM;CACN,SAAS,EAAE,OAAO,IAAI;CACtB,UAAU;EACR,SAAS,CAAC;EACV,gBAAgB,CAAC;EACjB,UAAU,CAAC;EACX,iBAAiB,CAAC;EAClB,mBAAmB,CAAC,gCAAgC;EACpD,YAAY,CAAC;CACf;AACF;;;;;;;;;;;;;;ACRA,IAAM,sBAAN,MAAkD;CAChD,AAAS,WAAW;CAEpB,MAAM,KAAK,MAAoC,CAAC;CAEhD,SAAS,MAAqB,KAAmD;EAC/E,OAAO,mBAAmB,MAAM,GAAG;CACrC;AACF;;;;;;;;;AAUA,MAAa,sBAAsB,IAAI,oBAAoB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aburi/effects-prisma",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "description": "Aburi Prisma effects plugin: classifies prisma.<model>.<verb> and prisma.$transaction call expressions into core db.read / db.write / db.transaction effects",
   "license": "MIT",
   "author": "kage1020",
@@ -33,14 +33,15 @@
     "access": "public"
   },
   "dependencies": {
-    "@aburi/types": "0.1.0"
+    "@aburi/types": "0.2.0",
+    "@aburi/plugin-registry": "0.2.0"
   },
   "devDependencies": {
     "@types/node": "^26.0.1",
     "tsdown": "^0.22.3",
     "typescript": "^6.0.3",
     "vitest": "^4.1.9",
-    "@aburi/lang-typescript": "0.1.0"
+    "@aburi/lang-typescript": "0.2.0"
   },
   "scripts": {
     "build": "tsdown",

package/src/classify.ts

@@ -1,14 +1,9 @@
+import { assertNonEmptySegments, type PluginInputOrigin } from "@aburi/plugin-registry/plugin-input"
 import type { CallCandidate, ClassifyContext, EffectClassification } from "@aburi/types"
+import { EFFECTS_PRISMA_DERIVED_BY_PREFIX, EFFECTS_PRISMA_PLUGIN_NAME } from "./constants"
 import { hasPrismaImport } from "./imports"
 import { isPrismaReadMethod, isPrismaTransactionMethod, isPrismaWriteMethod } from "./methods"
 
-/**
- * Shared derivedBy namespace. `manifest.ts` imports this same const for its
- * `derivedByPrefixes` entry, so the classifier's tag builder and the registry
- * declaration cannot drift.
- */
-export const EFFECTS_PRISMA_DERIVED_BY_PREFIX = "effects-plugin:prisma" as const
-
 /**
  * Classify a CallCandidate against Prisma Client conventions.
  *
@@ -33,18 +28,13 @@ export function classifyPrismaCall(
   call: CallCandidate,
   ctx: ClassifyContext,
 ): EffectClassification | null {
-  // Fail-fast runs BEFORE the import gate so a malformed target throws on every file,
-  // not just the ~1% that import Prisma. Ordering the other way lets the same bug
-  // surface only in Prisma-consuming files and stay silent everywhere else —
-  // catastrophic for reproducing upstream language-plugin bugs.
-  const parts = assertNonEmptySegments(call.target)
+  const origin: PluginInputOrigin = { plugin: EFFECTS_PRISMA_PLUGIN_NAME, filePath: ctx.file.path }
 
-  if (!hasPrismaImport(ctx.file.imports)) return null
+  // Fail-fast runs BEFORE the import gate — see `assertNonEmptySegments` for why the
+  // order is load-bearing.
+  const { segments: parts, last: method } = assertNonEmptySegments(call.target, origin)
 
-  // `parts` is guaranteed non-empty by `assertNonEmptySegments`, but `at()`'s general
-  // signature still widens to `string | undefined`. `.at(-1) as string` records the
-  // intent without a non-null assertion (Biome disallows `!` under noNonNullAssertion).
-  const method = parts.at(-1) as string
+  if (!hasPrismaImport(ctx.file.imports, ctx.file.path)) return null
 
   if (isPrismaTransactionMethod(method)) {
     // Bare `$transaction()` (single segment) is not a Prisma call — the transaction
@@ -81,35 +71,3 @@ export function classifyPrismaCall(
 
   return null
 }
-
-/**
- * A non-empty split — after `assertNonEmptySegments` runs there is guaranteed to be at
- * least one segment, so the tuple type reflects that.
- */
-type NonEmptySegments = readonly [string, ...string[]]
-
-/**
- * Split `target` on `.` and reject any shape a well-formed language plugin would never
- * emit: an empty target, or one with an empty segment (leading, trailing, or adjacent
- * dots). A malformed target here would otherwise slip through the length gate and
- * false-classify — e.g. `"prisma..create"` has three segments and would match a write
- * verb — so this is the fail-fast the sibling classifiers apply at their entry points.
- */
-function assertNonEmptySegments(target: string): NonEmptySegments {
-  if (target.length === 0) {
-    throw new Error(
-      "effects-prisma: CallCandidate.target is empty — language plugin emitted an unnormalized callee",
-    )
-  }
-  const parts = target.split(".")
-  for (const segment of parts) {
-    if (segment.length === 0) {
-      throw new Error(
-        `effects-prisma: CallCandidate.target "${target}" has empty segment(s) — language plugin emitted an unnormalized callee`,
-      )
-    }
-  }
-  // Split of a non-empty string yields at least one segment, and the loop above ruled
-  // out empty segments — the tuple assertion here reflects a proven invariant.
-  return parts as unknown as NonEmptySegments
-}

package/src/constants.ts

@@ -0,0 +1,17 @@
+// Plugin identity, kept in a leaf module so `classify.ts`, `imports.ts`, and `manifest.ts`
+// can all reach it without importing each other. Putting these next to the classifier
+// instead would make `imports.ts → classify.ts → imports.ts` a cycle.
+
+/**
+ * Package-relative plugin name. Doubles as the prefix of every thrown message, so a caught
+ * exception names the plugin that rejected the input. `manifest.ts` declares the same
+ * string as `name`.
+ */
+export const EFFECTS_PRISMA_PLUGIN_NAME = "effects-prisma" as const
+
+/**
+ * Shared derivedBy namespace. `manifest.ts` imports this same const for its
+ * `derivedByPrefixes` entry, so the classifier's tag builder and the registry
+ * declaration cannot drift.
+ */
+export const EFFECTS_PRISMA_DERIVED_BY_PREFIX = "effects-plugin:prisma" as const

package/src/imports.ts

@@ -1,4 +1,6 @@
+import { hasMatchingImport } from "@aburi/plugin-registry/plugin-input"
 import type { ImportEdge } from "@aburi/types"
+import { EFFECTS_PRISMA_PLUGIN_NAME } from "./constants"
 
 /**
  * npm module specifiers that expose a `PrismaClient`. Any file that pulls in one of
@@ -21,23 +23,25 @@ export const PRISMA_CLIENT_MODULES: ReadonlySet<PrismaClientModule> = new Set(
   PRISMA_CLIENT_MODULES_LIST,
 )
 
+/** Membership test against the closed set of Prisma Client entry points. */
+function isPrismaClientModule(source: string): boolean {
+  return (PRISMA_CLIENT_MODULES as ReadonlySet<string>).has(source)
+}
+
 /**
  * True when the file's import list contains any recognized Prisma Client module. An
- * empty source string on an ImportEdge is rejected: the language plugin's contract is
- * to emit normalized non-empty specifiers, and treating `""` as unmatched would silently
- * hide upstream bugs.
+ * empty source string on an ImportEdge is rejected by the shared guard: the language
+ * plugin's contract is to emit normalized non-empty specifiers, and treating `""` as
+ * unmatched would silently hide upstream bugs.
  *
- * Validation runs across every edge before the match check so ImportEdge order does
- * not make throw behavior non-deterministic. Using `.some()` alone would short-circuit
- * on the first match and never notice a broken edge that happens to sit later.
+ * `filePath` is required and threaded into any thrown error message so a caught
+ * exception in production tooling (CI logs, error reporters) points directly at the
+ * offending source file rather than a bare "empty source" string.
  */
-export function hasPrismaImport(imports: readonly ImportEdge[]): boolean {
-  for (const edge of imports) {
-    if (edge.source.length === 0) {
-      throw new Error(
-        "effects-prisma: ImportEdge.source is empty — language plugin emitted an unnormalized import edge",
-      )
-    }
-  }
-  return imports.some((edge) => (PRISMA_CLIENT_MODULES as ReadonlySet<string>).has(edge.source))
+export function hasPrismaImport(imports: readonly ImportEdge[], filePath: string): boolean {
+  return hasMatchingImport(
+    imports,
+    { plugin: EFFECTS_PRISMA_PLUGIN_NAME, filePath },
+    isPrismaClientModule,
+  )
 }

package/src/index.ts

@@ -1,4 +1,5 @@
-export { classifyPrismaCall, EFFECTS_PRISMA_DERIVED_BY_PREFIX } from "./classify"
+export { classifyPrismaCall } from "./classify"
+export { EFFECTS_PRISMA_DERIVED_BY_PREFIX, EFFECTS_PRISMA_PLUGIN_NAME } from "./constants"
 export { hasPrismaImport } from "./imports"
 export { effectsPrismaManifest } from "./manifest"
 export {

package/src/manifest.ts

@@ -1,5 +1,5 @@
 import type { EffectsManifest } from "@aburi/types"
-import { EFFECTS_PRISMA_DERIVED_BY_PREFIX } from "./classify"
+import { EFFECTS_PRISMA_DERIVED_BY_PREFIX, EFFECTS_PRISMA_PLUGIN_NAME } from "./constants"
 
 /**
  * Manifest for `@aburi/effects-prisma`. `as const satisfies EffectsManifest` keeps
@@ -8,13 +8,13 @@ import { EFFECTS_PRISMA_DERIVED_BY_PREFIX } from "./classify"
  * The plugin returns core-owned effect ids (`db.read` / `db.write` / `db.transaction`)
  * from `classify()`; per extension-vocab.md §5.1 core vocab lives in the reserved
  * namespace and MUST NOT appear in a plugin's `provides.effects`. The plugin's own
- * `x-prisma:*` namespace has no v0.1 bindings — model-specific effects would sit there
+ * `x-prisma:*` namespace currently has no bindings — model-specific effects would sit there
  * once introduced. `derivedByPrefixes` shares its literal with the classifier's tag
  * builder so both stay in lockstep across edits.
  */
 export const effectsPrismaManifest = {
   $schema: "https://aburi.dev/schema/aburi.plugin.v1.json",
-  name: "effects-prisma",
+  name: EFFECTS_PRISMA_PLUGIN_NAME,
   version: "0.0.0",
   type: "effects",
   engines: { aburi: "*" },