@aburi/effects-prisma 0.3.0 → 0.4.1

package/README.md

@@ -23,6 +23,46 @@ lands there) is a prerequisite, and the target must have at least three
 call in an unrelated file will not false-classify. Bare `$transaction()`
 without a client segment is also skipped.
 
+### Receiver identification
+
+The import gate answers "does this file use Prisma", which a file is free to
+answer yes to while most of its calls belong to something else. `delete`,
+`create` and `update` are shared vocabulary across `Map`, `Set`, the DOM and
+every HTTP router, and `this.<x>.<y>.delete(...)` is everyday TypeScript — so
+the shape plus the gate is not evidence that the receiver is a database client.
+
+Three further checks decide what is recorded:
+
+- **Literal first argument.** A Prisma method takes an options object, an array
+  or a callback — never a bare literal. `this.cache.items.delete("session")` is
+  a `Map`, and is not classified at all.
+- **Receiver name.** The segment before the model — `prisma` in
+  `this.prisma.user.create`, `db` in `db.user.create` — is matched word-wise
+  against the client vocabulary (`prisma` / `db` / `database` / `orm` / `tx` /
+  `trx`), so `prismaClient`, `readReplicaDb` and `_prisma` all count and
+  `cache`, `router`, `store` and `apiClient` do not. `client` is deliberately
+  absent: a resource SDK's `<client>.<resource>.<verb>` is a delegate call's
+  shape exactly, so the entry would hand `apiClient.users.update(payload)` the
+  top tier.
+- **Argument count.** A delegate takes at most one argument, `$transaction`
+  two. More than that is evidence against — but only evidence: `argumentCount`
+  is a syntactic count, and a drop would erase a real write without logging
+  anything, so an overflow costs the tier instead.
+
+A match on all three gives `confidence: "high"`; anything short of that still
+records the effect, at `confidence: "medium"`.
+
+The `medium` tier is deliberate. Without the AST — which effect plugins never
+see — a client bound under a house naming convention and an unrelated object of
+the same shape are indistinguishable from the callee string, so the uncertainty
+is stated rather than resolved by guessing. A receiver the language plugin
+flagged as dynamic (`getPrisma().user.create()`) is capped at `medium` for the
+same reason: the name in the target is a collapsed expression, not a binding.
+
+Naming your client something this vocabulary does not know is not an error — it
+costs the effect its `high` tier, and the table in `src/receivers.ts` is one
+literal list if a house convention deserves to be in it.
+
 ## Install
 
 ```bash

package/dist/index.d.mts

@@ -1,98 +1,47 @@
-import { CallCandidate, ClassifyContext, EffectClassification, EffectPlugin, ImportEdge, PluginContext } from "@aburi/types";
+import { CallCandidate, ClassifyContext, Confidence, EffectClassification, EffectPlugin, ImportEdge, PluginContext } from "@aburi/types";
 
 //#region src/classify.d.ts
 /**
  * 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.
+ * Two shapes are accepted once the file imports a Prisma Client module (`hasPrismaImport`):
+ *   - `<...>.<model>.<verb>` (3+ segments) — a model delegate call. The client segment is
+ *     what separates it from two-segment collisions such as Express `router.create(...)`.
+ *   - `<...>.$transaction` (2+ segments) — the transaction API on the client itself.
  *
- * 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).
+ * The import gate is not a receiver check: `this.cache.items.delete(key)` is a `Map` and
+ * `session.user.update(fields)` an object, both three segments with a delegate verb in a
+ * file that also uses Prisma. A literal first argument rules a call out — no Prisma method
+ * takes one — and the receiver plus argument count decide the tier, downgrading rather
+ * than dropping (`receiverConfidence`). A model addressed through brackets arrives as
+ * `<computed>` and supplies the third segment without a model, so there the receiver must
+ * name a client outright.
+ *
+ * Throws on a malformed target (`assertNonEmptySegments`): an upstream contract violation,
+ * not a classification decision. Pure with respect to plugin state (effect-plugin.md).
  */
 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`.
- */
+/** Plugin name: the manifest's `name` and the prefix of every thrown message. */
 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.
- */
+/** derivedBy namespace shared by the classifier's tag builder and the manifest. */
 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 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.
