@ddd-ts-kit/eslint-plugin 0.1.1 → 0.3.0

package/dist/support/injection/read-parameter.js

@@ -0,0 +1,41 @@
+import { AST_NODE_TYPES } from '@typescript-eslint/utils';
+import { LANGUAGE_TYPES } from './language-types.js';
+const ALWAYS_GIVEN = 'the composition root gives every parameter a value, always';
+/**
+ * Reads one constructor parameter of a declared class. `notClasses` are the names the file
+ * declares as an interface, a type alias or an enum: what another file declares is read by
+ * `ddd-ts-kit check`, which sees the project.
+ */
+export function readParameter(node, notClasses) {
+    const parameter = node.type === AST_NODE_TYPES.TSParameterProperty ? node.parameter : node;
+    if (parameter.type === AST_NODE_TYPES.RestElement) {
+        return { flaw: `is a rest parameter: ${ALWAYS_GIVEN}` };
+    }
+    if (parameter.type === AST_NODE_TYPES.AssignmentPattern) {
+        return { flaw: `has a default value: ${ALWAYS_GIVEN}` };
+    }
+    if (parameter.type !== AST_NODE_TYPES.Identifier) {
+        return { flaw: `is destructured: ${ALWAYS_GIVEN}` };
+    }
+    if (parameter.optional) {
+        return { flaw: `is optional: ${ALWAYS_GIVEN}` };
+    }
+    return typed(parameter.typeAnnotation?.typeAnnotation, notClasses);
+}
+function typed(type, notClasses) {
+    if (type === undefined) {
+        return { flaw: 'has no type' };
+    }
+    if (type.type !== AST_NODE_TYPES.TSTypeReference || type.typeName.type !== AST_NODE_TYPES.Identifier) {
+        return { flaw: 'is typed by something that names no single class' };
+    }
+    const { name } = type.typeName;
+    const what = notClasses.get(name);
+    if (what !== undefined) {
+        return { flaw: `is typed \`${name}\`, ${what}: only a class exists at run time and can be an injection token` };
+    }
+    return LANGUAGE_TYPES.has(name)
+        ? { flaw: `is typed \`${name}\`, a type of the language: it names nothing the composition root binds` }
+        : { token: name };
+}
+//# sourceMappingURL=read-parameter.js.map

package/dist/support/injection/read-parameter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-parameter.js","sourceRoot":"","sources":["../../../src/support/injection/read-parameter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAiB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAGrD,MAAM,YAAY,GAAG,4DAA4D,CAAC;AAElF;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAwB,EAAE,UAAuC;IAC7F,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAE3F,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,WAAW,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,wBAAwB,YAAY,EAAE,EAAE,CAAC;IAC1D,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,iBAAiB,EAAE,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,wBAAwB,YAAY,EAAE,EAAE,CAAC;IAC1D,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,oBAAoB,YAAY,EAAE,EAAE,CAAC;IACtD,CAAC;IAED,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,gBAAgB,YAAY,EAAE,EAAE,CAAC;IAClD,CAAC;IAED,OAAO,KAAK,CAAC,SAAS,CAAC,cAAc,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,KAAK,CAAC,IAAmC,EAAE,UAAuC;IACzF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACjC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,eAAe,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;QACrG,OAAO,EAAE,IAAI,EAAE,kDAAkD,EAAE,CAAC;IACtE,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAElC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,cAAc,IAAI,OAAO,IAAI,iEAAiE,EAAE,CAAC;IAClH,CAAC;IAED,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;QAC7B,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,IAAI,yEAAyE,EAAE;QACvG,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC"}

package/dist/support/injection/written-name.d.ts

@@ -0,0 +1,4 @@
+import { type TSESTree } from '@typescript-eslint/utils';
+/** The name a constructor parameter is written under, or its source shape when it has none. */
+export declare function writtenName(node: TSESTree.Parameter): string;
+//# sourceMappingURL=written-name.d.ts.map

package/dist/support/injection/written-name.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"written-name.d.ts","sourceRoot":"","sources":["../../../src/support/injection/written-name.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAEzE,+FAA+F;AAC/F,wBAAgB,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,GAAG,MAAM,CAW5D"}

package/dist/support/injection/written-name.js

