@aburi/effects-prisma 0.1.0

package/README.md

@@ -0,0 +1,40 @@
+# @aburi/effects-prisma
+
+Prisma effect plugin for `@aburi/core`. Classifies Prisma client calls into core
+effect vocabulary so the IR can distinguish "reads the database" from "writes
+the database" without needing to render every raw call.
+
+Recognised shapes:
+
+| Source shape | Effect |
+|---|---|
+| `<client>.<model>.findUnique / findUniqueOrThrow / findFirst / findFirstOrThrow / findMany / count / aggregate / groupBy` | `db.read` |
+| `<client>.<model>.create / createMany / createManyAndReturn / update / updateMany / updateManyAndReturn / upsert / delete / deleteMany` | `db.write` |
+| `<client>.$transaction(...)` | `db.transaction` |
+
+Raw SQL (`$queryRaw` / `$executeRaw` / `$queryRawUnsafe` / `$executeRawUnsafe`)
+is intentionally **not** classified in v0.1 — 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.
+
+Layered gate: a file that imports `@prisma/client` (or a re-export chain that
+lands there) is a prerequisite, and the target must have at least three
+`.`-separated segments (`<client>.<model>.<verb>`) so a random `foo.findMany()`
+call in an unrelated file will not false-classify. Bare `$transaction()`
+without a client segment is also skipped.
+
+## Install
+
+```bash
+pnpm add @aburi/effects-prisma
+```
+
+## Usage
+
+```ts
+import { prismaEffectsPlugin } from "@aburi/effects-prisma"
+```
+
+## See also
+
+- [`design/details/effect-plugin.md`](../../design/details/effect-plugin.md)

package/dist/index.d.mts

