@nxgt/typespec 0.4.1 → 0.5.1

package/README.md

@@ -302,8 +302,8 @@ with the handler, in [Sorting](docs/guide/sorting.md).
 
 TypeSpec names an operation after its interface, `Posts_listPosts`, and the
 generator turns that id into the client's method and its types' prefix. Put
-`@operationIds` on the service namespace, and each operation's id is its
-name, as written:
+`@operationIds` on the service namespace: in an interface, a known verb takes
+the interface's resource, and any other name is the id as written:
 
 ```tsp
 @service(#{ title: "Blog" })
@@ -312,15 +312,33 @@ namespace Blog;
 
 @route("/posts")
 interface Posts {
-  @get listPosts(...PageParameters): Page<Post>;     // listPosts
-  @get getPost(@path postId: uuid): Post | NotFound; // getPost
+  @get list(...PageParameters): Page<Post>;                          // listPosts
+  @get @route("/{postId}") get(@path postId: uuid): Post | NotFound; // getPost
+  @get @route("/by-slug/{slug}") findBySlug(@path slug: string): Post | NotFound; // findPostBySlug
+}
+
+@route("/posts/{postId}/comments")
+interface Comments {
+  @get findPostComments(@path postId: uuid, ...CursorPageParameters): CursorPage<Comment>; // findPostComments
 }
 ```
 
-On an interface, it names that interface's operations, and those of the
+| Verbs | Take | In `Users` |
+| --- | --- | --- |
+| `list`, `read`, `find`, `search`, `count`, `createMany`, `updateMany`, `deleteMany` | the plural: the interface's name | `listUsers`, `deleteManyUsers` |
+| `get`, `create`, `update`, `patch`, `replace`, `upsert`, `delete` | the singular, by a short English rule | `createUser` |
+| a verb, then `By…` | the singular before `By`; the plural after a `*Many` verb | `findUserById`, `deleteManyUsersByTeam` |
+
+The singular rule knows `Categories`, `Addresses`, `Statuses` and `People`;
+name the others with `@operationIds(#{ singular: "Member" })` on the
+interface, and add verbs with `#{ verbs: #{ archive: "singular" } }`. Verbs
+carry down: an interface has those of its namespaces, outermost first, then
+those of the interfaces it extends, then its own, and the last one wins. An
+operation outside an interface keeps its name, even `list`. On an interface,
+`@operationIds` names that interface's operations, and those of the
 interfaces extending it. An operation's own `@operationId` wins; the others
-keep the emitter's names. Two operations of one name in one service, in two
-interfaces or copied by `extends`, are an error, `duplicate-operation-id`. More in
+keep the emitter's names. Two operations of one id in one service are an
+error, `duplicate-operation-id`. More in
 [Operation ids](docs/guide/operation-ids.md).
 
 ## API
@@ -329,13 +347,18 @@ interfaces or copied by `extends`, are an error, `duplicate-operation-id`. More
 
 | Decorator | On | What it does |
 | --- | --- | --- |
-| `@operationIds` | a namespace or an interface | makes each operation's id its name, as written, in the namespace however deep or in the interface, unless it has an `@operationId` |
+| `@operationIds(options?: OperationIdsOptions)` | a namespace or an interface | makes each operation's id its name, as written, or a known verb with the interface's resource (`list` in `Users` is `listUsers`), in the namespace however deep or in the interface, unless it has an `@operationId` |
+
+`OperationIdsOptions` is `#{ singular?: string, plural?: string, verbs?: Record<"singular" | "plural"> }`:
+`singular` and `plural` name an interface's resource, and `verbs` adds or
+overrides verbs, on a namespace or an interface.
 
 ### Diagnostics
 
 | Code | Reported when |
 | --- | --- |
 | `duplicate-operation-id` | error: an operation `@operationIds` names has the id of another operation in its service's document |
+| `resource-name-on-namespace` | error: `@operationIds` on a namespace is given `singular` or `plural`, which name an interface's resource |
 | `duplicate-status-reply` | error: an operation declares a reply without a body and one with a body of one status, which the emitter merges, losing the one without a body |
 | `merged-status-reply` | warning: an operation declares two replies with a body of one status code, which the emitter merges under the first one's description |
 
@@ -428,6 +451,16 @@ envelope and the rate limit's headers.
   Two plain bodies, `Post | Draft`, bodies of different content types, and
   two `@error` models without a `@statusCode` pass
   ([troubleshooting](docs/troubleshooting.md)).
+- **An operation named exactly a verb, or a verb followed by `By…`,
+  changes id on upgrade.** Before 0.5.0, `list` in a marked `Users` was
+  `list` and `findById` was `findById`; they are now `listUsers` and
+  `findUserById`, and the generated client's methods follow. A `list`
+  beside a `listUsers` now collides with it. Keep the old id with its own
+  `@operationId` (from `@typespec/openapi`):
+
+  ```tsp
+  @get @operationId("list") list(): User[];
+  ```
 - **Both versions at once write two folders.** With
   `openapi-versions: ['3.1.0', '3.2.0']`, the emitter writes
   `3.1.0/openapi.yaml` and `3.2.0/openapi.yaml`: point the generator's input
@@ -454,7 +487,8 @@ envelope and the rate limit's headers.
 - [Sorting](docs/guide/sorting.md): `orderBy` and `direction` beside a
   list's filters, and the `@nxgt/drizzle` call they map to;
 - [Operation ids](docs/guide/operation-ids.md): `@operationIds`, each
-  operation named as written, and the ids it refuses;
+  operation named as written or a verb with its resource, the options, and
+  the ids it refuses;
 - [troubleshooting](docs/troubleshooting.md);
 - [the roadmap](docs/roadmap.md): what is coming.
 

package/dist/index.js

@@ -15,6 +15,12 @@ var $lib = createTypeSpecLibrary({
         default: paramMessage`Two operations are named ${"id"}: an OpenAPI operation id must be unique.`
       }
     },