@@ -0,0 +1,13 @@
+import { AST_NODE_TYPES } from '@typescript-eslint/utils';
+/** The name a constructor parameter is written under, or its source shape when it has none. */
+export function writtenName(node) {
+    const parameter = node.type === AST_NODE_TYPES.TSParameterProperty ? node.parameter : node;
+    const target = parameter.type === AST_NODE_TYPES.AssignmentPattern ? parameter.left : parameter;
+    if (target.type === AST_NODE_TYPES.Identifier) {
+        return target.name;
+    }
+    return target.type === AST_NODE_TYPES.RestElement && target.argument.type === AST_NODE_TYPES.Identifier
+        ? target.argument.name
+        : 'the destructured one';
+}
+//# sourceMappingURL=written-name.js.map

package/dist/support/injection/written-name.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"written-name.js","sourceRoot":"","sources":["../../../src/support/injection/written-name.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAiB,MAAM,0BAA0B,CAAC;AAEzE,+FAA+F;AAC/F,MAAM,UAAU,WAAW,CAAC,IAAwB;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAEhG,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;QAC9C,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,WAAW,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;QACrG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI;QACtB,CAAC,CAAC,sBAAsB,CAAC;AAC7B,CAAC"}

package/dist/version.d.ts

@@ -1,2 +1,2 @@
-export declare const VERSION = "0.1.1";
+export declare const VERSION = "0.3.0";
 //# sourceMappingURL=version.d.ts.map

package/dist/version.js

@@ -1,2 +1,2 @@
-export const VERSION = '0.1.1';
+export const VERSION = '0.3.0';
 //# sourceMappingURL=version.js.map

package/docs/rules/clean-one-export-per-file.md

@@ -42,7 +42,7 @@ export function retry(options: RetryOptions): Aspect {}
 export class RabbitMqEventBus {}
 
 // src/platform/index.ts
-export { retry, type RetryOptions } from '@/platform/retry.js';
+export { retry, type RetryOptions } from '@/platform/retry';
 ```
 
 ## Details

package/docs/rules/context-declared-relationship.md

@@ -17,14 +17,14 @@ Incorrect:
 ```ts
 // ddd-ts-kit.config.json: "shipping": { "upstreams": [] }
 // src/contexts/shipping/application/integration/handlers/billing-invoice-issued.integration-handler.ts
-import type { InvoiceIssuedV1 } from '@/contexts/billing/published-language/index.js';
+import type { InvoiceIssuedV1 } from '@/contexts/billing/published-language/index';
 ```
 
 Correct:
 
 ```ts
 // ddd-ts-kit.config.json: "shipping": { "upstreams": [{ "context": "billing", "relationship": "published-language" }] }
-import type { InvoiceIssuedV1 } from '@/contexts/billing/published-language/index.js';
+import type { InvoiceIssuedV1 } from '@/contexts/billing/published-language/index';
 ```
 
 ## Details

package/docs/rules/context-extractable.md

@@ -41,11 +41,11 @@ export function remember(currency: string, rate: number): void {
 }
 
 // billing/billing.module.ts
-import { ProductReader } from '@/contexts/catalog/application/ports/product-reader.port.js';
+import { ProductReader } from '@/contexts/catalog/application/ports/product-reader.port';
 builder.query(GetPrice).public().handledBy(GetPriceHandler, [ProductReader]);
 
 // declared style: billing/application/queries/get-price/get-price.handler.ts
-import { ProductReader } from '@/contexts/catalog/application/ports/product-reader.port.js';
+import { ProductReader } from '@/contexts/catalog/application/ports/product-reader.port';
 
 @QueryHandler(GetPriceQuery, [ProductReader])
 export class GetPriceHandler {}
@@ -62,7 +62,7 @@ builder.bind(PriceSource).toClass(InProcessPriceSource, [QueryBus]).as('gateway'
 builder.query(GetPrice).public().handledBy(GetPriceHandler, [PriceSource]);
 
 // declared style: the port is one of billing, its gateway calls catalog
-import { PriceCatalog } from '@/contexts/billing/application/ports/price-catalog.port.js';
+import { PriceCatalog } from '@/contexts/billing/application/ports/price-catalog.port';
 
 @QueryHandler(GetPriceQuery, [PriceCatalog])
 export class GetPriceHandler {}

package/docs/rules/context-published-language-is-a-contract.md

@@ -16,7 +16,7 @@ Incorrect:
 
 ```ts
 // src/contexts/billing/published-language/invoice-issued.v1.integration-event.ts