@@ -0,0 +1,145 @@
+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.
+ *
+ * Recognition strategy:
+ *   1. The owning file must import a Prisma Client module (see `hasPrismaImport`). No
+ *      import → `null`, so callers can chain other effect plugins after this one.
+ *   2. The target is split on `.`; the plugin looks at the trailing segments to match
+ *      Prisma's fixed client surface. Two shapes are accepted:
+ *        - `<...>.<model>.<verb>` (3+ segments) — a model delegate call. The client
+ *          segment stops two-segment method collisions (Express `router.create(...)`)
+ *          from false-classifying.
+ *        - `<...>.$transaction` (2+ segments) — the top-level transaction API on the
+ *          client itself.
+ *   3. Malformed targets (empty string, adjacent / leading / trailing dots) throw — the
+ *      language plugin's contract is a normalized non-empty callee, so a violation
+ *      here is an upstream bug we surface loudly instead of silently miscategorizing.
+ *
+ * The function is a pure lookup — no I/O, no state, no async — matching the per-call
+ * timeout budget the core enforces (effect-plugin.md §5.1.1).
+ */
+declare function classifyPrismaCall(call: CallCandidate, ctx: ClassifyContext): EffectClassification | null;
+//#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.
+ *
+ * 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.
+ */
+declare function hasPrismaImport(imports: readonly ImportEdge[]): boolean;
+//#endregion
+//#region src/manifest.d.ts
+/**
+ * Manifest for `@aburi/effects-prisma`. `as const satisfies EffectsManifest` keeps
+ * every literal narrow so downstream registry checks see the exact shape.
+ *
+ * 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
+ * once introduced. `derivedByPrefixes` shares its literal with the classifier's tag
+ * builder so both stay in lockstep across edits.
+ */
+declare const effectsPrismaManifest: {
+  readonly $schema: "https://aburi.dev/schema/aburi.plugin.v1.json";
+  readonly name: "effects-prisma";
+  readonly version: "0.0.0";
+  readonly type: "effects";
+  readonly engines: {
+    readonly aburi: "*";
+  };
+  readonly provides: {
+    readonly effects: [];
+    readonly effectPrefixes: [];
+    readonly extKinds: [];
+    readonly extKindPrefixes: [];
+    readonly derivedByPrefixes: ["effects-plugin:prisma"];
+    readonly frameworks: [];
+  };
+};
+//#endregion
+//#region src/methods.d.ts
+/**
+ * Prisma model delegate method vocabulary.
+ *
+ * Each `_LIST` is the single source of truth — the union type and the runtime `Set` are
+ * both derived from it, so extending the vocabulary is a table edit in exactly one
+ * place. Extending as Prisma ships new delegate methods keeps the classifier honest
+ * without a code rewrite.
+ *
+ * Only methods that map cleanly onto core `db.read` / `db.write` vocabulary are listed.
+ * Delegate helpers whose semantics do not match (metadata accessors, raw SQL escapes,
+ * connection lifecycle) stay out — the plugin returns `null` for them so downstream
+ * effect plugins get a chance.
+ */
+declare const PRISMA_READ_METHODS_LIST: readonly ["findUnique", "findUniqueOrThrow", "findFirst", "findFirstOrThrow", "findMany", "count", "aggregate", "groupBy"];
+declare const PRISMA_WRITE_METHODS_LIST: readonly ["create", "createMany", "createManyAndReturn", "update", "updateMany", "updateManyAndReturn", "upsert", "delete", "deleteMany"];
+type PrismaReadMethod = (typeof PRISMA_READ_METHODS_LIST)[number];
+type PrismaWriteMethod = (typeof PRISMA_WRITE_METHODS_LIST)[number];
+/** Top-level client method: `prisma.$transaction(...)`. Not nested under a model. */
+type PrismaTransactionMethod = "$transaction";
+declare const PRISMA_READ_METHODS: ReadonlySet<PrismaReadMethod>;
+declare const PRISMA_WRITE_METHODS: ReadonlySet<PrismaWriteMethod>;
+declare const PRISMA_TRANSACTION_METHOD: PrismaTransactionMethod;
+declare function isPrismaReadMethod(name: string): name is PrismaReadMethod;
+declare function isPrismaWriteMethod(name: string): name is PrismaWriteMethod;
+declare function isPrismaTransactionMethod(name: string): name is PrismaTransactionMethod;
+//#endregion
+//#region src/plugin.d.ts
+/**
+ * Prisma effect plugin. Sits behind the language plugin's `walkBody` output, mapping
+ * `prisma.<model>.<verb>` and `prisma.$transaction` call expressions into the core
+ * `db.read` / `db.write` / `db.transaction` effect vocabulary.
+ *
+ * `init` and `classify` are both pure with respect to plugin state — no lazy resources,
+ * no per-run caches — so repeated invocations against the same CallCandidate produce
+ * identical results. This matches the per-call timeout contract in
+ * effect-plugin.md §5.1.1 and the "pure classifier" recommendation in §11.1.
+ */
+declare class PrismaEffectsPlugin implements EffectPlugin {
+  readonly manifest: {
+    readonly $schema: "https://aburi.dev/schema/aburi.plugin.v1.json";
+    readonly name: "effects-prisma";
+    readonly version: "0.0.0";
+    readonly type: "effects";
+    readonly engines: {
+      readonly aburi: "*";
+    };
+    readonly provides: {
+      readonly effects: [];
+      readonly effectPrefixes: [];
+      readonly extKinds: [];
+      readonly extKindPrefixes: [];
+      readonly derivedByPrefixes: ["effects-plugin:prisma"];
+      readonly frameworks: [];
+    };
+  };
+  init(_ctx: PluginContext): Promise<void>;
+  classify(call: CallCandidate, ctx: ClassifyContext): EffectClassification | null;
+}
+/**
+ * Ready-to-register instance. Callers pass this to `@aburi/plugin-registry` or a scan
+ * pipeline. The type annotation is omitted deliberately: `class implements EffectPlugin`
+ * already enforces the structural contract, and inferring the narrow class type keeps
+ * the manifest literals (`readonly ["effects-plugin:prisma"]`, `"effects-prisma"`)
+ * visible to consumers that want to compare against them without a separate manifest
+ * import.
+ */
+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 };
+//# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -0,0 +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"}

package/dist/index.mjs

