ddd-ts-kit 0.14.0 → 0.16.0

package/README.md

@@ -52,12 +52,14 @@ ddd-ts-kit init [--http express|fastify|hono|nest|none]
                 [--style declared|explicit] [--assembly barrel|discovery]
                 [--dependencies signature|listed] [--refusals factories|classes]
                 [--routes controllers|functions] [--value-objects throwing|result]
-                [--literals named|free] [--tenancy none|shared-table] [--queue database|redis|memory]
+                [--literals named|free] [--values classes|free] [--tenancy none|shared-table]
+                [--queue database|redis|memory]
                 [--schemas shared|per-route]
                 [--package-manager npm|pnpm]
                 [--allow-no-outbox "<reason>"] [--import-alias '$<name>/']
                 [--import-extension none|js] [--sdk]
                 [--context <name>:<core|supporting|generic>]...
+                [--preset identity]...
                 [--dry-run] [--force]
 ```
 
@@ -262,6 +264,32 @@ and `@typescript/native` (`npm:typescript@~7.0.2`), which `build` and `typecheck
 `init` and `generate context` start with the language: the first entry of `next` is the glossary
 of the context to fill in.
 
+### Presets
+
+`--preset identity` (on `init`, or on `generate context`; once per project) writes a whole bounded
+context instead of an empty one: who the people of the application are, the organisations they
+belong to and in which role. Accounts are provisioned from the identity provider at the first
+sign-in (no password is kept), organisations (the tenants under `--tenancy shared-table`),
+members with roles of a declared vocabulary, invitations by token with an expiry, delegations of
+rights for a period; permissions, policies, the published language (member joined, role changed,
+account deactivated...), a search, controllers, specs with builders and fakes, the adapters of
+the ORM, and the port to the administration API of the identity provider, kept in line at least
+once by the consumers of the published facts, with a Keycloak adapter given as a recipe (proven
+against a server that answers as Keycloak does, not against Keycloak in the pipeline). Nobody
+changes their own role or acts above it, whatever a delegation lends; a deactivated account
+leaves its organisations; an address the provider did not verify provisions no account. On `init` without a `--context` of its name, the context `identity` is declared
+`generic`. Every signed-in person holds the permissions of the context whatever `--authz` says:
+the grant `'identity:*'` of `platform/auth/signed-in-grants.ts`, answered by
+`SignedInGrantsAuthorizer` before the model in `createAuthorizer`. With tenants, the tables of
+the context belong to none, under a decision record the preset writes, and with `--authn
+keycloak` the authenticator reads the `organization` claim as the tenants of the person
+(another authenticator gets a next step saying what to map). The preset is written for
+`declared` with `signature` dependencies, `factories`, `throwing` value objects, `controllers`,
+Knex or Drizzle on PostgreSQL, Zod or class-validator, Express or Fastify, and a token verifier
+(`jwt` or `keycloak`); another stack is refused with what to change, and so is a second context
+written from the same preset. Why, and which other contexts deserve one:
+[Bootstrap with well-designed contexts](../../docs/guides/bootstrap-with-well-designed-contexts.md).
+
 ## generate (alias g)
 
 ```
@@ -271,7 +299,7 @@ ddd-ts-kit generate --help --json
 
 | Kind | Arguments | Writes |
 |---|---|---|
-| `context` | `<name> --classification <c> [--purpose "<two sentences>"] [--term ...]... [--upstream <ctx>[:relationship]]...` | `CONTEXT.md` with its glossary, `published-language/index.ts`, config entry, registration in `platform/compose-application.ts` and in `test/architecture/extractable.spec.ts`; on tsyringe, with HTTP, `presentation/http/<name>.routes.ts` (a function of the two buses, in both styles); declared: the barrel `<name>.declarations.ts`; explicit and hand wiring: `<name>.module.ts`. `application/authorization/<name>.permissions.ts` is born with the first permission, or at once when `platform/auth/permissions.ts` lists the permission sets (rebac, custom) |
+| `context` | `<name> --classification <c> [--purpose "<two sentences>"] [--term ...]... [--upstream <ctx>[:relationship]]... [--preset identity]` | `CONTEXT.md` with its glossary, `published-language/index.ts`, config entry, registration in `platform/compose-application.ts` and in `test/architecture/extractable.spec.ts`; on tsyringe, with HTTP, `presentation/http/<name>.routes.ts` (a function of the two buses, in both styles); declared: the barrel `<name>.declarations.ts`; explicit and hand wiring: `<name>.module.ts`. `application/authorization/<name>.permissions.ts` is born with the first permission, or at once when `platform/auth/permissions.ts` lists the permission sets (rebac, custom). With `--preset`, the context is then written whole from that preset, its classification and purpose those of the preset unless the flags say otherwise ([Presets](#presets)) |
 | `aggregate` | `<context> <Name>` | aggregate, builder, spec in given / when / then |
 | `builder` | `<context> <Aggregate>` | `test/builders/<name>.builder.ts`, a class extending `Builder` |
 | `entity` | `<context> <Name>` | entity, spec |
@@ -816,6 +844,7 @@ saying what to do instead. Exit code 1 when there is at least one error.
 | `schema/presentation-only` | under `"stack.schemas": "shared"`: in the shared kernel outside `presentation/`, an import of a validation library; in `domain/`, `application/`, `infrastructure/`, `published-language/` and the shared kernel outside `presentation/`, an import of a file of `presentation/` of the shared kernel |
 | `schema/no-duplicate-shape` | under `"stack.schemas": "shared"`, in the presentation layer of one context, or in it and `presentation/` of the shared kernel: a DTO class or an object schema (`z.object`, `v.object`, `Type.Object`) declaring the shape of another one, with the place of the original (the shared kernel, then `presentation/http/shared/`); two contexts are not compared, and request parameters and shapes still carrying a `TODO(domain)` of the generator are not judged |
 | `errors/known-code` | under `"stack.refusals": "factories"`, in a `*.route.ts`: a code of the `errors` list that no refusal of the context of the route sets, that no class outside the contexts sets, and that is not a code of the kit |
+| `domain/value-object-class` | under `"stack.values": "classes"`: in `domain/value-objects/` of a context or a `*.vo.ts` of the shared kernel outside `presentation/`, no exported class or a second one, a class that extends neither `ValueObject` nor another value object of the project, a public constructor, a concrete class without a static method, an exported function, arrow constant or object literal (inline, listed or by default); in `domain/` and in the shared kernel outside `presentation/`, an exported function that answers a record of data: data entries, no spread, nothing a call of the model built |
 
 More ids belong to `@ddd-ts-kit/eslint-plugin`, which reads the syntax tree where this
 checker reads text: `domain/aggregate-encapsulation`, `domain/value-object-immutability`,

package/dist/check/catalogue/architecture-rules.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"architecture-rules.d.ts","sourceRoot":"","sources":["../../../src/check/catalogue/architecture-rules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAgF7C,gHAAgH;AAChH,eAAO,MAAM,kBAAkB,EAAE,SAAS,IAAI,EA+E7C,CAAC"}
+{"version":3,"file":"architecture-rules.d.ts","sourceRoot":"","sources":["../../../src/check/catalogue/architecture-rules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAiF7C,gHAAgH;AAChH,eAAO,MAAM,kBAAkB,EAAE,SAAS,IAAI,EAgF7C,CAAC"}

package/dist/check/catalogue/architecture-rules.js

@@ -25,6 +25,7 @@ import { declarationsConstructorInjection } from '../rules/declarations-construc
 import { declarationsRoleDeclared } from '../rules/declarations-role-declared.js';
 import { domainEventsDispatchedOnSave } from '../rules/domain-events-dispatched-on-save.js';
 import { domainEventsTransactionalBeforeCommit } from '../rules/domain-events-transactional-before-commit.js';
+import { domainValueObjectClass } from '../rules/domain-value-object-class.js';
 import { errorsCodeUnique } from '../rules/errors-code-unique.js';
 import { eventSourcingPastTense } from '../rules/event-sourcing-past-tense.js';
 import { eventSourcingProjectionNeverAppends } from '../rules/event-sourcing-projection-never-appends.js';
@@ -116,6 +117,7 @@ export const ARCHITECTURE_RULES = [
     cleanBraces,
     cleanOneExportPerFile,
     cleanFileSize,
+    domainValueObjectClass,
     eventsOutboxRequired,
     eventsConsumerIdempotent,
     domainEventsDispatchedOnSave,

package/dist/check/catalogue/architecture-rules.js.map

@@ -1 +1 @@
-{"version":3,"file":"architecture-rules.js","sourceRoot":"","sources":["../../../src/check/catalogue/architecture-rules.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AACxF,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,mCAAmC,EAAE,MAAM,sDAAsD,CAAC;AAC3G,OAAO,EAAE,4BAA4B,EAAE,MAAM,6CAA6C,CAAC;AAC3F,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,gCAAgC,EAAE,MAAM,gDAAgD,CAAC;AAClG,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AAC5F,OAAO,EAAE,qCAAqC,EAAE,MAAM,uDAAuD,CAAC;AAC9G,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,mCAAmC,EAAE,MAAM,qDAAqD,CAAC;AAC1G,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EAAE,kCAAkC,EAAE,MAAM,oDAAoD,CAAC;AACxG,OAAO,EAAE,6BAA6B,EAAE,MAAM,8CAA8C,CAAC;AAC7F,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AACxF,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,6BAA6B,EAAE,MAAM,8CAA8C,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,iCAAiC,EAAE,MAAM,kDAAkD,CAAC;AACrG,OAAO,EAAE,iCAAiC,EAAE,MAAM,kDAAkD,CAAC;AACrG,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AACxF,OAAO,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,yBAAyB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AAC5F,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAE9D,gHAAgH;AAChH,MAAM,CAAC,MAAM,kBAAkB,GAAoB;IACjD,iBAAiB;IACjB,sBAAsB;IACtB,iCAAiC;IACjC,iCAAiC;IACjC,4BAA4B;IAC5B,2BAA2B;IAC3B,mCAAmC;IACnC,cAAc;IACd,UAAU;IACV,cAAc;IACd,YAAY;IACZ,uBAAuB;IACvB,mBAAmB;IACnB,sBAAsB;IACtB,sBAAsB;IACtB,gBAAgB;IAChB,gBAAgB;IAChB,gCAAgC;IAChC,WAAW;IACX,mBAAmB;IACnB,oBAAoB;IACpB,oBAAoB;IACpB,uBAAuB;IACvB,0BAA0B;IAC1B,mBAAmB;IACnB,yBAAyB;IACzB,mBAAmB;IACnB,aAAa;IACb,iBAAiB;IACjB,uBAAuB;IACvB,mBAAmB;IACnB,kBAAkB;IAClB,mBAAmB;IACnB,kBAAkB;IAClB,eAAe;IACf,WAAW;IACX,qBAAqB;IACrB,aAAa;IACb,oBAAoB;IACpB,wBAAwB;IACxB,4BAA4B;IAC5B,qCAAqC;IACrC,yBAAyB;IACzB,sBAAsB;IACtB,kCAAkC;IAClC,mCAAmC;IACnC,6BAA6B;IAC7B,kBAAkB;IAClB,aAAa;IACb,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,gBAAgB;IAChB,mBAAmB;IACnB,sBAAsB;IACtB,2BAA2B;IAC3B,2BAA2B;IAC3B,uBAAuB;IACvB,wBAAwB;IACxB,yBAAyB;IACzB,gCAAgC;IAChC,kBAAkB;IAClB,2BAA2B;IAC3B,oBAAoB;IACpB,yBAAyB;IACzB,gBAAgB;IAChB,4BAA4B;IAC5B,6BAA6B;IAC7B,wBAAwB;IACxB,iBAAiB;IACjB,gBAAgB;IAChB,gBAAgB;IAChB,oBAAoB;IACpB,gBAAgB;IAChB,eAAe;IACf,2BAA2B;IAC3B,wBAAwB;IACxB,qBAAqB;CACtB,CAAC"}
+{"version":3,"file":"architecture-rules.js","sourceRoot":"","sources":["../../../src/check/catalogue/architecture-rules.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AACxF,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,mCAAmC,EAAE,MAAM,sDAAsD,CAAC;AAC3G,OAAO,EAAE,4BAA4B,EAAE,MAAM,6CAA6C,CAAC;AAC3F,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,gCAAgC,EAAE,MAAM,gDAAgD,CAAC;AAClG,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AAC5F,OAAO,EAAE,qCAAqC,EAAE,MAAM,uDAAuD,CAAC;AAC9G,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,mCAAmC,EAAE,MAAM,qDAAqD,CAAC;AAC1G,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EAAE,kCAAkC,EAAE,MAAM,oDAAoD,CAAC;AACxG,OAAO,EAAE,6BAA6B,EAAE,MAAM,8CAA8C,CAAC;AAC7F,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AACxF,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,6BAA6B,EAAE,MAAM,8CAA8C,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,iCAAiC,EAAE,MAAM,kDAAkD,CAAC;AACrG,OAAO,EAAE,iCAAiC,EAAE,MAAM,kDAAkD,CAAC;AACrG,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AACxF,OAAO,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,yBAAyB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AAC5F,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAE9D,gHAAgH;AAChH,MAAM,CAAC,MAAM,kBAAkB,GAAoB;IACjD,iBAAiB;IACjB,sBAAsB;IACtB,iCAAiC;IACjC,iCAAiC;IACjC,4BAA4B;IAC5B,2BAA2B;IAC3B,mCAAmC;IACnC,cAAc;IACd,UAAU;IACV,cAAc;IACd,YAAY;IACZ,uBAAuB;IACvB,mBAAmB;IACnB,sBAAsB;IACtB,sBAAsB;IACtB,gBAAgB;IAChB,gBAAgB;IAChB,gCAAgC;IAChC,WAAW;IACX,mBAAmB;IACnB,oBAAoB;IACpB,oBAAoB;IACpB,uBAAuB;IACvB,0BAA0B;IAC1B,mBAAmB;IACnB,yBAAyB;IACzB,mBAAmB;IACnB,aAAa;IACb,iBAAiB;IACjB,uBAAuB;IACvB,mBAAmB;IACnB,kBAAkB;IAClB,mBAAmB;IACnB,kBAAkB;IAClB,eAAe;IACf,WAAW;IACX,qBAAqB;IACrB,aAAa;IACb,sBAAsB;IACtB,oBAAoB;IACpB,wBAAwB;IACxB,4BAA4B;IAC5B,qCAAqC;IACrC,yBAAyB;IACzB,sBAAsB;IACtB,kCAAkC;IAClC,mCAAmC;IACnC,6BAA6B;IAC7B,kBAAkB;IAClB,aAAa;IACb,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,gBAAgB;IAChB,mBAAmB;IACnB,sBAAsB;IACtB,2BAA2B;IAC3B,2BAA2B;IAC3B,uBAAuB;IACvB,wBAAwB;IACxB,yBAAyB;IACzB,gCAAgC;IAChC,kBAAkB;IAClB,2BAA2B;IAC3B,oBAAoB;IACpB,yBAAyB;IACzB,gBAAgB;IAChB,4BAA4B;IAC5B,6BAA6B;IAC7B,wBAAwB;IACxB,iBAAiB;IACjB,gBAAgB;IAChB,gBAAgB;IAChB,oBAAoB;IACpB,gBAAgB;IAChB,eAAe;IACf,2BAA2B;IAC3B,wBAAwB;IACxB,qBAAqB;CACtB,CAAC"}

package/dist/check/explain/domain-docs.d.ts

@@ -0,0 +1,3 @@
+import type { RuleDoc } from '../model/rule-doc.js';
+export declare const DOMAIN_DOCS: Readonly<Record<string, RuleDoc>>;
+//# sourceMappingURL=domain-docs.d.ts.map

package/dist/check/explain/domain-docs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-docs.d.ts","sourceRoot":"","sources":["../../../src/check/explain/domain-docs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAEpD,eAAO,MAAM,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA4BzD,CAAC"}

package/dist/check/explain/domain-docs.js

@@ -0,0 +1,30 @@
+export const DOMAIN_DOCS = {
+    'domain/value-object-class': {
+        why: 'A value of the model is a class extending ValueObject of the kernel, never a function that builds a plain object. The class compares by value with no identity (equals), checks its invariants once, in the static factory that is the only way in through a private constructor, keeps its behaviour next to its data, refuses an invalid input with the factory of the error of its concept, freezes its props, and is recognised with instanceof by a boundary mapper. A function answering { amount, currency } gives none of that: every caller re-validates, compares field by field, and the operations of the value scatter. So a file of domain/value-objects/ (or a *.vo.ts of the shared kernel) exports one class extending ValueObject, directly or through another value object of the project, with a private or protected constructor and static factories, and no function, arrow constant or object literal; the types of its props may be exported. In domain/ and in the shared kernel outside presentation/, an exported function that answers a record of data (data entries, no spread, nothing a call or new of the model built) is reported. A domain service, a state machine, a specification answering a boolean or an object of functions, a record of value objects the function builds, a record derived by a spread and a function declaring a return type of a package answer something else and are not concerned; a decision answered as a plain record is a value, written as a class or thrown as a refusal. The rule holds under "stack.values": "classes", which init writes; a config that does not say keeps the free form of 0.15.',
+        bad: `// domain/value-objects/money.vo.ts
+export type Money = { readonly amount: number; readonly currency: string };
+
+export const money = (amount: number, currency: string): Money => ({ amount, currency });`,
+        good: `// domain/value-objects/money.vo.ts (npx ddd-ts-kit generate value-object billing Money)
+export type MoneyProps = { readonly amount: number; readonly currency: string };
+
+export class Money extends ValueObject<MoneyProps> {
+  private constructor(props: MoneyProps) {
+    super(props);
+  }
+
+  static of(amount: number, currency: string): Money {
+    if (!Number.isInteger(amount)) {
+      throw InvoiceError.invalidAmount(amount);
+    }
+
+    return new Money({ amount, currency });
+  }
+
+  add(other: Money): Money {
+    return Money.of(this.props.amount + other.props.amount, this.props.currency);
+  }
+}`,
+    },
+};
+//# sourceMappingURL=domain-docs.js.map

package/dist/check/explain/domain-docs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-docs.js","sourceRoot":"","sources":["../../../src/check/explain/domain-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAsC;IAC5D,2BAA2B,EAAE;QAC3B,GAAG,EAAE,8kDAA8kD;QACnlD,GAAG,EAAE;;;0FAGiF;QACtF,IAAI,EAAE;;;;;;;;;;;;;;;;;;;EAmBR;KACC;CACF,CAAC"}

package/dist/check/explain/rule-docs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rule-docs.d.ts","sourceRoot":"","sources":["../../../src/check/explain/rule-docs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAqBpD,oGAAoG;AACpG,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAoBvD,CAAC"}
+{"version":3,"file":"rule-docs.d.ts","sourceRoot":"","sources":["../../../src/check/explain/rule-docs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAsBpD,oGAAoG;AACpG,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqBvD,CAAC"}

package/dist/check/explain/rule-docs.js

@@ -1,6 +1,7 @@
 import { AUTHZ_DOCS } from './authz-docs.js';
 import { CLEAN_DOCS } from './clean-docs.js';
 import { CONTEXT_DOCS } from './context-docs.js';
+import { DOMAIN_DOCS } from './domain-docs.js';
 import { ERRORS_DOCS } from './errors-docs.js';
 import { EVENT_SOURCING_DOCS } from './event-sourcing-docs.js';
 import { EVENTS_DOCS } from './events-docs.js';
@@ -22,6 +23,7 @@ export const RULE_DOCS = {
     ...AUTHZ_DOCS,
     ...CLEAN_DOCS,
     ...CONTEXT_DOCS,
+    ...DOMAIN_DOCS,
     ...ERRORS_DOCS,
     ...EVENT_SOURCING_DOCS,
     ...EVENTS_DOCS,

package/dist/check/explain/rule-docs.js.map

@@ -1 +1 @@
-{"version":3,"file":"rule-docs.js","sourceRoot":"","sources":["../../../src/check/explain/rule-docs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,oGAAoG;AACpG,MAAM,CAAC,MAAM,SAAS,GAAsC;IAC1D,GAAG,UAAU;IACb,GAAG,UAAU;IACb,GAAG,YAAY;IACf,GAAG,WAAW;IACd,GAAG,mBAAmB;IACtB,GAAG,WAAW;IACd,GAAG,YAAY;IACf,GAAG,aAAa;IAChB,GAAG,UAAU;IACb,GAAG,WAAW;IACd,GAAG,cAAc;IACjB,GAAG,gBAAgB;IACnB,GAAG,UAAU;IACb,GAAG,eAAe;IAClB,GAAG,WAAW;IACd,GAAG,aAAa;IAChB,GAAG,YAAY;IACf,GAAG,SAAS;IACZ,GAAG,WAAW;CACf,CAAC"}
+{"version":3,"file":"rule-docs.js","sourceRoot":"","sources":["../../../src/check/explain/rule-docs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,oGAAoG;AACpG,MAAM,CAAC,MAAM,SAAS,GAAsC;IAC1D,GAAG,UAAU;IACb,GAAG,UAAU;IACb,GAAG,YAAY;IACf,GAAG,WAAW;IACd,GAAG,WAAW;IACd,GAAG,mBAAmB;IACtB,GAAG,WAAW;IACd,GAAG,YAAY;IACf,GAAG,aAAa;IAChB,GAAG,UAAU;IACb,GAAG,WAAW;IACd,GAAG,cAAc;IACjB,GAAG,gBAAgB;IACnB,GAAG,UAAU;IACb,GAAG,eAAe;IAClB,GAAG,WAAW;IACd,GAAG,aAAa;IAChB,GAAG,YAAY;IACf,GAAG,SAAS;IACZ,GAAG,WAAW;CACf,CAAC"}

package/dist/check/explain/tenancy-docs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tenancy-docs.d.ts","sourceRoot":"","sources":["../../../src/check/explain/tenancy-docs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAEpD,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAa1D,CAAC"}
+{"version":3,"file":"tenancy-docs.d.ts","sourceRoot":"","sources":["../../../src/check/explain/tenancy-docs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAEpD,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAe1D,CAAC"}

package/dist/check/explain/tenancy-docs.js

@@ -1,6 +1,6 @@
 export const TENANCY_DOCS = {
     'tenancy/scoped-statement': {
-        why: 'On shared tables, one statement without its tenant condition reads or overwrites the data of every tenant: the most common and the most damaging leak of a multi-tenant application. The kit puts the condition in one place, the helpers of the ORM package, which read the tenant from the execution scope, refuse work that names none, widen reads only under an audited elevation and never widen writes. A table reached straight from the executor bypasses all of it. Judged in a project whose "stack.tenancy" is not "none": the infrastructure of the contexts, tests aside. Checked by text, statement by statement: on Knex the executor used other than as the argument of a helper, and raw SQL; on Drizzle a read, update or delete whose where carries no tenant condition (inline or in the local it is given), an insert whose row names no tenant, a relational query or a raw execute; on both, a read model store built without its tenant option. A where built by another function is not followed: inline it, or record a deviation.',
+        why: 'On shared tables, one statement without its tenant condition reads or overwrites the data of every tenant: the most common and the most damaging leak of a multi-tenant application. The kit puts the condition in one place, the helpers of the ORM package, which read the tenant from the execution scope, refuse work that names none, widen reads only under an audited elevation and never widen writes. A table reached straight from the executor bypasses all of it. Judged in a project whose "stack.tenancy" is not "none": the infrastructure of the contexts, tests aside. Checked by text, statement by statement: on Knex the executor used other than as the argument of a helper, and raw SQL that may reach rows by itself: a word that reads or writes rows (`select`, `from`, `join`, `insert`, `update`, `delete`, `values`, `call`...) or starts a statement (`table`, `with`, `do`...), a call to a function that is not a known expression (an aggregate, a cast, arithmetic, text), a text that is not a literal or a template that interpolates; a statement of the schema (`create`, `alter`, `drop`, `comment`) with no word of rows, and an aggregate in a select, reach no row by themselves; on Drizzle a read, update or delete whose where carries no tenant condition (inline or in the local it is given), an insert whose row names no tenant, a relational query or a raw execute; on both, a read model store built without its tenant option. A where built by another function is not followed: inline it, or record a deviation.',
         bad: `// infrastructure/persistence/knex-invoice.repository.ts
 const row = await this.database.executor()<InvoiceRow, InvoiceRow[]>('invoices').where({ id }).first();
 const all = await this.database.executor().from('invoices').where({ status }); // the executor chained