+    "resource-name-on-namespace": {
+      severity: "error",
+      messages: {
+        default: "`singular` and `plural` name an interface's resource: a namespace has none. Put them on the interface."
+      }
+    },
     "duplicate-status-reply": {
       severity: "error",
       messages: {
@@ -31,6 +37,9 @@ var $lib = createTypeSpecLibrary({
   state: {
     operationIds: {
       description: "The interfaces and namespaces marked with @operationIds"
+    },
+    operationIdsOptions: {
+      description: "Each marked interface's or namespace's @operationIds options"
     }
   }
 });
@@ -96,8 +105,113 @@ import {
   resolveOperationId,
   setOperationId
 } from "@typespec/openapi";
-function operationIds(context, target) {
-  context.program.stateSet($lib.stateKeys.operationIds).add(target);
+
+// src/verbs.ts
+var VERBS = {
+  list: "plural",
+  read: "plural",
+  find: "plural",
+  search: "plural",
+  count: "plural",
+  createMany: "plural",
+  updateMany: "plural",
+  deleteMany: "plural",
+  get: "singular",
+  create: "singular",
+  update: "singular",
+  patch: "singular",
+  replace: "singular",
+  upsert: "singular",
+  delete: "singular"
+};
+var IRREGULAR = {
+  people: "person",
+  children: "child",
+  men: "man",
+  women: "woman",
+  mice: "mouse",
+  feet: "foot",
+  teeth: "tooth",
+  geese: "goose",
+  movies: "movie",
+  cookies: "cookie",
+  series: "series",
+  species: "species",
+  news: "news"
+};
+var US_ES = /(stat|bon|camp|vir|b|foc|cens|corp|radi|syllab)uses$/i;
+var SIBILANT_ES = /(ss|x|zz|sh|tch|nch|rch|oach)es$/i;
+function singularOf(plural) {
+  const word = /[A-Z]?[a-z0-9]*$/.exec(plural)?.[0] ?? "";
+  const head = plural.slice(0, plural.length - word.length);
+  const key = word.toLowerCase();
+  const irregular = Object.hasOwn(IRREGULAR, key) ? IRREGULAR[key] : undefined;
+  if (irregular !== undefined) {
+    const cased = word[0] === word[0]?.toUpperCase();
+    return `${head}${cased ? irregular[0]?.toUpperCase() + irregular.slice(1) : irregular}`;
+  }
+  if (/ies$/.test(word) && word.length > 4)
+    return `${head}${word.slice(0, -3)}y`;
+  if (US_ES.test(word) || SIBILANT_ES.test(word)) {
+    return `${head}${word.slice(0, -2)}`;
+  }
+  if (/[^su]s$/.test(word))
+    return `${head}${word.slice(0, -1)}`;
+  return plural;
+}
+function idWithVerb(name, resource, verbs) {
+  if (Object.hasOwn(verbs, name)) {
+    return `${name}${resource()[verbs[name]]}`;
+  }
+  for (const by of name.matchAll(/By[A-Z]/g)) {
+    const verb = name.slice(0, by.index);
+    if (verb === "" || !Object.hasOwn(verbs, verb))
+      continue;
+    const names = resource();
+    const noun = verb.endsWith("Many") ? names.plural : names.singular;
+    return `${verb}${noun}${name.slice(by.index)}`;
+  }
+  return;
+}
+
+// src/resource.ts
+function optionsOf(program, target) {
+  return program.stateMap($lib.stateKeys.operationIdsOptions).get(target);
+}
+function lineageOf(target) {
+  return [target, ...target.sourceInterfaces.flatMap(lineageOf)];
+}
+function verbsOf(program, target) {
+  const namespaces = [];
+  for (let at = target.namespace;at !== undefined; at = at.namespace) {
+    namespaces.unshift(at);
+  }
+  const layers = [...namespaces, ...lineageOf(target).reverse()];
+  return Object.assign({}, VERBS, ...layers.map((layer) => optionsOf(program, layer)?.verbs ?? {}));
+}
+function resourceOf(program, target) {
+  const options = optionsOf(program, target);
+  const plural = options?.plural || target.name;
+  return { plural, singular: options?.singular || singularOf(plural) };
+}
+function idOf(program, operation) {
+  const container = operation.interface;
+  if (container === undefined)
+    return operation.name;
+  return idWithVerb(operation.name, () => resourceOf(program, container), verbsOf(program, container)) ?? operation.name;
+}
+
+// src/operation-ids.ts
+function operationIds(context, target, options = {}) {
+  const { program } = context;
+  program.stateSet($lib.stateKeys.operationIds).add(target);
+  program.stateMap($lib.stateKeys.operationIdsOptions).set(target, options);
+  if (target.kind === "Namespace" && (options.singular !== undefined || options.plural !== undefined)) {
+    $lib.reportDiagnostic(program, {
+      code: "resource-name-on-namespace",
+      target: context.decoratorTarget
+    });
+  }
 }
 function isMarkedNamespace(program, target) {
   for (let at = target;at !== undefined; at = at.namespace) {
@@ -139,7 +253,7 @@ function validateOperationIds(program) {
         return;
       const named = isNamed(program, operation);
       const own = getOperationId(program, operation);
-      const id = own ?? (named ? operation.name : resolveOperationId(program, operation));
+      const id = own ?? (named ? idOf(program, operation) : resolveOperationId(program, operation));
       const services = servicesOf(program, operation);
       const emitted = services.length > 0 || !hasServices;
       let duplicate = false;
@@ -177,5 +291,5 @@ export {
   $onValidate
 };
 
-//# debugId=EF940BB8E619B41E64756E2164756E21
+//# debugId=FE2157CFD8BDF58A64756E2164756E21
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1,13 +1,15 @@
 {
   "version": 3,
-  "sources": ["../src/one-reply-per-status.ts", "../src/lib.ts", "../src/operation-ids.ts", "../src/index.ts"],
+  "sources": ["../src/one-reply-per-status.ts", "../src/lib.ts", "../src/operation-ids.ts", "../src/verbs.ts", "../src/resource.ts", "../src/index.ts"],
   "sourcesContent": [
     "/**\n * One reply per status: `@typespec/openapi3` merges two replies of one\n * status into one without a word. A reply without a body beside one with a\n * body is lost in the merge, an error; a `void` body is none, as the emitter\n * sees it. Two bodies of one content type are merged under the first reply's\n * description, a warning where the status is a code. Under `*` or a range,\n * where undocumented `@error` models share one description, they pass.\n * Bodies of different content types are one reply, negotiated, and pass.\n */\nimport { isVoidType, type Operation, type Program } from '@typespec/compiler';\nimport {\n\tgetAllHttpServices,\n\ttype HttpOperationResponse,\n\ttype HttpStatusCodesEntry,\n} from '@typespec/http';\nimport { $lib } from './lib';\n\nfunction statusOf(code: HttpStatusCodesEntry): string {\n\treturn typeof code === 'object' ? `${code.start}-${code.end}` : `${code}`;\n}\n\n/** What the emitter's merge costs: a reply, a description, or nothing. */\nfunction mergeOf({\n\tstatusCodes,\n\tresponses,\n}: HttpOperationResponse):\n\t| 'duplicate-status-reply'\n\t| 'merged-status-reply'\n\t| undefined {\n\tconst bodies = responses.flatMap(({ body }) =>\n\t\tbody && !isVoidType(body.type) ? [body] : [],\n\t);\n\tif (bodies.length > 0 && bodies.length < responses.length) {\n\t\treturn 'duplicate-status-reply';\n\t}\n\tif (typeof statusCodes !== 'number') return undefined;\n\tconst seen = new Set<string>();\n\tfor (const body of bodies) {\n\t\tif (body.contentTypes.some((type) => seen.has(type))) {\n\t\t\treturn 'merged-status-reply';\n\t\t}\n\t\tfor (const type of body.contentTypes) seen.add(type);\n\t}\n\treturn undefined;\n}\n\n/**\n * Checks each operation of each service, as the emitter sees it, once: a\n * service nested in another is listed in both. The services' own\n * diagnostics are the emitter's to report.\n */\nexport function validateOneReplyPerStatus(program: Program): void {\n\tconst [services] = getAllHttpServices(program);\n\tconst checked = new Set<Operation>();\n\tfor (const service of services) {\n\t\tfor (const operation of service.operations) {\n\t\t\tif (checked.has(operation.operation)) continue;\n\t\t\tchecked.add(operation.operation);\n\t\t\tfor (const response of operation.responses) {\n\t\t\t\tconst code = mergeOf(response);\n\t\t\t\tif (code === undefined) continue;\n\t\t\t\t$lib.reportDiagnostic(program, {\n\t\t\t\t\tcode,\n\t\t\t\t\tformat: {\n\t\t\t\t\t\toperation: operation.operation.name,\n\t\t\t\t\t\tstatus: statusOf(response.statusCodes),\n\t\t\t\t\t},\n\t\t\t\t\ttarget: operation.operation,\n\t\t\t\t});\n\t\t\t}\n\t\t}\n\t}\n}\n",
-    "/** The library's definition: its name, diagnostics and state keys. */\nimport { createTypeSpecLibrary, paramMessage } from '@typespec/compiler';\n\nexport const $lib = createTypeSpecLibrary({\n\tname: '@nxgt/typespec',\n\tdiagnostics: {\n\t\t'duplicate-operation-id': {\n\t\t\tseverity: 'error',\n\t\t\tmessages: {\n\t\t\t\tdefault: paramMessage`Two operations are named ${'id'}: an OpenAPI operation id must be unique.`,\n\t\t\t},\n\t\t},\n\t\t'duplicate-status-reply': {\n\t\t\tseverity: 'error',\n\t\t\tmessages: {\n\t\t\t\tdefault: paramMessage`${'operation'} declares a reply without a body and one with a body of status ${'status'}: the emitter merges them into one, and the reply without a body is lost. Declare the one the route sends.`,\n\t\t\t},\n\t\t},\n\t\t'merged-status-reply': {\n\t\t\tseverity: 'warning',\n\t\t\tmessages: {\n\t\t\t\tdefault: paramMessage`${'operation'} declares two replies with a body of status ${'status'}: the emitter merges their bodies under the first one's description. Declare the one the route sends.`,\n\t\t\t},\n\t\t},\n\t},\n\tstate: {\n\t\toperationIds: {\n\t\t\tdescription: 'The interfaces and namespaces marked with @operationIds',\n\t\t},\n\t},\n});\n",
-    "/**\n * `@operationIds`: the id of each operation is its name, as written:\n * `@get findPostComments()` is `findPostComments`, where `@typespec/openapi3`\n * would write `Posts_findPostComments`.\n */\nimport {\n\ttype DecoratorContext,\n\ttype Interface,\n\tisService,\n\tisTemplateInstance,\n\tlistServices,\n\ttype Namespace,\n\tnavigateProgram,\n\ttype Operation,\n\ttype Program,\n} from '@typespec/compiler';\nimport {\n\tgetOperationId,\n\tresolveOperationId,\n\tsetOperationId,\n} from '@typespec/openapi';\nimport { $lib } from './lib';\n\n/**\n * Marks the interface or the namespace; its ids are set once the program is\n * checked. On a template, TypeSpec runs it on each instance, which\n * `isMarkedInterface` follows to the interfaces extending it.\n */\nexport function operationIds(\n\tcontext: DecoratorContext,\n\ttarget: Interface | Namespace,\n): void {\n\tcontext.program.stateSet($lib.stateKeys.operationIds).add(target);\n}\n\n/** Marked itself, or in a marked namespace, however deep. */\nfunction isMarkedNamespace(\n\tprogram: Program,\n\ttarget: Namespace | undefined,\n): boolean {\n\tfor (let at = target; at !== undefined; at = at.namespace) {\n\t\tif (program.stateSet($lib.stateKeys.operationIds).has(at)) return true;\n\t}\n\treturn false;\n}\n\n/** Marked itself, or extending a marked interface: an instance of a marked template included. */\nfunction isMarkedInterface(program: Program, target: Interface): boolean {\n\treturn (\n\t\tprogram.stateSet($lib.stateKeys.operationIds).has(target) ||\n\t\ttarget.sourceInterfaces.some((source) => isMarkedInterface(program, source))\n\t);\n}\n\n/**\n * Whether `@operationIds` names the operation's id, or checks it: its\n * interface or one of its namespaces is marked. An interface template's\n * instance is never emitted; only the interfaces extending it are.\n */\nfunction isNamed(program: Program, operation: Operation): boolean {\n\tconst container = operation.interface;\n\tif (container === undefined) {\n\t\treturn isMarkedNamespace(program, operation.namespace);\n\t}\n\treturn (\n\t\t!isTemplateInstance(container) &&\n\t\t(isMarkedInterface(program, container) ||\n\t\t\tisMarkedNamespace(program, container.namespace))\n\t);\n}\n\n/**\n * Whether the emitter writes the operation: not an instance of an operation\n * template, `Read<Pet>`, nor an operation of an interface template's\n * instance. An interface extending an instance copies its operations, which\n * are instances too, and emitted.\n */\nfunction isEmitted(operation: Operation): boolean {\n\tconst container = operation.interface;\n\tif (container === undefined) return !isTemplateInstance(operation);\n\treturn !isTemplateInstance(container);\n}\n\n/**\n * The services whose document the operation is in: each `@service`\n * namespace around it, a nested one and the one outside it both. None, in a\n * program without a service, is the one document the emitter writes; in a\n * program with one, no document at all.\n */\nfunction servicesOf(program: Program, operation: Operation): Namespace[] {\n\tconst services: Namespace[] = [];\n\tfor (\n\t\tlet at = operation.interface?.namespace ?? operation.namespace;\n\t\tat !== undefined;\n\t\tat = at.namespace\n\t) {\n\t\tif (isService(program, at)) services.push(at);\n\t}\n\treturn services;\n}\n\n/**\n * Sets the ids, after every decorator, so the order of `@operationId` and\n * `@operationIds` in the source does not matter. Two operations with one id\n * in one service's document, one of them named by `@operationIds`, are an\n * error: one name in two interfaces, an interface that `extends` another and\n * so copies its operations, or an `@operationId` written elsewhere.\n * `@typespec/openapi3` would emit both without a word. An operation\n * template's instance, such as `Read<Pet>`, is never emitted; only the\n * operations declared from it (`op readPet is Read<Pet>`) are.\n */\nexport function validateOperationIds(program: Program): void {\n\tconst seen = new Map<Namespace | undefined, Map<string, boolean>>();\n\tconst hasServices = listServices(program).length > 0;\n\tnavigateProgram(program, {\n\t\toperation(operation) {\n\t\t\tif (!isEmitted(operation)) return;\n\t\t\tconst named = isNamed(program, operation);\n\t\t\tconst own = getOperationId(program, operation);\n\t\t\t// Elsewhere, only checked: the id `@typespec/openapi3` gives under its\n\t\t\t// default strategy.\n\t\t\tconst id =\n\t\t\t\town ??\n\t\t\t\t(named ? operation.name : resolveOperationId(program, operation));\n\t\t\tconst services = servicesOf(program, operation);\n\t\t\t// Outside every service of a program that has one: in no document.\n\t\t\tconst emitted = services.length > 0 || !hasServices;\n\t\t\tlet duplicate = false;\n\t\t\tfor (const service of services.length > 0 ? services : [undefined]) {\n\t\t\t\tconst ids = seen.get(service) ?? new Map<string, boolean>();\n\t\t\t\tseen.set(service, ids);\n\t\t\t\tif (emitted && ids.has(id) && (named || ids.get(id))) duplicate = true;\n\t\t\t\tids.set(id, named || (ids.get(id) ?? false));\n\t\t\t}\n\t\t\tif (duplicate) {\n\t\t\t\t$lib.reportDiagnostic(program, {\n\t\t\t\t\tcode: 'duplicate-operation-id',\n\t\t\t\t\tformat: { id },\n\t\t\t\t\ttarget: operation,\n\t\t\t\t});\n\t\t\t}\n\t\t\t// Only the ids it gives: an explicit id on any other operation would\n\t\t\t// override the emitter's `operation-id-strategy`.\n\t\t\tif (named && own === undefined) setOperationId(program, operation, id);\n\t\t},\n\t});\n}\n",
+    "/** The library's definition: its name, diagnostics and state keys. */\nimport { createTypeSpecLibrary, paramMessage } from '@typespec/compiler';\n\nexport const $lib = createTypeSpecLibrary({\n\tname: '@nxgt/typespec',\n\tdiagnostics: {\n\t\t'duplicate-operation-id': {\n\t\t\tseverity: 'error',\n\t\t\tmessages: {\n\t\t\t\tdefault: paramMessage`Two operations are named ${'id'}: an OpenAPI operation id must be unique.`,\n\t\t\t},\n\t\t},\n\t\t'resource-name-on-namespace': {\n\t\t\tseverity: 'error',\n\t\t\tmessages: {\n\t\t\t\tdefault:\n\t\t\t\t\t\"`singular` and `plural` name an interface's resource: a namespace has none. Put them on the interface.\",\n\t\t\t},\n\t\t},\n\t\t'duplicate-status-reply': {\n\t\t\tseverity: 'error',\n\t\t\tmessages: {\n\t\t\t\tdefault: paramMessage`${'operation'} declares a reply without a body and one with a body of status ${'status'}: the emitter merges them into one, and the reply without a body is lost. Declare the one the route sends.`,\n\t\t\t},\n\t\t},\n\t\t'merged-status-reply': {\n\t\t\tseverity: 'warning',\n\t\t\tmessages: {\n\t\t\t\tdefault: paramMessage`${'operation'} declares two replies with a body of status ${'status'}: the emitter merges their bodies under the first one's description. Declare the one the route sends.`,\n\t\t\t},\n\t\t},\n\t},\n\tstate: {\n\t\toperationIds: {\n\t\t\tdescription: 'The interfaces and namespaces marked with @operationIds',\n\t\t},\n\t\toperationIdsOptions: {\n\t\t\tdescription:\n\t\t\t\t\"Each marked interface's or namespace's @operationIds options\",\n\t\t},\n\t},\n});\n",
+    "/**\n * `@operationIds`: the id of each operation is its name, as written:\n * `@get findPostComments()` is `findPostComments`, where `@typespec/openapi3`\n * would write `Posts_findPostComments`. In an interface, a known verb takes\n * the interface's resource: `create` in `Users` is `createUser` (`verbs.ts`).\n */\nimport {\n\ttype DecoratorContext,\n\ttype Interface,\n\tisService,\n\tisTemplateInstance,\n\tlistServices,\n\ttype Namespace,\n\tnavigateProgram,\n\ttype Operation,\n\ttype Program,\n} from '@typespec/compiler';\nimport {\n\tgetOperationId,\n\tresolveOperationId,\n\tsetOperationId,\n} from '@typespec/openapi';\nimport { $lib } from './lib';\nimport { idOf, type OperationIdsOptions } from './resource';\n\n/**\n * Marks the interface or the namespace; its ids are set once the program is\n * checked. On a template, TypeSpec runs it on each instance, which\n * `isMarkedInterface` follows to the interfaces extending it. A namespace\n * has no resource to name: `singular` and `plural` are an interface's.\n */\nexport function operationIds(\n\tcontext: DecoratorContext,\n\ttarget: Interface | Namespace,\n\toptions: OperationIdsOptions = {},\n): void {\n\tconst { program } = context;\n\tprogram.stateSet($lib.stateKeys.operationIds).add(target);\n\tprogram.stateMap($lib.stateKeys.operationIdsOptions).set(target, options);\n\tif (\n\t\ttarget.kind === 'Namespace' &&\n\t\t(options.singular !== undefined || options.plural !== undefined)\n\t) {\n\t\t$lib.reportDiagnostic(program, {\n\t\t\tcode: 'resource-name-on-namespace',\n\t\t\ttarget: context.decoratorTarget,\n\t\t});\n\t}\n}\n\n/** Marked itself, or in a marked namespace, however deep. */\nfunction isMarkedNamespace(\n\tprogram: Program,\n\ttarget: Namespace | undefined,\n): boolean {\n\tfor (let at = target; at !== undefined; at = at.namespace) {\n\t\tif (program.stateSet($lib.stateKeys.operationIds).has(at)) return true;\n\t}\n\treturn false;\n}\n\n/** Marked itself, or extending a marked interface: an instance of a marked template included. */\nfunction isMarkedInterface(program: Program, target: Interface): boolean {\n\treturn (\n\t\tprogram.stateSet($lib.stateKeys.operationIds).has(target) ||\n\t\ttarget.sourceInterfaces.some((source) => isMarkedInterface(program, source))\n\t);\n}\n\n/**\n * Whether `@operationIds` names the operation's id, or checks it: its\n * interface or one of its namespaces is marked. An interface template's\n * instance is never emitted; only the interfaces extending it are.\n */\nfunction isNamed(program: Program, operation: Operation): boolean {\n\tconst container = operation.interface;\n\tif (container === undefined) {\n\t\treturn isMarkedNamespace(program, operation.namespace);\n\t}\n\treturn (\n\t\t!isTemplateInstance(container) &&\n\t\t(isMarkedInterface(program, container) ||\n\t\t\tisMarkedNamespace(program, container.namespace))\n\t);\n}\n\n/**\n * Whether the emitter writes the operation: not an instance of an operation\n * template, `Read<Pet>`, nor an operation of an interface template's\n * instance. An interface extending an instance copies its operations, which\n * are instances too, and emitted.\n */\nfunction isEmitted(operation: Operation): boolean {\n\tconst container = operation.interface;\n\tif (container === undefined) return !isTemplateInstance(operation);\n\treturn !isTemplateInstance(container);\n}\n\n/**\n * The services whose document the operation is in: each `@service`\n * namespace around it, a nested one and the one outside it both. None, in a\n * program without a service, is the one document the emitter writes; in a\n * program with one, no document at all.\n */\nfunction servicesOf(program: Program, operation: Operation): Namespace[] {\n\tconst services: Namespace[] = [];\n\tfor (\n\t\tlet at = operation.interface?.namespace ?? operation.namespace;\n\t\tat !== undefined;\n\t\tat = at.namespace\n\t) {\n\t\tif (isService(program, at)) services.push(at);\n\t}\n\treturn services;\n}\n\n/**\n * Sets the ids, after every decorator, so the order of `@operationId` and\n * `@operationIds` in the source does not matter. Two operations with one id\n * in one service's document, one of them named by `@operationIds`, are an\n * error: one name in two interfaces, an interface that `extends` another and\n * so copies its operations, or an `@operationId` written elsewhere.\n * `@typespec/openapi3` would emit both without a word. An operation\n * template's instance, such as `Read<Pet>`, is never emitted; only the\n * operations declared from it (`op readPet is Read<Pet>`) are.\n */\nexport function validateOperationIds(program: Program): void {\n\tconst seen = new Map<Namespace | undefined, Map<string, boolean>>();\n\tconst hasServices = listServices(program).length > 0;\n\tnavigateProgram(program, {\n\t\toperation(operation) {\n\t\t\tif (!isEmitted(operation)) return;\n\t\t\tconst named = isNamed(program, operation);\n\t\t\tconst own = getOperationId(program, operation);\n\t\t\t// Elsewhere, only checked: the id `@typespec/openapi3` gives under its\n\t\t\t// default strategy.\n\t\t\tconst id =\n\t\t\t\town ??\n\t\t\t\t(named\n\t\t\t\t\t? idOf(program, operation)\n\t\t\t\t\t: resolveOperationId(program, operation));\n\t\t\tconst services = servicesOf(program, operation);\n\t\t\t// Outside every service of a program that has one: in no document.\n\t\t\tconst emitted = services.length > 0 || !hasServices;\n\t\t\tlet duplicate = false;\n\t\t\tfor (const service of services.length > 0 ? services : [undefined]) {\n\t\t\t\tconst ids = seen.get(service) ?? new Map<string, boolean>();\n\t\t\t\tseen.set(service, ids);\n\t\t\t\tif (emitted && ids.has(id) && (named || ids.get(id))) duplicate = true;\n\t\t\t\tids.set(id, named || (ids.get(id) ?? false));\n\t\t\t}\n\t\t\tif (duplicate) {\n\t\t\t\t$lib.reportDiagnostic(program, {\n\t\t\t\t\tcode: 'duplicate-operation-id',\n\t\t\t\t\tformat: { id },\n\t\t\t\t\ttarget: operation,\n\t\t\t\t});\n\t\t\t}\n\t\t\t// Only the ids it gives: an explicit id on any other operation would\n\t\t\t// override the emitter's `operation-id-strategy`.\n\t\t\tif (named && own === undefined) setOperationId(program, operation, id);\n\t\t},\n\t});\n}\n",
+    "/**\n * The verbs `@operationIds` completes with an interface's resource: `create`\n * in `Users` is `createUser`, `list` is `listUsers`, and `findById` is\n * `findUserById`. Any other name is the id as written.\n */\n\n/** Whether a verb takes the resource's singular or its plural. */\nexport type Grammar = 'singular' | 'plural';\n\n/** A resource's two names: `User` and `Users`. */\nexport interface Resource {\n\treadonly singular: string;\n\treadonly plural: string;\n}\n\n/** The library's own verbs. */\nexport const VERBS: Readonly<Record<string, Grammar>> = {\n\tlist: 'plural',\n\tread: 'plural',\n\tfind: 'plural',\n\tsearch: 'plural',\n\tcount: 'plural',\n\tcreateMany: 'plural',\n\tupdateMany: 'plural',\n\tdeleteMany: 'plural',\n\tget: 'singular',\n\tcreate: 'singular',\n\tupdate: 'singular',\n\tpatch: 'singular',\n\treplace: 'singular',\n\tupsert: 'singular',\n\tdelete: 'singular',\n};\n\n/** Plurals the rules below get wrong, by their singular. */\nconst IRREGULAR: Readonly<Record<string, string>> = {\n\tpeople: 'person',\n\tchildren: 'child',\n\tmen: 'man',\n\twomen: 'woman',\n\tmice: 'mouse',\n\tfeet: 'foot',\n\tteeth: 'tooth',\n\tgeese: 'goose',\n\tmovies: 'movie',\n\tcookies: 'cookie',\n\tseries: 'series',\n\tspecies: 'species',\n\tnews: 'news',\n};\n\n/** `-es` plurals of a singular in `-us`: `Statuses`, not `Houses`. */\nconst US_ES = /(stat|bon|camp|vir|b|foc|cens|corp|radi|syllab)uses$/i;\n\n/** `-es` plurals of a singular in a sibilant: `Boxes`, `Matches`, `Wishes`. */\nconst SIBILANT_ES = /(ss|x|zz|sh|tch|nch|rch|oach)es$/i;\n\n/**\n * The singular of a plural name, by a short English rule on its last word:\n * `Users`, `BlogPosts`, `Categories`, `Addresses`, `Statuses`, `People`. A\n * guess: it misses some (`Heroes`, `Analysis`), which `singular` names.\n */\nexport function singularOf(plural: string): string {\n\tconst word = /[A-Z]?[a-z0-9]*$/.exec(plural)?.[0] ?? '';\n\tconst head = plural.slice(0, plural.length - word.length);\n\tconst key = word.toLowerCase();\n\tconst irregular = Object.hasOwn(IRREGULAR, key) ? IRREGULAR[key] : undefined;\n\tif (irregular !== undefined) {\n\t\tconst cased = word[0] === word[0]?.toUpperCase();\n\t\treturn `${head}${cased ? irregular[0]?.toUpperCase() + irregular.slice(1) : irregular}`;\n\t}\n\tif (/ies$/.test(word) && word.length > 4)\n\t\treturn `${head}${word.slice(0, -3)}y`;\n\tif (US_ES.test(word) || SIBILANT_ES.test(word)) {\n\t\treturn `${head}${word.slice(0, -2)}`;\n\t}\n\tif (/[^su]s$/.test(word)) return `${head}${word.slice(0, -1)}`;\n\treturn plural;\n}\n\n/**\n * The id of an operation of a resource: the verb and the resource's singular\n * or plural, or the verb, the resource and the rest of a `By` name:\n * `findById` to `findUserById`, the singular, but `deleteManyByTeam` to\n * `deleteManyUsersByTeam`, the plural of a `*Many` verb. `undefined` when\n * the name is none of them. The resource is taken only then.\n */\nexport function idWithVerb(\n\tname: string,\n\tresource: () => Resource,\n\tverbs: Readonly<Record<string, Grammar>>,\n): string | undefined {\n\tif (Object.hasOwn(verbs, name)) {\n\t\treturn `${name}${resource()[verbs[name] as Grammar]}`;\n\t}\n\tfor (const by of name.matchAll(/By[A-Z]/g)) {\n\t\tconst verb = name.slice(0, by.index);\n\t\tif (verb === '' || !Object.hasOwn(verbs, verb)) continue;\n\t\tconst names = resource();\n\t\tconst noun = verb.endsWith('Many') ? names.plural : names.singular;\n\t\treturn `${verb}${noun}${name.slice(by.index)}`;\n\t}\n\treturn undefined;\n}\n",
+    "/**\n * What `@operationIds` names an operation of an interface after: the\n * interface's resource, its singular and plural, and the verbs that take\n * them, layered from the library's, the namespaces', and the interface's.\n */\nimport type {\n\tInterface,\n\tNamespace,\n\tOperation,\n\tProgram,\n} from '@typespec/compiler';\nimport { $lib } from './lib';\nimport {\n\ttype Grammar,\n\tidWithVerb,\n\ttype Resource,\n\tsingularOf,\n\tVERBS,\n} from './verbs';\n\n/** `@operationIds`' options, as `OperationIdsOptions` declares them. */\nexport interface OperationIdsOptions {\n\treadonly singular?: string;\n\treadonly plural?: string;\n\treadonly verbs?: Readonly<Record<string, Grammar>>;\n}\n\nfunction optionsOf(\n\tprogram: Program,\n\ttarget: Interface | Namespace,\n): OperationIdsOptions | undefined {\n\treturn program.stateMap($lib.stateKeys.operationIdsOptions).get(target);\n}\n\n/** The interface, then those it extends, however deep. */\nfunction lineageOf(target: Interface): Interface[] {\n\treturn [target, ...target.sourceInterfaces.flatMap(lineageOf)];\n}\n\n/**\n * The verbs an interface's operations take: the library's, then each marked\n * namespace's around it, outermost first, then its lineage's, its own last,\n * each overriding the one before.\n */\nfunction verbsOf(program: Program, target: Interface): Record<string, Grammar> {\n\tconst namespaces: Namespace[] = [];\n\tfor (let at = target.namespace; at !== undefined; at = at.namespace) {\n\t\tnamespaces.unshift(at);\n\t}\n\tconst layers = [...namespaces, ...lineageOf(target).reverse()];\n\treturn Object.assign(\n\t\t{},\n\t\tVERBS,\n\t\t...layers.map((layer) => optionsOf(program, layer)?.verbs ?? {}),\n\t);\n}\n\n/**\n * An interface's resource: its own `plural`, or its name, and its own\n * `singular`, or the plural's singular. Never an interface it extends: two\n * interfaces extending one would share its names, and collide.\n */\nfunction resourceOf(program: Program, target: Interface): Resource {\n\tconst options = optionsOf(program, target);\n\tconst plural = options?.plural || target.name;\n\treturn { plural, singular: options?.singular || singularOf(plural) };\n}\n\n/** The id `@operationIds` gives: the name as written, or a verb with its resource. */\nexport function idOf(program: Program, operation: Operation): string {\n\tconst container = operation.interface;\n\tif (container === undefined) return operation.name;\n\treturn (\n\t\tidWithVerb(\n\t\t\toperation.name,\n\t\t\t() => resourceOf(program, container),\n\t\t\tverbsOf(program, container),\n\t\t) ?? operation.name\n\t);\n}\n",
     "/**\n * The JavaScript side of the `@nxgt/typespec` library, which `lib/main.tsp`\n * imports from `dist/`: its name and diagnostics, and the decorators a\n * template cannot express. The conventions themselves are in `lib/`.\n *\n * A decorator is exported only through `$decorators`: a top-level `$name`\n * export would declare it a second time, in the global namespace.\n */\nimport type { Program } from '@typespec/compiler';\nimport { validateOneReplyPerStatus } from './one-reply-per-status';\nimport { operationIds, validateOperationIds } from './operation-ids';\n\nexport { $lib } from './lib';\n\nexport function $onValidate(program: Program): void {\n\tvalidateOperationIds(program);\n\tvalidateOneReplyPerStatus(program);\n}\n\nexport const $decorators = {\n\tNxgt: { operationIds },\n};\n"
   ],
-  "mappings": ";AASA;AACA;AAAA;AAAA;;;ACTA;AAEO,IAAM,OAAO,sBAAsB;AAAA,EACzC,MAAM;AAAA,EACN,aAAa;AAAA,IACZ,0BAA0B;AAAA,MACzB,UAAU;AAAA,MACV,UAAU;AAAA,QACT,SAAS,wCAAwC;AAAA,MAClD;AAAA,IACD;AAAA,IACA,0BAA0B;AAAA,MACzB,UAAU;AAAA,MACV,UAAU;AAAA,QACT,SAAS,eAAe,6EAA6E;AAAA,MACtG;AAAA,IACD;AAAA,IACA,uBAAuB;AAAA,MACtB,UAAU;AAAA,MACV,UAAU;AAAA,QACT,SAAS,eAAe,0DAA0D;AAAA,MACnF;AAAA,IACD;AAAA,EACD;AAAA,EACA,OAAO;AAAA,IACN,cAAc;AAAA,MACb,aAAa;AAAA,IACd;AAAA,EACD;AACD,CAAC;;;ADbD,SAAS,QAAQ,CAAC,MAAoC;AAAA,EACrD,OAAO,OAAO,SAAS,WAAW,GAAG,KAAK,SAAS,KAAK,QAAQ,GAAG;AAAA;AAIpE,SAAS,OAAO;AAAA,EACf;AAAA,EACA;AAAA,GAIY;AAAA,EACZ,MAAM,SAAS,UAAU,QAAQ,GAAG,WACnC,QAAQ,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAC5C;AAAA,EACA,IAAI,OAAO,SAAS,KAAK,OAAO,SAAS,UAAU,QAAQ;AAAA,IAC1D,OAAO;AAAA,EACR;AAAA,EACA,IAAI,OAAO,gBAAgB;AAAA,IAAU;AAAA,EACrC,MAAM,OAAO,IAAI;AAAA,EACjB,WAAW,QAAQ,QAAQ;AAAA,IAC1B,IAAI,KAAK,aAAa,KAAK,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,GAAG;AAAA,MACrD,OAAO;AAAA,IACR;AAAA,IACA,WAAW,QAAQ,KAAK;AAAA,MAAc,KAAK,IAAI,IAAI;AAAA,EACpD;AAAA,EACA;AAAA;AAQM,SAAS,yBAAyB,CAAC,SAAwB;AAAA,EACjE,OAAO,YAAY,mBAAmB,OAAO;AAAA,EAC7C,MAAM,UAAU,IAAI;AAAA,EACpB,WAAW,WAAW,UAAU;AAAA,IAC/B,WAAW,aAAa,QAAQ,YAAY;AAAA,MAC3C,IAAI,QAAQ,IAAI,UAAU,SAAS;AAAA,QAAG;AAAA,MACtC,QAAQ,IAAI,UAAU,SAAS;AAAA,MAC/B,WAAW,YAAY,UAAU,WAAW;AAAA,QAC3C,MAAM,OAAO,QAAQ,QAAQ;AAAA,QAC7B,IAAI,SAAS;AAAA,UAAW;AAAA,QACxB,KAAK,iBAAiB,SAAS;AAAA,UAC9B;AAAA,UACA,QAAQ;AAAA,YACP,WAAW,UAAU,UAAU;AAAA,YAC/B,QAAQ,SAAS,SAAS,WAAW;AAAA,UACtC;AAAA,UACA,QAAQ,UAAU;AAAA,QACnB,CAAC;AAAA,MACF;AAAA,IACD;AAAA,EACD;AAAA;;;AElED;AAAA;AAAA;AAAA;AAAA;AAAA;AAWA;AAAA;AAAA;AAAA;AAAA;AAYO,SAAS,YAAY,CAC3B,SACA,QACO;AAAA,EACP,QAAQ,QAAQ,SAAS,KAAK,UAAU,YAAY,EAAE,IAAI,MAAM;AAAA;AAIjE,SAAS,iBAAiB,CACzB,SACA,QACU;AAAA,EACV,SAAS,KAAK,OAAQ,OAAO,WAAW,KAAK,GAAG,WAAW;AAAA,IAC1D,IAAI,QAAQ,SAAS,KAAK,UAAU,YAAY,EAAE,IAAI,EAAE;AAAA,MAAG,OAAO;AAAA,EACnE;AAAA,EACA,OAAO;AAAA;AAIR,SAAS,iBAAiB,CAAC,SAAkB,QAA4B;AAAA,EACxE,OACC,QAAQ,SAAS,KAAK,UAAU,YAAY,EAAE,IAAI,MAAM,KACxD,OAAO,iBAAiB,KAAK,CAAC,WAAW,kBAAkB,SAAS,MAAM,CAAC;AAAA;AAS7E,SAAS,OAAO,CAAC,SAAkB,WAA+B;AAAA,EACjE,MAAM,YAAY,UAAU;AAAA,EAC5B,IAAI,cAAc,WAAW;AAAA,IAC5B,OAAO,kBAAkB,SAAS,UAAU,SAAS;AAAA,EACtD;AAAA,EACA,OACC,CAAC,mBAAmB,SAAS,MAC5B,kBAAkB,SAAS,SAAS,KACpC,kBAAkB,SAAS,UAAU,SAAS;AAAA;AAUjD,SAAS,SAAS,CAAC,WAA+B;AAAA,EACjD,MAAM,YAAY,UAAU;AAAA,EAC5B,IAAI,cAAc;AAAA,IAAW,OAAO,CAAC,mBAAmB,SAAS;AAAA,EACjE,OAAO,CAAC,mBAAmB,SAAS;AAAA;AASrC,SAAS,UAAU,CAAC,SAAkB,WAAmC;AAAA,EACxE,MAAM,WAAwB,CAAC;AAAA,EAC/B,SACK,KAAK,UAAU,WAAW,aAAa,UAAU,UACrD,OAAO,WACP,KAAK,GAAG,WACP;AAAA,IACD,IAAI,UAAU,SAAS,EAAE;AAAA,MAAG,SAAS,KAAK,EAAE;AAAA,EAC7C;AAAA,EACA,OAAO;AAAA;AAaD,SAAS,oBAAoB,CAAC,SAAwB;AAAA,EAC5D,MAAM,OAAO,IAAI;AAAA,EACjB,MAAM,cAAc,aAAa,OAAO,EAAE,SAAS;AAAA,EACnD,gBAAgB,SAAS;AAAA,IACxB,SAAS,CAAC,WAAW;AAAA,MACpB,IAAI,CAAC,UAAU,SAAS;AAAA,QAAG;AAAA,MAC3B,MAAM,QAAQ,QAAQ,SAAS,SAAS;AAAA,MACxC,MAAM,MAAM,eAAe,SAAS,SAAS;AAAA,MAG7C,MAAM,KACL,QACC,QAAQ,UAAU,OAAO,mBAAmB,SAAS,SAAS;AAAA,MAChE,MAAM,WAAW,WAAW,SAAS,SAAS;AAAA,MAE9C,MAAM,UAAU,SAAS,SAAS,KAAK,CAAC;AAAA,MACxC,IAAI,YAAY;AAAA,MAChB,WAAW,WAAW,SAAS,SAAS,IAAI,WAAW,CAAC,SAAS,GAAG;AAAA,QACnE,MAAM,MAAM,KAAK,IAAI,OAAO,KAAK,IAAI;AAAA,QACrC,KAAK,IAAI,SAAS,GAAG;AAAA,QACrB,IAAI,WAAW,IAAI,IAAI,EAAE,MAAM,SAAS,IAAI,IAAI,EAAE;AAAA,UAAI,YAAY;AAAA,QAClE,IAAI,IAAI,IAAI,UAAU,IAAI,IAAI,EAAE,KAAK,MAAM;AAAA,MAC5C;AAAA,MACA,IAAI,WAAW;AAAA,QACd,KAAK,iBAAiB,SAAS;AAAA,UAC9B,MAAM;AAAA,UACN,QAAQ,EAAE,GAAG;AAAA,UACb,QAAQ;AAAA,QACT,CAAC;AAAA,MACF;AAAA,MAGA,IAAI,SAAS,QAAQ;AAAA,QAAW,eAAe,SAAS,WAAW,EAAE;AAAA;AAAA,EAEvE,CAAC;AAAA;;;ACnIK,SAAS,WAAW,CAAC,SAAwB;AAAA,EACnD,qBAAqB,OAAO;AAAA,EAC5B,0BAA0B,OAAO;AAAA;AAG3B,IAAM,cAAc;AAAA,EAC1B,MAAM,EAAE,aAAa;AACtB;",
-  "debugId": "EF940BB8E619B41E64756E2164756E21",
+  "mappings": ";AASA;AACA;AAAA;AAAA;;;ACTA;AAEO,IAAM,OAAO,sBAAsB;AAAA,EACzC,MAAM;AAAA,EACN,aAAa;AAAA,IACZ,0BAA0B;AAAA,MACzB,UAAU;AAAA,MACV,UAAU;AAAA,QACT,SAAS,wCAAwC;AAAA,MAClD;AAAA,IACD;AAAA,IACA,8BAA8B;AAAA,MAC7B,UAAU;AAAA,MACV,UAAU;AAAA,QACT,SACC;AAAA,MACF;AAAA,IACD;AAAA,IACA,0BAA0B;AAAA,MACzB,UAAU;AAAA,MACV,UAAU;AAAA,QACT,SAAS,eAAe,6EAA6E;AAAA,MACtG;AAAA,IACD;AAAA,IACA,uBAAuB;AAAA,MACtB,UAAU;AAAA,MACV,UAAU;AAAA,QACT,SAAS,eAAe,0DAA0D;AAAA,MACnF;AAAA,IACD;AAAA,EACD;AAAA,EACA,OAAO;AAAA,IACN,cAAc;AAAA,MACb,aAAa;AAAA,IACd;AAAA,IACA,qBAAqB;AAAA,MACpB,aACC;AAAA,IACF;AAAA,EACD;AACD,CAAC;;;ADxBD,SAAS,QAAQ,CAAC,MAAoC;AAAA,EACrD,OAAO,OAAO,SAAS,WAAW,GAAG,KAAK,SAAS,KAAK,QAAQ,GAAG;AAAA;AAIpE,SAAS,OAAO;AAAA,EACf;AAAA,EACA;AAAA,GAIY;AAAA,EACZ,MAAM,SAAS,UAAU,QAAQ,GAAG,WACnC,QAAQ,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAC5C;AAAA,EACA,IAAI,OAAO,SAAS,KAAK,OAAO,SAAS,UAAU,QAAQ;AAAA,IAC1D,OAAO;AAAA,EACR;AAAA,EACA,IAAI,OAAO,gBAAgB;AAAA,IAAU;AAAA,EACrC,MAAM,OAAO,IAAI;AAAA,EACjB,WAAW,QAAQ,QAAQ;AAAA,IAC1B,IAAI,KAAK,aAAa,KAAK,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,GAAG;AAAA,MACrD,OAAO;AAAA,IACR;AAAA,IACA,WAAW,QAAQ,KAAK;AAAA,MAAc,KAAK,IAAI,IAAI;AAAA,EACpD;AAAA,EACA;AAAA;AAQM,SAAS,yBAAyB,CAAC,SAAwB;AAAA,EACjE,OAAO,YAAY,mBAAmB,OAAO;AAAA,EAC7C,MAAM,UAAU,IAAI;AAAA,EACpB,WAAW,WAAW,UAAU;AAAA,IAC/B,WAAW,aAAa,QAAQ,YAAY;AAAA,MAC3C,IAAI,QAAQ,IAAI,UAAU,SAAS;AAAA,QAAG;AAAA,MACtC,QAAQ,IAAI,UAAU,SAAS;AAAA,MAC/B,WAAW,YAAY,UAAU,WAAW;AAAA,QAC3C,MAAM,OAAO,QAAQ,QAAQ;AAAA,QAC7B,IAAI,SAAS;AAAA,UAAW;AAAA,QACxB,KAAK,iBAAiB,SAAS;AAAA,UAC9B;AAAA,UACA,QAAQ;AAAA,YACP,WAAW,UAAU,UAAU;AAAA,YAC/B,QAAQ,SAAS,SAAS,WAAW;AAAA,UACtC;AAAA,UACA,QAAQ,UAAU;AAAA,QACnB,CAAC;AAAA,MACF;AAAA,IACD;AAAA,EACD;AAAA;;;AEjED;AAAA;AAAA;AAAA;AAAA;AAAA;AAWA;AAAA;AAAA;AAAA;AAAA;;;ACDO,IAAM,QAA2C;AAAA,EACvD,MAAM;AAAA,EACN,MAAM;AAAA,EACN,MAAM;AAAA,EACN,QAAQ;AAAA,EACR,OAAO;AAAA,EACP,YAAY;AAAA,EACZ,YAAY;AAAA,EACZ,YAAY;AAAA,EACZ,KAAK;AAAA,EACL,QAAQ;AAAA,EACR,QAAQ;AAAA,EACR,OAAO;AAAA,EACP,SAAS;AAAA,EACT,QAAQ;AAAA,EACR,QAAQ;AACT;AAGA,IAAM,YAA8C;AAAA,EACnD,QAAQ;AAAA,EACR,UAAU;AAAA,EACV,KAAK;AAAA,EACL,OAAO;AAAA,EACP,MAAM;AAAA,EACN,MAAM;AAAA,EACN,OAAO;AAAA,EACP,OAAO;AAAA,EACP,QAAQ;AAAA,EACR,SAAS;AAAA,EACT,QAAQ;AAAA,EACR,SAAS;AAAA,EACT,MAAM;AACP;AAGA,IAAM,QAAQ;AAGd,IAAM,cAAc;AAOb,SAAS,UAAU,CAAC,QAAwB;AAAA,EAClD,MAAM,OAAO,mBAAmB,KAAK,MAAM,IAAI,MAAM;AAAA,EACrD,MAAM,OAAO,OAAO,MAAM,GAAG,OAAO,SAAS,KAAK,MAAM;AAAA,EACxD,MAAM,MAAM,KAAK,YAAY;AAAA,EAC7B,MAAM,YAAY,OAAO,OAAO,WAAW,GAAG,IAAI,UAAU,OAAO;AAAA,EACnE,IAAI,cAAc,WAAW;AAAA,IAC5B,MAAM,QAAQ,KAAK,OAAO,KAAK,IAAI,YAAY;AAAA,IAC/C,OAAO,GAAG,OAAO,QAAQ,UAAU,IAAI,YAAY,IAAI,UAAU,MAAM,CAAC,IAAI;AAAA,EAC7E;AAAA,EACA,IAAI,OAAO,KAAK,IAAI,KAAK,KAAK,SAAS;AAAA,IACtC,OAAO,GAAG,OAAO,KAAK,MAAM,GAAG,EAAE;AAAA,EAClC,IAAI,MAAM,KAAK,IAAI,KAAK,YAAY,KAAK,IAAI,GAAG;AAAA,IAC/C,OAAO,GAAG,OAAO,KAAK,MAAM,GAAG,EAAE;AAAA,EAClC;AAAA,EACA,IAAI,UAAU,KAAK,IAAI;AAAA,IAAG,OAAO,GAAG,OAAO,KAAK,MAAM,GAAG,EAAE;AAAA,EAC3D,OAAO;AAAA;AAUD,SAAS,UAAU,CACzB,MACA,UACA,OACqB;AAAA,EACrB,IAAI,OAAO,OAAO,OAAO,IAAI,GAAG;AAAA,IAC/B,OAAO,GAAG,OAAO,SAAS,EAAE,MAAM;AAAA,EACnC;AAAA,EACA,WAAW,MAAM,KAAK,SAAS,UAAU,GAAG;AAAA,IAC3C,MAAM,OAAO,KAAK,MAAM,GAAG,GAAG,KAAK;AAAA,IACnC,IAAI,SAAS,MAAM,CAAC,OAAO,OAAO,OAAO,IAAI;AAAA,MAAG;AAAA,IAChD,MAAM,QAAQ,SAAS;AAAA,IACvB,MAAM,OAAO,KAAK,SAAS,MAAM,IAAI,MAAM,SAAS,MAAM;AAAA,IAC1D,OAAO,GAAG,OAAO,OAAO,KAAK,MAAM,GAAG,KAAK;AAAA,EAC5C;AAAA,EACA;AAAA;;;AC3ED,SAAS,SAAS,CACjB,SACA,QACkC;AAAA,EAClC,OAAO,QAAQ,SAAS,KAAK,UAAU,mBAAmB,EAAE,IAAI,MAAM;AAAA;AAIvE,SAAS,SAAS,CAAC,QAAgC;AAAA,EAClD,OAAO,CAAC,QAAQ,GAAG,OAAO,iBAAiB,QAAQ,SAAS,CAAC;AAAA;AAQ9D,SAAS,OAAO,CAAC,SAAkB,QAA4C;AAAA,EAC9E,MAAM,aAA0B,CAAC;AAAA,EACjC,SAAS,KAAK,OAAO,UAAW,OAAO,WAAW,KAAK,GAAG,WAAW;AAAA,IACpE,WAAW,QAAQ,EAAE;AAAA,EACtB;AAAA,EACA,MAAM,SAAS,CAAC,GAAG,YAAY,GAAG,UAAU,MAAM,EAAE,QAAQ,CAAC;AAAA,EAC7D,OAAO,OAAO,OACb,CAAC,GACD,OACA,GAAG,OAAO,IAAI,CAAC,UAAU,UAAU,SAAS,KAAK,GAAG,SAAS,CAAC,CAAC,CAChE;AAAA;AAQD,SAAS,UAAU,CAAC,SAAkB,QAA6B;AAAA,EAClE,MAAM,UAAU,UAAU,SAAS,MAAM;AAAA,EACzC,MAAM,SAAS,SAAS,UAAU,OAAO;AAAA,EACzC,OAAO,EAAE,QAAQ,UAAU,SAAS,YAAY,WAAW,MAAM,EAAE;AAAA;AAI7D,SAAS,IAAI,CAAC,SAAkB,WAA8B;AAAA,EACpE,MAAM,YAAY,UAAU;AAAA,EAC5B,IAAI,cAAc;AAAA,IAAW,OAAO,UAAU;AAAA,EAC9C,OACC,WACC,UAAU,MACV,MAAM,WAAW,SAAS,SAAS,GACnC,QAAQ,SAAS,SAAS,CAC3B,KAAK,UAAU;AAAA;;;AF9CV,SAAS,YAAY,CAC3B,SACA,QACA,UAA+B,CAAC,GACzB;AAAA,EACP,QAAQ,YAAY;AAAA,EACpB,QAAQ,SAAS,KAAK,UAAU,YAAY,EAAE,IAAI,MAAM;AAAA,EACxD,QAAQ,SAAS,KAAK,UAAU,mBAAmB,EAAE,IAAI,QAAQ,OAAO;AAAA,EACxE,IACC,OAAO,SAAS,gBACf,QAAQ,aAAa,aAAa,QAAQ,WAAW,YACrD;AAAA,IACD,KAAK,iBAAiB,SAAS;AAAA,MAC9B,MAAM;AAAA,MACN,QAAQ,QAAQ;AAAA,IACjB,CAAC;AAAA,EACF;AAAA;AAID,SAAS,iBAAiB,CACzB,SACA,QACU;AAAA,EACV,SAAS,KAAK,OAAQ,OAAO,WAAW,KAAK,GAAG,WAAW;AAAA,IAC1D,IAAI,QAAQ,SAAS,KAAK,UAAU,YAAY,EAAE,IAAI,EAAE;AAAA,MAAG,OAAO;AAAA,EACnE;AAAA,EACA,OAAO;AAAA;AAIR,SAAS,iBAAiB,CAAC,SAAkB,QAA4B;AAAA,EACxE,OACC,QAAQ,SAAS,KAAK,UAAU,YAAY,EAAE,IAAI,MAAM,KACxD,OAAO,iBAAiB,KAAK,CAAC,WAAW,kBAAkB,SAAS,MAAM,CAAC;AAAA;AAS7E,SAAS,OAAO,CAAC,SAAkB,WAA+B;AAAA,EACjE,MAAM,YAAY,UAAU;AAAA,EAC5B,IAAI,cAAc,WAAW;AAAA,IAC5B,OAAO,kBAAkB,SAAS,UAAU,SAAS;AAAA,EACtD;AAAA,EACA,OACC,CAAC,mBAAmB,SAAS,MAC5B,kBAAkB,SAAS,SAAS,KACpC,kBAAkB,SAAS,UAAU,SAAS;AAAA;AAUjD,SAAS,SAAS,CAAC,WAA+B;AAAA,EACjD,MAAM,YAAY,UAAU;AAAA,EAC5B,IAAI,cAAc;AAAA,IAAW,OAAO,CAAC,mBAAmB,SAAS;AAAA,EACjE,OAAO,CAAC,mBAAmB,SAAS;AAAA;AASrC,SAAS,UAAU,CAAC,SAAkB,WAAmC;AAAA,EACxE,MAAM,WAAwB,CAAC;AAAA,EAC/B,SACK,KAAK,UAAU,WAAW,aAAa,UAAU,UACrD,OAAO,WACP,KAAK,GAAG,WACP;AAAA,IACD,IAAI,UAAU,SAAS,EAAE;AAAA,MAAG,SAAS,KAAK,EAAE;AAAA,EAC7C;AAAA,EACA,OAAO;AAAA;AAaD,SAAS,oBAAoB,CAAC,SAAwB;AAAA,EAC5D,MAAM,OAAO,IAAI;AAAA,EACjB,MAAM,cAAc,aAAa,OAAO,EAAE,SAAS;AAAA,EACnD,gBAAgB,SAAS;AAAA,IACxB,SAAS,CAAC,WAAW;AAAA,MACpB,IAAI,CAAC,UAAU,SAAS;AAAA,QAAG;AAAA,MAC3B,MAAM,QAAQ,QAAQ,SAAS,SAAS;AAAA,MACxC,MAAM,MAAM,eAAe,SAAS,SAAS;AAAA,MAG7C,MAAM,KACL,QACC,QACE,KAAK,SAAS,SAAS,IACvB,mBAAmB,SAAS,SAAS;AAAA,MACzC,MAAM,WAAW,WAAW,SAAS,SAAS;AAAA,MAE9C,MAAM,UAAU,SAAS,SAAS,KAAK,CAAC;AAAA,MACxC,IAAI,YAAY;AAAA,MAChB,WAAW,WAAW,SAAS,SAAS,IAAI,WAAW,CAAC,SAAS,GAAG;AAAA,QACnE,MAAM,MAAM,KAAK,IAAI,OAAO,KAAK,IAAI;AAAA,QACrC,KAAK,IAAI,SAAS,GAAG;AAAA,QACrB,IAAI,WAAW,IAAI,IAAI,EAAE,MAAM,SAAS,IAAI,IAAI,EAAE;AAAA,UAAI,YAAY;AAAA,QAClE,IAAI,IAAI,IAAI,UAAU,IAAI,IAAI,EAAE,KAAK,MAAM;AAAA,MAC5C;AAAA,MACA,IAAI,WAAW;AAAA,QACd,KAAK,iBAAiB,SAAS;AAAA,UAC9B,MAAM;AAAA,UACN,QAAQ,EAAE,GAAG;AAAA,UACb,QAAQ;AAAA,QACT,CAAC;AAAA,MACF;AAAA,MAGA,IAAI,SAAS,QAAQ;AAAA,QAAW,eAAe,SAAS,WAAW,EAAE;AAAA;AAAA,EAEvE,CAAC;AAAA;;;AGpJK,SAAS,WAAW,CAAC,SAAwB;AAAA,EACnD,qBAAqB,OAAO;AAAA,EAC5B,0BAA0B,OAAO;AAAA;AAG3B,IAAM,cAAc;AAAA,EAC1B,MAAM,EAAE,aAAa;AACtB;",
+  "debugId": "FE2157CFD8BDF58A64756E2164756E21",
   "names": []
 }

package/dist/lib.d.ts

@@ -2,11 +2,14 @@ export declare const $lib: import("@typespec/compiler").TypeSpecLibrary<{
     'duplicate-operation-id': {
         readonly default: import("@typespec/compiler").CallableMessage<["id"]>;
     };
+    'resource-name-on-namespace': {
+        readonly default: "`singular` and `plural` name an interface's resource: a namespace has none. Put them on the interface.";
+    };
     'duplicate-status-reply': {
         readonly default: import("@typespec/compiler").CallableMessage<["operation", "status"]>;
     };
     'merged-status-reply': {
         readonly default: import("@typespec/compiler").CallableMessage<["operation", "status"]>;
     };
-}, Record<string, any>, "operationIds">;
+}, Record<string, any>, "operationIds" | "operationIdsOptions">;
 //# sourceMappingURL=lib.d.ts.map

package/dist/lib.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lib.d.ts","sourceRoot":"","sources":["../src/lib.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,IAAI;;;;;;;;;;uCA2Bf,CAAC"}
+{"version":3,"file":"lib.d.ts","sourceRoot":"","sources":["../src/lib.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,IAAI;;;;;;;;;;;;;+DAsCf,CAAC"}

package/dist/operation-ids.d.ts

@@ -1,15 +1,18 @@
 /**
  * `@operationIds`: the id of each operation is its name, as written:
  * `@get findPostComments()` is `findPostComments`, where `@typespec/openapi3`
- * would write `Posts_findPostComments`.
+ * would write `Posts_findPostComments`. In an interface, a known verb takes
+ * the interface's resource: `create` in `Users` is `createUser` (`verbs.ts`).
  */
 import { type DecoratorContext, type Interface, type Namespace, type Program } from '@typespec/compiler';
+import { type OperationIdsOptions } from './resource';
 /**
  * Marks the interface or the namespace; its ids are set once the program is
  * checked. On a template, TypeSpec runs it on each instance, which
- * `isMarkedInterface` follows to the interfaces extending it.
+ * `isMarkedInterface` follows to the interfaces extending it. A namespace
+ * has no resource to name: `singular` and `plural` are an interface's.
  */
-export declare function operationIds(context: DecoratorContext, target: Interface | Namespace): void;
+export declare function operationIds(context: DecoratorContext, target: Interface | Namespace, options?: OperationIdsOptions): void;
 /**
  * Sets the ids, after every decorator, so the order of `@operationId` and
  * `@operationIds` in the source does not matter. Two operations with one id

package/dist/operation-ids.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"operation-ids.d.ts","sourceRoot":"","sources":["../src/operation-ids.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EACN,KAAK,gBAAgB,EACrB,KAAK,SAAS,EAId,KAAK,SAAS,EAGd,KAAK,OAAO,EACZ,MAAM,oBAAoB,CAAC;AAQ5B;;;;GAIG;AACH,wBAAgB,YAAY,CAC3B,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,SAAS,GAAG,SAAS,GAC3B,IAAI,CAEN;AAoED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAmC3D"}
+{"version":3,"file":"operation-ids.d.ts","sourceRoot":"","sources":["../src/operation-ids.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EACN,KAAK,gBAAgB,EACrB,KAAK,SAAS,EAId,KAAK,SAAS,EAGd,KAAK,OAAO,EACZ,MAAM,oBAAoB,CAAC;AAO5B,OAAO,EAAQ,KAAK,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAE5D;;;;;GAKG;AACH,wBAAgB,YAAY,CAC3B,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,SAAS,GAAG,SAAS,EAC7B,OAAO,GAAE,mBAAwB,GAC/B,IAAI,CAaN;AAoED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAqC3D"}

package/dist/resource.d.ts

@@ -0,0 +1,16 @@
+/**
+ * What `@operationIds` names an operation of an interface after: the
+ * interface's resource, its singular and plural, and the verbs that take
+ * them, layered from the library's, the namespaces', and the interface's.
+ */
+import type { Operation, Program } from '@typespec/compiler';
+import { type Grammar } from './verbs';
+/** `@operationIds`' options, as `OperationIdsOptions` declares them. */
+export interface OperationIdsOptions {
+    readonly singular?: string;
+    readonly plural?: string;
+    readonly verbs?: Readonly<Record<string, Grammar>>;
+}
+/** The id `@operationIds` gives: the name as written, or a verb with its resource. */
+export declare function idOf(program: Program, operation: Operation): string;
+//# sourceMappingURL=resource.d.ts.map

package/dist/resource.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resource.d.ts","sourceRoot":"","sources":["../src/resource.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAGX,SAAS,EACT,OAAO,EACP,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACN,KAAK,OAAO,EAKZ,MAAM,SAAS,CAAC;AAEjB,wEAAwE;AACxE,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACnD;AA2CD,sFAAsF;AACtF,wBAAgB,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,GAAG,MAAM,CAUnE"}

package/dist/verbs.d.ts

@@ -0,0 +1,29 @@
+/**
+ * The verbs `@operationIds` completes with an interface's resource: `create`
+ * in `Users` is `createUser`, `list` is `listUsers`, and `findById` is
+ * `findUserById`. Any other name is the id as written.
+ */
+/** Whether a verb takes the resource's singular or its plural. */
+export type Grammar = 'singular' | 'plural';
+/** A resource's two names: `User` and `Users`. */
+export interface Resource {
+    readonly singular: string;
+    readonly plural: string;
+}
+/** The library's own verbs. */
+export declare const VERBS: Readonly<Record<string, Grammar>>;
+/**
+ * The singular of a plural name, by a short English rule on its last word:
+ * `Users`, `BlogPosts`, `Categories`, `Addresses`, `Statuses`, `People`. A
+ * guess: it misses some (`Heroes`, `Analysis`), which `singular` names.
+ */
+export declare function singularOf(plural: string): string;
+/**
+ * The id of an operation of a resource: the verb and the resource's singular
+ * or plural, or the verb, the resource and the rest of a `By` name:
+ * `findById` to `findUserById`, the singular, but `deleteManyByTeam` to
+ * `deleteManyUsersByTeam`, the plural of a `*Many` verb. `undefined` when
+ * the name is none of them. The resource is taken only then.
+ */
+export declare function idWithVerb(name: string, resource: () => Resource, verbs: Readonly<Record<string, Grammar>>): string | undefined;
+//# sourceMappingURL=verbs.d.ts.map

package/dist/verbs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verbs.d.ts","sourceRoot":"","sources":["../src/verbs.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,kEAAkE;AAClE,MAAM,MAAM,OAAO,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE5C,kDAAkD;AAClD,MAAM,WAAW,QAAQ;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,+BAA+B;AAC/B,eAAO,MAAM,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAgBnD,CAAC;AAyBF;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAgBjD;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CACzB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,QAAQ,EACxB,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC,MAAM,GAAG,SAAS,CAYpB"}

package/docs/README.md

@@ -10,6 +10,6 @@ The [package README](../README.md) is the short version.
 | [Scalars and columns](guide/columns.md) | typing ids and addresses, and the columns a row carries |
 | [Headers](guide/headers.md) | making a write idempotent, or declaring a rate limit |
 | [Sorting](guide/sorting.md) | letting a client filter and sort a list |
-| [Operation ids](guide/operation-ids.md) | naming each operation, and so the generated client's method, as written |
+| [Operation ids](guide/operation-ids.md) | naming each operation, and so the generated client's method: `list` in `Users` as `listUsers`, any other name as written |
 | [Troubleshooting](troubleshooting.md) | the compiler or the generator refused the spec |
 | [Roadmap](roadmap.md) | wondering what is coming |

package/docs/guide/operation-ids.md

@@ -1,7 +1,9 @@
 # Operation ids
 
-`@operationIds` makes each operation's OpenAPI id its name, exactly as
-written, so the generated client's methods are the names in your spec.
+`@operationIds` gives each operation the OpenAPI id the generated client
+should call it by: a known verb in an interface takes the interface's
+resource, `list` in `Posts` is `listPosts`, and any other name is the id
+exactly as written.
 
 An operation id is what `@nxgt/openapi-codegen` names everything after: the
 client's method, the `operations` entry, and the prefix of the operation's
@@ -9,7 +11,7 @@ types (`ListPostsQuery`, `zGetPostParam`).
 
 ## On the service namespace
 
-Mark the namespace once, and every operation in it is named as written:
+Mark the namespace once, and every operation in it is named:
 
 ```tsp
 import "@typespec/http";
@@ -34,9 +36,10 @@ model Comment {
 
 @route("/posts")
 interface Posts {
-  @get listPosts(...PageParameters): Page<Post>;                       // listPosts
-  @get getPost(@path postId: uuid): Post | NotFound;                   // getPost
-  @delete deletePost(@path postId: uuid): NoContentResponse | NotFound; // deletePost
+  @get list(...PageParameters): Page<Post>;                                       // listPosts
+  @get @route("/{postId}") get(@path postId: uuid): Post | NotFound;              // getPost
+  @get @route("/by-slug/{slug}") findBySlug(@path slug: string): Post | NotFound; // findPostBySlug
+  @delete @route("/{postId}") delete(@path postId: uuid): NoContentResponse | NotFound; // deletePost
 }
 
 @route("/posts/{postId}/comments")
@@ -45,7 +48,7 @@ interface Comments {
 }
 ```
 
-Alone, `@typespec/openapi3` would write `Posts_listPosts` and
+Alone, `@typespec/openapi3` would write `Posts_list` and
 `Comments_findPostComments`. The generated `operations` has one entry per
 id:
 
@@ -53,20 +56,167 @@ id:
 import { operations } from './generated/operations';
 
 Object.keys(operations);
-// ['listPosts', 'getPost', 'deletePost', 'findPostComments']
+// ['listPosts', 'getPost', 'findPostBySlug', 'deletePost', 'findPostComments']
 ```
 
-Name each operation as the client should call it: `listPosts`, not `list`.
-An operation named `list` gets the id `list`, and a second `list` in another
-interface is an error ([below](#two-operations-named-alike)).
+## Verbs
+
+In an interface, an operation named exactly one of these verbs is completed
+with the interface's resource:
+
+| Verb | Takes | In `Users` | In `Categories` |
+| --- | --- | --- | --- |
+| `list` | the plural | `listUsers` | `listCategories` |
+| `read` | the plural | `readUsers` | `readCategories` |
+| `find` | the plural | `findUsers` | `findCategories` |
+| `search` | the plural | `searchUsers` | `searchCategories` |
+| `count` | the plural | `countUsers` | `countCategories` |
+| `createMany` | the plural | `createManyUsers` | `createManyCategories` |
+| `updateMany` | the plural | `updateManyUsers` | `updateManyCategories` |
+| `deleteMany` | the plural | `deleteManyUsers` | `deleteManyCategories` |
+| `get` | the singular | `getUser` | `getCategory` |
+| `create` | the singular | `createUser` | `createCategory` |
+| `update` | the singular | `updateUser` | `updateCategory` |
+| `patch` | the singular | `patchUser` | `patchCategory` |
+| `replace` | the singular | `replaceUser` | `replaceCategory` |
+| `upsert` | the singular | `upsertUser` | `upsertCategory` |
+| `delete` | the singular | `deleteUser` | `deleteCategory` |
+
+A verb followed by `By` and a capital letter takes the singular before
+`By`, whichever form the verb takes alone, except a `*Many` verb, which
+takes the plural:
 
-## Where it goes
+```tsp
+@route("/users")
+interface Users {
+  @get @route("/{id}") findById(@path id: uuid): User | NotFound;                    // findUserById
+  @get @route("/by-email/{email}") getByEmail(@path email: email): User | NotFound;  // getUserByEmail
+  @delete @route("/by-team/{teamId}") deleteManyByTeam(@path teamId: uuid): void;    // deleteManyUsersByTeam
+}
+```
+
+Any other name is the id as written: `findActiveUsers` is
+`findActiveUsers`, and so is `listUsers`. The verb must be the whole name,
+or the whole part before `By`: `listAll` and `listing` are not verbs.
+
+Outside an interface, the id is always the name as written, even a verb:
 
 ```tsp
-extern dec operationIds(target: Interface | Namespace);
+@route("/health") @get op list(): void; // list
 ```
 
-| Marked | Named as written |
+## The resource
+
+The plural is the interface's name. The singular comes from a short English
+rule on its last word, so `BlogPosts` is `BlogPost`:
+
+| Interface | Singular |
+| --- | --- |
+| `Users`, `BlogPosts`, `APIKeys` | `User`, `BlogPost`, `APIKey` |
+| `Categories` | `Category` |
+| `Addresses`, `Boxes`, `Matches`, `Branches`, `Wishes` | `Address`, `Box`, `Match`, `Branch`, `Wish` |
+| `Statuses`, `Buses` | `Status`, `Bus` |
+| `Houses`, `Caches`, `Pies` | `House`, `Cache`, `Pie` |
+| `People`, `Children`, `Movies` | `Person`, `Child`, `Movie` |
+| `Series`, `Status`, `Access`, `Staff` | unchanged |
+
+The rule is short, not a dictionary: a name it does not know stays as it
+is, so `create` in `Staff` is `createStaff`. Name the resource yourself:
+
+```tsp
+@route("/staff")
+@operationIds(#{ singular: "Member" })
+interface Staff {
+  @get list(): Member[];  // listStaff
+  @post create(): Member; // createMember
+}
+```
+
+## Options
+
+```tsp
+model OperationIdsOptions {
+  singular?: string;
+  plural?: string;
+  verbs?: Record<"singular" | "plural">;
+}
+
+extern dec operationIds(
+  target: Interface | Namespace,
+  options?: valueof OperationIdsOptions
+);
+```
+
+| Option | Type | Default | Effect |
+| --- | --- | --- | --- |
+| `singular` | `string` | the plural, by the English rule | the resource's singular; on an interface only |
+| `plural` | `string` | the interface's name | the resource's plural, and the source of the singular when `singular` is not given; on an interface only |
+| `verbs` | `Record<"singular" \| "plural">` | the verbs above | more verbs, or a verb that takes the other form; on a namespace or an interface |
+
+`plural` alone renames both, the singular following by the rule:
+
+```tsp
+@route("/team")
+@operationIds(#{ plural: "People" })
+interface Team {
+  @get list(): Person[];  // listPeople
+  @post create(): Person; // createPerson
+}
+```
+
+`verbs` adds a verb, or changes the form one takes:
+
+```tsp
+@service
+@operationIds(#{ verbs: #{ archive: "singular", export: "plural" } })
+namespace Shop;
+
+@route("/users")
+interface Users {
+  @post @route("/{id}/archive") archive(@path id: uuid): void; // archiveUser
+  @get @route("/export") export(): User[];                     // exportUsers
+}
+```
+
+On a namespace, `verbs` reaches every interface in it, however deep. On an
+interface, its `verbs` override the namespace's, verb by verb:
+
+```tsp
+@route("/staff")
+@operationIds(#{ singular: "Member", verbs: #{ export: "singular" } })
+interface Staff {
+  @get export(): Member; // exportMember, where the namespace alone gives exportStaff
+}
+```
+
+`singular` and `plural` on a namespace are an error: a namespace holds many
+interfaces, and has no resource of its own
+([troubleshooting](../troubleshooting.md#singular-and-plural-name-an-interfaces-resource-a-namespace-has-none)).
+
+```text
+error @nxgt/typespec/resource-name-on-namespace: `singular` and `plural` name an interface's resource: a namespace has none. Put them on the interface.
+```
+
+## Precedence
+
+For each operation `@operationIds` names, the first that applies gives the
+id:
+
+1. its own `@operationId`, written before or after `@operationIds`;
+2. outside an interface: its name, as written;
+3. a verb, or a verb followed by `By…`: the verb with the interface's
+   resource;
+4. its name, as written.
+
+The verbs are the library's, overridden by each marked namespace's around
+the interface from the outermost in, then by the interfaces it extends,
+then by its own. The resource is the interface's own `singular` and
+`plural`, else its name and that name's singular: an interface never takes
+the names of one it extends, or two extending it would collide.
+
+## Where it goes
+
+| Marked | Named |
 | --- | --- |
 | a namespace | every operation in it, however deep: in its interfaces, in the namespaces it contains, and declared in it with `op` |
 | an interface | its operations, and those of each interface that `extends` it |
@@ -81,12 +231,12 @@ namespace Blog;
 @route("/posts")
 @operationIds
 interface Posts {
-  @get listPosts(): Post[]; // listPosts
+  @get list(): Post[]; // listPosts
 }
 
 @route("/drafts")
 interface Drafts {
-  @get listDrafts(): Post[]; // Drafts_listDrafts
+  @get list(): Post[]; // Drafts_list
 }
 ```
 
@@ -95,8 +245,7 @@ does not reach a `namespace Legacy` declared next to it.
 
 ## An operation's own `@operationId`
 
-An operation with its own `@operationId` keeps it, whether it is written
-before or after `@operationIds`:
+An operation with its own `@operationId` keeps it, verb or not:
 
 ```tsp
 import "@typespec/openapi";
@@ -105,31 +254,56 @@ using OpenAPI;
 
 @route("/posts")
 interface Posts {
-  @get @operationId("fetchPost") getPost(@path postId: uuid): Post | NotFound; // fetchPost
+  @get @route("/{postId}") @operationId("fetchPost") get(@path postId: uuid): Post | NotFound; // fetchPost
 }
 ```
 
 `import "@typespec/openapi"` and `using OpenAPI` are only needed for
 `@operationId` ([troubleshooting](../troubleshooting.md#unknown-decorator-operationid)).
 
+### Upgrading from 0.4
+
+Before 0.5.0, every name was the id as written. An operation of a marked
+interface named exactly a verb, such as `list` or `create`, or a verb
+followed by `By…`, such as `findById` (now `findUserById`), gets a new id,
+and the generated client's method changes with it. Give it an
+`@operationId` to keep the old one:
+
+```tsp
+@route("/users")
+interface Users {
+  @get @operationId("list") list(): User[]; // list, as before
+}
+```
+
+A name that already carried its resource, `listUsers`, is unchanged. An
+interface that declared both `list` and `listUsers` now names two operations
+`listUsers`, which is an error: rename one, or give `list` its
+`@operationId`.
+
 ## On a template
 
 An interface template is never emitted, only the interfaces that extend one
 of its instances. When the template is marked, or the interface that extends
-it is in a marked namespace, those are named as written:
+it is in a marked namespace, those are named, and a verb takes the resource
+of the interface that extends it:
 
 ```tsp
-@operationIds
 interface Listable<Item> {
-  @get listAll(): Item[];
+  @get list(): Item[];
 }
 
 @route("/pets")
-interface Pets extends Listable<Pet> {} // listAll
+interface Pets extends Listable<Pet> {} // listPets
+
+@route("/toys")
+interface Toys extends Listable<Toy> {} // listToys
 ```
 
-A second interface extending `Listable` would name its operation `listAll`
-too, which is an error: see below.
+A name that is not a verb, `listAll`, would be `listAll` in both, which is
+an error: see below. A `singular` or `plural` names only the interface that
+carries it: on a template, or on an interface others extend, it has no
+effect on the interfaces extending it, which each take their own name.
 
 An operation template is never emitted either, only the operations declared
 from it. In a marked namespace, each is named as written:
@@ -154,32 +328,35 @@ error @nxgt/typespec/duplicate-operation-id: Two operations are named listPets:
 
 It happens when:
 
-- one name is in two interfaces: neither the namespace nor the interface is
-  part of the id, so `Store.Pets` and `Shelter.Pets` both give `listPets`;
-- an interface `extends` another: it copies its operations and their
-  names, so `Drafts extends Posts` gives a second `getPost`, and two
-  interfaces extending one template share every operation;
-- an `@operationId` written on another operation is a name
-  `@operationIds` gives;
+- a verb and the id it gives are both in one interface: `list` and
+  `listUsers` in `Users` are both `listUsers`;
+- one name is in two interfaces of one name, or a name that is not a verb in
+  two interfaces: neither the namespace nor the interface is part of it, so
+  `Store.Pets` and `Shelter.Pets` both give `listPets`, whether they declare
+  `list` or `listPets`;
+- an interface `extends` another and copies a name that is not a verb:
+  `Drafts extends Posts` gives a second `getPost`, where `get` would give
+  `getDraft`;
+- an `@operationId` written on another operation is an id `@operationIds`
+  gives;
 - an unmarked operation declared in the service namespace, which the
-  emitter names after itself, has a marked operation's name: `op listPets()`
-  beside `Pets.listPets`.
+  emitter names after itself, has a marked operation's id: `op listPets()`
+  beside a marked `Pets.list`.
 
-Declare distinct operations rather than extending:
+Name the operations with verbs, and each interface extending them gets its
+own ids:
 
 ```tsp
 @route("/posts")
 interface Posts {
-  @get getPost(@path postId: uuid): Post | NotFound;
+  @get @route("/{postId}") get(@path postId: uuid): Post | NotFound; // getPost
 }
 
 @route("/drafts")
-interface Drafts {
-  @get getDraft(@path draftId: uuid): Post | NotFound;
-}
+interface Drafts extends Posts {} // getDraft
 ```
 
-Or keep `extends`, and declare each copied operation again with its own
+Or keep the names, and declare each copied operation again with its own
 `@operationId`:
 
 ```tsp

package/docs/guide/sorting.md

@@ -34,20 +34,20 @@ model AuthorFilters {
 
 @route("/authors")
 interface Authors {
-  @get listAuthors(
+  @get list(
     ...AuthorFilters,
     ...PageParameters,
     ...SortParameters<"name" | "createdAt">,
-  ): Page<Author>;
+  ): Page<Author>; // listAuthors
 
-  @get getAuthor(@path id: uuid): Author | NotFound;
+  @get @route("/{id}") get(@path id: uuid): Author | NotFound; // getAuthor
 }
 ```
 
 `GET /authors?name=Ada&orderBy=name&direction=desc` is one page of the
 authors named Ada, by name, descending. The list is an operation like any
-other, and `@operationIds` gives it the id `listAuthors`
-([Operation ids](operation-ids.md)).
+other: `@operationIds` completes the verb `list` with the interface's name,
+and gives it the id `listAuthors` ([Operation ids](operation-ids.md#verbs)).
 
 ## The query
 

package/docs/roadmap.md

@@ -16,6 +16,17 @@ Nothing in progress.
 
 ## Shipped
 
+### 0.5.0
+
+- **Verbs in operation ids.** In an interface `@operationIds` marks, a known
+  verb takes the interface's resource: `list` in `Users` is `listUsers`,
+  `create` is `createUser`, `findById` is `findUserById`, so a resource's
+  operations are written once as `list`, `get`, `create`, and each
+  interface names its own. The singular comes from a short English rule
+  (`Categories`, `People`), and `singular`, `plural` and `verbs` options name
+  what the rule does not know. Any other name, and any operation outside an
+  interface, keeps its id as written.
+
 ### 0.4.0
 
 - **Operation ids as written.** `@operationIds` names each operation

package/docs/troubleshooting.md

@@ -55,11 +55,14 @@ namespace, so they share the spec's schema names.
 `@operationIds` names has the id of another operation of the same service
 (two `@service` namespaces are two documents, and may reuse a name):
 
-- one name is in two interfaces: `Store.Pets` and `Shelter.Pets` both
-  declare `listPets`;
-- an interface `extends` another, and so copies its operations and their
-  names: `Drafts extends Posts` gives a second `getPost`, and two interfaces
-  extending one template share every operation;
+- a verb and the id it gives are both in one interface: `list` and
+  `listUsers` in `Users` are both `listUsers`;
+- one name is in two interfaces of one name, or a name that is not a verb in
+  two interfaces: `Store.Pets` and `Shelter.Pets` both give `listPets`,
+  whether they declare `list` or `listPets`;
+- an interface `extends` another, and so copies names that are not verbs:
+  `Drafts extends Posts` gives a second `getPost`, and two interfaces
+  extending one template share every such name;
 - an `@operationId` written on another operation is a name `@operationIds`
   gives;
 - an unmarked operation declared in the service namespace, which the
@@ -70,12 +73,25 @@ namespace, so they share the spec's schema names.
 error @nxgt/typespec/duplicate-operation-id: Two operations are named listPets: an OpenAPI operation id must be unique.
 ```
 
-**Why:** `@operationIds` makes each operation's id its name, as written,
-without its interface or its namespace. `@typespec/openapi3` would emit both
+**Why:** `@operationIds` makes each operation's id its name, as written, or
+a verb with its interface's resource, without its namespace. `@typespec/openapi3` would emit both
 ids without a word, and the generator would then refuse the spec.
 
-**Fix:** give each operation a name of its own. Declare distinct operations
-rather than extending:
+**Fix:** give each operation a name of its own. In one interface, keep the
+verb or the full name, not both:
+
+```tsp
+@route("/users")
+interface Users {
+  @get list(): User[]; // listUsers
+  @get @route("/active") findActiveUsers(): User[]; // findActiveUsers
+}
+```
+
+Name the operations of an interface others extend with verbs, so each takes
+its own resource (`get` is `getPost` in `Posts`, `getDraft` in
+`Drafts extends Posts`), or declare distinct operations rather than
+extending:
 
 ```tsp
 @route("/posts")
@@ -104,6 +120,68 @@ interface Drafts extends Posts {
 }
 ```
 
+## `` `singular` and `plural` name an interface's resource: a namespace has none ``
+
+**When:** `tsp compile` runs on a spec that gives `@operationIds` on a
+namespace a `singular` or a `plural`:
+
+```tsp
+@service
+@operationIds(#{ singular: "User" })
+namespace Shop;
+```
+
+```text
+error @nxgt/typespec/resource-name-on-namespace: `singular` and `plural` name an interface's resource: a namespace has none. Put them on the interface.
+```
+
+**Why:** the resource a verb takes is an interface's: `list` in `Users` is
+`listUsers`. A namespace holds many interfaces, so one name for all of them
+would give each the same ids.
+
+**Fix:** keep the namespace's `verbs`, and name the resource on the
+interface whose name the rule gets wrong
+([Operation ids](guide/operation-ids.md#the-resource)):
+
+```tsp
+@service
+@operationIds
+namespace Shop;
+
+@route("/staff")
+@operationIds(#{ singular: "Member" })
+interface Staff {
+  @post create(): Member; // createMember
+}
+```
+
+## `Argument of type '{ verbs: … }' is not assignable to parameter of type 'Nxgt.OperationIdsOptions'`
+
+**When:** `tsp compile` runs on a spec whose `@operationIds` gives a verb
+something other than `"singular"` or `"plural"`:
+
+```tsp
+@service
+@operationIds(#{ verbs: #{ archive: "bogus" } })
+namespace Shop;
+```
+
+```text
+error invalid-argument: Argument of type '{ verbs: { archive: "bogus" } }' is not assignable to parameter of type 'Nxgt.OperationIdsOptions'
+```
+
+**Why:** a verb only says which name of the resource follows it: the
+singular, `archiveUser`, or the plural, `archiveUsers`.
+
+**Fix:** give each verb `"singular"` or `"plural"`
+([Operation ids](guide/operation-ids.md)):
+
+```tsp
+@service
+@operationIds(#{ verbs: #{ archive: "singular" } })
+namespace Shop;
+```
+
 ## `declares a reply without a body and one with a body of status …`
 
 **When:** an operation declares, for one status, a reply without a body and

package/lib/operation-ids.tsp

@@ -4,13 +4,31 @@ using TypeSpec.Reflection;
 
 namespace Nxgt;
 
+/**
+ * `@operationIds`' options.
+ */
+model OperationIdsOptions {
+  /** The resource's singular, on an interface: `Person` in `People`. By default, the interface's name in the singular. */
+  singular?: string;
+
+  /** The resource's plural, on an interface. By default, the interface's name. */
+  plural?: string;
+
+  /** More verbs, each taking the resource's singular or its plural: `#{ archive: "singular" }`. */
+  verbs?: Record<"singular" | "plural">;
+}
+
 /**
  * The id of each operation is its name, as written: `findPostComments` is
  * `findPostComments`, where `@typespec/openapi3` would write
- * `Posts_findPostComments`. On an interface, its operations; on a namespace,
- * every operation in it, however deep. An operation with its own
- * `@operationId` keeps it. An id another operation of the same service has is an
- * error, `duplicate-operation-id`.
+ * `Posts_findPostComments`. In an interface, a known verb takes the
+ * interface's resource: `list` in `Users` is `listUsers`, `create` is
+ * `createUser`, `findById` is `findUserById`. The resource is the
+ * interface's name, and its singular by a short English rule; `singular`
+ * and `plural` name it. `verbs` adds verbs. On an interface, its operations;
+ * on a namespace, every operation in it, however deep. An operation with its
+ * own `@operationId` keeps it. An id another operation of the same service
+ * has is an error, `duplicate-operation-id`.
  *
  * @example
  * ```typespec
@@ -20,8 +38,13 @@ namespace Nxgt;
  *
  * @route("/posts")
  * interface Posts {
- *   @get listPosts(): Post[];
+ *   @get list(): Post[];                    // listPosts
+ *   @get findById(@path id: uuid): Post;    // findPostById
+ *   @get findPostComments(): Comment[];     // findPostComments
  * }
  * ```
  */
-extern dec operationIds(target: Interface | Namespace);
+extern dec operationIds(
+  target: Interface | Namespace,
+  options?: valueof OperationIdsOptions
+);

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@nxgt/typespec",
-	"version": "0.4.1",
+	"version": "0.5.1",
 	"license": "MIT",
 	"type": "module",
 	"main": "./dist/index.js",