@aburi/framework-trpc 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2026 kage1020
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -1,3 +1,112 @@
-# Temporary Holding Version
+# @aburi/framework-trpc
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+tRPC framework plugin for `@aburi/core`. Classifies the **server** side of
+tRPC — the instance, routers, procedures, base procedures and middleware —
+into `framework:trpc:*` extKinds, so they are Boundaries in the IR. The client
+side, the calls that reach a procedure over the network, is
+[`@aburi/effects-trpc`](../effects-trpc/README.md)'s.
+
+Every shape is a `const` whose own declarator holds it:
+
+| Source shape | `extKind` | `derivedBy` |
+|---|---|---|
+| `const t = initTRPC.create()`, `initTRPC.context<Context>().meta<Meta>().create({ … })` | `framework:trpc:instance` | `framework:trpc:instance:initTRPC.create` |
+| `const appRouter = t.router({ … })`, `router({ … })`, `createTRPCRouter({ … })` | `framework:trpc:router` | `framework:trpc:router:t.router` |
+| `const merged = t.mergeRouters(a, b)`, `mergeRouters(a, b)` | `framework:trpc:router` | `framework:trpc:router:t.mergeRouters` |
+| `const byId = publicProcedure.input(schema).query(({ input }) => …)` | `framework:trpc:procedure` | `framework:trpc:procedure:publicProcedure.query` |
+| `const create = protectedProcedure.mutation(…)`, `t.procedure.subscription(…)` | `framework:trpc:procedure` | `framework:trpc:procedure:protectedProcedure.mutation` |
+| `const publicProcedure = t.procedure` | `framework:trpc:base-procedure` | `framework:trpc:base-procedure:t.procedure` |
+| `const protectedProcedure = t.procedure.use(isAuthed)`, `protectedProcedure.use(isAdmin)` | `framework:trpc:base-procedure` | `framework:trpc:base-procedure:t.use` |
+| `const isAuthed = t.middleware(({ ctx, next }) => …)`, `middleware(fn)` | `framework:trpc:middleware` | `framework:trpc:middleware:t.middleware` |
+
+A procedure is a `query`, `mutation` or `subscription` handed its resolver — a
+function, an async generator (tRPC v11's subscriptions), a name for one, or a
+call that returns one (`withCache(listUsers)`) — on a chain built from a
+procedure: one that reads `.procedure` straight off a plain name
+(`t.procedure.query(…)`) or starts from a name that is `procedure` or ends in
+`Procedure` (`publicProcedure`, `protectedProcedure`), which is how tRPC's
+documentation and create-t3-app name their base procedures. The chain is what
+tells `publicProcedure.query(resolve)` from `db.query(fn)` and from the client
+call `client.user.byId.query({ id })`. A base procedure is the same chain ending
+in `use`, `input`, `output`, `meta` or `concat` instead, or the bare
+`t.procedure`. That bare read is taken only off a plain name and only in a file
+that imports `@trpc/server`, the file that creates the instance: `procedure` is
+a domain word as well, and `form.procedure` reads the same. The three procedure
+kinds share one extKind, as an Express route's methods do, and `derivedBy` names
+which one it is.
+
+A router is `router` or `createTRPCRouter` handed one object literal, or
+`mergeRouters` handed the routers it merges; another library's
+`createRouter({ routes })` is not one. An alias of a factory
+(`export const createTRPCRouter = t.router`) is not classified: it builds
+nothing until it is called.
+
+`derivedBy` names the call `<receiver>.<method>`, read off the syntax tree as
+every framework plugin reads it: the method called and the name the receiver
+chain starts from, through `as`, `satisfies`, `!`, parentheses and every call
+on the way. So a chain wrapped over several lines, or with a comment in it,
+gives the same entry, and `t.procedure.use(timing).query(fn)` is
+`t.query`. The bare `t.procedure` is named the same way, `t.procedure`.
+
+Confidence is `high` when the file imports `@trpc/server` or one of its
+subpaths, type-only imports included, and `medium` otherwise. Most of the
+names this plugin reads are tRPC's conventions rather than its exports
+(`initTRPC` is the exception), and the usual layout keeps the import in one
+file: create-t3-app's routers import
+`createTRPCRouter` and `publicProcedure` from `~/server/api/trpc`, so their
+routers and procedures are `medium`.
+
+A procedure's resolver is its Symbol's body, so the calls, rules and effects
+written in it are the procedure's: with
+[`@aburi/effects-prisma`](../effects-prisma/README.md), a mutation whose
+resolver calls `prisma.user.create(…)` carries `db.write`.
+
+Not classified today:
+
+- A procedure written inside a router's object literal
+  (`router({ byId: publicProcedure.query(…) })`). `@aburi/lang-typescript`
+  gives an object handed to a call no member Symbols, so there is no Symbol to
+  classify, and the resolver is in no Symbol either. The router itself is
+  classified. Declare the procedure as a `const` and name it in the router to
+  give it a Symbol.
+- What is built on a base procedure whose name is neither `procedure` nor ends
+  in `Procedure` (`const base = t.procedure`, then `base.query(fn)` or
+  `base.use(x)`). `base` itself is classified, but the plugin reads one
+  declaration at a time, so it cannot see where `base` came from.
+- The bare `t.procedure` in a file that does not import `@trpc/server`.
+- A router or middleware factory under a name other than tRPC's
+  (`const makeRouter = t.router`, then `makeRouter({ … })`), for the same reason.
+- `experimental_standaloneMiddleware`, `createCallerFactory(appRouter)` and
+  `appRouter.createCaller(ctx)`.
+- A file that reaches `@trpc/server` only through CommonJS
+  (`const { initTRPC } = require("@trpc/server")`): the import list carries no
+  edge for a `require` call, so its shapes are `medium`.
+
+Classified though not tRPC's: the receiver's name is all a declaration shows,
+so another library's shapes under tRPC's names are read as tRPC's, at `medium`
+in a file that does not import `@trpc/server`. A ts-rest contract
+(`c.router({ getPost: … })`) and an oRPC router (`os.router({ ping })`) are
+routers, `app.middleware(handler)` is a middleware, and a `query` on a name
+ending in `Procedure` (`storedProcedure.query(sql)`) is a procedure.
+
+## Install
+
+```bash
+pnpm add @aburi/framework-trpc
+```
+
+## Usage
+
+```ts
+import { trpcFrameworkPlugin } from "@aburi/framework-trpc"
+```
+
+The plugin's `provides.frameworks: ["trpc"]` matches `@aburi/core`'s Component
+autodetect against a workspace `@trpc/server` npm dependency, and `aburi init`
+writes `"framework-trpc"` into `aburi.json`'s `frameworks` array for one.
+
+## See also
+
+- [`docs/design/lang-plugin.md`](../../docs/design/lang-plugin.md) — the framework `classifySymbol` contract this plugin implements.
+- [`docs/design/extension-vocab.md`](../../docs/design/extension-vocab.md) — how framework `extKind` namespaces (`framework:trpc:*`) plug into the shared vocab.
+- [`@aburi/effects-trpc`](../effects-trpc/README.md) — the client side of tRPC.

package/dist/index.d.mts

@@ -0,0 +1,26 @@
+import { FrameworkClassifyContext, FrameworkManifest, FrameworkPlugin, ImportEdge, OpaqueAstNode, PluginContext, SymbolCandidate, SymbolClassification } from "@aburi/types";
+
+//#region src/classify.d.ts
+declare function classifyTrpcSymbol(symbol: SymbolCandidate<OpaqueAstNode>, ctx: FrameworkClassifyContext): SymbolClassification | null;
+//#endregion
+//#region src/ext-kinds.d.ts
+declare const TRPC_EXT_KINDS: readonly ["framework:trpc:instance", "framework:trpc:router", "framework:trpc:procedure", "framework:trpc:base-procedure", "framework:trpc:middleware"];
+type TrpcExtKind = (typeof TRPC_EXT_KINDS)[number];
+declare const TRPC_DERIVED_BY_PREFIX = "framework:trpc";
+//#endregion
+//#region src/imports.d.ts
+declare function hasTrpcServerImport(imports: readonly ImportEdge[]): boolean;
+//#endregion
+//#region src/manifest.d.ts
+declare const frameworkTrpcManifest: FrameworkManifest;
+//#endregion
+//#region src/plugin.d.ts
+declare class TrpcFrameworkPlugin implements FrameworkPlugin<OpaqueAstNode> {
+  readonly manifest: import("@aburi/types").FrameworkManifest;
+  init(_ctx: PluginContext): Promise<void>;
+  classifySymbol(symbol: SymbolCandidate<OpaqueAstNode>, ctx: FrameworkClassifyContext): SymbolClassification | null;
+}
+/** Singleton so `manifest` identity is stable for consumers comparing against the constant. */
+declare const trpcFrameworkPlugin: TrpcFrameworkPlugin;
+//#endregion
+export { TRPC_DERIVED_BY_PREFIX, TRPC_EXT_KINDS, type TrpcExtKind, TrpcFrameworkPlugin, classifyTrpcSymbol, frameworkTrpcManifest, hasTrpcServerImport, trpcFrameworkPlugin };

package/dist/index.mjs

@@ -0,0 +1 @@
+import{asSyntaxNode as e,calleeName as t,declaratorValue as n,lastQnameSegment as r,receiverChain as i,unwrapValue as a,writtenChildren as o}from"@aburi/core";import{COMPUTED_TARGET_SEGMENT as s}from"@aburi/types";function c(e){if(e.type===`call_expression`){let n=t(e),r=e.childForFieldName(`function`);if(n===null||r===null)return null;let a=r.type===`member_expression`?r.childForFieldName(`object`):null,o=a===null?{path:[],root:n.name}:i(a);return{call:e,name:n.name,leaf:n.leaf,...o}}if(e.type===`member_expression`){let t=e.childForFieldName(`object`),n=e.childForFieldName(`property`)?.text??``;if(t===null||n.length===0)return null;let r=i(t);return{call:null,name:`${r.root}.${n}`,leaf:n,...r}}return null}const l=[`framework:trpc:instance`,`framework:trpc:router`,`framework:trpc:procedure`,`framework:trpc:base-procedure`,`framework:trpc:middleware`],u=`framework:trpc`,d=`@trpc/server`;function f(e){return e.some(({source:e})=>e===d||e.startsWith(`${d}/`))}const p=new Set([`router`,`createTRPCRouter`]),m=new Set([`query`,`mutation`,`subscription`]),h=new Set([`use`,`input`,`output`,`meta`,`concat`]),g=new Set([`arrow_function`,`function_expression`,`generator_function`,`identifier`,`member_expression`,`call_expression`]),_=/(^p|P)rocedure$/;function v(t,i){if(t.kind!==`const`)return null;let a=e(t.fullNode);if(a===null)return null;let o=n(a,r(t.name)),s=o===null?null:c(o),l=f(i.imports),d=s===null?null:y(s,l);return s===null||d===null?null:{extKind:`${u}:${d}`,derivedBy:`${u}:${d}:${s.name}`,confidence:l?`high`:`medium`}}function y(e,t){let{call:n,leaf:r}=e;if(n===null)return r===`procedure`&&e.path.length===0&&x(e.root)&&t?`base-procedure`:null;let i=S(n);if(r===`create`)return e.root===`initTRPC`?`instance`:null;if(p.has(r)){let[e,...t]=i;return e!==void 0&&t.length===0&&a(e).type===`object`?`router`:null}return r===`mergeRouters`?i.length>0?`router`:null:r===`middleware`?C(i)?`middleware`:null:b(e)?m.has(r)?C(i)?`procedure`:null:h.has(r)?`base-procedure`:null:null}function b(e){return e.path.at(-1)===`procedure`&&x(e.root)||_.test(e.root)}function x(e){return e!==`this`&&e!==s}function S(e){let t=e.childForFieldName(`arguments`);return t?.type===`arguments`?o(t):[]}function C(e){let[t,...n]=e;return t!==void 0&&n.length===0&&g.has(a(t).type)}const w={$schema:`https://aburi.kage1020.com/schema/aburi.plugin.v1.json`,name:`framework-trpc`,version:`0.0.0`,type:`framework`,engines:{aburi:`*`},provides:{effects:[],effectPrefixes:[],extKinds:[{id:`framework:trpc:instance`,baseKind:`const`,description:"The tRPC instance — a const initialised by `initTRPC.create(...)`, configured on the way or not (`initTRPC.context<C>().create()`)."},{id:`framework:trpc:router`,baseKind:`const`,description:"A tRPC router — a const initialised by `router({...})` or `createTRPCRouter({...})`, on the instance or not, or by `mergeRouters(...)`."},{id:`framework:trpc:procedure`,baseKind:`const`,description:"A tRPC procedure — a const initialised by a `query`, `mutation` or `subscription` handed its resolver, on a chain built from a procedure (`t.procedure`, or a name that is `procedure` or ends in `Procedure`)."},{id:`framework:trpc:base-procedure`,baseKind:`const`,description:"A reusable base procedure — a const initialised by `t.procedure`, or by `use`, `input`, `output`, `meta` or `concat` on a chain built from a procedure."},{id:`framework:trpc:middleware`,baseKind:`const`,description:"A tRPC middleware — a const initialised by `middleware(fn)`, on the instance or not."}],extKindPrefixes:[u],derivedByPrefixes:[u],frameworks:[`trpc`]}};var T=class{manifest=w;async init(e){}classifySymbol(e,t){return v(e,t)}};const E=new T;export{u as TRPC_DERIVED_BY_PREFIX,l as TRPC_EXT_KINDS,T as TrpcFrameworkPlugin,v as classifyTrpcSymbol,w as frameworkTrpcManifest,f as hasTrpcServerImport,E as trpcFrameworkPlugin};

package/package.json

@@ -1,6 +1,52 @@
 {
   "name": "@aburi/framework-trpc",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.1.0",
+  "description": "Aburi tRPC framework plugin: recognizes the server side of tRPC — the initTRPC instance, routers and merged routers, query / mutation / subscription procedures, base procedures and middleware — emitting framework:trpc:* extKinds",
+  "license": "Apache-2.0",
+  "author": "kage1020",
+  "homepage": "https://github.com/kage1020/Aburi/tree/main/packages/framework-trpc#readme",
+  "bugs": {
+    "url": "https://github.com/kage1020/Aburi/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/kage1020/Aburi.git",
+    "directory": "packages/framework-trpc"
+  },
+  "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",
+    "README.md"
+  ],
+  "sideEffects": false,
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@aburi/core": "0.6.0",
+    "@aburi/types": "0.6.0"
+  },
+  "devDependencies": {
+    "@types/node": "^26.0.1",
+    "tsdown": "^0.22.3",
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.11",
+    "@aburi/lang-typescript": "0.6.0",
+    "@aburi/test-harness": "0.0.1",
+    "@aburi/test-support": "0.0.2"
+  },
+  "scripts": {
+    "build": "tsdown",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run"
+  }
 }