@@ -9,6 +9,8 @@ await this.database.executor().select().from(invoices).where(eq(invoices.id, id)
 await this.database.executor().query.invoices.findMany(); // a relational query cannot carry the condition`,
         good: `const row = await tenantTable<InvoiceRow>(this.database, this.scope, INVOICES).where({ id }).first();
 await ownTenantTable<InvoiceRow>(this.database, this.scope, INVOICES).where({ id, version }).update(changes);
+const grouped = tenantTable(this.database, this.scope, INVOICES).select('status', this.database.executor().raw('sum(amount) as due')).groupBy('status');
+const pages = await derivedTable(this.database, grouped, 'dues').orderBy('due', 'desc').limit(20);
 await this.database.executor().select().from(invoices).where(and(eq(invoices.id, id), tenantCondition(invoices.tenantId, this.scope)));`,
     },
 };

package/dist/check/explain/tenancy-docs.js.map

@@ -1 +1 @@
-{"version":3,"file":"tenancy-docs.js","sourceRoot":"","sources":["../../../src/check/explain/tenancy-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAsC;IAC7D,0BAA0B,EAAE;QAC1B,GAAG,EAAE,+/BAA+/B;QACpgC,GAAG,EAAE;;;;;2GAKkG;QACvG,IAAI,EAAE;;wIAE8H;KACrI;CACF,CAAC"}
+{"version":3,"file":"tenancy-docs.js","sourceRoot":"","sources":["../../../src/check/explain/tenancy-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAsC;IAC7D,0BAA0B,EAAE;QAC1B,GAAG,EAAE,2+CAA2+C;QACh/C,GAAG,EAAE;;;;;2GAKkG;QACvG,IAAI,EAAE;;;;wIAI8H;KACrI;CACF,CAAC"}

package/dist/check/fixtures/fixtures.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/fixtures.ts"],"names":[],"mappings":"AAqCA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,SAAS,OAAO,EAsCtC,CAAC"}
+{"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/fixtures.ts"],"names":[],"mappings":"AAuCA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,SAAS,OAAO,EAwCtC,CAAC"}

package/dist/check/fixtures/fixtures.js

@@ -35,6 +35,8 @@ import { TENANCY_FIXTURES } from './tenancy-fixtures.js';
 import { TEST_FIXTURES } from './test-fixtures.js';
 import { TRACING_FIXTURES } from './tracing-fixtures.js';
 import { TREE_FIXTURES } from './tree-fixtures.js';
+import { MODEL_FUNCTION_FIXTURES } from './model-function-fixtures.js';
+import { VALUE_OBJECT_FILE_FIXTURES } from './value-object-file-fixtures.js';
 /**
  * Mini-projects proving each rule both ways. They ship with the CLI so that
  * `ddd-ts-kit check --self` can verify an installed build, and the test suite
@@ -78,5 +80,7 @@ export const FIXTURES = [
     ...TEST_FIXTURES,
     ...TRACING_FIXTURES,
     ...TREE_FIXTURES,
+    ...VALUE_OBJECT_FILE_FIXTURES,
+    ...MODEL_FUNCTION_FIXTURES,
 ];
 //# sourceMappingURL=fixtures.js.map

package/dist/check/fixtures/fixtures.js.map

@@ -1 +1 @@
-{"version":3,"file":"fixtures.js","sourceRoot":"","sources":["../../../src/check/fixtures/fixtures.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGnD;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C,GAAG,uBAAuB;IAC1B,GAAG,uBAAuB;IAC1B,GAAG,cAAc;IACjB,GAAG,cAAc;IACjB,GAAG,oBAAoB;IACvB,GAAG,eAAe;IAClB,GAAG,8BAA8B;IACjC,GAAG,iBAAiB;IACpB,GAAG,gBAAgB;IACnB,GAAG,iBAAiB;IACpB,GAAG,qBAAqB;IACxB,GAAG,sBAAsB;IACzB,GAAG,eAAe;IAClB,GAAG,eAAe;IAClB,GAAG,uBAAuB;IAC1B,GAAG,eAAe;IAClB,GAAG,kBAAkB;IACrB,GAAG,oBAAoB;IACvB,GAAG,cAAc;IACjB,GAAG,mBAAmB;IACtB,GAAG,gBAAgB;IACnB,GAAG,iBAAiB;IACpB,GAAG,mBAAmB;IACtB,GAAG,cAAc;IACjB,GAAG,eAAe;IAClB,GAAG,kBAAkB;IACrB,GAAG,eAAe;IAClB,GAAG,eAAe;IAClB,GAAG,oBAAoB;IACvB,GAAG,cAAc;IACjB,GAAG,eAAe;IAClB,GAAG,mBAAmB;IACtB,GAAG,iBAAiB;IACpB,GAAG,gBAAgB;IACnB,GAAG,aAAa;IAChB,GAAG,gBAAgB;IACnB,GAAG,aAAa;CACjB,CAAC"}
+{"version":3,"file":"fixtures.js","sourceRoot":"","sources":["../../../src/check/fixtures/fixtures.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAG7E;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C,GAAG,uBAAuB;IAC1B,GAAG,uBAAuB;IAC1B,GAAG,cAAc;IACjB,GAAG,cAAc;IACjB,GAAG,oBAAoB;IACvB,GAAG,eAAe;IAClB,GAAG,8BAA8B;IACjC,GAAG,iBAAiB;IACpB,GAAG,gBAAgB;IACnB,GAAG,iBAAiB;IACpB,GAAG,qBAAqB;IACxB,GAAG,sBAAsB;IACzB,GAAG,eAAe;IAClB,GAAG,eAAe;IAClB,GAAG,uBAAuB;IAC1B,GAAG,eAAe;IAClB,GAAG,kBAAkB;IACrB,GAAG,oBAAoB;IACvB,GAAG,cAAc;IACjB,GAAG,mBAAmB;IACtB,GAAG,gBAAgB;IACnB,GAAG,iBAAiB;IACpB,GAAG,mBAAmB;IACtB,GAAG,cAAc;IACjB,GAAG,eAAe;IAClB,GAAG,kBAAkB;IACrB,GAAG,eAAe;IAClB,GAAG,eAAe;IAClB,GAAG,oBAAoB;IACvB,GAAG,cAAc;IACjB,GAAG,eAAe;IAClB,GAAG,mBAAmB;IACtB,GAAG,iBAAiB;IACpB,GAAG,gBAAgB;IACnB,GAAG,aAAa;IAChB,GAAG,gBAAgB;IACnB,GAAG,aAAa;IAChB,GAAG,0BAA0B;IAC7B,GAAG,uBAAuB;CAC3B,CAAC"}

package/dist/check/fixtures/model-function-fixtures.d.ts

@@ -0,0 +1,4 @@
+import type { Fixture } from './fixture.js';
+/** What `domain/value-object-class` says of the functions of `domain/` and of the shared kernel. */
+export declare const MODEL_FUNCTION_FIXTURES: readonly Fixture[];
+//# sourceMappingURL=model-function-fixtures.d.ts.map

package/dist/check/fixtures/model-function-fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-function-fixtures.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/model-function-fixtures.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAqB5C,oGAAoG;AACpG,eAAO,MAAM,uBAAuB,EAAE,SAAS,OAAO,EAsGrD,CAAC"}

package/dist/check/fixtures/model-function-fixtures.js

@@ -0,0 +1,52 @@
+import { PATHS } from './paths.js';
+import { project } from './project.js';
+import { SAMPLES } from './samples.js';
+import { VALUE_FILES, VALUES } from './value-object-files.js';
+const { RULE, SERVICE, SHARED_PLAIN, PLAIN } = VALUES;
+const { classes, service } = VALUE_FILES;
+const { BILLING } = PATHS;
+const passing = (name, files) => ({ ruleId: RULE, name, expect: 'pass', files });
+const failing = (name, content) => ({
+    ruleId: RULE,
+    name,
+    expect: { file: SERVICE },
+    files: classes(service(content)),
+});
+const MACHINE = `${BILLING}/domain/state-machines/invoice.state-machine.ts`;
+/** What `domain/value-object-class` says of the functions of `domain/` and of the shared kernel. */
+export const MODEL_FUNCTION_FIXTURES = [
+    passing('domain functions that answer a value object, a boolean, or a plain object only inside a callback', classes(service('export function invoiceTotal(lines: readonly Money[]): Money {\n  const rows = lines.map((line) => {\n    return { line, cents: 0 };\n  });\n\n  return rows.reduce((sum, { line }) => sum.add(line), Money.of(0));\n}\n'))),
+    passing('a specification answering an object of functions, literal or built from local closures', classes(service('export const invoiceTotal = (floor: Money) => {\n  const isSatisfiedBy = (total: Money): boolean => total.equals(floor);\n\n  return {\n    isSatisfiedBy,\n    describe(): string {\n      return String(floor);\n    },\n  };\n};\n'))),
+    passing('a function that takes value objects and answers a record of value objects it builds', classes(service('export const invoiceTotal = (total: Money) => ({ first: Money.of(1), rest: total.add(total) });\n'))),
+    passing('a function that derives a record from another with a spread, as a reducer does', classes(service('type InvoiceState = { readonly status: string };\n\nexport const invoiceTotal = (state: InvoiceState, status: string): InvoiceState => ({ ...state, status });\n'))),
+    passing('a state machine declaration and a domain service class whose method answers an object', classes({
+        [MACHINE]: "import { defineStateMachine } from '@ddd-ts-kit/kernel';\n\nexport const invoiceLifecycle = defineStateMachine({\n  states: ['draft', 'issued'],\n  initial: ['draft'],\n  transitions: { issue: { from: ['draft'], to: 'issued' } },\n  refused: () => ({ code: 'REFUSED' }),\n});\n",
+        [`${BILLING}/test/unit/invoice.state-machine.spec.ts`]: SAMPLES.SPEC,
+        [`${BILLING}/domain/services/invoice-issue.service.ts`]: 'export class InvoiceIssueService {\n  issue(): { cents: number } {\n    return { cents: 0 };\n  }\n}\n',
+        [`${BILLING}/test/unit/invoice-issue.service.spec.ts`]: SAMPLES.SPEC,
+    })),
+    passing('a spec and a presentation file of the shared kernel, outside the model, may build a plain object', classes({
+        [`${BILLING}/test/unit/money.spec.ts`]: `import { it } from 'vitest';\n\n${PLAIN}\nit('builds', () => money(1, 'EUR'));\n`,
+        'src/shared-kernel/presentation/money.ts': PLAIN,
+    })),
+    passing('a helper of the shared kernel that answers a type of a package', classes({
+        'src/shared-kernel/storable-stamp.ts': "import type { EventStamp } from '@ddd-ts-kit/kernel';\n\nexport function storableStamp(stamp: EventStamp): EventStamp {\n  return { eventId: stamp.eventId, occurredAt: new Date(0), version: 1 };\n}\n",
+    })),
+    passing('a domain function written as a value, in a project whose config does not say "values"', project(service(PLAIN))),
+    failing('a domain function that builds a plain object', 'export function invoiceTotal(lines: readonly Money[], currency: string) {\n  const cents = Math.round(lines.length);\n\n  return { cents, currency };\n}\n'),
+    failing('a domain arrow function that answers a plain object', 'export const invoiceTotal = (line: Money, currency: string) => ({ line, currency });\n'),
+    failing('a domain constant bound to a function expression that builds a plain object', 'export const invoiceTotal = function (cents: number) {\n  return { cents, currency: 0 };\n};\n'),
+    failing('a generic domain arrow function that answers a plain object', 'export const invoiceTotal = <T,>(cents: T) => ({ cents, currency: 0 });\n'),
+    failing('a domain function exported by an export list', 'export { invoiceTotal };\n\nfunction invoiceTotal(cents: number, currency: string) {\n  return { cents, currency };\n}\n'),
+    failing('a domain arrow function exported by an export list', 'const invoiceTotal = (cents: number, currency: string) => ({ cents, currency });\n\nexport { invoiceTotal };\n'),
+    failing('a domain arrow function exported by default', 'export default (cents: number) => ({ cents, currency: 0 });\n'),
+    failing('a decision answered as a plain record', "export const invoiceTotal = (reason: string) => {\n  return { kind: 'refused' as const, reason };\n};\n"),
+    failing('a value written as a record of data and closures', 'export const invoiceTotal = (cents: number) => ({ cents, doubled: (): number => cents * 2 });\n'),
+    {
+        ruleId: RULE,
+        name: 'a value of the shared kernel written as a function in a file not named *.vo.ts',
+        expect: { file: SHARED_PLAIN },
+        files: classes({ [SHARED_PLAIN]: PLAIN }),
+    },
+];
+//# sourceMappingURL=model-function-fixtures.js.map

package/dist/check/fixtures/model-function-fixtures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-function-fixtures.js","sourceRoot":"","sources":["../../../src/check/fixtures/model-function-fixtures.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAE9D,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;AACtD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC;AACzC,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;AAE1B,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,KAAuB,EAAW,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAEpH,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,OAAe,EAAW,EAAE,CAAC,CAAC;IAC3D,MAAM,EAAE,IAAI;IACZ,IAAI;IACJ,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;IACzB,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;CACjC,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,GAAG,OAAO,iDAAiD,CAAC;AAE5E,oGAAoG;AACpG,MAAM,CAAC,MAAM,uBAAuB,GAAuB;IACzD,OAAO,CACL,kGAAkG,EAClG,OAAO,CACL,OAAO,CACL,0NAA0N,CAC3N,CACF,CACF;IACD,OAAO,CACL,wFAAwF,EACxF,OAAO,CACL,OAAO,CACL,uOAAuO,CACxO,CACF,CACF;IACD,OAAO,CACL,qFAAqF,EACrF,OAAO,CACL,OAAO,CAAC,mGAAmG,CAAC,CAC7G,CACF;IACD,OAAO,CACL,gFAAgF,EAChF,OAAO,CACL,OAAO,CACL,kKAAkK,CACnK,CACF,CACF;IACD,OAAO,CACL,uFAAuF,EACvF,OAAO,CAAC;QACN,CAAC,OAAO,CAAC,EACP,uRAAuR;QACzR,CAAC,GAAG,OAAO,0CAA0C,CAAC,EAAE,OAAO,CAAC,IAAI;QACpE,CAAC,GAAG,OAAO,2CAA2C,CAAC,EACrD,wGAAwG;QAC1G,CAAC,GAAG,OAAO,0CAA0C,CAAC,EAAE,OAAO,CAAC,IAAI;KACrE,CAAC,CACH;IACD,OAAO,CACL,kGAAkG,EAClG,OAAO,CAAC;QACN,CAAC,GAAG,OAAO,0BAA0B,CAAC,EAAE,mCAAmC,KAAK,0CAA0C;QAC1H,yCAAyC,EAAE,KAAK;KACjD,CAAC,CACH;IACD,OAAO,CACL,gEAAgE,EAChE,OAAO,CAAC;QACN,qCAAqC,EACnC,yMAAyM;KAC5M,CAAC,CACH;IACD,OAAO,CACL,uFAAuF,EACvF,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CACxB;IACD,OAAO,CACL,8CAA8C,EAC9C,4JAA4J,CAC7J;IACD,OAAO,CACL,qDAAqD,EACrD,wFAAwF,CACzF;IACD,OAAO,CACL,6EAA6E,EAC7E,gGAAgG,CACjG;IACD,OAAO,CACL,6DAA6D,EAC7D,2EAA2E,CAC5E;IACD,OAAO,CACL,8CAA8C,EAC9C,0HAA0H,CAC3H;IACD,OAAO,CACL,oDAAoD,EACpD,gHAAgH,CACjH;IACD,OAAO,CACL,6CAA6C,EAC7C,+DAA+D,CAChE;IACD,OAAO,CACL,uCAAuC,EACvC,yGAAyG,CAC1G;IACD,OAAO,CACL,kDAAkD,EAClD,iGAAiG,CAClG;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,gFAAgF;QACtF,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;QAC9B,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC;KAC1C;CACF,CAAC"}

package/dist/check/fixtures/tenancy-fixtures.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tenancy-fixtures.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/tenancy-fixtures.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAsF5C,eAAO,MAAM,gBAAgB,EAAE,SAAS,OAAO,EAwF9C,CAAC"}
+{"version":3,"file":"tenancy-fixtures.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/tenancy-fixtures.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAkG5C,eAAO,MAAM,gBAAgB,EAAE,SAAS,OAAO,EAqH9C,CAAC"}

package/dist/check/fixtures/tenancy-fixtures.js

@@ -53,6 +53,17 @@ const DRIZZLE_UNSCOPED = `export class DrizzleInvoiceRepository {
   }
 }
 `;
+/** Aggregates over the rows `tenantTable` confines: raw expressions that reach no table themselves. */
+const RAW_EXPRESSIONS = `export class KnexInvoiceRepository {
+  totals() {
+    return tenantTable(this.database, this.scope, INVOICES).select(
+      this.database.executor().raw('(count(*) filter (where paid))::integer as paid'),
+      this.database.executor().raw('coalesce(sum(round(amount)) filter (where state = any(?)), 0)::numeric(12, 2) as due', [states]),
+      this.database.executor().raw("customer_id || ' from ' || day as label"),
+    );
+  }
+}
+`;
 const tenancy = (orm, value = 'shared-table') => ({
     [CONFIG_FILE]: config({ stack: { orm, tenancy: value } }),
 });
@@ -99,6 +110,23 @@ export const TENANCY_FIXTURES = [
     bypass('knex', 'a select chained on the executor', "return this.database.executor().select('id').from('invoices');"),
     bypass('knex', 'a table reached by table()', "return this.database.executor().table('invoices');"),
     bypass('knex', 'raw SQL', "return this.database.executor().raw('select * from invoices');"),
+    bypass('knex', 'raw SQL in a template', 'return this.database.executor().raw(`select * from ${INVOICES}`);'),
+    bypass('knex', 'raw SQL whose text is not a literal', 'return this.database.executor().raw(statement);'),
+    bypass('knex', 'raw SQL completed by an interpolation', 'return this.database.executor().raw(`${statement} where id = ?`, [id]);'),
+    bypass('knex', 'raw SQL that names a table alone', "return this.database.executor().raw('table invoices');"),
+    bypass('knex', 'raw SQL that starts with a common table', "return this.database.executor().raw('with due as (table invoices) table due');"),
+    bypass('knex', 'raw SQL of values', "return this.database.executor().raw('values (1), (2)');"),
+    bypass('knex', 'raw SQL that calls a procedure', "return this.database.executor().raw('call purge_invoices()');"),
+    bypass('knex', 'raw SQL that calls a function', "return this.database.executor().raw('purge_all()');"),
+    {
+        ruleId: RULE,
+        name: 'knex: a raw expression in the select of a confined statement, and a constraint of the schema',
+        expect: 'pass',
+        files: project({
+            [KNEX_ADAPTER]: RAW_EXPRESSIONS,
+            [`${PATHS.BILLING}/infrastructure/persistence/create-billing-tables.schema.ts`]: "export const holdOnce = (knex: Knex) => knex.raw('alter table ??.?? add constraint held_once exclude using gist (desk with =)', [S, T]);\n",
+        }, tenancy('knex')),
+    },
     bypass('knex', 'the executor held in a variable', "const db = this.database.executor();\n\n    return db('invoices');"),
     {
         ruleId: RULE,

package/dist/check/fixtures/tenancy-fixtures.js.map

@@ -1 +1 @@
-{"version":3,"file":"tenancy-fixtures.js","sourceRoot":"","sources":["../../../src/check/fixtures/tenancy-fixtures.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,IAAI,GAAG,0BAA0B,CAAC;AACxC,MAAM,YAAY,GAAG,GAAG,KAAK,CAAC,OAAO,wDAAwD,CAAC;AAC9F,MAAM,eAAe,GAAG,GAAG,KAAK,CAAC,OAAO,2DAA2D,CAAC;AAEpG,MAAM,WAAW,GAAG;;;;;;;;;;;CAWnB,CAAC;AAEF,MAAM,aAAa,GAAG;;;;;CAKrB,CAAC;AAEF,MAAM,cAAc,GAAG;;;;;;;;;;;;;;;;;;;;;;;CAuBtB,CAAC;AAEF,MAAM,gBAAgB,GAAG;;;;;CAKxB,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,KAAK,GAAG,cAAc,EAAE,EAAE,CAAC,CAAC;IACxD,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC;CAC1D,CAAC,CAAC;AAEH,uFAAuF;AACvF,MAAM,MAAM,GAAG,CAAC,GAAuB,EAAE,IAAY,EAAE,IAAY,EAAW,EAAE;IAC9E,MAAM,OAAO,GAAG,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC;IAChE,MAAM,KAAK,GAAG,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,0BAA0B,CAAC;IAEpF,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,GAAG,GAAG,KAAK,IAAI,EAAE;QACvB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QACzB,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,gBAAgB,KAAK,uBAAuB,IAAI,YAAY,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;KAC1G,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,GAAG,KAAK,CAAC,OAAO,+DAA+D,CAAC;AAEnG,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,MAAc,EAAE,QAA2B,EAAW,EAAE,CAAC,CAAC;IACzF,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,oBAAoB,IAAI,EAAE;IAChC,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;CAC1D,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAuB;IAClD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,yDAAyD;QAC/D,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,WAAW,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;KACjE;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,kEAAkE;QACxE,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;QAC9B,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,aAAa,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;KACnE;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,uDAAuD;QAC7D,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,OAAO,CACZ;YACE,CAAC,YAAY,CAAC,EACZ,2LAA2L;SAC9L,EACD,OAAO,CAAC,MAAM,CAAC,CAChB;KACF;IACD,MAAM,CAAC,MAAM,EAAE,2BAA2B,EAAE,mDAAmD,CAAC;IAChG,MAAM,CAAC,MAAM,EAAE,kCAAkC,EAAE,gEAAgE,CAAC;IACpH,MAAM,CAAC,MAAM,EAAE,4BAA4B,EAAE,oDAAoD,CAAC;IAClG,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,gEAAgE,CAAC;IAC3F,MAAM,CACJ,MAAM,EACN,iCAAiC,EACjC,oEAAoE,CACrE;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,mDAAmD;QACzD,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE;QACjC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,gBAAgB,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;KAC5E;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,gEAAgE;QACtE,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,cAAc,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;KAC1E;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,qFAAqF;QAC3F,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE;QACjC,KAAK,EAAE,OAAO,CACZ;YACE,CAAC,eAAe,CAAC,EAAE,cAAc,CAAC,OAAO,CACvC,wBAAwB,EACxB,wGAAwG,CACzG;SACF,EACD,OAAO,CAAC,SAAS,CAAC,CACnB;KACF;IACD,MAAM,CACJ,SAAS,EACT,gCAAgC,EAChC,iEAAiE,CAClE;IACD,MAAM,CAAC,SAAS,EAAE,oBAAoB,EAAE,4DAA4D,CAAC;IACrG,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,uEAAuE,CAAC;IACrG,SAAS,CACP,0BAA0B,EAC1B,4JAA4J,EAC5J,EAAE,IAAI,EAAE,UAAU,EAAE,CACrB;IACD,SAAS,CACP,uCAAuC,EACvC,4LAA4L,EAC5L,EAAE,IAAI,EAAE,UAAU,EAAE,CACrB;IACD,SAAS,CACP,uBAAuB,EACvB,kMAAkM,EAClM,MAAM,CACP;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,0DAA0D;QAChE,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;KACzG;CACF,CAAC"}
+{"version":3,"file":"tenancy-fixtures.js","sourceRoot":"","sources":["../../../src/check/fixtures/tenancy-fixtures.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,IAAI,GAAG,0BAA0B,CAAC;AACxC,MAAM,YAAY,GAAG,GAAG,KAAK,CAAC,OAAO,wDAAwD,CAAC;AAC9F,MAAM,eAAe,GAAG,GAAG,KAAK,CAAC,OAAO,2DAA2D,CAAC;AAEpG,MAAM,WAAW,GAAG;;;;;;;;;;;CAWnB,CAAC;AAEF,MAAM,aAAa,GAAG;;;;;CAKrB,CAAC;AAEF,MAAM,cAAc,GAAG;;;;;;;;;;;;;;;;;;;;;;;CAuBtB,CAAC;AAEF,MAAM,gBAAgB,GAAG;;;;;CAKxB,CAAC;AAEF,uGAAuG;AACvG,MAAM,eAAe,GAAG;;;;;;;;;CASvB,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,KAAK,GAAG,cAAc,EAAE,EAAE,CAAC,CAAC;IACxD,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC;CAC1D,CAAC,CAAC;AAEH,uFAAuF;AACvF,MAAM,MAAM,GAAG,CAAC,GAAuB,EAAE,IAAY,EAAE,IAAY,EAAW,EAAE;IAC9E,MAAM,OAAO,GAAG,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC;IAChE,MAAM,KAAK,GAAG,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,0BAA0B,CAAC;IAEpF,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,GAAG,GAAG,KAAK,IAAI,EAAE;QACvB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QACzB,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,gBAAgB,KAAK,uBAAuB,IAAI,YAAY,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;KAC1G,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,GAAG,KAAK,CAAC,OAAO,+DAA+D,CAAC;AAEnG,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,MAAc,EAAE,QAA2B,EAAW,EAAE,CAAC,CAAC;IACzF,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,oBAAoB,IAAI,EAAE;IAChC,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;CAC1D,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAuB;IAClD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,yDAAyD;QAC/D,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,WAAW,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;KACjE;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,kEAAkE;QACxE,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;QAC9B,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,aAAa,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;KACnE;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,uDAAuD;QAC7D,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,OAAO,CACZ;YACE,CAAC,YAAY,CAAC,EACZ,2LAA2L;SAC9L,EACD,OAAO,CAAC,MAAM,CAAC,CAChB;KACF;IACD,MAAM,CAAC,MAAM,EAAE,2BAA2B,EAAE,mDAAmD,CAAC;IAChG,MAAM,CAAC,MAAM,EAAE,kCAAkC,EAAE,gEAAgE,CAAC;IACpH,MAAM,CAAC,MAAM,EAAE,4BAA4B,EAAE,oDAAoD,CAAC;IAClG,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,gEAAgE,CAAC;IAC3F,MAAM,CAAC,MAAM,EAAE,uBAAuB,EAAE,mEAAmE,CAAC;IAC5G,MAAM,CAAC,MAAM,EAAE,qCAAqC,EAAE,iDAAiD,CAAC;IACxG,MAAM,CACJ,MAAM,EACN,uCAAuC,EACvC,yEAAyE,CAC1E;IACD,MAAM,CAAC,MAAM,EAAE,kCAAkC,EAAE,wDAAwD,CAAC;IAC5G,MAAM,CACJ,MAAM,EACN,yCAAyC,EACzC,gFAAgF,CACjF;IACD,MAAM,CAAC,MAAM,EAAE,mBAAmB,EAAE,yDAAyD,CAAC;IAC9F,MAAM,CAAC,MAAM,EAAE,gCAAgC,EAAE,+DAA+D,CAAC;IACjH,MAAM,CAAC,MAAM,EAAE,+BAA+B,EAAE,qDAAqD,CAAC;IACtG;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,8FAA8F;QACpG,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,OAAO,CACZ;YACE,CAAC,YAAY,CAAC,EAAE,eAAe;YAC/B,CAAC,GAAG,KAAK,CAAC,OAAO,6DAA6D,CAAC,EAC7E,4IAA4I;SAC/I,EACD,OAAO,CAAC,MAAM,CAAC,CAChB;KACF;IACD,MAAM,CACJ,MAAM,EACN,iCAAiC,EACjC,oEAAoE,CACrE;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,mDAAmD;QACzD,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE;QACjC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,gBAAgB,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;KAC5E;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,gEAAgE;QACtE,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,cAAc,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;KAC1E;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,qFAAqF;QAC3F,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE;QACjC,KAAK,EAAE,OAAO,CACZ;YACE,CAAC,eAAe,CAAC,EAAE,cAAc,CAAC,OAAO,CACvC,wBAAwB,EACxB,wGAAwG,CACzG;SACF,EACD,OAAO,CAAC,SAAS,CAAC,CACnB;KACF;IACD,MAAM,CACJ,SAAS,EACT,gCAAgC,EAChC,iEAAiE,CAClE;IACD,MAAM,CAAC,SAAS,EAAE,oBAAoB,EAAE,4DAA4D,CAAC;IACrG,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,uEAAuE,CAAC;IACrG,SAAS,CACP,0BAA0B,EAC1B,4JAA4J,EAC5J,EAAE,IAAI,EAAE,UAAU,EAAE,CACrB;IACD,SAAS,CACP,uCAAuC,EACvC,4LAA4L,EAC5L,EAAE,IAAI,EAAE,UAAU,EAAE,CACrB;IACD,SAAS,CACP,uBAAuB,EACvB,kMAAkM,EAClM,MAAM,CACP;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,0DAA0D;QAChE,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;KACzG;CACF,CAAC"}

package/dist/check/fixtures/value-object-file-fixtures.d.ts

@@ -0,0 +1,4 @@
+import type { Fixture } from './fixture.js';
+/** What `domain/value-object-class` says of the files of `domain/value-objects/` and of the `*.vo.ts` of the shared kernel. */
+export declare const VALUE_OBJECT_FILE_FIXTURES: readonly Fixture[];
+//# sourceMappingURL=value-object-file-fixtures.d.ts.map

package/dist/check/fixtures/value-object-file-fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-object-file-fixtures.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/value-object-file-fixtures.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAsB5C,+HAA+H;AAC/H,eAAO,MAAM,0BAA0B,EAAE,SAAS,OAAO,EA2FxD,CAAC"}

package/dist/check/fixtures/value-object-file-fixtures.js

@@ -0,0 +1,54 @@
+import { PATHS } from './paths.js';
+import { project } from './project.js';
+import { SAMPLES } from './samples.js';
+import { VALUE_FILES, VALUES } from './value-object-files.js';
+const { RULE, MONEY, INVOICE_MONEY, SHARED, PROPS, PRIVATE, OF, PLAIN, KERNEL } = VALUES;
+const { classes, money, VALUE_OBJECT, valueObject } = VALUE_FILES;
+const passing = (name, files) => ({ ruleId: RULE, name, expect: 'pass', files });
+/** A value object file holding `content`: the rule reports it in that file. */
+const failing = (name, content, also) => ({
+    ruleId: RULE,
+    name,
+    expect: { file: MONEY },
+    ...(also === undefined ? {} : { also }),
+    files: classes(valueObject(content)),
+});
+const PROTECTED = '  protected constructor(props: MoneyProps) {\n    super(props);\n  }\n\n';
+/** What `domain/value-object-class` says of the files of `domain/value-objects/` and of the `*.vo.ts` of the shared kernel. */
+export const VALUE_OBJECT_FILE_FIXTURES = [
+    passing('a value object class with a private constructor, a static factory and the type of its props', classes(valueObject(VALUE_OBJECT))),
+    passing('a value object extending another one of the project, and one of the shared kernel', classes({
+        ...valueObject(money(PROTECTED, '').replace('export class Money', 'export abstract class Money')),
+        [INVOICE_MONEY]: `${VALUES.IMPORT_MONEY}export class InvoiceMoney extends Money {\n  static due(cents: number): InvoiceMoney {\n    return new InvoiceMoney({ cents });\n  }\n}\n`,
+        [`${PATHS.BILLING}/test/unit/invoice-money.vo.spec.ts`]: SAMPLES.SPEC,
+        [SHARED]: VALUE_OBJECT,
+    })),
+    passing('a concrete value object with a protected constructor, and one that declares none', classes({
+        ...valueObject(money(PROTECTED, VALUES.OF)),
+        [INVOICE_MONEY]: `${KERNEL}\nexport class InvoiceMoney extends ValueObject<{ readonly cents: number }> {\n  static zero(): InvoiceMoney {\n    return new InvoiceMoney({ cents: 0 });\n  }\n}\n`,
+        [`${PATHS.BILLING}/test/unit/invoice-money.vo.spec.ts`]: SAMPLES.SPEC,
+    })),
+    passing('a value object class exported after its declaration, by `export default`', classes(valueObject(`${VALUE_OBJECT.replace('export class Money', 'class Money')}\nexport default Money;\n`))),
+    passing('a value object file written as a function, in a project whose config does not say "values"', project(valueObject(`${PROPS}\n${PLAIN}`))),
+    failing('a value object file holding an arrow function that builds a plain object', `${PROPS}\n${PLAIN}`),
+    failing('a value object class that does not extend ValueObject', money('  private constructor(private readonly props: MoneyProps) {}\n\n', OF, '')),
+    failing('a value object class with a public constructor', money('  constructor(props: MoneyProps) {\n    super(props);\n  }\n\n', OF)),
+    failing('a value object class without a static factory', money(PRIVATE, '')),
+    failing('a value object file that also exports a function', `${VALUE_OBJECT}\nexport function zero(): Money {\n  return Money.of(0);\n}\n`, ['clean/one-export-per-file']),
+    failing('a value object file that exports a function by an export list', `${VALUE_OBJECT}\nexport { zero };\n\nfunction zero(): Money {\n  return Money.of(0);\n}\n`, ['clean/one-export-per-file']),
+    failing('a value object file that exports an arrow constant by an export list', `${VALUE_OBJECT}\nconst zero = (): Money => Money.of(0);\n\nexport { zero };\n`, ['clean/one-export-per-file']),
+    failing('a value object file that exports a constant bound to a function expression', `${VALUE_OBJECT}\nexport const zero = function (): Money {\n  return Money.of(0);\n};\n`, ['clean/one-export-per-file']),
+    failing('a value object file that also exports an object literal', `${VALUE_OBJECT}\nexport const ZERO = { cents: 0 };\n`),
+    failing('a value object file that exports a parenthesized object literal', `${VALUE_OBJECT}\nexport const ZERO = ({ cents: 0 });\n`),
+    failing('a value object file that exports an object literal `as const`', `${VALUE_OBJECT}\nexport const ZERO = { cents: 0 } as const;\n`),
+    failing('a value object file that exports an object literal that `satisfies` its props', `${VALUE_OBJECT}\nexport const ZERO = { cents: 0 } satisfies MoneyProps;\n`),
+    failing('a value object file whose default export is an object literal', `${VALUE_OBJECT}\nexport default { cents: 0 };\n`),
+    failing('a value object file that exports a second class', `${VALUE_OBJECT}\nexport class InvoiceMoney extends ValueObject<MoneyProps> {\n  static of(): InvoiceMoney {\n    return new InvoiceMoney({ cents: 0 });\n  }\n}\n`, ['clean/one-export-per-file', 'naming/one-concept-per-file']),
+    {
+        ruleId: RULE,
+        name: 'a value object of the shared kernel written as a function',
+        expect: { file: SHARED },
+        files: classes({ [SHARED]: PLAIN }),
+    },
+];
+//# sourceMappingURL=value-object-file-fixtures.js.map

package/dist/check/fixtures/value-object-file-fixtures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-object-file-fixtures.js","sourceRoot":"","sources":["../../../src/check/fixtures/value-object-file-fixtures.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAE9D,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;AACzF,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,WAAW,CAAC;AAElE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,KAAuB,EAAW,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAEpH,+EAA+E;AAC/E,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,IAAwB,EAAW,EAAE,CAAC,CAAC;IACrF,MAAM,EAAE,IAAI;IACZ,IAAI;IACJ,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;IACvB,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IACvC,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;CACrC,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,0EAA0E,CAAC;AAE7F,+HAA+H;AAC/H,MAAM,CAAC,MAAM,0BAA0B,GAAuB;IAC5D,OAAO,CACL,6FAA6F,EAC7F,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CACnC;IACD,OAAO,CACL,mFAAmF,EACnF,OAAO,CAAC;QACN,GAAG,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,6BAA6B,CAAC,CAAC;QACjG,CAAC,aAAa,CAAC,EAAE,GAAG,MAAM,CAAC,YAAY,2IAA2I;QAClL,CAAC,GAAG,KAAK,CAAC,OAAO,qCAAqC,CAAC,EAAE,OAAO,CAAC,IAAI;QACrE,CAAC,MAAM,CAAC,EAAE,YAAY;KACvB,CAAC,CACH;IACD,OAAO,CACL,kFAAkF,EAClF,OAAO,CAAC;QACN,GAAG,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC3C,CAAC,aAAa,CAAC,EAAE,GAAG,MAAM,sKAAsK;QAChM,CAAC,GAAG,KAAK,CAAC,OAAO,qCAAqC,CAAC,EAAE,OAAO,CAAC,IAAI;KACtE,CAAC,CACH;IACD,OAAO,CACL,0EAA0E,EAC1E,OAAO,CAAC,WAAW,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,oBAAoB,EAAE,aAAa,CAAC,2BAA2B,CAAC,CAAC,CAC9G;IACD,OAAO,CACL,4FAA4F,EAC5F,OAAO,CAAC,WAAW,CAAC,GAAG,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC,CAC3C;IACD,OAAO,CAAC,0EAA0E,EAAE,GAAG,KAAK,KAAK,KAAK,EAAE,CAAC;IACzG,OAAO,CACL,uDAAuD,EACvD,KAAK,CAAC,kEAAkE,EAAE,EAAE,EAAE,EAAE,CAAC,CAClF;IACD,OAAO,CACL,gDAAgD,EAChD,KAAK,CAAC,gEAAgE,EAAE,EAAE,CAAC,CAC5E;IACD,OAAO,CAAC,+CAA+C,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC5E,OAAO,CACL,kDAAkD,EAClD,GAAG,YAAY,+DAA+D,EAC9E,CAAC,2BAA2B,CAAC,CAC9B;IACD,OAAO,CACL,+DAA+D,EAC/D,GAAG,YAAY,4EAA4E,EAC3F,CAAC,2BAA2B,CAAC,CAC9B;IACD,OAAO,CACL,sEAAsE,EACtE,GAAG,YAAY,gEAAgE,EAC/E,CAAC,2BAA2B,CAAC,CAC9B;IACD,OAAO,CACL,4EAA4E,EAC5E,GAAG,YAAY,yEAAyE,EACxF,CAAC,2BAA2B,CAAC,CAC9B;IACD,OAAO,CACL,yDAAyD,EACzD,GAAG,YAAY,uCAAuC,CACvD;IACD,OAAO,CACL,iEAAiE,EACjE,GAAG,YAAY,yCAAyC,CACzD;IACD,OAAO,CACL,+DAA+D,EAC/D,GAAG,YAAY,gDAAgD,CAChE;IACD,OAAO,CACL,+EAA+E,EAC/E,GAAG,YAAY,4DAA4D,CAC5E;IACD,OAAO,CACL,+DAA+D,EAC/D,GAAG,YAAY,kCAAkC,CAClD;IACD,OAAO,CACL,iDAAiD,EACjD,GAAG,YAAY,oJAAoJ,EACnK,CAAC,2BAA2B,EAAE,6BAA6B,CAAC,CAC7D;IACD;QACE,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,2DAA2D;QACjE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACxB,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;KACpC;CACF,CAAC"}

package/dist/check/fixtures/value-object-files.d.ts

@@ -0,0 +1,34 @@
+import type { FixtureFiles } from './fixture-files.js';
+/** The files and sources the fixtures of `domain/value-object-class` share. */
+export declare const VALUES: {
+    readonly RULE: 'domain/value-object-class';
+    readonly MONEY: "src/contexts/billing/domain/value-objects/money.vo.ts";
+    readonly INVOICE_MONEY: "src/contexts/billing/domain/value-objects/invoice-money.vo.ts";
+    readonly SERVICE: "src/contexts/billing/domain/services/invoice-total.service.ts";
+    readonly SHARED: 'src/shared-kernel/money.vo.ts';
+    readonly SHARED_PLAIN: 'src/shared-kernel/money.ts';
+    readonly KERNEL: "import { ValueObject } from '@ddd-ts-kit/kernel';\n";
+    readonly PROPS: 'export type MoneyProps = {\n  readonly cents: number;\n};\n';
+    readonly PRIVATE: '  private constructor(props: MoneyProps) {\n    super(props);\n  }\n\n';
+    readonly OF: '  static of(cents: number): Money {\n    return new Money({ cents });\n  }\n\n';
+    readonly PLAIN: 'export const money = (cents: number, currency: string) => ({ cents, currency });\n';
+    readonly IMPORT_MONEY: "import { Money } from '@/contexts/billing/domain/value-objects/money.vo.js';\n\n";
+};
+/** The builders of the fixtures of `domain/value-object-class`. */
+export declare const VALUE_FILES: {
+    money: typeof money;
+    classes: typeof classes;
+    service: typeof service;
+    valueObject: typeof valueObject;
+    VALUE_OBJECT: string;
+};
+/** `Money`, a class of `money.vo.ts` with the constructor, the factories and the heritage given. */
+declare function money(constructor: string, factory: string, base?: string): string;
+/** A project that writes its values as classes, as `init` writes it, holding `files`. */
+declare function classes(files: FixtureFiles): FixtureFiles;
+/** The value object and a domain service holding `content`, each with its spec. */
+declare function service(content: string): FixtureFiles;
+/** `money.vo.ts` holding `content`, with its spec. */
+declare function valueObject(content: string): FixtureFiles;
+export {};
+//# sourceMappingURL=value-object-files.d.ts.map

package/dist/check/fixtures/value-object-files.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-object-files.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/value-object-files.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAOvD,+EAA+E;AAC/E,eAAO,MAAM,MAAM;aACjB,IAAI,EAAE,2BAA2B;aACjC,KAAK;aACL,aAAa;aACb,OAAO;aACP,MAAM,EAAE,+BAA+B;aACvC,YAAY,EAAE,4BAA4B;aAC1C,MAAM,EAAE,qDAAqD;aAC7D,KAAK,EAAE,6DAA6D;aACpE,OAAO,EAAE,wEAAwE;aACjF,EAAE,EAAE,gFAAgF;aACpF,KAAK,EAAE,oFAAoF;aAC3F,YAAY,EAAE,kFAAkF;CACxF,CAAC;AAKX,mEAAmE;AACnE,eAAO,MAAM,WAAW;;;;;;CAAyD,CAAC;AAElF,oGAAoG;AACpG,iBAAS,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,SAAqC,GAAG,MAAM,CAEtG;AAED,yFAAyF;AACzF,iBAAS,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,YAAY,CAElD;AAED,mFAAmF;AACnF,iBAAS,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,CAM9C;AAED,sDAAsD;AACtD,iBAAS,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,CAElD"}

package/dist/check/fixtures/value-object-files.js

@@ -0,0 +1,46 @@
+import { CONFIG_FILE } from '../../config/index.js';
+import { config } from './config.js';
+import { PATHS } from './paths.js';
+import { project } from './project.js';
+import { SAMPLES } from './samples.js';
+const { BILLING } = PATHS;
+/** The files and sources the fixtures of `domain/value-object-class` share. */
+export const VALUES = {
+    RULE: 'domain/value-object-class',
+    MONEY: `${BILLING}/domain/value-objects/money.vo.ts`,
+    INVOICE_MONEY: `${BILLING}/domain/value-objects/invoice-money.vo.ts`,
+    SERVICE: `${BILLING}/domain/services/invoice-total.service.ts`,
+    SHARED: 'src/shared-kernel/money.vo.ts',
+    SHARED_PLAIN: 'src/shared-kernel/money.ts',
+    KERNEL: "import { ValueObject } from '@ddd-ts-kit/kernel';\n",
+    PROPS: 'export type MoneyProps = {\n  readonly cents: number;\n};\n',
+    PRIVATE: '  private constructor(props: MoneyProps) {\n    super(props);\n  }\n\n',
+    OF: '  static of(cents: number): Money {\n    return new Money({ cents });\n  }\n\n',
+    PLAIN: 'export const money = (cents: number, currency: string) => ({ cents, currency });\n',
+    IMPORT_MONEY: "import { Money } from '@/contexts/billing/domain/value-objects/money.vo.js';\n\n",
+};
+/** The value object every passing fixture starts from: a private constructor and a static factory. */
+const VALUE_OBJECT = money(VALUES.PRIVATE, VALUES.OF);
+/** The builders of the fixtures of `domain/value-object-class`. */
+export const VALUE_FILES = { money, classes, service, valueObject, VALUE_OBJECT };
+/** `Money`, a class of `money.vo.ts` with the constructor, the factories and the heritage given. */
+function money(constructor, factory, base = 'extends ValueObject<MoneyProps> ') {
+    return `${VALUES.KERNEL}\n${VALUES.PROPS}\nexport class Money ${base}{\n${constructor}${factory}  add(other: Money): Money {\n    return Money.of(this.props.cents + other.props.cents);\n  }\n}\n`;
+}
+/** A project that writes its values as classes, as `init` writes it, holding `files`. */
+function classes(files) {
+    return project(files, { [CONFIG_FILE]: config({ stack: { values: 'classes' } }) });
+}
+/** The value object and a domain service holding `content`, each with its spec. */
+function service(content) {
+    return {
+        ...valueObject(VALUE_OBJECT),
+        [VALUES.SERVICE]: `${VALUES.IMPORT_MONEY}${content}`,
+        [`${BILLING}/test/unit/invoice-total.service.spec.ts`]: SAMPLES.SPEC,
+    };
+}
+/** `money.vo.ts` holding `content`, with its spec. */
+function valueObject(content) {
+    return { [VALUES.MONEY]: content, [`${BILLING}/test/unit/money.vo.spec.ts`]: SAMPLES.SPEC };
+}
+//# sourceMappingURL=value-object-files.js.map

package/dist/check/fixtures/value-object-files.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-object-files.js","sourceRoot":"","sources":["../../../src/check/fixtures/value-object-files.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;AAE1B,+EAA+E;AAC/E,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB,IAAI,EAAE,2BAA2B;IACjC,KAAK,EAAE,GAAG,OAAO,mCAAmC;IACpD,aAAa,EAAE,GAAG,OAAO,2CAA2C;IACpE,OAAO,EAAE,GAAG,OAAO,2CAA2C;IAC9D,MAAM,EAAE,+BAA+B;IACvC,YAAY,EAAE,4BAA4B;IAC1C,MAAM,EAAE,qDAAqD;IAC7D,KAAK,EAAE,6DAA6D;IACpE,OAAO,EAAE,wEAAwE;IACjF,EAAE,EAAE,gFAAgF;IACpF,KAAK,EAAE,oFAAoF;IAC3F,YAAY,EAAE,kFAAkF;CACxF,CAAC;AAEX,sGAAsG;AACtG,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;AAEtD,mEAAmE;AACnE,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;AAElF,oGAAoG;AACpG,SAAS,KAAK,CAAC,WAAmB,EAAE,OAAe,EAAE,IAAI,GAAG,kCAAkC;IAC5F,OAAO,GAAG,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,wBAAwB,IAAI,MAAM,WAAW,GAAG,OAAO,oGAAoG,CAAC;AACtM,CAAC;AAED,yFAAyF;AACzF,SAAS,OAAO,CAAC,KAAmB;IAClC,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;AACrF,CAAC;AAED,mFAAmF;AACnF,SAAS,OAAO,CAAC,OAAe;IAC9B,OAAO;QACL,GAAG,WAAW,CAAC,YAAY,CAAC;QAC5B,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,YAAY,GAAG,OAAO,EAAE;QACpD,CAAC,GAAG,OAAO,0CAA0C,CAAC,EAAE,OAAO,CAAC,IAAI;KACrE,CAAC;AACJ,CAAC;AAED,sDAAsD;AACtD,SAAS,WAAW,CAAC,OAAe;IAClC,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,6BAA6B,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;AAC9F,CAAC"}

package/dist/check/rules/domain-value-object-class.d.ts

@@ -0,0 +1,3 @@
+import type { Rule } from '../model/rule.js';
+export declare const domainValueObjectClass: Rule;
+//# sourceMappingURL=domain-value-object-class.d.ts.map

package/dist/check/rules/domain-value-object-class.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-value-object-class.d.ts","sourceRoot":"","sources":["../../../src/check/rules/domain-value-object-class.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAQ7C,eAAO,MAAM,sBAAsB,EAAE,IAQpC,CAAC"}