@@ -0,0 +1,208 @@
+//#region src/imports.ts
+/**
+* npm module specifiers that expose a `PrismaClient`. Any file that pulls in one of
+* these is treated as a Prisma consumer; files that reference the identifier without
+* importing Prisma are ignored so an unrelated `db.user.findMany()` from another ORM
+* does not get miscategorized.
+*
+* - `@prisma/client` — the default Prisma Client entry since v4.
+* - `@prisma/client/edge` — the Edge runtime entry used by Vercel Edge, Cloudflare
+*   Workers, and Prisma Accelerate. Different bundle, same delegate surface.
+*
+* The set is a literal source of truth. Extending the plugin for community builds or a
+* future Prisma bundle is a table edit here.
+*/
+const PRISMA_CLIENT_MODULES_LIST = ["@prisma/client", "@prisma/client/edge"];
+const PRISMA_CLIENT_MODULES = new Set(PRISMA_CLIENT_MODULES_LIST);
+/**
+* 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.
+*
+* 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.
+*/
+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));
+}
+
+//#endregion
+//#region src/methods.ts
+/**
+* Prisma model delegate method vocabulary.
+*
+* Each `_LIST` is the single source of truth — the union type and the runtime `Set` are
+* both derived from it, so extending the vocabulary is a table edit in exactly one
+* place. Extending as Prisma ships new delegate methods keeps the classifier honest
+* without a code rewrite.
+*
+* Only methods that map cleanly onto core `db.read` / `db.write` vocabulary are listed.
+* Delegate helpers whose semantics do not match (metadata accessors, raw SQL escapes,
+* connection lifecycle) stay out — the plugin returns `null` for them so downstream
+* effect plugins get a chance.
+*/
+const PRISMA_READ_METHODS_LIST = [
+	"findUnique",
+	"findUniqueOrThrow",
+	"findFirst",
+	"findFirstOrThrow",
+	"findMany",
+	"count",
+	"aggregate",
+	"groupBy"
+];
+const PRISMA_WRITE_METHODS_LIST = [
+	"create",
+	"createMany",
+	"createManyAndReturn",
+	"update",
+	"updateMany",
+	"updateManyAndReturn",
+	"upsert",
+	"delete",
+	"deleteMany"
+];
+const PRISMA_READ_METHODS = new Set(PRISMA_READ_METHODS_LIST);
+const PRISMA_WRITE_METHODS = new Set(PRISMA_WRITE_METHODS_LIST);
+const PRISMA_TRANSACTION_METHOD = "$transaction";
+function isPrismaReadMethod(name) {
+	return PRISMA_READ_METHODS.has(name);
+}
+function isPrismaWriteMethod(name) {
+	return PRISMA_WRITE_METHODS.has(name);
+}
+function isPrismaTransactionMethod(name) {
+	return name === PRISMA_TRANSACTION_METHOD;
+}
+
+//#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:
+*   1. The owning file must import a Prisma Client module (see `hasPrismaImport`). No
+*      import → `null`, so callers can chain other effect plugins after this one.
+*   2. The target is split on `.`; the plugin looks at the trailing segments to match
+*      Prisma's fixed client surface. Two shapes are accepted:
+*        - `<...>.<model>.<verb>` (3+ segments) — a model delegate call. The client
+*          segment stops two-segment method collisions (Express `router.create(...)`)
+*          from false-classifying.
+*        - `<...>.$transaction` (2+ segments) — the top-level transaction API on the
+*          client itself.
+*   3. Malformed targets (empty string, adjacent / leading / trailing dots) throw — the
+*      language plugin's contract is a normalized non-empty callee, so a violation
+*      here is an upstream bug we surface loudly instead of silently miscategorizing.
+*
+* The function is a pure lookup — no I/O, no state, no async — matching the per-call
+* 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);
+	if (isPrismaTransactionMethod(method)) {
+		if (parts.length < 2) return null;
+		return {
+			effectId: "db.transaction",
+			confidence: "high",
+			derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:tx`
+		};
+	}
+	if (parts.length < 3) return null;
+	if (isPrismaReadMethod(method)) return {
+		effectId: "db.read",
+		confidence: "high",
+		derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:read`
+	};
+	if (isPrismaWriteMethod(method)) return {
+		effectId: "db.write",
+		confidence: "high",
+		derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:write`
+	};
+	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
+/**
+* Manifest for `@aburi/effects-prisma`. `as const satisfies EffectsManifest` keeps
+* every literal narrow so downstream registry checks see the exact shape.
+*
+* 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
+* 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",
+	version: "0.0.0",
+	type: "effects",
+	engines: { aburi: "*" },
+	provides: {
+		effects: [],
+		effectPrefixes: [],
+		extKinds: [],
+		extKindPrefixes: [],
+		derivedByPrefixes: [EFFECTS_PRISMA_DERIVED_BY_PREFIX],
+		frameworks: []
+	}
+};
+
+//#endregion
+//#region src/plugin.ts
+/**
+* Prisma effect plugin. Sits behind the language plugin's `walkBody` output, mapping
+* `prisma.<model>.<verb>` and `prisma.$transaction` call expressions into the core
+* `db.read` / `db.write` / `db.transaction` effect vocabulary.
+*
+* `init` and `classify` are both pure with respect to plugin state — no lazy resources,
+* no per-run caches — so repeated invocations against the same CallCandidate produce
+* identical results. This matches the per-call timeout contract in
+* effect-plugin.md §5.1.1 and the "pure classifier" recommendation in §11.1.
+*/
+var PrismaEffectsPlugin = class {
+	manifest = effectsPrismaManifest;
+	async init(_ctx) {}
+	classify(call, ctx) {
+		return classifyPrismaCall(call, ctx);
+	}
+};
+/**
+* Ready-to-register instance. Callers pass this to `@aburi/plugin-registry` or a scan
+* pipeline. The type annotation is omitted deliberately: `class implements EffectPlugin`
+* already enforces the structural contract, and inferring the narrow class type keeps
+* the manifest literals (`readonly ["effects-plugin:prisma"]`, `"effects-prisma"`)
+* visible to consumers that want to compare against them without a separate manifest
+* import.
+*/
+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 };
+//# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -0,0 +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"}

package/package.json

@@ -0,0 +1,50 @@
+{
+  "name": "@aburi/effects-prisma",
+  "version": "0.1.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",
+  "homepage": "https://github.com/kage1020/Aburi/tree/main/packages/effects-prisma#readme",
+  "bugs": {
+    "url": "https://github.com/kage1020/Aburi/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/kage1020/Aburi.git",
+    "directory": "packages/effects-prisma"
+  },
+  "type": "module",
+  "main": "./dist/index.mjs",
+  "types": "./dist/index.d.mts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.mts",
+      "default": "./dist/index.mjs"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "dist",
+    "src",
+    "README.md"
+  ],
+  "sideEffects": false,
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@aburi/types": "0.1.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"
+  },
+  "scripts": {
+    "build": "tsdown",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run"
+  }
+}

package/src/classify.ts

@@ -0,0 +1,115 @@
+import type { CallCandidate, ClassifyContext, EffectClassification } from "@aburi/types"
+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.
+ *
+ * Recognition strategy:
+ *   1. The owning file must import a Prisma Client module (see `hasPrismaImport`). No
+ *      import → `null`, so callers can chain other effect plugins after this one.
+ *   2. The target is split on `.`; the plugin looks at the trailing segments to match
+ *      Prisma's fixed client surface. Two shapes are accepted:
+ *        - `<...>.<model>.<verb>` (3+ segments) — a model delegate call. The client
+ *          segment stops two-segment method collisions (Express `router.create(...)`)
+ *          from false-classifying.
+ *        - `<...>.$transaction` (2+ segments) — the top-level transaction API on the
+ *          client itself.
+ *   3. Malformed targets (empty string, adjacent / leading / trailing dots) throw — the
+ *      language plugin's contract is a normalized non-empty callee, so a violation
+ *      here is an upstream bug we surface loudly instead of silently miscategorizing.
+ *
+ * The function is a pure lookup — no I/O, no state, no async — matching the per-call
+ * timeout budget the core enforces (effect-plugin.md §5.1.1).
+ */
+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)
+
+  if (!hasPrismaImport(ctx.file.imports)) return null
+
+  // `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 (isPrismaTransactionMethod(method)) {
+    // Bare `$transaction()` (single segment) is not a Prisma call — the transaction
+    // API only makes sense as a method on the client (`<client>.$transaction(...)`).
+    if (parts.length < 2) return null
+    return {
+      effectId: "db.transaction",
+      confidence: "high",
+      derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:tx`,
+    }
+  }
+
+  // Model delegate calls need `<client>.<model>.<verb>` to distinguish them from
+  // unrelated two-segment method calls (Express `router.create(...)`, an Array's
+  // hypothetical `.findMany` collision) that would otherwise false-positive in files
+  // that colocate Prisma with another library.
+  if (parts.length < 3) return null
+
+  if (isPrismaReadMethod(method)) {
+    return {
+      effectId: "db.read",
+      confidence: "high",
+      derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:read`,
+    }
+  }
+
+  if (isPrismaWriteMethod(method)) {
+    return {
+      effectId: "db.write",
+      confidence: "high",
+      derivedBy: `${EFFECTS_PRISMA_DERIVED_BY_PREFIX}:write`,
+    }
+  }
+
+  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/imports.ts

@@ -0,0 +1,43 @@
+import type { ImportEdge } from "@aburi/types"
+
+/**
+ * npm module specifiers that expose a `PrismaClient`. Any file that pulls in one of
+ * these is treated as a Prisma consumer; files that reference the identifier without
+ * importing Prisma are ignored so an unrelated `db.user.findMany()` from another ORM
+ * does not get miscategorized.
+ *
+ * - `@prisma/client` — the default Prisma Client entry since v4.
+ * - `@prisma/client/edge` — the Edge runtime entry used by Vercel Edge, Cloudflare
+ *   Workers, and Prisma Accelerate. Different bundle, same delegate surface.
+ *
+ * The set is a literal source of truth. Extending the plugin for community builds or a
+ * future Prisma bundle is a table edit here.
+ */
+const PRISMA_CLIENT_MODULES_LIST = ["@prisma/client", "@prisma/client/edge"] as const
+
+export type PrismaClientModule = (typeof PRISMA_CLIENT_MODULES_LIST)[number]
+
+export const PRISMA_CLIENT_MODULES: ReadonlySet<PrismaClientModule> = new Set(
+  PRISMA_CLIENT_MODULES_LIST,
+)
+
+/**
+ * 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.
+ *
+ * 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.
+ */
+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))
+}

