ddd-ts-kit 0.1.1 → 0.3.0

package/dist/check/declarations/classes-of.js.map

@@ -1 +1 @@
-{"version":3,"file":"classes-of.js","sourceRoot":"","sources":["../../../src/check/declarations/classes-of.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAI7D,MAAM,KAAK,GAAG,uFAAuF,CAAC;AACtG,MAAM,cAAc,GAAG,kCAAkC,CAAC;AAC1D,MAAM,aAAa,GAAG,uBAAuB,CAAC;AAE9C,MAAM,IAAI,GAAG,IAAI,OAAO,EAAkC,CAAC;AAE3D;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,IAAU;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAE7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAElC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAExB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,IAAU;IAC7B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAEtB,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;SAC7B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,MAAM,GACV,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAEvG,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;YACpB,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YACnF,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SACzE,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAU;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO;SACvB,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,KAAK,kBAAkB,CAAC;SAC3D,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IAExC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,uFAAuF;AACvF,SAAS,iBAAiB,CAAC,IAAU,EAAE,UAAkB;IACvD,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,SAAS,CAAC;QACR,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;QAExF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QAChC,CAAC;QAED,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAChC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAU,EAAE,GAAW;IACjD,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IACtB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACnD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAE5E,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAEpC,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACrG,CAAC;AAED,qEAAqE;AACrE,SAAS,SAAS,CAAC,IAAY,EAAE,KAAa;IAC5C,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,KAAK,IAAI,EAAE,GAAG,KAAK,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAE7B,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjE,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC"}
+{"version":3,"file":"classes-of.js","sourceRoot":"","sources":["../../../src/check/declarations/classes-of.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAEzE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAI7D,MAAM,KAAK,GAAG,uFAAuF,CAAC;AACtG,MAAM,cAAc,GAAG,kCAAkC,CAAC;AAC1D,MAAM,aAAa,GAAG,uBAAuB,CAAC;AAE9C,MAAM,IAAI,GAAG,IAAI,OAAO,EAAkC,CAAC;AAE3D;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,IAAU;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAE7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAElC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAExB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,IAAU;IAC7B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAEtB,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;SAC7B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,MAAM,GACV,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAEvG,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;YACpB,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YACnF,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SACzE,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAU;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO;SACvB,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,KAAK,kBAAkB,CAAC;SAC3D,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IAExC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,uFAAuF;AACvF,SAAS,iBAAiB,CAAC,IAAU,EAAE,UAAkB;IACvD,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,SAAS,CAAC;QACR,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;QAExF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QAChC,CAAC;QAED,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAChC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAU,EAAE,GAAW;IACjD,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IACtB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACnD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAE5E,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAEpC,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACrG,CAAC;AAED,qEAAqE;AACrE,SAAS,SAAS,CAAC,IAAY,EAAE,KAAa;IAC5C,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,KAAK,IAAI,EAAE,GAAG,KAAK,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAE7B,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjE,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/check/errors/builds-through-factories.d.ts

@@ -0,0 +1,4 @@
+import type { Project } from '../model/project.js';
+/** The `errors/*` rules judge a project that says it builds its refusals through factories; one that does not say keeps the form of 0.2. */
+export declare function buildsThroughFactories(project: Project): boolean;
+//# sourceMappingURL=builds-through-factories.d.ts.map

package/dist/check/errors/builds-through-factories.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builds-through-factories.d.ts","sourceRoot":"","sources":["../../../src/check/errors/builds-through-factories.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAEnD,4IAA4I;AAC5I,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAEhE"}

package/dist/check/errors/builds-through-factories.js

@@ -0,0 +1,5 @@
+/** The `errors/*` rules judge a project that says it builds its refusals through factories; one that does not say keeps the form of 0.2. */
+export function buildsThroughFactories(project) {
+    return project.config.stack.refusals === 'factories';
+}
+//# sourceMappingURL=builds-through-factories.js.map

package/dist/check/errors/builds-through-factories.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builds-through-factories.js","sourceRoot":"","sources":["../../../src/check/errors/builds-through-factories.ts"],"names":[],"mappings":"AAEA,4IAA4I;AAC5I,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACrD,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,WAAW,CAAC;AACvD,CAAC"}

package/dist/check/errors/error-code.d.ts

@@ -0,0 +1,6 @@
+/** A code a source gives to a refusal, and where. */
+export interface ErrorCode {
+    readonly code: string;
+    readonly line: number;
+}
+//# sourceMappingURL=error-code.d.ts.map

package/dist/check/errors/error-code.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-code.d.ts","sourceRoot":"","sources":["../../../src/check/errors/error-code.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB"}

package/dist/check/errors/error-code.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=error-code.js.map

package/dist/check/errors/error-code.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-code.js","sourceRoot":"","sources":["../../../src/check/errors/error-code.ts"],"names":[],"mappings":""}

package/dist/check/errors/error-codes.d.ts

@@ -0,0 +1,8 @@
+import type { Scan } from '../scan/scan.js';
+import type { ErrorCode } from './error-code.js';
+/**
+ * The codes a source gives to its refusals, in both forms: the first argument of
+ * `.refusal('CODE', ..)` in a factory, and the `readonly code = 'CODE'` field of a class per error.
+ */
+export declare function errorCodes(scan: Scan): ErrorCode[];
+//# sourceMappingURL=error-codes.d.ts.map

package/dist/check/errors/error-codes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-codes.d.ts","sourceRoot":"","sources":["../../../src/check/errors/error-codes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAE5C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAKjD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,EAAE,CAelD"}

package/dist/check/errors/error-codes.js

@@ -0,0 +1,21 @@
+import { wholeLiteral } from '../declarations/whole-literal.js';
+import { callArguments } from '../text/call-arguments.js';
+const REFUSAL_CALL = /\.\s*refusal\s*\(/g;
+const CODE_FIELD = /\breadonly\s+code\s*(?::[^=;]+)?=\s*/g;
+/**
+ * The codes a source gives to its refusals, in both forms: the first argument of
+ * `.refusal('CODE', ..)` in a factory, and the `readonly code = 'CODE'` field of a class per error.
+ */
+export function errorCodes(scan) {
+    const built = [...scan.code.matchAll(REFUSAL_CALL)].flatMap((match) => {
+        const [code] = callArguments(scan.code, match.index + match[0].length - 1);
+        const literal = code === undefined ? undefined : wholeLiteral(scan, code);
+        return literal === undefined ? [] : [{ code: literal, line: scan.lineAt(match.index) }];
+    });
+    const fields = [...scan.code.matchAll(CODE_FIELD)].flatMap((match) => {
+        const literal = scan.strings.find((candidate) => candidate.start === match.index + match[0].length);
+        return literal === undefined ? [] : [{ code: literal.value, line: scan.lineAt(match.index) }];
+    });
+    return [...built, ...fields].sort((a, b) => a.line - b.line);
+}
+//# sourceMappingURL=error-codes.js.map

package/dist/check/errors/error-codes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-codes.js","sourceRoot":"","sources":["../../../src/check/errors/error-codes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAG1D,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAC1C,MAAM,UAAU,GAAG,uCAAuC,CAAC;AAE3D;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACpE,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC3E,MAAM,OAAO,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE1E,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAEpG,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC"}

package/dist/check/errors/kit-error-codes.d.ts

@@ -0,0 +1,3 @@
+/** The codes of the refusals the packages of the kit raise, which a route may declare without a class of the project. */
+export declare const KIT_ERROR_CODES: readonly string[];
+//# sourceMappingURL=kit-error-codes.d.ts.map

package/dist/check/errors/kit-error-codes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kit-error-codes.d.ts","sourceRoot":"","sources":["../../../src/check/errors/kit-error-codes.ts"],"names":[],"mappings":"AAAA,yHAAyH;AACzH,eAAO,MAAM,eAAe,EAAE,SAAS,MAAM,EAc5C,CAAC"}

package/dist/check/errors/kit-error-codes.js

@@ -0,0 +1,17 @@
+/** The codes of the refusals the packages of the kit raise, which a route may declare without a class of the project. */
+export const KIT_ERROR_CODES = [
+    'VALIDATION_FAILED',
+    'NOT_FOUND',
+    'CONFLICT',
+    'INVARIANT_VIOLATION',
+    'UNAUTHORIZED',
+    'FORBIDDEN',
+    'CONCURRENCY_CONFLICT',
+    'INVALID_CRITERIA',
+    'INVALID_PAGE_REQUEST',
+    'TIMEOUT',
+    'CIRCUIT_OPEN',
+    'BULKHEAD_FULL',
+    'ATTEMPTS_EXHAUSTED',
+];
+//# sourceMappingURL=kit-error-codes.js.map

package/dist/check/errors/kit-error-codes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kit-error-codes.js","sourceRoot":"","sources":["../../../src/check/errors/kit-error-codes.ts"],"names":[],"mappings":"AAAA,yHAAyH;AACzH,MAAM,CAAC,MAAM,eAAe,GAAsB;IAChD,mBAAmB;IACnB,WAAW;IACX,UAAU;IACV,qBAAqB;IACrB,cAAc;IACd,WAAW;IACX,sBAAsB;IACtB,kBAAkB;IAClB,sBAAsB;IACtB,SAAS;IACT,cAAc;IACd,eAAe;IACf,oBAAoB;CACrB,CAAC"}

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

@@ -2,9 +2,9 @@ export const CONTEXT_DOCS = {
     'context/published-language-only': {
         why: 'A bounded context owns its model and must be free to change it. The published language is the only part designed for others; importing anything else couples two models and turns every refactoring into a cross-team negotiation.',
         bad: `// contexts/shipping/application/...
-import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate.js';`,
+import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate';`,
         good: `// contexts/shipping/application/...
-import type { InvoiceIssuedV1 } from '@/contexts/billing/published-language/index.js';`,
+import type { InvoiceIssuedV1 } from '@/contexts/billing/published-language/index';`,
     },
     'context/declared-relationship': {
         why: 'The context map is a strategic decision, not a side effect of an import. Declaring the upstream and the pattern keeps the map reviewable and lets the cycle check work.',
@@ -15,7 +15,7 @@ import type { InvoiceIssuedV1 } from '@/contexts/billing/published-language/inde
     'context/published-language-is-a-contract': {
         why: 'A contract that re-exports a domain class is no contract: consumers get the internal model and its behaviour through the back door. The published language holds serializable types that are versioned on purpose.',
         bad: `// published-language/index.ts
-export { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate.js';`,
+export { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate';`,
         good: `// published-language/invoice-issued.v1.integration-event.ts
 export interface InvoiceIssuedV1Payload { readonly invoiceId: string }`,
     },
@@ -29,16 +29,16 @@ export interface InvoiceIssuedV1Payload { readonly invoiceId: string }`,
     'context/extractable': {
         why: 'A bounded context is a deployable unit in waiting. Moving one to its own service must change a composition root and adapters, never domain or application code. A module that wires another context, a repository that reads its tables, a handler that loads its aggregates or a map shared through an export all hold only while both live in one process and one database. In the declared style the wiring is written on the classes: a role file that imports a port of another context (anything of its domain/repositories/*.repository.ts or application/ports/*.port.ts) ties the composition of the two, so ports come from the context itself, the kernel, @ddd-ts-kit/auth and the platform.',
         bad: `// contexts/shipping/infrastructure/persistence/drizzle-parcel.repository.ts
-import { invoices } from '@/contexts/billing/infrastructure/persistence/invoice.schema.js';
+import { invoices } from '@/contexts/billing/infrastructure/persistence/invoice.schema';
 export const cache = new Map<string, Parcel>();
 // contexts/shipping/application/commands/ship-parcel/ship-parcel.handler.ts, declared style
-import { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository.js';`,
+import { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository';`,
         good: `// contexts/shipping/application/ports/invoice-status.gateway.port.ts
 export abstract class InvoiceStatusGateway { abstract isPaid(invoiceId: string): Promise<boolean>; }
 // contexts/shipping/infrastructure/external/in-process-invoice-status.gateway.ts
-import type { InvoiceStatus } from '@/contexts/billing/published-language/index.js';
+import type { InvoiceStatus } from '@/contexts/billing/published-language/index';
 // contexts/shipping/application/commands/ship-parcel/ship-parcel.handler.ts, declared style
-import { InvoiceStatusGateway } from '@/contexts/shipping/application/ports/invoice-status.gateway.port.js';`,
+import { InvoiceStatusGateway } from '@/contexts/shipping/application/ports/invoice-status.gateway.port';`,
     },
 };
 //# sourceMappingURL=context-docs.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"context-docs.js","sourceRoot":"","sources":["../../../src/check/explain/context-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAsC;IAC7D,iCAAiC,EAAE;QACjC,GAAG,EAAE,oOAAoO;QACzO,GAAG,EAAE;qFAC4E;QACjF,IAAI,EAAE;uFAC6E;KACpF;IACD,+BAA+B,EAAE;QAC/B,GAAG,EAAE,yKAAyK;QAC9K,GAAG,EAAE,4FAA4F;QACjG,IAAI,EAAE;kFACwE;KAC/E;IACD,0CAA0C,EAAE;QAC1C,GAAG,EAAE,oNAAoN;QACzN,GAAG,EAAE;qFAC4E;QACjF,IAAI,EAAE;uEAC6D;KACpE;IACD,kBAAkB,EAAE;QAClB,GAAG,EAAE,sLAAsL;QAC3L,GAAG,EAAE;wDAC+C;QACpD,IAAI,EAAE;wDAC8C;KACrD;IACD,qBAAqB,EAAE;QACrB,GAAG,EAAE,0qBAA0qB;QAC/qB,GAAG,EAAE;;;;kGAIyF;QAC9F,IAAI,EAAE;;;;;6GAKmG;KAC1G;CACF,CAAC"}
+{"version":3,"file":"context-docs.js","sourceRoot":"","sources":["../../../src/check/explain/context-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAsC;IAC7D,iCAAiC,EAAE;QACjC,GAAG,EAAE,oOAAoO;QACzO,GAAG,EAAE;kFACyE;QAC9E,IAAI,EAAE;oFAC0E;KACjF;IACD,+BAA+B,EAAE;QAC/B,GAAG,EAAE,yKAAyK;QAC9K,GAAG,EAAE,4FAA4F;QACjG,IAAI,EAAE;kFACwE;KAC/E;IACD,0CAA0C,EAAE;QAC1C,GAAG,EAAE,oNAAoN;QACzN,GAAG,EAAE;kFACyE;QAC9E,IAAI,EAAE;uEAC6D;KACpE;IACD,kBAAkB,EAAE;QAClB,GAAG,EAAE,sLAAsL;QAC3L,GAAG,EAAE;wDAC+C;QACpD,IAAI,EAAE;wDAC8C;KACrD;IACD,qBAAqB,EAAE;QACrB,GAAG,EAAE,0qBAA0qB;QAC/qB,GAAG,EAAE;;;;+FAIsF;QAC3F,IAAI,EAAE;;;;;0GAKgG;KACvG;CACF,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"errors-docs.d.ts","sourceRoot":"","sources":["../../../src/check/explain/errors-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/errors-docs.js

@@ -0,0 +1,30 @@
+export const ERRORS_DOCS = {
+    'errors/code-unique': {
+        why: 'The code is the identity of a refusal for everything outside the domain: the HTTP mapper gives it a status, the OpenAPI document lists it, the audit trail and the span record it as the reason, a client branches on it and a test asserts it. Nothing downstream knows the class or the factory. Two refusals of one context under one code are therefore one refusal for every reader, whatever their messages say. The code is checked per context, since each context owns its language: the same code in two contexts is allowed, and the error mapper of the application gives it one status. Both forms are read, the first argument of `refusal(..)` in a factory and the `readonly code` field of a class per error. Judged under "stack.refusals": "factories" only: a project whose config does not say was written when an error was a class, and keeps working untouched.',
+        bad: `export class AppointmentError extends ConceptError {
+  static slotTaken(calendarId: string) {
+    return AppointmentError.refusal('BOOKING_REFUSED', 'The slot is already held.', { calendarId });
+  }
+
+  static outsideAvailability(startsAt: Date) {
+    return AppointmentError.refusal('BOOKING_REFUSED', 'The calendar takes no appointment then.', { startsAt });
+  }
+}`,
+        good: `export class AppointmentError extends ConceptError {
+  static slotTaken(calendarId: string) {
+    return AppointmentError.refusal('SLOT_TAKEN', 'The slot is already held.', { calendarId });
+  }
+
+  static outsideAvailability(startsAt: Date) {
+    return AppointmentError.refusal('OUTSIDE_AVAILABILITY', 'The calendar takes no appointment then.', { startsAt });
+  }
+}`,
+    },
+    'errors/known-code': {
+        why: 'The `errors` list of a route is what the OpenAPI document promises: one problem response per status of the codes it names. A code written there that no refusal sets, misspelled or left behind by a renamed factory, is a response the contract documents and the API never gives, while the refusal really raised is missing from it. A code exists when a factory or an error class of the context of the route sets it, when a class outside the contexts (the platform, the shared kernel) does, or when it is a code of the kit: VALIDATION_FAILED, NOT_FOUND, CONFLICT, INVARIANT_VIOLATION, UNAUTHORIZED, FORBIDDEN, CONCURRENCY_CONFLICT, INVALID_CRITERIA, INVALID_PAGE_REQUEST, TIMEOUT, CIRCUIT_OPEN, BULKHEAD_FULL, ATTEMPTS_EXHAUSTED. A code another context sets does not count: a context answers with its own language. Judged under "stack.refusals": "factories" only.',
+        bad: `// domain/errors/appointment.error.ts sets 'SLOT_TAKEN'
+defineRoute({ method: 'POST', path: '/appointments', errors: ['FORBIDDEN', 'SLOT_ALREADY_TAKEN'], security: ['bearer'] }, book);`,
+        good: `defineRoute({ method: 'POST', path: '/appointments', errors: ['FORBIDDEN', 'SLOT_TAKEN'], security: ['bearer'] }, book);`,
+    },
+};
+//# sourceMappingURL=errors-docs.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"errors-docs.js","sourceRoot":"","sources":["../../../src/check/explain/errors-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAsC;IAC5D,oBAAoB,EAAE;QACpB,GAAG,EAAE,y1BAAy1B;QAC91B,GAAG,EAAE;;;;;;;;EAQP;QACE,IAAI,EAAE;;;;;;;;EAQR;KACC;IACD,mBAAmB,EAAE;QACnB,GAAG,EAAE,41BAA41B;QACj2B,GAAG,EAAE;iIACwH;QAC7H,IAAI,EAAE,0HAA0H;KACjI;CACF,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"imports-docs.d.ts","sourceRoot":"","sources":["../../../src/check/explain/imports-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,CA6B1D,CAAC"}
+{"version":3,"file":"imports-docs.d.ts","sourceRoot":"","sources":["../../../src/check/explain/imports-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,CA4C1D,CAAC"}

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

@@ -1,26 +1,41 @@
 export const IMPORTS_DOCS = {
     'imports/alias-only': {
-        why: 'An alias names a file from the root of the project: the import reads the same from every file, says which context and which layer it reaches without counting "../", and does not change when the importing file moves. One way of writing an import also means one thing to review and one thing for the boundary rules to read: the checker, ESLint and dependency-cruiser resolve an alias exactly as they resolve a relative path, so no boundary is crossed by choosing the other spelling. The rule holds under the source root, test/ and scripts/, the same directory included, for import, export ... from and import(). The alias is declared once, under "paths" in tsconfig.json, and the build rewrites it into a relative path in the compiled output, which runs with plain `node`. An alias path with a "." or ".." segment is refused too, since it could name a file outside its directory. The compiler reports an alias that names no file; a JavaScript file at the project root (a config, a migration) is not judged. ESLint fixes the import (`eslint --fix`).',
+        why: 'An alias names a file from the root of the project: the import reads the same from every file, says which context and which layer it reaches without counting "../", and does not change when the importing file moves. One way of writing an import also means one thing to review and one thing for the boundary rules to read: the checker, ESLint and dependency-cruiser resolve an alias exactly as they resolve a relative path, so no boundary is crossed by choosing the other spelling. The rule holds under the source root, test/ and scripts/, the same directory included, for import, export ... from and import(). The alias is declared once, under "paths" in tsconfig.json, and the build rewrites it into a relative path in the compiled output, which runs with plain `node`. An alias path with a "." or ".." segment is refused too, since it could name a file outside its directory. The compiler reports an alias that names no file; a JavaScript file at the project root (a config, a migration) is not judged. ESLint fixes the import (`eslint --fix`) and writes it with the ending "importExtension" asks for, which `imports/extension` holds.',
         bad: `// 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';`,
         good: `// 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';`,
+    },
+    'imports/extension': {
+        why: 'An import of a file of the project has one spelling, and "importExtension" in ddd-ts-kit.config.json says which. Under "none", the default of a new project, it names the file without an extension: the compiler resolves as a bundler does ("moduleResolution": "Bundler"), which still reports a file that does not exist but would also accept ".js", so this rule is what refuses it. Under "js", which is also what a config without the key means, it ends with the ".js" of the file the compiler emits: the compiler resolves as Node does and refuses any other spelling itself (TS2835); this rule says it in the words of the project and ESLint fixes it. Node needs the extension at run time either way: `ddd-ts-kit build-aliases` rewrites each alias of the compiled output into a relative path ending in ".js". It names one file per specifier and guesses nothing, so under "none" an alias never names a directory: write ".../published-language/index", not ".../published-language"; this checker reports that case, which needs the disk. Only a specifier that starts with an alias of the project is judged: a package subpath that ends like a file name ("zod/v4/core.js") is left alone, and a relative import belongs to imports/alias-only. A dot in a file name is not an extension: "invoice.aggregate" is written without one. To move a project from one spelling to the other: change "importExtension", write the "module" and "moduleResolution" that imports/alias-declared then asks for, run `eslint --fix` and the formatter.',
+        bad: `// ddd-ts-kit.config.json
+"importExtension": "none"
+// src/contexts/billing/application/commands/issue-invoice/issue-invoice.handler.ts
+import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate';
+import { InvoiceIssued } from '@/contexts/billing/published-language';`,
+        good: `// ddd-ts-kit.config.json
+"importExtension": "none"
+// src/contexts/billing/application/commands/issue-invoice/issue-invoice.handler.ts
+import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate';
+import { InvoiceIssued } from '@/contexts/billing/published-language/index';`,
     },
     'imports/alias-declared': {
-        why: 'An alias is declared in one place and resolved by many tools: the compiler, the dev runner, the test runner, ESLint, the checker, dependency-cruiser, knip, and the build that makes the output runnable. If two of them disagree, the type check passes on one file while production loads another, or a boundary rule stops seeing an import. So there is one source a person edits, "importAlias" in ddd-ts-kit.config.json, and one declaration derived from it that the tools read, "paths" in tsconfig.json. Node reads neither: the compiler emits an alias as it was written, so `ddd-ts-kit build-aliases` rewrites each one into a relative path after the compiler, and the output runs with plain `node`. The rule compares "paths" (tsconfig.json and tsconfig.build.json) with "importAlias", refuses a second entry under an alias, a "baseUrl" and a knip "paths"; checks that vitest and dependency-cruiser read tsconfig and that jest, which does not, repeats the same mapping; reports a script that compiles without the rewrite step and a tsx script under another tsconfig. An alias is "@/" or "$<name>/": neither can be the name of a package, so no installed dependency can ever take the place of a file of the project; "#<name>/" (a Node subpath import) and "@<name>/" (the name of a scope) are refused.',
+        why: 'An alias is declared in one place and resolved by many tools: the compiler, the dev runner, the test runner, ESLint, the checker, dependency-cruiser, knip, and the build that makes the output runnable. If two of them disagree, the type check passes on one file while production loads another, or a boundary rule stops seeing an import. So there is one source a person edits, "importAlias" in ddd-ts-kit.config.json, and one declaration derived from it that the tools read, "paths" in tsconfig.json. Node reads neither: the compiler emits an alias as it was written, so `ddd-ts-kit build-aliases` rewrites each one into a relative path after the compiler, and the output runs with plain `node`. The rule compares "paths" (tsconfig.json and tsconfig.build.json) with "importAlias", refuses a second entry under an alias, a "baseUrl" and a knip "paths"; checks that vitest and dependency-cruiser read tsconfig and that jest, which does not, repeats the same mapping; reports a script that compiles without the rewrite step and a tsx script under another tsconfig. The ending of an import has one source too, "importExtension", and three declarations follow it: "module" and "moduleResolution" of tsconfig.json ("ESNext" and "Bundler" without an extension, a Node resolution with one), the pattern of each jest mapping, and the build step, which writes the ".js" Node needs. An alias is "@/" or "$<name>/": neither can be the name of a package, so no installed dependency can ever take the place of a file of the project; "#<name>/" (a Node subpath import) and "@<name>/" (the name of a scope) are refused.',
         bad: `// ddd-ts-kit.config.json
-"importAlias": "@/"
+"importAlias": "@/", "importExtension": "none"
 // tsconfig.json
+"moduleResolution": "NodeNext",
 "paths": { "@/*": ["./dist/src/*"] }
 // package.json
 "build": "tsc -p tsconfig.build.json"`,
         good: `// ddd-ts-kit.config.json
-"importAlias": "@/"
+"importAlias": "@/", "importExtension": "none"
 // tsconfig.json
+"module": "ESNext", "moduleResolution": "Bundler", "customConditions": ["node"],
 "paths": { "@/*": ["./src/*"], "$test/*": ["./test/*"], "$scripts/*": ["./scripts/*"] }
 // package.json
 "build": "tsc -p tsconfig.build.json && ddd-ts-kit build-aliases"

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

@@ -1 +1 @@
-{"version":3,"file":"imports-docs.js","sourceRoot":"","sources":["../../../src/check/explain/imports-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAsC;IAC7D,oBAAoB,EAAE;QACpB,GAAG,EAAE,whCAAwhC;QAC7hC,GAAG,EAAE;;kEAEyD;QAC9D,IAAI,EAAE;;;;2EAIiE;KACxE;IACD,wBAAwB,EAAE;QACxB,GAAG,EAAE,8wCAA8wC;QACnxC,GAAG,EAAE;;;;;sCAK6B;QAClC,IAAI,EAAE;;;;;;;iCAOuB;KAC9B;CACF,CAAC"}
+{"version":3,"file":"imports-docs.js","sourceRoot":"","sources":["../../../src/check/explain/imports-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAsC;IAC7D,oBAAoB,EAAE;QACpB,GAAG,EAAE,knCAAknC;QACvnC,GAAG,EAAE;;+DAEsD;QAC3D,IAAI,EAAE;;;;wEAI8D;KACrE;IACD,mBAAmB,EAAE;QACnB,GAAG,EAAE,4+CAA4+C;QACj/C,GAAG,EAAE;;;;uEAI8D;QACnE,IAAI,EAAE;;;;6EAImE;KAC1E;IACD,wBAAwB,EAAE;QACxB,GAAG,EAAE,okDAAokD;QACzkD,GAAG,EAAE;;;;;;sCAM6B;QAClC,IAAI,EAAE;;;;;;;;iCAQuB;KAC9B;CACF,CAAC"}

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

@@ -8,32 +8,32 @@ import { Logged } from '@ddd-ts-kit/aspects/decorators';
 import { Repository } from '@ddd-ts-kit/kernel/declarations';`,
         good: `// domain/aggregates/invoice.aggregate.ts
 import { AggregateRoot } from '@ddd-ts-kit/kernel';
-import { Money } from '@/contexts/billing/domain/value-objects/money.vo.js';`,
+import { Money } from '@/contexts/billing/domain/value-objects/money.vo';`,
     },
     'layer/application-inward': {
         why: 'A use case orchestrates the domain and talks to the outside through ports. If it imports an adapter, a framework or a driver, the technical choice can no longer be replaced or faked, and the handler cannot be unit tested with plain fakes. Cross-cutting behaviour reaches a use case from outside: @ddd-ts-kit/aspects, audit, redis, scheduling, sentry and tracing are refused whatever `applicationAllowedPackages` says, their place is the composition root, a bus middleware or an adapter. The declarations of the kernel (@ddd-ts-kit/kernel/declarations) are part of the kernel and belong here: a handler, a job or a policy says what it is and names the ports it depends on, which are abstract classes, without knowing a container.',
         bad: `// application/commands/issue-invoice/issue-invoice.handler.ts
-import { PgInvoiceRepository } from '@/contexts/billing/infrastructure/persistence/pg-invoice.repository.js';
+import { PgInvoiceRepository } from '@/contexts/billing/infrastructure/persistence/pg-invoice.repository';
 import { RedisCache } from '@ddd-ts-kit/redis';
 import { retry } from '@ddd-ts-kit/aspects';`,
         good: `// application/commands/issue-invoice/issue-invoice.handler.ts
 import { Cache, 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 { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository';`,
     },
     'layer/presentation-no-infrastructure': {
         why: 'A route translates a transport request into a command or a query and maps the answer back. Reaching an adapter directly skips the use case, so the business rule that guards the operation is skipped too.',
         bad: `// presentation/http/issue-invoice.route.ts
-import { PgInvoiceRepository } from '@/contexts/billing/infrastructure/persistence/pg-invoice.repository.js';`,
+import { PgInvoiceRepository } from '@/contexts/billing/infrastructure/persistence/pg-invoice.repository';`,
         good: `// presentation/http/issue-invoice.route.ts
-import type { IssueInvoiceHandler } from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.handler.js';`,
+import type { IssueInvoiceHandler } from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.handler';`,
     },
     'layer/infrastructure-no-presentation': {
         why: 'Adapters implement ports declared inward. An adapter that knows a DTO or a route depends on one transport, and both outer layers start changing together.',
         bad: `// infrastructure/persistence/pg-invoice.repository.ts
-import type { InvoiceDto } from '@/contexts/billing/presentation/http/invoice.dto.js';`,
+import type { InvoiceDto } from '@/contexts/billing/presentation/http/invoice.dto';`,
         good: `// infrastructure/persistence/pg-invoice.repository.ts
-import { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository.js';`,
+import { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository';`,
     },
 };
 //# sourceMappingURL=layer-docs.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"layer-docs.js","sourceRoot":"","sources":["../../../src/check/explain/layer-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,UAAU,GAAsC;IAC3D,qBAAqB,EAAE;QACrB,GAAG,EAAE,ksBAAksB;QACvsB,GAAG,EAAE;;;;8DAIqD;QAC1D,IAAI,EAAE;;6EAEmE;KAC1E;IACD,0BAA0B,EAAE;QAC1B,GAAG,EAAE,0tBAA0tB;QAC/tB,GAAG,EAAE;;;6CAGoC;QACzC,IAAI,EAAE;;;kGAGwF;KAC/F;IACD,sCAAsC,EAAE;QACtC,GAAG,EAAE,4MAA4M;QACjN,GAAG,EAAE;8GACqG;QAC1G,IAAI,EAAE;2HACiH;KACxH;IACD,sCAAsC,EAAE;QACtC,GAAG,EAAE,2JAA2J;QAChK,GAAG,EAAE;uFAC8E;QACnF,IAAI,EAAE;kGACwF;KAC/F;CACF,CAAC"}
+{"version":3,"file":"layer-docs.js","sourceRoot":"","sources":["../../../src/check/explain/layer-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,UAAU,GAAsC;IAC3D,qBAAqB,EAAE;QACrB,GAAG,EAAE,ksBAAksB;QACvsB,GAAG,EAAE;;;;8DAIqD;QAC1D,IAAI,EAAE;;0EAEgE;KACvE;IACD,0BAA0B,EAAE;QAC1B,GAAG,EAAE,0tBAA0tB;QAC/tB,GAAG,EAAE;;;6CAGoC;QACzC,IAAI,EAAE;;;+FAGqF;KAC5F;IACD,sCAAsC,EAAE;QACtC,GAAG,EAAE,4MAA4M;QACjN,GAAG,EAAE;2GACkG;QACvG,IAAI,EAAE;wHAC8G;KACrH;IACD,sCAAsC,EAAE;QACtC,GAAG,EAAE,2JAA2J;QAChK,GAAG,EAAE;oFAC2E;QAChF,IAAI,EAAE;+FACqF;KAC5F;CACF,CAAC"}

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

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

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

@@ -43,24 +43,32 @@ export abstract class InvoiceRepository extends Repository<Invoice> {}
 builder.bind(PaymentGateway).toClass(StripePaymentGateway, [PaymentSettings]);`,
     },
     'ports/no-concrete-dependency': {
-        why: 'A dependency list says what a class needs, not who provides it. A list that names an adapter of infrastructure/ or a fake of test/fakes/ ties the use case to one implementation: the adapter can no longer be replaced at the composition root, and a test can no longer give its fake. The list names the port, the constructor parameter is typed by it, and the choice of the implementation stays in one place.',
+        why: 'What a class is given says what it needs, not who provides it. A constructor parameter typed by an adapter of infrastructure/ or by a fake of test/fakes/, or a dependency list that names one, ties the class to one implementation: the adapter can no longer be replaced at the composition root, and a test can no longer give its fake. The parameter is typed by the port, a list names the port, and the choice of the implementation stays in one place. In the declared style the constructor of a class that lists nothing is its statement of dependencies, so its parameter types are held like the entries of a list.',
         bad: `// application/commands/issue-invoice/issue-invoice.handler.ts
-import { KnexInvoiceRepository } from '@/contexts/billing/infrastructure/persistence/knex-invoice.repository.js';
+import type { KnexInvoiceRepository } from '@/contexts/billing/infrastructure/persistence/knex-invoice.repository';
 
-@CommandHandler(IssueInvoiceCommand, [KnexInvoiceRepository, Clock])`,
+@CommandHandler(IssueInvoiceCommand)
+export class IssueInvoiceHandler {
+  constructor(private readonly invoices: KnexInvoiceRepository) {}
+}
+// billing.module.ts, explicit style
+builder.command(IssueInvoiceCommand).handledBy(IssueInvoiceHandler, [KnexInvoiceRepository, Clock]);`,
         good: `// application/commands/issue-invoice/issue-invoice.handler.ts
-import { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository.js';
+import type { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository';
 
-@CommandHandler(IssueInvoiceCommand, [InvoiceRepository, Clock])`,
+@CommandHandler(IssueInvoiceCommand)
+export class IssueInvoiceHandler {
+  constructor(private readonly invoices: InvoiceRepository) {}
+}`,
     },
     'ports/value-import': {
         why: 'A port named in a dependency list or given to bind is used as a value: the class itself is looked up in the container. `import type` erases the import when the file is compiled, so the list would hold undefined at run time, or the file would not compile. The import of a token is a plain import; `import type` stays right for a class that only types a parameter.',
-        bad: `import type { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository.js';
+        bad: `import type { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository';
 import { type Clock } from '@ddd-ts-kit/kernel';
 
 @CommandHandler(IssueInvoiceCommand, [InvoiceRepository, Clock])`,
         good: `import { Clock } from '@ddd-ts-kit/kernel';
-import { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository.js';
+import { InvoiceRepository } from '@/contexts/billing/domain/repositories/invoice.repository';
 
 @CommandHandler(IssueInvoiceCommand, [InvoiceRepository, Clock])`,
     },

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

@@ -1 +1 @@
-{"version":3,"file":"ports-docs.js","sourceRoot":"","sources":["../../../src/check/explain/ports-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,UAAU,GAAsC;IAC3D,sBAAsB,EAAE;QACtB,GAAG,EAAE,kmBAAkmB;QACvmB,GAAG,EAAE;;;;;EAKP;QACE,IAAI,EAAE;;;;;uEAK6D;KACpE;IACD,gCAAgC,EAAE;QAChC,GAAG,EAAE,shBAAshB;QAC3hB,GAAG,EAAE;;;;kHAIyG;QAC9G,IAAI,EAAE;;;;+DAIqD;KAC5D;IACD,yBAAyB,EAAE;QACzB,GAAG,EAAE,+bAA+b;QACpc,GAAG,EAAE;;;;;sFAK6E;QAClF,IAAI,EAAE;;;;;+EAKqE;KAC5E;IACD,8BAA8B,EAAE;QAC9B,GAAG,EAAE,sZAAsZ;QAC3Z,GAAG,EAAE;;;qEAG4D;QACjE,IAAI,EAAE;;;iEAGuD;KAC9D;IACD,oBAAoB,EAAE;QACpB,GAAG,EAAE,4WAA4W;QACjX,GAAG,EAAE;;;iEAGwD;QAC7D,IAAI,EAAE;;;iEAGuD;KAC9D;CACF,CAAC"}
+{"version":3,"file":"ports-docs.js","sourceRoot":"","sources":["../../../src/check/explain/ports-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,UAAU,GAAsC;IAC3D,sBAAsB,EAAE;QACtB,GAAG,EAAE,kmBAAkmB;QACvmB,GAAG,EAAE;;;;;EAKP;QACE,IAAI,EAAE;;;;;uEAK6D;KACpE;IACD,gCAAgC,EAAE;QAChC,GAAG,EAAE,shBAAshB;QAC3hB,GAAG,EAAE;;;;kHAIyG;QAC9G,IAAI,EAAE;;;;+DAIqD;KAC5D;IACD,yBAAyB,EAAE;QACzB,GAAG,EAAE,+bAA+b;QACpc,GAAG,EAAE;;;;;sFAK6E;QAClF,IAAI,EAAE;;;;;+EAKqE;KAC5E;IACD,8BAA8B,EAAE;QAC9B,GAAG,EAAE,omBAAomB;QACzmB,GAAG,EAAE;;;;;;;;qGAQ4F;QACjG,IAAI,EAAE;;;;;;EAMR;KACC;IACD,oBAAoB,EAAE;QACpB,GAAG,EAAE,4WAA4W;QACjX,GAAG,EAAE;;;iEAGwD;QAC7D,IAAI,EAAE;;;iEAGuD;KAC9D;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;AAepD,oGAAoG;AACpG,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAcvD,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;AAgBpD,oGAAoG;AACpG,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAevD,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 { ERRORS_DOCS } from './errors-docs.js';
 import { EVENTS_DOCS } from './events-docs.js';
 import { IMPORTS_DOCS } from './imports-docs.js';
 import { LANGUAGE_DOCS } from './language-docs.js';
@@ -16,6 +17,7 @@ export const RULE_DOCS = {
     ...AUTHZ_DOCS,
     ...CLEAN_DOCS,
     ...CONTEXT_DOCS,
+    ...ERRORS_DOCS,
     ...EVENTS_DOCS,
     ...IMPORTS_DOCS,
     ...LANGUAGE_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,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,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,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,YAAY;IACf,GAAG,aAAa;IAChB,GAAG,UAAU;IACb,GAAG,WAAW;IACd,GAAG,UAAU;IACb,GAAG,eAAe;IAClB,GAAG,aAAa;IAChB,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,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,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,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,YAAY;IACf,GAAG,aAAa;IAChB,GAAG,UAAU;IACb,GAAG,WAAW;IACd,GAAG,UAAU;IACb,GAAG,eAAe;IAClB,GAAG,aAAa;IAChB,GAAG,SAAS;IACZ,GAAG,WAAW;CACf,CAAC"}

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

@@ -2,7 +2,7 @@ export const SCHEDULING_DOCS = {
     'scheduling/job-triggers-use-case': {
         why: 'A job says when something happens, a use case says what. A job that loads an aggregate, calls a repository or an adapter is a use case nobody can send by another way: no permission, no unit of work, no audit entry, no test through the bus. Kept to one command sent through the CommandBus port, the job is a line of schedule, and the work is a handler like any other. It lives in application/scheduling/*.job.ts, implements ScheduledJob, and depends on buses and ports only.',
         bad: `// application/scheduling/send-reminders.job.ts
-import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate.js';
+import { Invoice } from '@/contexts/billing/domain/aggregates/invoice.aggregate';
 
 @Scheduled('billing.send-reminders', { every: '15m' }, [InvoiceRepository, Mailer])
 export class SendRemindersJob {

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

@@ -1 +1 @@
-{"version":3,"file":"wiring-docs.d.ts","sourceRoot":"","sources":["../../../src/check/explain/wiring-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,CAuDzD,CAAC"}
+{"version":3,"file":"wiring-docs.d.ts","sourceRoot":"","sources":["../../../src/check/explain/wiring-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,CAgFzD,CAAC"}

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

@@ -9,7 +9,7 @@ builder.include(billingDeclarations);`,
 const invoiceRepository = new PgInvoiceRepository();
 const issueInvoiceHandler = new IssueInvoiceHandler(invoiceRepository);
 // declared style: infrastructure/persistence/pg-invoice.repository.ts and src/main.ts
-@Repository(InvoiceRepository, [Database, ExecutionScope, Clock])
+@Repository(InvoiceRepository)
 export class PgInvoiceRepository implements InvoiceRepository {}
 contextModule('billing', billingDeclarations);`,
     },
@@ -23,21 +23,46 @@ export class IssueInvoiceHandler {}
 @Repository(InvoiceRepository)
 export class Invoice {}`,
         good: `// application/commands/issue-invoice/issue-invoice.handler.ts
-@CommandHandler(IssueInvoiceCommand, [InvoiceRepository, Clock])
+@CommandHandler(IssueInvoiceCommand)
 export class IssueInvoiceHandler {}
 // application/event-handlers/invoice-issued.event-handler.ts
 @DomainEventHandler(InvoiceIssued, { name: 'billing.invoice.issued' })
 export class InvoiceIssuedEventHandler {}`,
     },
     'declarations/barrel-current': {
-        why: 'With stack.assembly set to barrel, the composition root assembles a context from <context>.declarations.ts and from nothing else. A role file added by hand and missing from the barrel compiles, passes its unit tests and is never registered. The barrel is derived from the tree, one export per role file sorted by path, so it is compared with what the tree says; with stack.assembly set to discovery the role files are found at startup and a barrel left behind is reported instead.',
-        bad: `// billing.declarations.ts, while application/authorization/only-issuer-voids.policy.ts exists
-export * from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.command.js';
-export * from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.handler.js';`,
-        good: `// billing.declarations.ts, rewritten by \`ddd-ts-kit generate\` and \`ddd-ts-kit docs\`
-export * from '@/contexts/billing/application/authorization/only-issuer-voids.policy.js';
-export * from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.command.js';
-export * from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.handler.js';`,
+        why: 'With stack.assembly set to barrel, the composition root assembles a context from <context>.declarations.ts and from nothing else. A role file added by hand and missing from the barrel compiles, passes its unit tests and is never registered. The same file registers what each constructor is injected, read from its signature: a constructor changed without regenerating would be given the dependencies of the old one. The file is derived from the tree, one export per role file sorted by path then one injected(Class, [Tokens]) per class that takes something, so it is compared with what the tree says, and the message names the class whose list is stale. With stack.assembly set to discovery the role files are found at startup, <context>.dependencies.ts holds the lists alone and is compared the same way, and a barrel left behind is reported.',
+        bad: `// billing.declarations.ts, while only-issuer-voids.policy.ts exists and IssueInvoiceHandler now also takes a Clock
+export * from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.command';
+export * from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.handler';
+
+injected(IssueInvoiceHandler, [InvoiceRepository]);`,
+        good: `// billing.declarations.ts, rewritten by \`ddd-ts-kit generate\`, \`ddd-ts-kit docs\` and \`npm run dev\`
+export * from '@/contexts/billing/application/authorization/only-issuer-voids.policy';
+export * from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.command';
+export * from '@/contexts/billing/application/commands/issue-invoice/issue-invoice.handler';
+
+injected(IssueInvoiceHandler, [InvoiceRepository, Clock]);`,
+    },
+    'declarations/constructor-injection': {
+        why: 'The constructor signature is the one statement of what a declared class depends on: `ddd-ts-kit docs` reads it and writes the list the composition root injects, so 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 not give a value, which it always does. A constructor inherited from a class of a package cannot be read at all. The compiler is not asked for the types at run time: `emitDecoratorMetadata` exists only with legacy decorators compiled by tsc or swc, not with standard decorators nor under tsx or esbuild. Under "stack.dependencies": "signature" a list left in a decorator is a second statement: it wins at run time, so it is removed when it repeats the constructor (ESLint fixes it) and reported when it differs. A project whose config does not say lists its dependencies in its decorators, as 0.1 did, and may keep doing so.',
+        bad: `@CommandHandler(IssueInvoiceCommand)
+export class IssueInvoiceHandler {
+  constructor(
+    private readonly invoices: InvoiceRepository | undefined,
+    private readonly settings: InvoiceSettings,   // an interface
+    private readonly retries = 3,
+  ) {}
+}
+// "stack.dependencies": "signature"
+@CommandHandler(IssueInvoiceCommand, [InvoiceRepository, Clock])`,
+        good: `@CommandHandler(IssueInvoiceCommand)
+export class IssueInvoiceHandler {
+  constructor(
+    private readonly invoices: InvoiceRepository,
+    private readonly settings: InvoiceSettings,   // an abstract class of application/ports, bound to a value in the platform
+    private readonly clock: Clock,
+  ) {}
+}`,
     },
     'config/valid': {
         why: 'Every other rule reads the config: a misspelled upstream or rule id silently disables a check. The contexts on disk and in the config have to be the same set, or part of the code is not checked at all. A function limit above the ceiling of 100 lines and an allowance without a file or a reason are read as something else than what is written, so they are reported too.',

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

@@ -1 +1 @@
-{"version":3,"file":"wiring-docs.js","sourceRoot":"","sources":["../../../src/check/explain/wiring-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAsC;IAC5D,4BAA4B,EAAE;QAC5B,GAAG,EAAE,qnBAAqnB;QAC1nB,GAAG,EAAE;;;sCAG6B;QAClC,IAAI,EAAE;;;;;;+CAMqC;KAC5C;IACD,4BAA4B,EAAE;QAC5B,GAAG,EAAE,0oBAA0oB;QAC/oB,GAAG,EAAE;;;;;;wBAMe;QACpB,IAAI,EAAE;;;;;0CAKgC;KACvC;IACD,6BAA6B,EAAE;QAC7B,GAAG,EAAE,keAAke;QACve,GAAG,EAAE;;gGAEuF;QAC5F,IAAI,EAAE;;;gGAGsF;KAC7F;IACD,cAAc,EAAE;QACd,GAAG,EAAE,kXAAkX;QACvX,GAAG,EAAE;;uEAE8D;QACnE,IAAI,EAAE;;2IAEiI;KACxI;IACD,iCAAiC,EAAE;QACjC,GAAG,EAAE,qMAAqM;QAC1M,GAAG,EAAE,qDAAqD;QAC1D,IAAI,EAAE,qGAAqG;KAC5G;CACF,CAAC"}
+{"version":3,"file":"wiring-docs.js","sourceRoot":"","sources":["../../../src/check/explain/wiring-docs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAsC;IAC5D,4BAA4B,EAAE;QAC5B,GAAG,EAAE,qnBAAqnB;QAC1nB,GAAG,EAAE;;;sCAG6B;QAClC,IAAI,EAAE;;;;;;+CAMqC;KAC5C;IACD,4BAA4B,EAAE;QAC5B,GAAG,EAAE,0oBAA0oB;QAC/oB,GAAG,EAAE;;;;;;wBAMe;QACpB,IAAI,EAAE;;;;;0CAKgC;KACvC;IACD,6BAA6B,EAAE;QAC7B,GAAG,EAAE,60BAA60B;QACl1B,GAAG,EAAE;;;;oDAI2C;QAChD,IAAI,EAAE;;;;;2DAKiD;KACxD;IACD,oCAAoC,EAAE;QACpC,GAAG,EAAE,omCAAomC;QACzmC,GAAG,EAAE;;;;;;;;;iEASwD;QAC7D,IAAI,EAAE;;;;;;;EAOR;KACC;IACD,cAAc,EAAE;QACd,GAAG,EAAE,kXAAkX;QACvX,GAAG,EAAE;;uEAE8D;QACnE,IAAI,EAAE;;2IAEiI;KACxI;IACD,iCAAiC,EAAE;QACjC,GAAG,EAAE,qMAAqM;QAC1M,GAAG,EAAE,qDAAqD;QAC1D,IAAI,EAAE,qGAAqG;KAC5G;CACF,CAAC"}

package/dist/check/fixtures/alias-declared-fixtures.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"alias-declared-fixtures.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/alias-declared-fixtures.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAQ5C,eAAO,MAAM,uBAAuB,EAAE,SAAS,OAAO,EAoErD,CAAC"}
+{"version":3,"file":"alias-declared-fixtures.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/alias-declared-fixtures.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAW5C,eAAO,MAAM,uBAAuB,EAAE,SAAS,OAAO,EAmHrD,CAAC"}