-import type { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate.js';
+import type { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate';
 ```
 
 Correct:

package/docs/rules/context-published-language-only.md

@@ -16,13 +16,13 @@ Incorrect:
 
 ```ts
 // src/contexts/billing/application/...
-import { Product } from '@/contexts/catalog/domain/aggregates/product.aggregate.js';
+import { Product } from '@/contexts/catalog/domain/aggregates/product.aggregate';
 ```
 
 Correct:
 
 ```ts
-import type { ProductListedV1 } from '@/contexts/catalog/published-language/index.js';
+import type { ProductListedV1 } from '@/contexts/catalog/published-language/index';
 ```
 
 ## Details

package/docs/rules/declarations-constructor-injection.md

@@ -0,0 +1,89 @@
+# ddd-ts-kit/declarations-constructor-injection
+
+Architecture id: `declarations/constructor-injection`. Default severity: `error` in `recommended`, `error` in `strict`.
+
+Applies to: every role file of a context in a declared-style project (`stack.style: "declared"` in `ddd-ts-kit.config.json`), tests excluded. Nothing is reported in an explicit-style project, where the module file lists what each class is given.
+
+## Why
+
+The constructor signature is the one statement of what a declared class depends on. `ddd-ts-kit docs` reads it and writes, in the generated file of the context, the list the composition root injects: nothing is repeated in the decorator, and nothing can disagree with the constructor. That only works when each parameter names exactly one injection token, and a token is a class: an interface, a type alias or a primitive is erased by the compiler; a union names two things; an optional or defaulted parameter says the container might give nothing, and it always gives a value.
+
+The compiler is not asked for the types at run time. `emitDecoratorMetadata` exists only with legacy decorators compiled by `tsc` or by swc with its option: standard decorators have none, `tsx` and esbuild emit none, and a port imported with `import type` is recorded as `Object`.
+
+## Reported
+
+On the class of a role file that carries a declaration decorator other than `@Requires` and `@Public`, when the decorator lists no dependency:
+
+- a constructor parameter that is optional, has a default value, is a rest parameter or is destructured
+- a constructor parameter without a type, or typed by anything but one class name, type arguments aside (`Cache<Session>` names `Cache`): a union, an intersection, an array, a function, a literal, an object type, a qualified name
+- a constructor parameter typed by a type of the language (`string`, `number`, `Date`, `Map`...) or by an interface, a type alias or an enum the file declares
+
+Under `"stack.dependencies": "signature"`, when the decorator carries a list and the class writes its constructor (or extends nothing):
+
+- a list that names what the constructor is typed by, in order: it is redundant, and the fix removes it
+- a list that differs from the constructor: it wins at run time, so the signature lies; no fix
+
+Incorrect:
+
+```ts
+@CommandHandler(IssueInvoiceCommand)
+export class IssueInvoiceHandler implements CommandHandler<IssueInvoiceCommand> {
+  constructor(
+    private readonly invoices: InvoiceRepository | undefined,
+    private readonly retries = 3,
+    private readonly currency: string,
+  ) {}
+}
+
+// "stack.dependencies": "signature"
+@CommandHandler(IssueInvoiceCommand, [InvoiceRepository, Clock])
+export class IssueInvoiceHandler implements CommandHandler<IssueInvoiceCommand> {
+  constructor(
+    private readonly invoices: InvoiceRepository,
+    private readonly clock: Clock,
+  ) {}
+}
+```
+
+Correct:
+
+```ts
+import type { Clock } from '@ddd-ts-kit/kernel';
+import { CommandHandler } from '@ddd-ts-kit/kernel/declarations';
+import type { InvoiceSettings } from '@/contexts/billing/application/ports/invoice-settings.port';
+import type { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository';
+
+@CommandHandler(IssueInvoiceCommand)
+export class IssueInvoiceHandler implements CommandHandler<IssueInvoiceCommand> {
+  constructor(
+    private readonly invoices: InvoiceRepository,
+    private readonly settings: InvoiceSettings, // an abstract class with readonly members, bound to a value in the platform
+    private readonly clock: Clock,
+  ) {}
+}
+```
+
+## Details
+
+A parameter decorator of another library and the modifiers `public`, `private`, `protected`, `readonly` and `override` are looked through. A class that writes no constructor and extends nothing takes nothing.
+
+The fix of a redundant list removes the list and the comma before it: `@CommandHandler(IssueInvoiceCommand, [InvoiceRepository, Clock])` becomes `@CommandHandler(IssueInvoiceCommand)`. It is the codemod that moves a project to `"stack.dependencies": "signature"`: set the key, run `eslint --fix`, then `ddd-ts-kit docs`, which registers in the generated file of each context what the constructors take. A port that now only types a parameter may be imported with `import type`, which `@typescript-eslint/consistent-type-imports` fixes in a project compiled without `emitDecoratorMetadata`.
+
+A project whose config does not say, or says `"stack.dependencies": "listed"`, lists its dependencies in its decorators as 0.1 did: its lists are never reported, and a class of it that lists nothing is held to the same rules about its parameters.
+
+## Options
+
+None.
+
+`rules."declarations/constructor-injection"` in `ddd-ts-kit.config.json` set to `off` silences the rule, and `// ddd-ts-kit-disable-next-line declarations/constructor-injection -- <reason>` silences one line, exactly as for `ddd-ts-kit check`.
+
+## Limits
+
+- An interface, a type alias or an enum imported from another file is not known to be one here: `ddd-ts-kit check` reads the imported file of the project and reports it. A name imported from a package is trusted, and the compiler judges the generated file, which imports it as a value.
+- A class that inherits its constructor is not judged here: `ddd-ts-kit check` follows the base class through the project and reports one it cannot read (a class of a package).
+- That the generated file registers the list of the current constructor is `declarations/barrel-current` of `ddd-ts-kit check`: it is a fact of the project, not of one file.
+- That a parameter is typed by a port and not by an adapter or a fake is `layer/application-inward` and `ports/no-concrete-dependency`.
+
+## With the CLI checker
+
+`ddd-ts-kit check` reports the same id from the text of the files, across files, and stays the fast edit-time guard. This rule is the authority on what one file shows, and the only one that fixes.

package/docs/rules/declarations-role-declared.md

@@ -22,7 +22,7 @@ On any class of `application/`, `infrastructure/`, `presentation/` or the contex
 
 Under `domain/`:
 
-- a class carrying any declaration decorator: `Requires`, `Public`, `CommandHandler`, `QueryHandler`, `IntegrationEventHandler`, `DomainEventHandler`, `Scheduled`, `Repository`, `Gateway`, `Adapter`, `Policy`
+- a class carrying any declaration decorator: `Requires`, `Public`, `CommandHandler`, `QueryHandler`, `IntegrationEventHandler`, `DomainEventHandler`, `Scheduled`, `Projection`, `Repository`, `Gateway`, `Adapter`, `Policy`
 
 | File, relative to the context | Exported class carries |
 |---|---|
@@ -33,6 +33,7 @@ Under `domain/`:
 | `application/integration/publishers/**/*.publisher.ts` | `@DomainEventHandler` |
 | `application/authorization/**/*.policy.ts` | `@Policy` |
 | `application/scheduling/**/*.job.ts` | `@Scheduled` |
+| `application/projections/**/*.projection.ts` | `@Projection` |
 | `infrastructure/persistence/**/*.repository.ts` | `@Repository` |
 | `infrastructure/**/*.gateway.ts` | `@Gateway` |
 | `infrastructure/**/*.adapter.ts` | `@Adapter` |
@@ -44,7 +45,7 @@ Incorrect:
 export class IssueInvoiceHandler {}
 
 // application/queries/search-invoices/search-invoices.handler.ts
-@CommandHandler(SearchInvoicesQuery, [InvoiceReader])
+@CommandHandler(SearchInvoicesQuery)
 export class SearchInvoicesHandler {}
 
 // application/authorization/only-issuer-voids.policy.ts
@@ -64,12 +65,17 @@ Correct:
 
 ```ts
 // application/commands/issue-invoice/issue-invoice.handler.ts
-import { Clock } from '@ddd-ts-kit/kernel';
+import type { Clock } from '@ddd-ts-kit/kernel';
 import { CommandHandler } from '@ddd-ts-kit/kernel/declarations';
-import { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository.js';
+import type { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository';
 
-@CommandHandler(IssueInvoiceCommand, [InvoiceRepository, Clock])
-export class IssueInvoiceHandler implements CommandHandler<IssueInvoiceCommand> {}
+@CommandHandler(IssueInvoiceCommand)
+export class IssueInvoiceHandler implements CommandHandler<IssueInvoiceCommand> {
+  constructor(
+    private readonly invoices: InvoiceRepository,
+    private readonly clock: Clock,
+  ) {}
+}
 
 // application/authorization/only-issuer-voids.policy.ts
 @Policy(billingPermissions['invoice.void'], { name: 'billing.only-issuer-voids' })
@@ -82,7 +88,7 @@ export class InvoiceIssuedEventHandler {}
 
 ## Details
 
-A decorator counts when its name is one of the ten declaration decorators and that name is imported from `@ddd-ts-kit/kernel/declarations` in the file: `{ Repository }`, an alias `{ Repository as Repo }`, or a namespace `declarations.Repository`. A home-made decorator of the same name, or one of another package (`@Retry` of `@ddd-ts-kit/aspects/decorators`), is ignored.
+A decorator counts when its name is one of the twelve declaration decorators and that name is imported from `@ddd-ts-kit/kernel/declarations` in the file: `{ Repository }`, an alias `{ Repository as Repo }`, or a namespace `declarations.Repository`. A home-made decorator of the same name, or one of another package (`@Retry` of `@ddd-ts-kit/aspects/decorators`), is ignored.
 
 The role of a file is read from its suffix and its folder, as the generator writes them. A class is exported inline, by `export { A }` or by `export default A`. When a class carries another declaration decorator, only that is reported: fixing it also answers the missing one.
 
@@ -96,9 +102,9 @@ None.
 
 ## Limits
 
-- An event class reached through a barrel (`@/contexts/billing/domain/events/index.js`), a renaming export, a default import or a namespace is not followed: its name is not compared. `ddd-ts-kit check` resolves the same import in the project.
+- An event class reached through a barrel (`@/contexts/billing/domain/events/index`), a renaming export, a default import or a namespace is not followed: its name is not compared. `ddd-ts-kit check` resolves the same import in the project.
 - A decorator applied through a variable (`const declare = Repository(InvoiceRepository); @declare class ...`) is not recognised.
-- That the dependency list matches the constructor and that a handler handles its message is checked by the compiler, not here; that an adapter implements its port is `ports/implements-never-extends`, and where a job lives and what it is named are `scheduling/job-triggers-use-case` and `scheduling/job-name`.
+- What a class is given is `declarations/constructor-injection`; that a list matches the constructor and that a handler handles its message is checked by the compiler, not here; that an adapter implements its port is `ports/implements-never-extends`, and where a job lives and what it is named are `scheduling/job-triggers-use-case` and `scheduling/job-name`.
 - That each role file holds a single declared class is `naming/one-concept-per-file` of `ddd-ts-kit check`.
 - That the generated barrel `<context>.declarations.ts` lists every role file is `declarations/barrel-current` of `ddd-ts-kit check`: it is a fact of the project, not of one file.
 - A role file written outside the folders of the table is not known to be one: `naming/suffix` and `tree/closed` of `ddd-ts-kit check` hold the tree.

package/docs/rules/domain-events-transactional-before-commit.md

@@ -30,7 +30,7 @@ Incorrect:
 // src/contexts/billing/application/event-handlers/invoice-issued.event-handler.ts
 import { Cache } from '@ddd-ts-kit/kernel';
 import { DomainEventHandler } from '@ddd-ts-kit/kernel/declarations';
-import { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository.js';
+import { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository';
 
 @DomainEventHandler(InvoiceIssued, { name: 'billing.invoice.issued' }, [InvoiceRepository, Cache])
 export class InvoiceIssuedEventHandler {

package/docs/rules/errors-constructor-not-public.md

@@ -0,0 +1,53 @@
+# ddd-ts-kit/errors-constructor-not-public
+
+Architecture id: `errors/constructor-not-public`. Default severity: `error` in `recommended`, `error` in `strict`.
+
+Applies to: the production files of `domain/errors/` of a context, in a project whose config says `"stack.refusals": "factories"`.
+
+## Why
+
+A public constructor lets any caller build a refusal with a code and a message of its own. `ConceptError` of `@ddd-ts-kit/kernel` has a protected constructor, and a class that extends it declares none: a refusal then exists only through a static factory.
+
+## Reported
+
+- a class that extends another one and declares a public constructor
+- a class that extends `DomainError` and declares no constructor: it inherits a public one
+
+An abstract class is not judged.
+
+Incorrect:
+
+```ts
+export class SlotTakenError extends DomainError {
+  readonly code = 'SLOT_TAKEN';
+
+  constructor(calendarId: string) {
+    super(`The slot on calendar ${calendarId} is already held.`);
+  }
+}
+```
+
+Correct:
+
+```ts
+export class AppointmentError extends ConceptError {
+  static slotTaken(calendarId: string) {
+    return AppointmentError.refusal('SLOT_TAKEN', `The slot on calendar ${calendarId} is already held.`, { calendarId });
+  }
+}
+```
+
+## Options
+
+None.
+
+`rules."errors/constructor-not-public"` in `ddd-ts-kit.config.json` set to `off` silences the rule, and `// ddd-ts-kit-disable-next-line errors/constructor-not-public -- <reason>` silences one line, exactly as for `ddd-ts-kit check`.
+
+## Limits
+
+- A class that extends a base of the project and declares no constructor is trusted: the visibility it inherits is in another file.
+- Nothing is fixed: making a constructor private breaks every `new` of the class. `ddd-ts-kit error-factories` moves a project to factories as a whole.
+
+## With the CLI checker
+
+Held by this plugin alone: the shape of a class needs a syntax tree.

package/docs/rules/errors-factory-name.md

@@ -0,0 +1,50 @@
+# ddd-ts-kit/errors-factory-name
+
+Architecture id: `errors/factory-name`. Default severity: `error` in `recommended`, `error` in `strict`.
+
+Applies to: the production files of `domain/errors/` of a context, in a project whose config says `"stack.refusals": "factories"`.
+
+## Why
+
+The factory is read by the developer who refuses, the code by the client, the mapper, the audit trail and the tests. They must meet the same words, and those words are the business's: `slotTaken` and `SLOT_TAKEN`, never `create` and `BOOKING_FAILED`.
+
+## Reported
+
+A factory is a public static method of an error class that calls `refusal(...)`.
+
+- a name that says an error is built and not which rule refused: `create`, `make`, `of`, `from`, `build`, `new`, `error`, `failure`, `fail`, `refusal`, `refuse`, or a name holding a digit (`error1`)
+- a code that is not a string literal, or not in constant case
+- a code that is not the name of the factory in constant case, alone or with the name of the concept before or after it: `AppointmentError.notFound` sets `NOT_FOUND`, `APPOINTMENT_NOT_FOUND` or `NOT_FOUND_APPOINTMENT`
+
+Incorrect:
+
+```ts
+static slotTaken(calendarId: string) {
+  return AppointmentError.refusal('BOOKING_FAILED', 'The slot is already held.', { calendarId });
+}
+```
+
+Correct:
+
+```ts
+static slotTaken(calendarId: string) {
+  return AppointmentError.refusal('SLOT_TAKEN', 'The slot is already held.', { calendarId });
+}
+```
+
+## Options
+
+None.
+
+`rules."errors/factory-name"` in `ddd-ts-kit.config.json` set to `off` silences the rule, and `// ddd-ts-kit-disable-next-line errors/factory-name -- <reason>` silences one line, exactly as for `ddd-ts-kit check`.
+
+A code already published under other words cannot change: rename the factory after it, or keep the name and silence that line with the reason.
+
+## Limits
+
+- Whether a name is a business phrase cannot be decided by a tool: only the names that are certainly not are refused. `language/glossary-term` holds the name of the class.
+- The first `refusal(...)` call of the method is the one read.
+
+## With the CLI checker
+
+Held by this plugin alone. That a code is unique in its context is `errors/code-unique`, held by the checker.

package/docs/rules/errors-through-factory.md

@@ -0,0 +1,45 @@
+# ddd-ts-kit/errors-through-factory
+
+Architecture id: `errors/through-factory`. Default severity: `error` in `recommended`, `error` in `strict`.
+
+Applies to: every file of a context, tests included, in a project whose config says `"stack.refusals": "factories"`. A config without the key was written when an error was a class built with `new`: nothing is reported there.
+
+## Why
+
+The code that refuses reads as a sentence, and the refusals of one concept live in one class: `throw AppointmentError.slotTaken(calendar.id, slot.startsAt)`. The factory writes the code, the message and the facts once. A `new` outside the class is a refusal whose code and message are whatever the caller wrote.
+
+## Reported
+
+- `new X(...)` where `X` is imported from a file of `domain/errors/`
+
+Incorrect:
+
+```ts
+import { SlotTakenError } from '@/contexts/scheduling/domain/errors/slot-taken.error';
+
+throw new SlotTakenError(calendar.id, slot.startsAt);
+```
+
+Correct:
+
+```ts
+import { AppointmentError } from '@/contexts/scheduling/domain/errors/appointment.error';
+
+throw AppointmentError.slotTaken(calendar.id, slot.startsAt);
+```
+
+## Options
+
+None.
+
+`rules."errors/through-factory"` in `ddd-ts-kit.config.json` set to `off` silences the rule, and `// ddd-ts-kit-disable-next-line errors/through-factory -- <reason>` silences one line, exactly as for `ddd-ts-kit check`.
+
+## Limits
+
+- An error class is known by where it is imported from: a class declared elsewhere than `domain/errors/` is not seen (`naming/suffix` keeps errors there).
+- The errors of the kit (`NotFoundError`, `InvariantViolation`, `ValidationError`...) are each one refusal with a fixed code and stay built with `new`.
+- Nothing is fixed: which factory replaces a constructor is a decision. `ddd-ts-kit error-factories` writes the plan of a migration and applies it.
+
+## With the CLI checker
+
+Held by this plugin alone: the checker lists the rule and judges nothing. The compiler refuses the same thing once the class extends `ConceptError`, whose constructor is protected.

package/docs/rules/imports-alias-only.md

@@ -12,7 +12,7 @@ The alias is declared once, under `paths` in `tsconfig.json`, which the compiler
 
 ## Reported
 
-- a relative specifier, `./x.js` or `../x.js`, the same directory included: fixed to the alias of the file
+- a relative specifier, `./x` or `../x`, with or without an extension, the same directory included: fixed to the alias of the file
 - a relative specifier that names a file under no aliased directory (a manifest, a build product): reported, not fixed
 - an alias specifier with a `.` or `..` segment, which could name a file outside the directory of the alias: reported, not fixed
 
@@ -20,22 +20,22 @@ Incorrect:
 
 ```ts
 // src/contexts/billing/application/commands/issue-invoice/issue-invoice.handler.ts
-import { Invoice } from '../../../domain/aggregates/invoice.aggregate.js';
-import { IssueInvoiceCommand } from './issue-invoice.command.js';
+import { Invoice } from '../../../domain/aggregates/invoice.aggregate';
+import { IssueInvoiceCommand } from './issue-invoice.command';
 
 // test/e2e/issue-invoice.e2e.spec.ts
-import { startApplication } from './support/start-application.js';
+import { startApplication } from './support/start-application';
 ```
 
 Correct:
 
 ```ts
 // src/contexts/billing/application/commands/issue-invoice/issue-invoice.handler.ts
-import { IssueInvoiceCommand } from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.command.js';
-import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate.js';
+import { IssueInvoiceCommand } from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.command';
+import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate';
 
 // test/e2e/issue-invoice.e2e.spec.ts
-import { startApplication } from '$test/e2e/support/start-application.js';
+import { startApplication } from '$test/e2e/support/start-application';
 ```
 
 ## Details
@@ -51,7 +51,7 @@ The aliases of a project:
 | `$scripts/` | `scripts/` | fixed |
 | `$generated/` | `generated/`, with `stack.orm` `prisma` only | fixed |
 
-The fix computes the alias from the place of the file and the config: the relative specifier is resolved from the directory of the file, and the result is written from the directory its alias names, with a `.js` extension. It keeps the quotes of the specifier. A fixed import is often longer than the line: run the formatter after the fix (`npm run format`). Fixing twice changes nothing.
+The fix computes the alias from the place of the file and the config: the relative specifier is resolved from the directory of the file, and the result is written from the directory its alias names, ending as `importExtension` of the config says: with nothing under `none`, with `.js` under `js` (a config without the key). It keeps the quotes of the specifier. A fixed import is often longer than the line: run the formatter after the fix (`npm run format`). Fixing twice changes nothing.
 
 Not judged: a file outside the three directories (a config file at the project root, a JavaScript migration), the client under `generated/`, which a tool writes, and a specifier that is neither relative nor one of the aliases (a package, a Node built-in).
 
@@ -59,13 +59,14 @@ An alias that names no file is not this rule's concern: the compiler reports it
 
 ## Options
 
-None. `sourceRoot` and `importAlias` of `ddd-ts-kit.config.json` say what the alias of the sources is.
+None. `sourceRoot` and `importAlias` of `ddd-ts-kit.config.json` say what the alias of the sources is, `importExtension` what the fixed specifier ends with.
 
 `rules."imports/alias-only"` in `ddd-ts-kit.config.json` set to `off` silences the rule, and `// ddd-ts-kit-disable-next-line imports/alias-only -- <reason>` silences one line, exactly as for `ddd-ts-kit check`.
 
 ## Limits
 
 - Only a module the build emits can be named by the alias: a JSON file or another asset is read at run time instead of imported.
+- The ending of an alias specifier is the business of [`imports/extension`](imports-extension.md).
 - The rule does not check that `tsconfig.json` declares the alias, nor that the build rewrites it: `imports/alias-declared` of `ddd-ts-kit check` does, with everything else that has to follow the one declaration.
 
 ## With the CLI checker

package/docs/rules/imports-extension.md

@@ -0,0 +1,83 @@
+# ddd-ts-kit/imports-extension
+
+Architecture id: `imports/extension`. Default severity: `error` in `recommended`, `error` in `strict`. Fixable (`eslint --fix`).
+
+Applies to: every TypeScript file under the source root, under `test/` and under `scripts/`.
+
+## Why
+
+An import of a file of the project has one spelling. `importExtension` in `ddd-ts-kit.config.json` says which:
+
+| `importExtension` | An import is written | The compiler resolves it | Who holds the other spelling |
+|---|---|---|---|
+| `none`, the default of a new project | `@/contexts/billing/domain/aggregates/invoice.aggregate` | as a bundler does (`"moduleResolution": "Bundler"`, with the `node` condition), which accepts both spellings | this rule: the compiler would let `.js` through |
+| `js`, also what a config without the key means | `@/contexts/billing/domain/aggregates/invoice.aggregate.js` | as Node does (`"moduleResolution": "NodeNext"`), which requires the extension | the compiler (`TS2835`), and this rule, which fixes it |
+
+Node needs the extension at run time whatever the sources write: `ddd-ts-kit build-aliases`, the second step of `npm run build`, rewrites each alias of the compiled output into a relative path ending in `.js`. The build names one file per specifier and guesses nothing, so a specifier written the other way stops it: this rule reports the mistake in the editor instead. See [Import aliases](../../../../docs/tools/import-aliases.md).
+
+## Reported
+
+- under `none`: an alias specifier that ends with `.js`, `.mjs`, `.cjs`, `.ts`, `.mts` or `.cts`: fixed by removing the extension
+- under `js`: an alias specifier that does not end with `.js` (`.mjs` and `.cjs` are accepted, they name what an `.mts` or a `.cts` file emits): fixed by writing `.js` in place of what it ends with
+
+Incorrect under `none`:
+
+```ts
+import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate.js';
+import { startApplication } from '$test/e2e/support/start-application.ts';
+```
+
+Correct under `none`:
+
+```ts
+import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate';
+import { startApplication } from '$test/e2e/support/start-application';
+```
+
+Incorrect under `js`:
+
+```ts
+import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate';
+```
+
+Correct under `js`:
+
+```ts
+import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate.js';
+```
+
+## Details
+
+Static imports, type-only imports, `export ... from`, `export *`, dynamic `import()`, `import()` types and `require()` are all read. A dynamic import whose specifier is computed is not judged.
+
+Only a specifier that starts with an alias of the project is judged (`importAlias`, `$test/`, `$scripts/`, and `$generated/` with `stack.orm` `prisma`). A package is never a file of the project, whatever its subpath ends with: `zod/v4/core.js` and `@scope/package/file.js` are left alone, and so is a Node built-in. A relative import is reported by [`imports/alias-only`](imports-alias-only.md), whose fix writes the alias with the right ending.
+
+A dot in a file name is not an extension: `invoice.aggregate`, `issue-invoice.command` and `load-config` are all read as written without one.
+
+The fix keeps the quotes of the specifier. Under `none` a fixed import is three characters shorter and may now fit on one line: run the formatter after the fix (`npm run format`). Fixing twice changes nothing.
+
+Not judged: a file outside the three directories (a config file at the project root, a JavaScript migration, which Node runs as written and which therefore keeps its extensions) and the client under `generated/`, which a tool writes.
+
+## Moving a project to the other spelling
+
+A project generated before the key existed is read as `js` and keeps working untouched. To drop the extensions:
+
+1. set `"importExtension": "none"` in `ddd-ts-kit.config.json`;
+2. run `ddd-ts-kit check`: `imports/alias-declared` gives the `module`, `moduleResolution` and `customConditions` to write in `tsconfig.json`, and the jest mapping when the project runs jest;
+3. run `eslint --fix`, then `npm run format`;
+4. regenerate what the kit generates (`ddd-ts-kit generate` or `ddd-ts-kit docs` rewrites the declarations barrels), then `npm run verify`.
+
+## Options
+
+None. `importExtension` of `ddd-ts-kit.config.json` decides.
+
+`rules."imports/extension"` in `ddd-ts-kit.config.json` set to `off` silences the rule, and `// ddd-ts-kit-disable-next-line imports/extension -- <reason>` silences one line, exactly as for `ddd-ts-kit check`.
+
+## Limits
+
+- A specifier that names a directory (`@/contexts/billing/published-language`, resolved by a bundler to its `index.ts`) is not reported here: this rule reads no disk. `ddd-ts-kit check` reports it under the same id, and `ddd-ts-kit build-aliases` refuses it: an alias names one file, `.../published-language/index`.
+- The rule does not check that `tsconfig.json` resolves as the config says: `imports/alias-declared` of `ddd-ts-kit check` does.
+
+## With the CLI checker
+
+`ddd-ts-kit check` reports the same id from the import specifiers it reads in the text of the files, under the source root, `test/` and `scripts/`, gives the specifier to write in its fix sentence, and also reports an alias that names a directory. This rule is the one that rewrites the import.