package/src/index.ts

@@ -0,0 +1,15 @@
+export { classifyPrismaCall, EFFECTS_PRISMA_DERIVED_BY_PREFIX } from "./classify"
+export { hasPrismaImport } from "./imports"
+export { effectsPrismaManifest } from "./manifest"
+export {
+  isPrismaReadMethod,
+  isPrismaTransactionMethod,
+  isPrismaWriteMethod,
+  PRISMA_READ_METHODS,
+  PRISMA_TRANSACTION_METHOD,
+  PRISMA_WRITE_METHODS,
+  type PrismaReadMethod,
+  type PrismaTransactionMethod,
+  type PrismaWriteMethod,
+} from "./methods"
+export { PrismaEffectsPlugin, prismaEffectsPlugin } from "./plugin"

package/src/manifest.ts

@@ -0,0 +1,29 @@
+import type { EffectsManifest } from "@aburi/types"
+import { EFFECTS_PRISMA_DERIVED_BY_PREFIX } from "./classify"
+
+/**
+ * Manifest for `@aburi/effects-prisma`. `as const satisfies EffectsManifest` keeps
+ * every literal narrow so downstream registry checks see the exact shape.
+ *
+ * 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
+ * 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",
+  version: "0.0.0",
+  type: "effects",
+  engines: { aburi: "*" },
+  provides: {
+    effects: [],
+    effectPrefixes: [],
+    extKinds: [],
+    extKindPrefixes: [],
+    derivedByPrefixes: [EFFECTS_PRISMA_DERIVED_BY_PREFIX],
+    frameworks: [],
+  },
+} as const satisfies EffectsManifest

package/src/methods.ts

@@ -0,0 +1,59 @@
+/**
+ * Prisma model delegate method vocabulary.
+ *
+ * Each `_LIST` is the single source of truth — the union type and the runtime `Set` are
+ * both derived from it, so extending the vocabulary is a table edit in exactly one
+ * place. Extending as Prisma ships new delegate methods keeps the classifier honest
+ * without a code rewrite.
+ *
+ * Only methods that map cleanly onto core `db.read` / `db.write` vocabulary are listed.
+ * Delegate helpers whose semantics do not match (metadata accessors, raw SQL escapes,
+ * connection lifecycle) stay out — the plugin returns `null` for them so downstream
+ * effect plugins get a chance.
+ */
+const PRISMA_READ_METHODS_LIST = [
+  "findUnique",
+  "findUniqueOrThrow",
+  "findFirst",
+  "findFirstOrThrow",
+  "findMany",
+  "count",
+  "aggregate",
+  "groupBy",
+] as const
+
+const PRISMA_WRITE_METHODS_LIST = [
+  "create",
+  "createMany",
+  "createManyAndReturn",
+  "update",
+  "updateMany",
+  "updateManyAndReturn",
+  "upsert",
+  "delete",
+  "deleteMany",
+] as const
+
+export type PrismaReadMethod = (typeof PRISMA_READ_METHODS_LIST)[number]
+export type PrismaWriteMethod = (typeof PRISMA_WRITE_METHODS_LIST)[number]
+
+/** Top-level client method: `prisma.$transaction(...)`. Not nested under a model. */
+export type PrismaTransactionMethod = "$transaction"
+
+export const PRISMA_READ_METHODS: ReadonlySet<PrismaReadMethod> = new Set(PRISMA_READ_METHODS_LIST)
+export const PRISMA_WRITE_METHODS: ReadonlySet<PrismaWriteMethod> = new Set(
+  PRISMA_WRITE_METHODS_LIST,
+)
+export const PRISMA_TRANSACTION_METHOD: PrismaTransactionMethod = "$transaction"
+
+export function isPrismaReadMethod(name: string): name is PrismaReadMethod {
+  return (PRISMA_READ_METHODS as ReadonlySet<string>).has(name)
+}
+
+export function isPrismaWriteMethod(name: string): name is PrismaWriteMethod {
+  return (PRISMA_WRITE_METHODS as ReadonlySet<string>).has(name)
+}
+
+export function isPrismaTransactionMethod(name: string): name is PrismaTransactionMethod {
+  return name === PRISMA_TRANSACTION_METHOD
+}

