@alveolus/arch 0.5.0 → 0.6.0

package/dist/index.d.mts

@@ -76,6 +76,9 @@ interface MemberProps {
   readonly parameterTypes: readonly ClassType[];
   readonly returns: ReturnShape | undefined;
   readonly holdsCollection: boolean;
+  readonly receivesFunction: boolean;
+  readonly erasedType: string | undefined;
+  readonly opaqueValue: string | undefined;
 }
 declare class Member {
   readonly name: string;
@@ -90,6 +93,9 @@ declare class Member {
   readonly parameterTypes: readonly ClassType[];
   readonly returns: ReturnShape | undefined;
   readonly holdsCollection: boolean;
+  readonly receivesFunction: boolean;
+  readonly erasedType: string | undefined;
+  readonly opaqueValue: string | undefined;
   constructor(props: MemberProps);
   get isPublicInstance(): boolean;
   get isField(): boolean;
@@ -144,6 +150,15 @@ declare class Dependency {
   isOnPackage(name: string): boolean;
 }
 //#endregion
+//#region src/model/dependencies/global-channel.d.ts
+type GlobalAccess = "reads" | "writes";
+declare class GlobalChannel {
+  readonly line: number;
+  readonly name: string;
+  readonly access: GlobalAccess;
+  constructor(line: number, name: string, access: GlobalAccess);
+}
+//#endregion
 //#region src/model/dependencies/global-use.d.ts
 type GlobalOrigin = "ecmascript" | "host";
 type GlobalEffect = "clock" | "randomness";
@@ -155,6 +170,15 @@ declare class GlobalUse {
   constructor(line: number, name: string, origin: GlobalOrigin, effect: GlobalEffect | undefined);
 }
 //#endregion
+//#region src/model/dependencies/module-reach.d.ts
+declare class ModuleReach {
+  readonly line: number;
+  readonly expression: string;
+  readonly means: string;
+  readonly module: ClassType;
+  constructor(line: number, expression: string, means: string, module: ClassType);
+}
+//#endregion
 //#region src/model/dependencies/wiring.d.ts
 interface WiringLink {
   readonly text: string;
@@ -202,7 +226,9 @@ interface SourceFileProps {
   readonly statements: readonly TopLevelStatement[];
   readonly throws: readonly Throw[];
   readonly globals: readonly GlobalUse[];
+  readonly globalChannels: readonly GlobalChannel[];
   readonly wirings: readonly Wiring[];
+  readonly moduleReaches: readonly ModuleReach[];
   readonly disables: readonly DisableComment[];
 }
 declare class SourceFile {
@@ -212,7 +238,9 @@ declare class SourceFile {
   readonly statements: readonly TopLevelStatement[];
   readonly throws: readonly Throw[];
   readonly globals: readonly GlobalUse[];
+  readonly globalChannels: readonly GlobalChannel[];
   readonly wirings: readonly Wiring[];
+  readonly moduleReaches: readonly ModuleReach[];
   readonly disables: readonly DisableComment[];
   private readonly lines;
   constructor(props: SourceFileProps);
@@ -505,6 +533,7 @@ export declare class TsMorphImporter extends Importer {
   private readonly statements;
   private readonly disables;
   private readonly throws;
+  private readonly globalChannels;
   constructor(sources: Project);
   static fromTsConfig(tsConfigFilePath: string): TsMorphImporter;
   resolves(packageName: string, scope: ImportScope): boolean;

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":["Project","FileTarget","Project","Project","MorphProject","Project"],"sources":["../src/architecture/allowed-packages.ts","../src/conventions/core-api.ts","../src/conventions/layers.ts","../src/conventions/building-blocks.ts","../src/model/classes/named-type.ts","../src/model/classes/class-type.ts","../src/model/classes/heritage.ts","../src/model/classes/return-shape.ts","../src/model/classes/member.ts","../src/model/classes/class-declaration.ts","../src/model/dependencies/dependency.ts","../src/model/dependencies/global-use.ts","../src/model/dependencies/wiring.ts","../src/model/statements/disable-comment.ts","../src/model/statements/throw.ts","../src/model/statements/top-level-statement.ts","../src/model/source-file.ts","../src/model/project.ts","../src/architecture/core-api.ts","../src/architecture/context-map.ts","../src/architecture/settings.ts","../src/architecture/paths/location.ts","../src/architecture/paths/place.ts","../src/architecture/building-blocks.ts","../src/architecture/crossing.ts","../src/architecture/layers.ts","../src/architecture/paths/layer-shape.ts","../src/architecture/architecture.ts","../src/rules/framework/finding.ts","../src/rules/framework/wording.ts","../src/rules/framework/rule.ts","../src/rules/tooling/no-loose-disable.rule.ts","../src/rules/registry.ts","../src/check/violation.ts","../src/check/baseline.ts","../src/importer/importer.ts","../src/importer/ts-morph/ts-morph-importer.ts","../src/check/checker.ts","../src/check/report.ts","../src/docs/page.ts","../src/docs/docs.ts","../src/cli/cli.ts","../src/config/alveolus-config.ts","../src/config/config.ts","../src/config/config-loader.ts","../src/config/define-config.ts","../src/init/init.ts"],"mappings":";;KAAY,sBAAsB,SAAS;qBAE9B;mBACO;EAAnB,YAAmB,WAA2B;EAE9C,IAAW;EAIX,eAAsB,qBAAqB;EAW3C,aAAoB;EAQpB,KAAY,OAAO,kBAAkB;;;;cC1BzB;KAmBD,mBAAmB;cAElB;KAED,qBAAqB;;;cCzBpB;KAED,gBAAgB;;;UCCX;WACP,OAAO;WACP;WACA;;;;UCNO;WACP;WACA;;;;cCAG;WAEX;WACA;WACA,kBAAkC;EAHnC,YACC,cACA,gCACA,kBAAkC;MAGxB;MAIA;;;;UCXK;WACP;WACA;WACA,gBAAgB;;UAGT;WACP;WACA,wBAAwB;;;;UCRjB;WACP,OAAO;WACP,gBAAgB;;;;KCDd;KAEA;UAEK;WACP;WACA;WACA,MAAM;WACN,YAAY;WACZ;WACA;WACA;WACA;WACA,qBAAqB;WACrB,yBAAyB;WACzB,SAAS;WACT;;cAGG;WACI;WACA;WACA,MAAM;WACN,YAAY;WACZ;WACA;WACA;WACA;WACA,qBAAqB;WACrB,yBAAyB;WACzB,SAAS;WACT;EAEhB,YAAmB,OAAO;MAef;MAIA;;;;UClDK;WACP;WACA;WACA;WACA,MAAM;WACN,UAAU;WACV,sBAAsB;WACtB,kBAAkB;;cAGf;WACI;WACA;WACA;WACA,MAAM;WACN,UAAU;WACV,sBAAsB;WACtB,kBAAkB;EAElC,YAAmB,OAAO;MAUf,eAAe;MAIf,iBAAiB;MAIjB,0BAA0B;MAI1B;MAIA;UAKH;;;;KCvDG;KAEP;KAEO;WAA8B;WAAuB;WAAuB,YAAY;;WAAgC;WAA0B;;cAEjJ;WAEX;WACA,MAAsB;WACtB;WACA;WACA,QAAwB;EALzB,YACC,cACA,MAAsB,gBACtB,mBACA,0BACA,QAAwB;MAGd;EAIX,YAAmB;;;;KCnBR;KAEA;cAEC;WAEX;WACA;WACA,QAAwB;WACxB,QAAwB;EAJzB,YACC,cACA,cACA,QAAwB,cACxB,QAAwB;;;;UCPT;WACP;WACA;WACA,gBAAgB;;cAGb;WAEX;WACA;WACA,gBAAgC;EAHjC,YACC,cACA,kBACA,gBAAgC;;;;cCZrB;WAEX;WACA;EAFD,YACC,cACA;MAGU;;;;KCNA;cAEC;WAEX;WACA,MAAsB;EAFvB,YACC,cACA,MAAsB;;;;KCLZ;cAEC;WAEX,MAAsB;WACtB;WACA;EAHD,YACC,MAAsB,eACtB,cACA;;;;UCEe;WACP;WACA;WACA,uBAAuB;WACvB,kBAAkB;WAClB,qBAAqB;WACrB,iBAAiB;WACjB,kBAAkB;WAClB,kBAAkB;WAClB,mBAAmB;;cAGhB;WACI;WACA,uBAAuB;WACvB,kBAAkB;WAClB,qBAAqB;WACrB,iBAAiB;WACjB,kBAAkB;WAClB,kBAAkB;WAClB,mBAAmB;mBAClB;EAEjB,YAAmB,OAAO;EAY1B,SAAgB;EAIhB,aAAoB,eAAe;EAInC,WAAkB,eAAe;;;;cC7CrBA;WAIX;WACA,gBAAgC;mBAJhB;EAEjB,YACC,mBACA,gBAAgC;EAKjC,KAAY,eAAe;EAI3B,QAAe,MAAM,YAAY;EAOjC,aAAoB;;;;cCvBR;MACD;EAIX,QAAe,MAAM,YAAY;EAUjC,UAAiB,sBAAsB,cAAc;EAUrD,SAAgB,OAAO;EAOvB,eAAsB;EAItB,0BAAiC;UAIzB;UAIA;UAIA;;;;KCpDG,YAAY,SAAS;cAEpB;mBACO;EAAnB,YAAmB,WAA4B;MAEpC;MAIA;EAUX;EAIA,OAAc,cAAc;EAI5B;UAYQ;;;;KCpCG;KAEA,aAAa,SAAS,QAAQ,OAAO;UAEhC;WACP;WACA;WACA;WACA,YAAY;;KAGV,eAAe,SAAS,QAAQ;UAE3B;WACP;WACA,yBAAyB;WACzB;WACA,cAAc;WACd,YAAY;WACZ,oBAAoB;WACpB,yBAAyB;;;;KCpBvB;KAEA;UAEK;WACP,MAAM;WACN;WACA,YAAY;WACZ,QAAQ;WACR;WACA;WACA;WACA;WACA,SAAS;;cAGN;WACI,MAAM;WACN;WACA,WAAW;WACX,OAAO;WACP;WACA;WACA;WACA;WACA,QAAQ;EAExB,YAAmB,OAAO;MAYf;MAIA;MAIA;MAIA;MAIA;MAIA;EAIX,gBAAuB,OAAO;EAI9B,0BAAiC,OAAO;;;;cCnE5B;WACI,OAAO;WACP;WACA;EAEhB,YAAmB,MAAM;EAMzB,KAAY,UAAU;;;;UCRN;WACP,QAAQ;WACR,OAAO;;cAGJ;mBACO;EAAnB,YAAmB,MAAuB;EAE1C,QAAe,aAAa,mBAAmB;EAU/C,eAAsB,aAAa,mBAAmB;EAWtD,UAAiB;;;;UC/BD;WACP;WACA;WACA;WACA;WACA;;;;cCNG;EACZ,QAAe,eAAe,QAAQ;EAItC,eAAsB,OAAO,QAAQ,4BAA4B;;;;KCJtD;WACE;WAA8C;WAA0C;;WACxF;WAAgC;WAA0C;WAAyB;;WACnG;;;;KCWTC,eAAa,QAAQ;EAAoB;;qBAEjC;WAUX,SAAyBC;mBACzB;WAVe,MAAM;WACN,QAAQ;WACR,QAAQ;mBACP;mBACA;mBACA;mBACA;EAEjB,YACC,SAAyBA,WACzB,UAA2B;MAMjB,kBAAkB;MAIlB,sBAAsB;MAItB,2BAA2B;MAI3B,cAAc;EAIzB,WAAkB,MAAM,aAAa;EAIrC,eAAsB,eAAe;EAIrC,YAAmB,MAAM,aAAa;EAItC,iBAAwB,QAAQD,eAAa;EAO7C,aAAoB,UAAU,WAAW;EAIzC,aAAoB;EAIpB,QAAe,SAAS,YAAY,mBAAmB;EAIvD,OAAc,SAAS,YAAY,mBAAmB;EAItD,GAAU,SAAS,YAAY,kBAAkB,MAAM;EAIvD,gBAAuB,SAAS,YAAY;EAI5C,iBAAwB,aAAa,kBAAkB,QAAQ;EAI/D,cAAqB,QAAQ;EAI7B,QAAe,MAAM,YAAY;UAIzB;UASA;;;;KCnHG,cAAc,SAAS;UAElB,QAAQ;WACf,MAAM;WACN;WACA;WACA,WAAW;WACX,MAAM;;;;KCNX,aAAa,QAAQ;EAAoB;;cAEjC;EACZ,OAAc,QAAQ,YAAY,cAAc;EAOhD,SAAgB,UAAU;EAoB1B,MAAa,OAAO;;;;KC5BhB;UAEY,SAAS,mBAAmB;WACnC,IAAI;WACJ,UAAU;WACV;WACA,UAAU,SAAS,OAAO;;8BAGd,KAAK,4BAA4B;oBAC7B,MAAM,SAAS,IAAI;qBAEzB,SAAS;WAEZ,MAAM,cAAc,eAAe,QAAQ;YAEjD,QAAQ,cAAc,eAAe;UAUvC;YAQE,QAAQ,MAAM,YAAY,cAAc,gBAAgB,WAAW,WAAW,OAAM,cAAmB,QAAQ;;;;KCjCrH;cAEQ,2BAA2B,iCAAiC;mBAarD;WAZH,MAAM,qCAAqC;EAY3D,YAAmB;EAInB,MAAa,cAAc,eAAe,QAAQ;EAalD,OAAc,MAAM,YAAY,SAAS,iBAAiB,QAAQ;UAK1D;;;;cCvBI;KAqBD,iBAAiB;qBAEhB;WACI,gBAAgB,KAAK;MAqB1B,gBAAgB;MAIhB,OAAO;;;;KCnEP;UAEK;WACP,MAAM;WACN,UAAU;WACV;WACA;WACA;WACA;WACA;;;;qBCJG;mBAGQ;kBAFG;UAEf;SAEM,GAAG,qBAAqB,cAAc;SAIhC,KAAK,eAAe,QAAQ;MAQrC;MAIA;EAIX,cAAqB,qBAAqB,cAAc;EAIxD,aAAoB,qBAAqB;UAIjC;EAuBR,KAAkB,eAAe;UAKzB;;;;UClEQ;WACP;WACA;EACT,UAAU;EACV,YAAY;;8BAGS;WACL,KAAK,OAAO,cAAcE;WAE1B,SAAS,qBAAqB,OAAO;;;;qBCQzC,wBAAwB;mBAOjB;mBANF;mBACA;mBACA;mBACA;mBACA;EAEjB,YAAmB,SAA0BC;SAM/B,aAAa,2BAA2B;EAOtD,SAAgB,qBAAqB,OAAO;EAM5C,KAAY,OAAO,cAAcC;UAazB;UAeA;UAUA;;;;UC3EQ,sBAAsB,aAAa;EACnD,WAAW,MAAM,SAAS;;UAGV;WACP,WAAW;WACX;;UAGO;WACP;WACA,YAAY;WACZ,YAAY;;qBAGT;mBAIX;mBACA;mBAJgB;EAEjB,YACC,UAA2B,UAC3B,gBAAiC,KAAK;EAGvC,MAAa,UAAU,gBAAgB;EAsBvC,IAAW,MAAM,KAAK,SAAS,cAAc,eAAe;UAIpD;UAcA;UAkBA;UAYA;UAQA;UAQA;;;;UChHQ;WACP;WACA,qBAAqB;WACrB,qBAAqB;WACrB;WACA;;qBAOG;mBAIX;mBAHgB;EAEjB,YACC,OAAwB,aACxB;EAKD;EAYA;EAMA,MAAa,gBAAgB;UAiBrB;UAQA;UAKA;UAWA;UAkBA;;;;qBCxFI;WAEX;mBACA;EAFD,YACC,eACA;MAGU;EAMX;;;;KCxBW;WAAmB,MAAM;;WAAoB;;qBAE5C;mBAGO;kBAFI;EAEvB,YAAmB;EAEnB;EAUA,KAAY,eAAe;EAa3B,KAAY,gBAAgB;UASpB;;;;UC9BC;EACT,MAAM;;qBAWM;mBAIX;mBACA;mBACA;mBACA;mBACA;UAPO;EAER,YACC,QAAyB,QACzB,QAAyB,QACzB,aACA,MAAuB,MACvB;EAGD,IAAiB,0BAA0B;UAUnC;UA0BA;UAeA;UAWA;UAQM;UAiBN;UAUA;UAKM;UAaA;UASN;;;;KC9JG;KAEA,mBAAmB,SAAS;WAA0B;;UAExD;WACA,eAAe,SAAS,QAAQ;;UAGzB;WACP;WACA;WACA,iBAAiB,SAAS;WAC1B;WACA,aAAa;WACb,YAAY;WACZ;WACA,qBAAqB;WACrB,0BAA0B;WAC1B;WACA,SAAS;WACT,QAAQ,SAAS,QAAQ,OAAO,QAAQ;;;;qBCbrC,kBAAkB;WACd;WACA;WACA;WACA;WACA,oBAAoB;WACpB,yBAAyB;WACzB,yBAAyB;WACzB,cAAc;WACd,YAAY;mBACX;mBACA;mBACA;EAEjB,YAAmB,QAAQ,gBAAgB;UAiBnC;UAyBA;EA0BR,UAAiB;EAKjB,YAAmB;EAKnB,WAAkB,MAAM,SAAS;;;;qBCvErB;kBACW;EAEvB,KAAkB,oBAAoB,sBAA6C,QAAQ;UASnF;;;;wBCzCO,aAAa,QAAQ,iBAAiB;;;KCI1C;UAEK;WACP;WACA,SAAS;;qBAGN;mBACO;EAAnB,YAAmB;EAEnB,OAAc;MAQH;UAQH"}
+{"version":3,"file":"index.d.mts","names":["Project","FileTarget","Project","Project","MorphProject","Project"],"sources":["../src/architecture/allowed-packages.ts","../src/conventions/core-api.ts","../src/conventions/layers.ts","../src/conventions/building-blocks.ts","../src/model/classes/named-type.ts","../src/model/classes/class-type.ts","../src/model/classes/heritage.ts","../src/model/classes/return-shape.ts","../src/model/classes/member.ts","../src/model/classes/class-declaration.ts","../src/model/dependencies/dependency.ts","../src/model/dependencies/global-channel.ts","../src/model/dependencies/global-use.ts","../src/model/dependencies/module-reach.ts","../src/model/dependencies/wiring.ts","../src/model/statements/disable-comment.ts","../src/model/statements/throw.ts","../src/model/statements/top-level-statement.ts","../src/model/source-file.ts","../src/model/project.ts","../src/architecture/core-api.ts","../src/architecture/context-map.ts","../src/architecture/settings.ts","../src/architecture/paths/location.ts","../src/architecture/paths/place.ts","../src/architecture/building-blocks.ts","../src/architecture/crossing.ts","../src/architecture/layers.ts","../src/architecture/paths/layer-shape.ts","../src/architecture/architecture.ts","../src/rules/framework/finding.ts","../src/rules/framework/wording.ts","../src/rules/framework/rule.ts","../src/rules/tooling/no-loose-disable.rule.ts","../src/rules/registry.ts","../src/check/violation.ts","../src/check/baseline.ts","../src/importer/importer.ts","../src/importer/ts-morph/ts-morph-importer.ts","../src/check/checker.ts","../src/check/report.ts","../src/docs/page.ts","../src/docs/docs.ts","../src/cli/cli.ts","../src/config/alveolus-config.ts","../src/config/config.ts","../src/config/config-loader.ts","../src/config/define-config.ts","../src/init/init.ts"],"mappings":";;KAAY,sBAAsB,SAAS;qBAE9B;mBACO;EAAnB,YAAmB,WAA2B;EAE9C,IAAW;EAIX,eAAsB,qBAAqB;EAW3C,aAAoB;EAQpB,KAAY,OAAO,kBAAkB;;;;cC1BzB;KAmBD,mBAAmB;cAElB;KAED,qBAAqB;;;cCzBpB;KAED,gBAAgB;;;UCCX;WACP,OAAO;WACP;WACA;;;;UCNO;WACP;WACA;;;;cCAG;WAEX;WACA;WACA,kBAAkC;EAHnC,YACC,cACA,gCACA,kBAAkC;MAGxB;MAIA;;;;UCXK;WACP;WACA;WACA,gBAAgB;;UAGT;WACP;WACA,wBAAwB;;;;UCRjB;WACP,OAAO;WACP,gBAAgB;;;;KCDd;KAEA;UAEK;WACP;WACA;WACA,MAAM;WACN,YAAY;WACZ;WACA;WACA;WACA;WACA,qBAAqB;WACrB,yBAAyB;WACzB,SAAS;WACT;WACA;WACA;WACA;;cAGG;WACI;WACA;WACA,MAAM;WACN,YAAY;WACZ;WACA;WACA;WACA;WACA,qBAAqB;WACrB,yBAAyB;WACzB,SAAS;WACT;WACA;WACA;WACA;EAEhB,YAAmB,OAAO;MAkBf;MAIA;;;;UC3DK;WACP;WACA;WACA;WACA,MAAM;WACN,UAAU;WACV,sBAAsB;WACtB,kBAAkB;;cAGf;WACI;WACA;WACA;WACA,MAAM;WACN,UAAU;WACV,sBAAsB;WACtB,kBAAkB;EAElC,YAAmB,OAAO;MAUf,eAAe;MAIf,iBAAiB;MAIjB,0BAA0B;MAI1B;MAIA;UAKH;;;;KCvDG;KAEP;KAEO;WAA8B;WAAuB;WAAuB,YAAY;;WAAgC;WAA0B;;cAEjJ;WAEX;WACA,MAAsB;WACtB;WACA;WACA,QAAwB;EALzB,YACC,cACA,MAAsB,gBACtB,mBACA,0BACA,QAAwB;MAGd;EAIX,YAAmB;;;;KCnBR;cAEC;WAEX;WACA;WACA,QAAwB;EAHzB,YACC,cACA,cACA,QAAwB;;;;KCNd;KAEA;cAEC;WAEX;WACA;WACA,QAAwB;WACxB,QAAwB;EAJzB,YACC,cACA,cACA,QAAwB,cACxB,QAAwB;;;;cCPb;WAEX;WACA;WACA;WACA,QAAwB;EAJzB,YACC,cACA,oBACA,eACA,QAAwB;;;;UCLT;WACP;WACA;WACA,gBAAgB;;cAGb;WAEX;WACA;WACA,gBAAgC;EAHjC,YACC,cACA,kBACA,gBAAgC;;;;cCZrB;WAEX;WACA;EAFD,YACC,cACA;MAGU;;;;KCNA;cAEC;WAEX;WACA,MAAsB;EAFvB,YACC,cACA,MAAsB;;;;KCLZ;cAEC;WAEX,MAAsB;WACtB;WACA;EAHD,YACC,MAAsB,eACtB,cACA;;;;UCIe;WACP;WACA;WACA,uBAAuB;WACvB,kBAAkB;WAClB,qBAAqB;WACrB,iBAAiB;WACjB,kBAAkB;WAClB,yBAAyB;WACzB,kBAAkB;WAClB,wBAAwB;WACxB,mBAAmB;;cAGhB;WACI;WACA,uBAAuB;WACvB,kBAAkB;WAClB,qBAAqB;WACrB,iBAAiB;WACjB,kBAAkB;WAClB,yBAAyB;WACzB,kBAAkB;WAClB,wBAAwB;WACxB,mBAAmB;mBAClB;EAEjB,YAAmB,OAAO;EAc1B,SAAgB;EAIhB,aAAoB,eAAe;EAInC,WAAkB,eAAe;;;;cCrDrBA;WAIX;WACA,gBAAgC;mBAJhB;EAEjB,YACC,mBACA,gBAAgC;EAKjC,KAAY,eAAe;EAI3B,QAAe,MAAM,YAAY;EAOjC,aAAoB;;;;cCvBR;MACD;EAIX,QAAe,MAAM,YAAY;EAUjC,UAAiB,sBAAsB,cAAc;EAUrD,SAAgB,OAAO;EAOvB,eAAsB;EAItB,0BAAiC;UAIzB;UAIA;UAIA;;;;KCpDG,YAAY,SAAS;cAEpB;mBACO;EAAnB,YAAmB,WAA4B;MAEpC;MAIA;EAUX;EAIA,OAAc,cAAc;EAI5B;UAYQ;;;;KCpCG;KAEA,aAAa,SAAS,QAAQ,OAAO;UAEhC;WACP;WACA;WACA;WACA,YAAY;;KAGV,eAAe,SAAS,QAAQ;UAE3B;WACP;WACA,yBAAyB;WACzB;WACA,cAAc;WACd,YAAY;WACZ,oBAAoB;WACpB,yBAAyB;;;;KCpBvB;KAEA;UAEK;WACP,MAAM;WACN;WACA,YAAY;WACZ,QAAQ;WACR;WACA;WACA;WACA;WACA,SAAS;;cAGN;WACI,MAAM;WACN;WACA,WAAW;WACX,OAAO;WACP;WACA;WACA;WACA;WACA,QAAQ;EAExB,YAAmB,OAAO;MAYf;MAIA;MAIA;MAIA;MAIA;MAIA;EAIX,gBAAuB,OAAO;EAI9B,0BAAiC,OAAO;;;;cCnE5B;WACI,OAAO;WACP;WACA;EAEhB,YAAmB,MAAM;EAMzB,KAAY,UAAU;;;;UCRN;WACP,QAAQ;WACR,OAAO;;cAGJ;mBACO;EAAnB,YAAmB,MAAuB;EAE1C,QAAe,aAAa,mBAAmB;EAU/C,eAAsB,aAAa,mBAAmB;EAWtD,UAAiB;;;;UC/BD;WACP;WACA;WACA;WACA;WACA;;;;cCNG;EACZ,QAAe,eAAe,QAAQ;EAItC,eAAsB,OAAO,QAAQ,4BAA4B;;;;KCJtD;WACE;WAA8C;WAA0C;;WACxF;WAAgC;WAA0C;WAAyB;;WACnG;;;;KCWTC,eAAa,QAAQ;EAAoB;;qBAEjC;WAUX,SAAyBC;mBACzB;WAVe,MAAM;WACN,QAAQ;WACR,QAAQ;mBACP;mBACA;mBACA;mBACA;EAEjB,YACC,SAAyBA,WACzB,UAA2B;MAMjB,kBAAkB;MAIlB,sBAAsB;MAItB,2BAA2B;MAI3B,cAAc;EAIzB,WAAkB,MAAM,aAAa;EAIrC,eAAsB,eAAe;EAIrC,YAAmB,MAAM,aAAa;EAItC,iBAAwB,QAAQD,eAAa;EAO7C,aAAoB,UAAU,WAAW;EAIzC,aAAoB;EAIpB,QAAe,SAAS,YAAY,mBAAmB;EAIvD,OAAc,SAAS,YAAY,mBAAmB;EAItD,GAAU,SAAS,YAAY,kBAAkB,MAAM;EAIvD,gBAAuB,SAAS,YAAY;EAI5C,iBAAwB,aAAa,kBAAkB,QAAQ;EAI/D,cAAqB,QAAQ;EAI7B,QAAe,MAAM,YAAY;UAIzB;UASA;;;;KCnHG,cAAc,SAAS;UAElB,QAAQ;WACf,MAAM;WACN;WACA;WACA,WAAW;WACX,MAAM;;;;KCNX,aAAa,QAAQ;EAAoB;;cAEjC;EACZ,OAAc,QAAQ,YAAY,cAAc;EAOhD,SAAgB,UAAU;EAoB1B,MAAa,OAAO;;;;KC5BhB;UAEY,SAAS,mBAAmB;WACnC,IAAI;WACJ,UAAU;WACV;WACA,UAAU,SAAS,OAAO;;8BAGd,KAAK,4BAA4B;oBAC7B,MAAM,SAAS,IAAI;qBAEzB,SAAS;WAEZ,MAAM,cAAc,eAAe,QAAQ;YAEjD,QAAQ,cAAc,eAAe;UAUvC;YAQE,QAAQ,MAAM,YAAY,cAAc,gBAAgB,WAAW,WAAW,OAAM,cAAmB,QAAQ;;;;KCjCrH;cAEQ,2BAA2B,iCAAiC;mBAarD;WAZH,MAAM,qCAAqC;EAY3D,YAAmB;EAInB,MAAa,cAAc,eAAe,QAAQ;EAalD,OAAc,MAAM,YAAY,SAAS,iBAAiB,QAAQ;UAK1D;;;;cCvBI;KAqBD,iBAAiB;qBAEhB;WACI,gBAAgB,KAAK;MAqB1B,gBAAgB;MAIhB,OAAO;;;;KCnEP;UAEK;WACP,MAAM;WACN,UAAU;WACV;WACA;WACA;WACA;WACA;;;;qBCJG;mBAGQ;kBAFG;UAEf;SAEM,GAAG,qBAAqB,cAAc;SAIhC,KAAK,eAAe,QAAQ;MAQrC;MAIA;EAIX,cAAqB,qBAAqB,cAAc;EAIxD,aAAoB,qBAAqB;UAIjC;EAuBR,KAAkB,eAAe;UAKzB;;;;UClEQ;WACP;WACA;EACT,UAAU;EACV,YAAY;;8BAGS;WACL,KAAK,OAAO,cAAcE;WAE1B,SAAS,qBAAqB,OAAO;;;;qBCiBzC,wBAAwB;mBAQjB;mBAPF;mBACA;mBACA;mBACA;mBACA;mBACA;EAEjB,YAAmB,SAA0BC;SAM/B,aAAa,2BAA2B;EAOtD,SAAgB,qBAAqB,OAAO;EAM5C,KAAY,OAAO,cAAcC;UAczB;UAkBA;UAUA;;;;UCzFQ,sBAAsB,aAAa;EACnD,WAAW,MAAM,SAAS;;UAGV;WACP,WAAW;WACX;;UAGO;WACP;WACA,YAAY;WACZ,YAAY;;qBAGT;mBAIX;mBACA;mBAJgB;EAEjB,YACC,UAA2B,UAC3B,gBAAiC,KAAK;EAGvC,MAAa,UAAU,gBAAgB;EAsBvC,IAAW,MAAM,KAAK,SAAS,cAAc,eAAe;UAIpD;UAcA;UAkBA;UAYA;UAQA;UAQA;;;;UChHQ;WACP;WACA,qBAAqB;WACrB,qBAAqB;WACrB;WACA;;qBAOG;mBAIX;mBAHgB;EAEjB,YACC,OAAwB,aACxB;EAKD;EAYA;EAMA,MAAa,gBAAgB;UAiBrB;UAQA;UAKA;UAWA;UAkBA;;;;qBCxFI;WAEX;mBACA;EAFD,YACC,eACA;MAGU;EAMX;;;;KCxBW;WAAmB,MAAM;;WAAoB;;qBAE5C;mBAGO;kBAFI;EAEvB,YAAmB;EAEnB;EAUA,KAAY,eAAe;EAa3B,KAAY,gBAAgB;UASpB;;;;UC9BC;EACT,MAAM;;qBAWM;mBAIX;mBACA;mBACA;mBACA;mBACA;UAPO;EAER,YACC,QAAyB,QACzB,QAAyB,QACzB,aACA,MAAuB,MACvB;EAGD,IAAiB,0BAA0B;UAUnC;UA0BA;UAeA;UAWA;UAQM;UAiBN;UAUA;UAKM;UAaA;UASN;;;;KC9JG;KAEA,mBAAmB,SAAS;WAA0B;;UAExD;WACA,eAAe,SAAS,QAAQ;;UAGzB;WACP;WACA;WACA,iBAAiB,SAAS;WAC1B;WACA,aAAa;WACb,YAAY;WACZ;WACA,qBAAqB;WACrB,0BAA0B;WAC1B;WACA,SAAS;WACT,QAAQ,SAAS,QAAQ,OAAO,QAAQ;;;;qBCbrC,kBAAkB;WACd;WACA;WACA;WACA;WACA,oBAAoB;WACpB,yBAAyB;WACzB,yBAAyB;WACzB,cAAc;WACd,YAAY;mBACX;mBACA;mBACA;EAEjB,YAAmB,QAAQ,gBAAgB;UAiBnC;UAyBA;EA0BR,UAAiB;EAKjB,YAAmB;EAKnB,WAAkB,MAAM,SAAS;;;;qBCvErB;kBACW;EAEvB,KAAkB,oBAAoB,sBAA6C,QAAQ;UASnF;;;;wBCzCO,aAAa,QAAQ,iBAAiB;;;KCI1C;UAEK;WACP;WACA,SAAS;;qBAGN;mBACO;EAAnB,YAAmB;EAEnB,OAAc;MAQH;UAQH"}

package/dist/index.mjs

@@ -1,4 +1,4 @@
-import { a as TsMorphImporter, c as Config, d as RuleRegistry, f as Rule, h as Baseline, i as Init, l as Report, m as AllowedPackages, n as Page, o as Importer, p as Architecture, r as Cli, s as ConfigLoader, t as Docs, u as Checker } from "./docs-B1Tzkjrn.mjs";
+import { a as TsMorphImporter, c as Config, d as RuleRegistry, f as Rule, h as Baseline, i as Init, l as Report, m as AllowedPackages, n as Page, o as Importer, p as Architecture, r as Cli, s as ConfigLoader, t as Docs, u as Checker } from "./docs-B6M9DxTM.mjs";
 //#region src/config/define-config.ts
 function defineConfig(config) {
 	return config;

package/docs/core/strategic/open-host-services.md

@@ -265,7 +265,7 @@ npx alveolus arch check
 
 <div class="al-cards">
 <div class="al-card"><span class="al-card-title"><a href="../../rules/strategic/no-cross-context-import"><code>strategic/no-cross-context-import</code></a></span>Another context imports this class, and nothing else of the catalog.</div>
-<div class="al-card"><span class="al-card-title"><a href="../../rules/strategic/no-leaky-host-service"><code>strategic/no-leaky-host-service</code></a></span>It answers in the published language, never with a class of the catalog.</div>
+<div class="al-card"><span class="al-card-title"><a href="../../rules/strategic/no-leaky-host-service"><code>strategic/no-leaky-host-service</code></a></span>It answers in the published language, never with a class of the catalog or an untyped result, and it receives data, never a callback.</div>
 <div class="al-card"><span class="al-card-title"><a href="../../rules/tactical/no-misplaced-class"><code>tactical/no-misplaced-class</code></a></span>It stays under <code>driving/</code>.</div>
 </div>
 

package/docs/rules/index.md

@@ -54,7 +54,7 @@ its own business. The "Applies to" line of each rule page says which it is.
 | [`strategic/no-cross-context-import`](./strategic/no-cross-context-import.md) | An import from another bounded context that is not its open host service, a file the analysis does not see, a composition root that re-exports. |
 | [`strategic/no-fat-shared-kernel`](./strategic/no-fat-shared-kernel.md) | An aggregate, a repository or a handler in the shared kernel. |
 | [`strategic/no-shared-state`](./strategic/no-shared-state.md) | A static field of the shared kernel that holds state. |
-| [`strategic/no-leaky-host-service`](./strategic/no-leaky-host-service.md) | An open host service that exposes a class of its context instead of the published language. |
+| [`strategic/no-leaky-host-service`](./strategic/no-leaky-host-service.md) | An open host service that exposes a class of its context, receives a function or returns an erased type, instead of speaking the published language. |
 | [`strategic/no-unmapped-context`](./strategic/no-unmapped-context.md) | A context consuming one the context map does not allow, or two contexts that depend on each other. |
 
 ## Layers
@@ -142,8 +142,12 @@ root of `src/`: a test file that re-exports another context would otherwise carr
 every rule.
 
 Code loaded at runtime counts the same way, wherever it is: `node:module` (`createRequire`),
-`node:vm`, `module.require`, `process.getBuiltinModule`, `eval`, `Function` and `new Function`.
-To read a JSON file, import it: `import pkg from "../package.json" with { type: "json" }`.
+`node:vm`, `module.require`, `process.getBuiltinModule`, `eval` and the `Function` constructor.
+They are recognised by their type as well as by their name: an alias of `Function` or `eval`, the
+`constructor` of a function (`(() => 0).constructor`, the `AsyncFunction` constructor),
+`Reflect.construct(Function, …)`, and a lookup on `globalThis` whose key is computed, such as
+`Reflect.get(globalThis, name)`. To read a JSON file, import it:
+`import pkg from "../package.json" with { type: "json" }`.
 
 ```
 src/ordering/domain/services/pricing.service.ts

package/docs/rules/strategic/no-cross-context-import.md

@@ -44,18 +44,33 @@ The shared kernel imports no bounded context at all. Every context may import th
 No file of a context or of the shared kernel imports a file the analysis does not see: ignored,
 unresolved, computed at runtime, or outside the declared contexts and the shared kernel. Such a
 file could re-export another context, and the rule could not tell which one. Code loaded at
-runtime, with `createRequire`, `eval`, `new Function` or `node:vm`, is reported the same way.
+runtime, with `createRequire`, `eval`, the `Function` constructor or `node:vm`, is reported the
+same way, whether it is named or reached through its type, see
+[Every import counts](../index.md#every-import-counts).
 
 Every form of import counts, see [Every import counts](../index.md#every-import-counts).
 
+The global object is no channel either. Writing or reading a name of `globalThis`, `global`,
+`window` or `self` that no file declares is reported, wherever it is written: an assignment,
+`Reflect.set`, `Reflect.get`, `Object.assign`, `Object.defineProperty`, or `(globalThis as any).x`.
+A name the library declares, such as a polyfill of `globalThis.crypto` or a read of `fetch`, is
+fine, and a global the project declares with `declare global` counts as an import of the file that
+declares it.
+
 The wiring follows the same contract. In the composition roots and the files at the root of
 `src/`, a value of one context given to another one, such as
-`new LedgerModule({ redemptions: () => this.emoney.commands.requestRedemption })`, is an
+`new OrderingModule({ prices: () => this.catalog.commands.changePrice })`, is an
 `OpenHostService` of the giving context, or one of its methods. A handler, a repository or any
 other class of its model is reported, even when the receiving side declares a type of the same
 shape. Whether the receiving context may consume the giving one at all is checked by
 [`strategic/no-unmapped-context`](./no-unmapped-context.md).
 
+So that what crosses can be seen, a module of another context is read by its properties
+(`this.catalog.api`), or handed whole to the constructor of another module
+(`new OrderingModule(this.catalog)`). Any other way into it is reported: brackets
+(`this.catalog["commands"]`), `Reflect.get`, a spread, destructuring, or passing it to a function,
+such as a helper of `src/` or `get` from lodash, that could hand back anything.
+
 ## What it reports
 
 ```
@@ -94,9 +109,18 @@ src/ordering/driven/memory/adapters/memory-prices.adapter.ts
 
 src/app.module.ts
  14  error  strategic/no-cross-context-import: Gives
-  this.emoney.commands.requestRedemption, from emoney, to ledger: only
-  an OpenHostService of another bounded context may cross, in an import
-  or in the wiring.
+  this.catalog.commands.changePrice, from catalog, to ordering: only an
+  OpenHostService of another bounded context may cross, in an import or
+  in the wiring.
+ 21  error  strategic/no-cross-context-import: Reaches into this.catalog
+  with Reflect.get: in the wiring, a module of another context is read
+  by its properties, so that what crosses can be seen.
+
+src/catalog/catalog.module.ts
+ 18  error  strategic/no-cross-context-import: Writes
+  globalThis.catalog:prices, which no file declares: two contexts can
+  meet there without the context map showing it. Integrate through an
+  open host service, or publish an integration event.
 ```
 
 ## Fix it
@@ -151,6 +175,11 @@ bounded context. Move what it needs into the shared kernel, or keep it in the co
   should build values of its own context.
 - A file that matches `ignore` in `alveolus.config.ts` is not analysed at all, and no file of a
   context may import it. Review a change to `ignore` as you would review a rule turned off.
+- A loader reached through a value typed `any` that is neither a `constructor` nor a lookup on
+  `globalThis`, such as `(loaders as any).run(code)`, is not recognised. In review, `any` around a
+  call is a question to ask.
+- In the wiring, a module chosen by a condition (`flag ? this.catalog : this.ordering`) and then
+  reached into is not recognised as a module: its type is a union.
 - In the wiring, a value whose type is erased on the way, by a cast or a container token written
   as a string, is not seen. In review, the composition root holds no cast.
 :::

package/docs/rules/strategic/no-leaky-host-service.md

@@ -1,16 +1,16 @@
 ---
-description: "Architecture rule: an open host service speaks the published language, and never exposes a class of its bounded context."
+description: "Architecture rule: an open host service speaks the published language: it never exposes a class of its bounded context, never receives a function and never returns an erased type."
 ---
 
 # no-leaky-host-service
 
-An open host service speaks the published language: no class of its context appears in what it
-offers.
+An open host service speaks the published language: data in, data out. No class of its context
+appears in what it offers, it receives no function, and what it returns has a type.
 
 <dl class="al-glance">
 	<dt>Rule</dt><dd><code>strategic/no-leaky-host-service</code></dd>
 	<dt>Category</dt><dd><a href="/rules/#strategic">Strategic</a>: what crosses a bounded context</dd>
-	<dt>Reports</dt><dd>A class of the project in the parameters, results, properties or getters of an open host service</dd>
+	<dt>Reports</dt><dd>A class of the project in the parameters, results, properties or getters of an open host service; a function among its parameters; <code>unknown</code>, <code>any</code> or <code>object</code> as a result</dd>
 	<dt>Applies to</dt><dd>Every class that implements <code>OpenHostService</code></dd>
 	<dt>Turn off</dt><dd><a href="#turn-it-off"><code>"strategic/no-leaky-host-service": "off"</code></a></dd>
 </dl>
@@ -39,6 +39,13 @@ parameters and its result, followed into generics, `Promise`, arrays and object
 | A class of an installed package | ✅ |
 | Any other class of the project: an aggregate, an entity, a value object, an identifier, a domain event | ❌ |
 
+Its parameters carry data, never behaviour: a function is reported wherever it sits, as a
+parameter, a property of an object parameter (`{ onSettled: () => void }`), an item of an array or
+a method of an interface it receives. A class, such as `Date` or `AbortSignal`, is not a function.
+
+Its results have a type: `unknown`, `any` and `object`, alone or in a `Promise`, are reported. A
+parameter may be `unknown`, for a payload the service validates.
+
 The constructor and private members are left out: they wire the service, other contexts never see
 them.
 
@@ -49,6 +56,13 @@ src/catalog/driving/in-process/catalog-api.ts
   6  error  strategic/no-leaky-host-service: CatalogApi.product exposes
   Product, an AggregateRoot of catalog: an open host service speaks
   the published language.
+  9  error  strategic/no-leaky-host-service: CatalogApi.onRestockNeeded
+  receives a function: an open host service receives data, never
+  behaviour, or the upstream context ends up running code of another
+  one. To let another context react, publish an integration event.
+ 12  error  strategic/no-leaky-host-service: CatalogApi.inspect returns
+  unknown: an open host service returns a type of its published
+  language, so that what leaves the context can be seen.
 ```
 
 ## Fix it
@@ -79,12 +93,51 @@ export class CatalogApi implements OpenHostService {
 
 </div>
 
+### Publish an event instead of taking a callback
+
+So that the upstream context never runs code of another one, it does not accept a callback to call
+when something happens: it publishes an integration event, and the downstream context subscribes
+to it. The context map then says the truth: the downstream context consumes the upstream one, not
+the other way round.
+
+<div class="al-compare">
+
+```ts [❌ Avoid: src/catalog/driving/in-process/catalog-api.ts]
+export class CatalogApi implements OpenHostService {
+	onRestockNeeded(callback: RestockCallback): void {
+		this.handlers.connect(callback);
+	}
+}
+```
+
+```ts [✅ Prefer: src/catalog/application/translators/catalog-events.translator.ts]
+export class CatalogEventsTranslator extends EventTranslator<
+	RestockNeeded,
+	RestockNeededRepresentation
+> {
+	protected readonly source = "catalog";
+
+	translate(event: RestockNeeded, context: IntegrationEventContext) {
+		return this.wrap(event, context, {
+			payload: { productId: event.productId.value, quantity: event.quantity },
+			type: "catalog.restock-needed",
+			version: 1,
+		});
+	}
+}
+```
+
+</div>
+
 ## Limits
 
 ::: warning What the rule cannot see
-- What a method returns as `unknown`, `any` or a plain object typed by hand with the fields of the
-  aggregate: the rule follows classes. In review, a method of an open host service returns a type of
+- A plain object typed by hand with the fields of the aggregate: the rule follows classes and
+  erased types, not shapes. In review, a method of an open host service returns a type of
   `published-language/`.
+- A function smuggled through a parameter typed `unknown`: parameters may be `unknown`, for a
+  payload to validate, so the rule cannot tell. In review, an `unknown` parameter is parsed, never
+  called.
 - A DTO class of the context is a leak too, on purpose: the published language is made of types,
   not classes.
 :::

package/docs/rules/strategic/no-shared-state.md

@@ -17,10 +17,10 @@ by every context at once: a channel between them that no import and no context m
 
 ## Why
 
-Ledger needs to create a redemption in e-money, and the context map says ledger consumes nothing.
-Someone adds a `ServiceRegistry` to the shared kernel: e-money registers its handler under a name,
-ledger resolves it. No file of ledger imports e-money, every import rule passes, and ledger now
-depends on e-money in a way nobody decided.
+The catalog needs to cancel the orders of a withdrawn product, and the context map says the
+catalog consumes nothing. Someone adds a `ServiceRegistry` to the shared kernel: ordering registers
+its handler under a name, the catalog resolves it. No file of the catalog imports ordering, every
+import rule passes, and the catalog now depends on ordering in a way nobody decided.
 
 ::: tip The fix
 Contexts talk through an [open host service](../../core/strategic/open-host-services.md), consumed
@@ -39,14 +39,24 @@ Every static field of a class in the shared kernel:
 | `static readonly ZERO = new Money({ amount: 0 })` | ✅ |
 | `static readonly PRECISION = 2` | ✅ |
 | `static readonly CURRENCIES: readonly string[] = ["EUR"]`, a `ReadonlyMap`, a `ReadonlySet` | ✅ |
+| `static readonly NONE = new CustomerId("")`: an identifier | ✅ |
+| `static readonly RATE = new Decimal("1.1")`: a class of a package listed in `domainDependencies` | ✅ |
 | `static count = 0`: without `readonly` | ❌ |
 | `static readonly services = new Map()`: a `Map`, a `Set`, a `WeakMap`, a `WeakSet` | ❌ |
 | `static readonly names: string[] = []`: an array that is not `readonly` | ❌ |
 | `static readonly byId: Record<string, Handler> = {}`: an index signature | ❌ |
 | `static readonly options = { strict: true }`: an object literal | ❌ |
+| `static readonly shared = new ServiceDirectory()`: a class that is not a value, such as a singleton | ❌ |
+| `static readonly bus = new EventEmitter()`: a class of a package outside `domainDependencies` | ❌ |
+| `static readonly resolve = makeResolver()`: a function, which can close over any state | ❌ |
 
-Instance fields are not checked: an adapter of the shared kernel may hold its own state, each
-context builds its own instance.
+A static field holds a value: a primitive, a value object, an identifier, a class of a package
+listed in `domainDependencies`, or a `readonly` collection of them. Static methods are not fields:
+`static of(amount: number)` is fine.
+
+Instance fields are not checked: an adapter of the shared kernel may hold its own state. When each
+context builds its own instance, nobody else reaches it; when the composition root at the root of
+`src/` hands the same instance to two contexts, it is a channel, see [Limits](#limits).
 
 Module-level state, such as `let current` or `const services = new Map()` at the top of a file, is
 reported by [`tactical/no-loose-code`](../tactical/no-loose-code.md).
@@ -59,6 +69,12 @@ src/shared-kernel/driven/memory/registry/service-registry.ts
      collection in a static field: every context reaches the same one, a
      channel the context map does not show. The shared kernel shares a
      model, not state: integrate through an open host service.
+  3  error  strategic/no-shared-state: ServiceRegistry.shared holds a
+     ServiceRegistry in a static field, which can keep state every context
+     reaches, a channel the context map does not show. A static field of
+     the shared kernel holds a value: a primitive, a value object, an
+     identifier, a class of domainDependencies, or a readonly collection
+     of them.
 ```
 
 ## Fix it
@@ -74,17 +90,27 @@ anti-corruption layer. The composition root passes the service; no registry is n
 So that a constant cannot become a channel, make it `readonly` and give it an immutable type: a
 value object, a primitive, a `readonly` array, a `ReadonlyMap`.
 
+### Build services in the composition root
+
+So that every context gets the instance the composition root decides, a clock, a bus or a
+directory is built there and passed to the constructors that need it, not kept in a static
+`instance` field.
+
 ## Limits
 
 ::: warning What the rule cannot see
-- A `static readonly` field typed by a class whose instances can change, such as
-  `static readonly bus = new EventEmitter()`, passes: the rule reads the type of the field, not
-  what its class does. In review, a static field of the shared kernel holds a value, never a
-  service.
+- A value object or a class of `domainDependencies` is trusted to be immutable: a value object
+  that keeps a `Map` in a private field passes. In review, a value object changes by returning a
+  new one.
 - A `Readonly<Record<…>>` counts as a collection, because it has an index signature: use a
   `ReadonlyMap` for a constant dictionary.
+- An instance handed to two contexts by the composition root at the root of `src/` is not checked:
+  the database and the outbox are shared that way on purpose, and a registry passed the same way
+  goes unseen. In review, the root passes the same instance to several contexts only for the
+  infrastructure every context needs: the database, the outbox, the clock.
 - State held outside the shared kernel is not checked: a package with a global container, such as
-  the default container of a dependency injection library, or a write to `globalThis`.
+  the default container of a dependency injection library. A name of `globalThis` that no file
+  declares is reported by [`strategic/no-cross-context-import`](./no-cross-context-import.md).
 :::
 
 ## Turn it off

package/docs/rules/strategic/no-unmapped-context.md

@@ -47,15 +47,15 @@ Imports of the shared kernel are not consumptions: every context may import it.
 
 A context can consume another one without importing it: `app.module.ts` sees every module, and
 can hand a value of one context to another. Ledger declares a port, its adapter calls whatever it
-is given, and the root composition gives it a handler of e-money:
+is given, and the root composition gives it a handler of payments:
 
 ```ts [src/app.module.ts]
 this.ledger = new LedgerModule({
-	redemptions: () => this.emoney.commands.requestRedemption,
+	transfers: () => this.payments.commands.settleTransfer,
 });
 ```
 
-No file of ledger imports e-money, yet ledger now consumes it. In the composition roots and the
+No file of ledger imports payments, yet ledger now consumes it. In the composition roots and the
 files at the root of `src/`, every value given to a class, a function or a field of one context
 (an argument, a property of an object, the body of an arrow function, an assignment, a variable
 typed by that context) is read: when it comes from another context, by where it is declared or by
@@ -68,16 +68,18 @@ from it is.
 ```
 src/ledger/driven/payments/adapters/payment-status.adapter.ts
   2  error  strategic/no-unmapped-context: ledger consumes payments, which the
-     context map does not allow: reverse the dependency, or if ledger
-     really is downstream of payments, add payments to
-     contextMap.ledger.consumes.
+     context map does not allow: reverse the dependency with an
+     integration event that ledger publishes and payments subscribes to,
+     not with a callback; or if ledger really is downstream of payments,
+     add payments to contextMap.ledger.consumes.
 
 src/app.module.ts
  14  error  strategic/no-unmapped-context: ledger receives
-     this.emoney.commands.requestRedemption from emoney here, which the
-     context map does not allow: reverse the dependency, or if ledger
-     really is downstream of emoney, add emoney to
-     contextMap.ledger.consumes.
+     this.payments.commands.settleTransfer from payments here, which the
+     context map does not allow: reverse the dependency with an
+     integration event that ledger publishes and payments subscribes to,
+     not with a callback; or if ledger really is downstream of payments,
+     add payments to contextMap.ledger.consumes.
 ```
 
 A map that would allow it is refused before the check:
@@ -117,6 +119,10 @@ So that `Ledger` stays upstream, it does not ask `Payments` anything: it publish
 `TransferSettled` in its [published language](../../core/strategic/published-language.md), and
 `Payments` reacts to it.
 
+A callback is not a reversal. `Ledger` calling a function that `Payments` registered on its open
+host service still runs code of `Payments` when `Ledger` decides: the dependency is the same, only
+hidden from the map. An event carries data, and `Ledger` does not know who reacts.
+
 ## Limits
 
 ::: warning What the rule cannot see
@@ -125,7 +131,7 @@ So that `Ledger` stays upstream, it does not ask `Payments` anything: it publish
   another context is an import of its open host service.
 - A value whose type is erased on the way: a cast (`as unknown as Handler`, `any`) in the
   composition root, or a container token written as a string, such as NestJS
-  `{ provide: "redemptions", useFactory: … }`. In review, the composition root holds no cast, and
+  `{ provide: "transfers", useFactory: … }`. In review, the composition root holds no cast, and
   a token is the abstract class of a port.
 - With the rule off, the wiring is no longer checked against the map, even though
   [`strategic/no-cross-context-import`](./no-cross-context-import.md) still checks what crosses.

package/package.json

@@ -48,7 +48,7 @@
   },
   "sideEffects": false,
   "type": "module",
-  "version": "0.5.0",
+  "version": "0.6.0",
   "scripts": {
     "build": "tsdown && biome check --write package.json",
     "typecheck": "tsc -p tsconfig.json"