- *
- * `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.
- */
+/** True when the file imports a Prisma Client module; see `hasMatchingImport`. */
 declare function hasPrismaImport(imports: readonly ImportEdge[], filePath: string): 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 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.
- */
-declare const effectsPrismaManifest: {
-  readonly $schema: "https://aburi.kage1020.com/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: [];
-  };
-};
+/** See `defineEffectsManifest` for why `provides` claims no vocabulary of its own. */
+declare const effectsPrismaManifest: import("@aburi/plugin-registry/plugin-input").EffectsPluginManifest<"effects-prisma", "effects-plugin:prisma">;
 //#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.
+ * Prisma model delegate method vocabulary. Each `_LIST` is the single source of truth for
+ * its union type and runtime `Set`. Only methods that map onto core `db.read` / `db.write`
+ * are listed; metadata accessors, raw SQL escapes and connection lifecycle stay out, so the
+ * plugin returns `null` for them and 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"];
@@ -109,45 +58,45 @@ declare function isPrismaTransactionMethod(name: string): name is PrismaTransact
 //#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.
+ * Prisma effect plugin: maps `prisma.<model>.<verb>` and `prisma.$transaction` call
+ * expressions onto the core `db.read` / `db.write` / `db.transaction` vocabulary. `classify`
+ * is pure (effect-plugin.md) and throws on a malformed CallCandidate — an
+ * upstream contract violation, surfaced rather than swallowed.
  */
 declare class PrismaEffectsPlugin implements EffectPlugin {
-  readonly manifest: {
-    readonly $schema: "https://aburi.kage1020.com/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: [];
-    };
-  };
+  readonly manifest: import("@aburi/plugin-registry/plugin-input").EffectsPluginManifest<"effects-prisma", "effects-plugin:prisma">;
   init(_ctx: PluginContext): Promise<void>;
   classify(call: CallCandidate, ctx: ClassifyContext): EffectClassification | null;
 }
+/** Ready-to-register instance; left unannotated so the manifest literals stay visible. */
+declare const prismaEffectsPlugin: PrismaEffectsPlugin;
+//#endregion
+//#region src/receivers.d.ts
 /**
- * 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.
+ * The words a Prisma Client binding is spelled with. The callee string is all a classifier
+ * sees (effect-plugin.md), and matching is per word (`identifierWords`): `prisma`,
+ * `prismaClient`, `readReplicaDb` and `_prisma` count; `cache`, `router`, `items` and
+ * `feedback` do not. `tx` / `trx` cover the interactive-transaction callback parameter.
+ *
+ * Deliberately absent: `client`, which would hand an SDK's `apiClient.users.update(payload)`
+ * — spelled exactly like a delegate call — a high-confidence `db.write`; `transaction`,
+ * which names a domain noun (`paymentTransaction`) far more often than a client; and
+ * `datasource`, which `identifierWords("dataSource")` splits so only the all-lowercase form
+ * ever matched. See docs/design/effect-plugin.md.
  */
-declare const prismaEffectsPlugin: PrismaEffectsPlugin;
+declare const PRISMA_CLIENT_WORDS_LIST: readonly ["prisma", "db", "database", "orm", "tx", "trx"];
+type PrismaClientWord = (typeof PRISMA_CLIENT_WORDS_LIST)[number];
+declare const PRISMA_CLIENT_WORDS: ReadonlySet<PrismaClientWord>;
+/** True when `segment` spells a word this package recognizes as a Prisma client binding. */
+declare function namesPrismaClient(segment: string): boolean;
+/**
+ * The most arguments a Prisma call takes before it stops looking like Prisma's own API: a
+ * delegate method takes one options object or nothing; `$transaction(fn, { timeout })`
+ * takes two.
+ */
+declare const PRISMA_DELEGATE_MAX_ARGUMENTS = 1;
+declare const PRISMA_TRANSACTION_MAX_ARGUMENTS = 2;
+/** `receiverConfidence` under this package's client vocabulary. */
+declare function classificationConfidence(clientSegment: string | undefined, call: CallCandidate, maxArguments: number): Confidence;
 //#endregion
-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
+export { EFFECTS_PRISMA_DERIVED_BY_PREFIX, EFFECTS_PRISMA_PLUGIN_NAME, PRISMA_CLIENT_WORDS, PRISMA_DELEGATE_MAX_ARGUMENTS, PRISMA_READ_METHODS, PRISMA_TRANSACTION_MAX_ARGUMENTS, PRISMA_TRANSACTION_METHOD, PRISMA_WRITE_METHODS, type PrismaClientWord, PrismaEffectsPlugin, type PrismaReadMethod, type PrismaTransactionMethod, type PrismaWriteMethod, classificationConfidence, classifyPrismaCall, effectsPrismaManifest, hasPrismaImport, isPrismaReadMethod, isPrismaTransactionMethod, isPrismaWriteMethod, namesPrismaClient, prismaEffectsPlugin };

package/dist/index.mjs

@@ -1,215 +1 @@
-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
-* 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);
-/** 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 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.
-*
-* `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, filePath) {
-	return hasMatchingImport(imports, {
-		plugin: EFFECTS_PRISMA_PLUGIN_NAME,
-		filePath
-	}, isPrismaClientModule);
-}
-
-//#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
-/**
-* 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 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 {
-			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;
-}
-
-//#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 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.kage1020.com/schema/aburi.plugin.v1.json",
-	name: EFFECTS_PRISMA_PLUGIN_NAME,
-	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, 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
+import{assertNonEmptySegments as e,defineEffectsManifest as t,hasLiteralFirstArgument as n,hasMatchingImport as r,identifierMentions as i,receiverConfidence as a}from"@aburi/plugin-registry/plugin-input";import{COMPUTED_TARGET_SEGMENT as o}from"@aburi/types";const s=`effects-prisma`,c=`effects-plugin:prisma`,l=new Set([`@prisma/client`,`@prisma/client/edge`]);function u(e){return l.has(e)}function d(e,t){return r(e,{plugin:s,filePath:t},u)}const f=[`findUnique`,`findUniqueOrThrow`,`findFirst`,`findFirstOrThrow`,`findMany`,`count`,`aggregate`,`groupBy`],p=[`create`,`createMany`,`createManyAndReturn`,`update`,`updateMany`,`updateManyAndReturn`,`upsert`,`delete`,`deleteMany`],m=new Set(f),h=new Set(p),g=`$transaction`;function _(e){return m.has(e)}function v(e){return h.has(e)}function y(e){return e===g}const b=new Set([`prisma`,`db`,`database`,`orm`,`tx`,`trx`]);function x(e){return i(e,b)}const S=1,C=2;function w(e,t,n){return a(e,t,n,x)}function T(t,r){let i={plugin:s,filePath:r.file.path},{segments:a,last:l}=e(t.target,i);if(!d(r.file.imports,r.file.path))return null;if(y(l))return a.length<2||n(t)?null:{effectId:`db.transaction`,confidence:w(a.at(-2),t,2),derivedBy:`${c}:tx`};if(a.length<3||n(t))return null;let u=a.at(-3);if(u!==void 0&&a.at(-2)===o&&!x(u))return null;let f=w(u,t,1);return _(l)?{effectId:`db.read`,confidence:f,derivedBy:`${c}:read`}:v(l)?{effectId:`db.write`,confidence:f,derivedBy:`${c}:write`}:null}const E=t(s,c);var D=class{manifest=E;async init(e){}classify(e,t){return T(e,t)}};const O=new D;export{c as EFFECTS_PRISMA_DERIVED_BY_PREFIX,s as EFFECTS_PRISMA_PLUGIN_NAME,b as PRISMA_CLIENT_WORDS,S as PRISMA_DELEGATE_MAX_ARGUMENTS,m as PRISMA_READ_METHODS,C as PRISMA_TRANSACTION_MAX_ARGUMENTS,g as PRISMA_TRANSACTION_METHOD,h as PRISMA_WRITE_METHODS,D as PrismaEffectsPlugin,w as classificationConfidence,T as classifyPrismaCall,E as effectsPrismaManifest,d as hasPrismaImport,_ as isPrismaReadMethod,y as isPrismaTransactionMethod,v as isPrismaWriteMethod,x as namesPrismaClient,O as prismaEffectsPlugin};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aburi/effects-prisma",
-  "version": "0.3.0",
+  "version": "0.4.1",
   "description": "Aburi Prisma effects plugin: classifies prisma.<model>.<verb> and prisma.$transaction call expressions into core db.read / db.write / db.transaction effects",
   "license": "Apache-2.0",
   "author": "kage1020",
@@ -25,7 +25,6 @@
   },
   "files": [
     "dist",
-    "src",
     "README.md"
   ],
   "sideEffects": false,
@@ -33,15 +32,16 @@
     "access": "public"
   },
   "dependencies": {
-    "@aburi/plugin-registry": "0.3.0",
-    "@aburi/types": "0.3.0"
+    "@aburi/plugin-registry": "0.5.0",
+    "@aburi/types": "0.5.0"
   },
   "devDependencies": {
     "@types/node": "^26.0.1",
     "tsdown": "^0.22.3",
     "typescript": "^6.0.3",
-    "vitest": "^4.1.9",
-    "@aburi/lang-typescript": "0.3.0"
+    "vitest": "^4.1.11",
+    "@aburi/lang-typescript": "0.5.0",
+    "@aburi/test-support": "0.0.1"
   },
   "scripts": {
     "build": "tsdown",

package/dist/index.d.mts.map

@@ -1 +0,0 @@
-{"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.map

@@ -1 +0,0 @@
-{"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.kage1020.com/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/src/classify.ts

@@ -1,73 +0,0 @@
-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"
-
-/**
- * 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 {
-  const origin: PluginInputOrigin = { plugin: EFFECTS_PRISMA_PLUGIN_NAME, filePath: ctx.file.path }
-
-  // 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)
-
-  if (!hasPrismaImport(ctx.file.imports, ctx.file.path)) return null
-
-  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
-}

package/src/constants.ts

@@ -1,17 +0,0 @@
-// 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,47 +0,0 @@
-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
- * 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,
-)
-
-/** 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 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.
- *
- * `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[], filePath: string): boolean {
-  return hasMatchingImport(
-    imports,
-    { plugin: EFFECTS_PRISMA_PLUGIN_NAME, filePath },
-    isPrismaClientModule,
-  )
-}

package/src/index.ts

@@ -1,16 +0,0 @@
-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 {
-  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

@@ -1,29 +0,0 @@
-import type { EffectsManifest } from "@aburi/types"
-import { EFFECTS_PRISMA_DERIVED_BY_PREFIX, EFFECTS_PRISMA_PLUGIN_NAME } from "./constants"
-
-/**
- * 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 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.kage1020.com/schema/aburi.plugin.v1.json",
-  name: EFFECTS_PRISMA_PLUGIN_NAME,
-  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

@@ -1,59 +0,0 @@
-/**
- * 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

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