package/src/plugin.ts

@@ -0,0 +1,41 @@
+import type {
+  CallCandidate,
+  ClassifyContext,
+  EffectClassification,
+  EffectPlugin,
+  PluginContext,
+} from "@aburi/types"
+import { classifyPrismaCall } from "./classify"
+import { effectsPrismaManifest } from "./manifest"
+
+/**
+ * Prisma effect plugin. Sits behind the language plugin's `walkBody` output, mapping
+ * `prisma.<model>.<verb>` and `prisma.$transaction` call expressions into the core
+ * `db.read` / `db.write` / `db.transaction` effect vocabulary.
+ *
+ * `init` and `classify` are both pure with respect to plugin state — no lazy resources,
+ * no per-run caches — so repeated invocations against the same CallCandidate produce
+ * identical results. This matches the per-call timeout contract in
+ * effect-plugin.md §5.1.1 and the "pure classifier" recommendation in §11.1.
+ */
+class PrismaEffectsPlugin implements EffectPlugin {
+  readonly manifest = effectsPrismaManifest
+
+  async init(_ctx: PluginContext): Promise<void> {}
+
+  classify(call: CallCandidate, ctx: ClassifyContext): EffectClassification | null {
+    return classifyPrismaCall(call, ctx)
+  }
+}
+
+/**
+ * Ready-to-register instance. Callers pass this to `@aburi/plugin-registry` or a scan
+ * pipeline. The type annotation is omitted deliberately: `class implements EffectPlugin`
+ * already enforces the structural contract, and inferring the narrow class type keeps
+ * the manifest literals (`readonly ["effects-plugin:prisma"]`, `"effects-prisma"`)
+ * visible to consumers that want to compare against them without a separate manifest
+ * import.
+ */
+export const prismaEffectsPlugin = new PrismaEffectsPlugin()
+
+export { PrismaEffectsPlugin }