@alveolus/arch 0.4.0 → 0.6.0

package/dist/index.d.mts

@@ -69,11 +69,16 @@ interface MemberProps {
   readonly kind: MemberKind;
   readonly visibility: Visibility;
   readonly isStatic: boolean;
+  readonly isReadonly: boolean;
   readonly isParameterProperty: boolean;
   readonly isCallable: boolean;
   readonly valueTypes: readonly ClassType[];
   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;
@@ -81,11 +86,16 @@ declare class Member {
   readonly kind: MemberKind;
   readonly visibility: Visibility;
   readonly isStatic: boolean;
+  readonly isReadonly: boolean;
   readonly isParameterProperty: boolean;
   readonly isCallable: boolean;
   readonly valueTypes: readonly ClassType[];
   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;
@@ -119,8 +129,8 @@ declare class ClassDeclaration {
 }
 //#endregion
 //#region src/model/dependencies/dependency.d.ts
-type DependencyForm = "import" | "re-export" | "inline type" | "dynamic import" | "require" | "global";
-type TargetVisibility = "analysed" | "ignored" | "unresolved";
+type DependencyForm = "import" | "re-export" | "inline type" | "dynamic import" | "require" | "reference" | "augmentation" | "dynamic load" | "global";
+type TargetVisibility = "analysed" | "ignored" | "unresolved" | "dynamic";
 type DependencyTarget = {
   readonly kind: "file";
   readonly path: string;
@@ -140,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";
@@ -151,6 +170,28 @@ 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;
+  readonly declaredIn: string | undefined;
+  readonly types: readonly ClassType[];
+}
+declare class Wiring {
+  readonly line: number;
+  readonly receiver: string;
+  readonly links: readonly WiringLink[];
+  constructor(line: number, receiver: string, links: readonly WiringLink[]);
+}
+//#endregion
 //#region src/model/statements/disable-comment.d.ts
 declare class DisableComment {
   readonly line: number;
@@ -185,6 +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 {
@@ -194,6 +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);
@@ -261,7 +308,7 @@ interface Settings {
 //#endregion
 //#region src/architecture/paths/location.d.ts
 type Area = "context" | "shared-kernel" | "root" | "outside";
-type Unseen = "ignored" | "unresolved";
+type Unseen = "ignored" | "unresolved" | "dynamic";
 interface LocationProps {
   readonly area: Area;
   readonly context?: string;
@@ -316,6 +363,15 @@ declare class BuildingBlocks {
   foldersOf(layer: "domain" | "application"): readonly string[];
 }
 //#endregion
+//#region src/architecture/crossing.d.ts
+interface Crossing {
+  readonly line: number;
+  readonly from: string;
+  readonly to: string;
+  readonly expression: string;
+  readonly isOpenHostService: boolean;
+}
+//#endregion
 //#region src/architecture/layers.d.ts
 declare class Layers {
   isLayer(name: string): name is Layer;
@@ -349,12 +405,15 @@ export declare class Architecture {
   private readonly shape;
   private readonly layout;
   private readonly locations;
+  private readonly crossings;
   constructor(project: Project$1, settings: Settings);
   get files(): readonly SourceFile[];
   get domainDependencies(): AllowedPackages;
   get applicationDependencies(): AllowedPackages;
   get contextMap(): ContextMap;
   locationOf(file: SourceFile): Location;
+  locationOfPath(path: string): Location;
+  crossingsIn(file: SourceFile): Crossing[];
   locationOfTarget(target: FileTarget$1): Location;
   shapeIssueOf(location: Location): ShapeIssue | undefined;
   relativePath(path: string): string;
@@ -418,7 +477,7 @@ declare class NoLooseDisableRule extends Rule<"tooling/no-loose-disable", Messag
 }
 //#endregion
 //#region src/rules/registry.d.ts
-declare const ruleIds: readonly ["strategic/no-cross-context-import", "strategic/no-leaky-host-service", "strategic/no-unmapped-context", "strategic/no-fat-shared-kernel", "layers/no-impure-domain", "layers/no-outward-import", "layers/no-portless-adapter", "layers/no-driving-shortcut", "tactical/no-aggregate-reference", "tactical/no-public-field", "tactical/no-foreign-command-dependency", "tactical/no-foreign-query-dependency", "tactical/no-stateful-service", "tactical/no-thrown-failure", "tactical/no-misplaced-class", "tactical/no-loose-code", "tooling/no-loose-disable"];
+declare const ruleIds: readonly ["strategic/no-cross-context-import", "strategic/no-leaky-host-service", "strategic/no-unmapped-context", "strategic/no-fat-shared-kernel", "strategic/no-shared-state", "layers/no-impure-domain", "layers/no-outward-import", "layers/no-portless-adapter", "layers/no-driving-shortcut", "tactical/no-aggregate-reference", "tactical/no-public-field", "tactical/no-foreign-command-dependency", "tactical/no-foreign-query-dependency", "tactical/no-stateful-service", "tactical/no-thrown-failure", "tactical/no-misplaced-class", "tactical/no-loose-code", "tooling/no-loose-disable"];
 type RuleId = (typeof ruleIds)[number];
 export declare class RuleRegistry {
   readonly rules: readonly Rule<RuleId>[];
@@ -459,6 +518,7 @@ interface ImportScope {
   readonly projectDir: string;
   readonly rootDir: string;
   isIgnored(path: string): boolean;
+  readsWiring(path: string): boolean;
 }
 export declare abstract class Importer {
   abstract read(scope: ImportScope): Project$1;
@@ -469,9 +529,11 @@ export declare abstract class Importer {
 export declare class TsMorphImporter extends Importer {
   private readonly sources;
   private readonly classes;
+  private readonly types;
   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;
@@ -617,10 +679,12 @@ export declare class Config implements CheckSettings {
   readonly contextMap: ContextMap;
   private readonly ignored;
   private readonly rules;
+  private readonly layout;
   constructor(config: AlveolusConfig, projectDir: string);
   private classifiedContexts;
   private validContextMap;
   isIgnored(path: string): boolean;
+  readsWiring(path: string): boolean;
   severityOf(rule: RuleId): Severity | "off";
 }
 //#endregion

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/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/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,qBAAqB;WACrB,yBAAyB;WACzB,SAAS;;cAGN;WACI;WACA;WACA,MAAM;WACN,YAAY;WACZ;WACA;WACA;WACA,qBAAqB;WACrB,yBAAyB;WACzB,SAAS;EAEzB,YAAmB,OAAO;MAaf;MAIA;;;;UC5CK;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;;;;cCTb;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;;;;UCCe;WACP;WACA;WACA,uBAAuB;WACvB,kBAAkB;WAClB,qBAAqB;WACrB,iBAAiB;WACjB,kBAAkB;WAClB,mBAAmB;;cAGhB;WACI;WACA,uBAAuB;WACvB,kBAAkB;WAClB,qBAAqB;WACrB,iBAAiB;WACjB,kBAAkB;WAClB,mBAAmB;mBAClB;EAEjB,YAAmB,OAAO;EAW1B,SAAgB;EAIhB,aAAoB,eAAe;EAInC,WAAkB,eAAe;;;;cCzCrBA;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;;;;cChCL;EACZ,QAAe,eAAe,QAAQ;EAItC,eAAsB,OAAO,QAAQ,4BAA4B;;;;KCJtD;WACE;WAA8C;WAA0C;;WACxF;WAAgC;WAA0C;WAAyB;;WACnG;;;;KCSTC,eAAa,QAAQ;EAAoB;;qBAEjC;WASX,SAAyBC;mBACzB;WATe,MAAM;WACN,QAAQ;WACR,QAAQ;mBACP;mBACA;mBACA;EAEjB,YACC,SAAyBA,WACzB,UAA2B;MAMjB,kBAAkB;MAIlB,sBAAsB;MAItB,2BAA2B;MAI3B,cAAc;EAIzB,WAAkB,MAAM,aAAa;EAIrC,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;;;;KCxGG,cAAc,SAAS;UAElB,QAAQ;WACf,MAAM;WACN;WACA;WACA,WAAW;WACX,MAAM;;;;KCNX,aAAa,QAAQ;EAAoB;;cAEjC;EACZ,OAAc,QAAQ,YAAY,cAAc;EAIhD,SAAgB,UAAU;EAiB1B,MAAa,OAAO;;;;KCtBhB;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;;;;cCxBI;KAoBD,iBAAiB;qBAEhB;WACI,gBAAgB,KAAK;MAoB1B,gBAAgB;MAIhB,OAAO;;;;KChEP;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;;8BAGW;WACL,KAAK,OAAO,cAAcE;WAE1B,SAAS,qBAAqB,OAAO;;;;qBCQzC,wBAAwB;mBAMjB;mBALF;mBACA;mBACA;mBACA;EAEjB,YAAmB,SAA0BC;SAK/B,aAAa,2BAA2B;EAOtD,SAAgB,qBAAqB,OAAO;EAM5C,KAAY,OAAO,cAAcC;UAYzB;UAcA;UAUA;;;;UCtEQ,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;EAEjB,YAAmB,QAAQ,gBAAgB;UAgBnC;UAyBA;EA0BR,UAAiB;EAKjB,WAAkB,MAAM,SAAS;;;;qBChErB;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-DcFgskuN.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/guide/project-layout.md

@@ -313,7 +313,9 @@ may import it; it imports none of them.
 Each change to the shared kernel reaches every context. `Clock` and `IdGenerator` already come
 with `@alveolus/core`; only their adapters live here. An aggregate, a repository or a handler in
 the shared kernel is reported by
-[`strategic/no-fat-shared-kernel`](../rules/strategic/no-fat-shared-kernel.md).
+[`strategic/no-fat-shared-kernel`](../rules/strategic/no-fat-shared-kernel.md), and a static field
+that holds state, such as a registry of services, by
+[`strategic/no-shared-state`](../rules/strategic/no-shared-state.md).
 :::
 
 ## See also

package/docs/rules/index.md

@@ -51,9 +51,10 @@ its own business. The "Applies to" line of each rule page says which it is.
 
 | Rule | Reports |
 | --- | --- |
-| [`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 composition root that re-exports. |
+| [`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-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-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, 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
@@ -120,12 +121,15 @@ The rules that check imports read every way a file can depend on another one, no
 `import … from`:
 
 ```ts
+/// <reference path="../legacy/pool.ts" />
+/// <reference types="pg" />
 import { Pool } from "pg";
 export { Pool } from "pg";
 type Pool = import("pg").Pool;
 const pg = await import("pg");
 const pg = require("pg");
 import pg = require("pg");
+declare module "pg" { interface Pool { tenant: string } }
 ```
 
 A global declared by the project, in a `declare global` block, counts as an import of the file that
@@ -133,8 +137,17 @@ declares it.
 
 An import the analysis cannot see through counts as a file outside the project: one that does not
 resolve, such as a `.js` file without types, one whose path is computed at runtime, or one that is
-ignored, such as a test file. No layer imports it: only the composition root and the files at the
-root of `src/` may.
+ignored, such as a test file. No file imports it, not even a composition root or a file at the
+root of `src/`: a test file that re-exports another context would otherwise carry the import past
+every rule.
+
+Code loaded at runtime counts the same way, wherever it is: `node:module` (`createRequire`),
+`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/layers/no-outward-import.md

@@ -40,8 +40,11 @@ Within the same context, or towards the shared kernel:
 | `published-language/` | Its own `published-language/`. From `@alveolus/core`, only `PublishedLanguage`, `IntegrationEvent` and `JsonValue`; other packages, such as a schema library, are fine. |
 | `driven/` | `domain/`, `application/`, `published-language/`, `driven/`, any package. |
 | `driving/` | `domain/`, `application/`, `published-language/`, `driving/`, any package. |
-| the composition root | Anything in its context and in the shared kernel. |
-| files at the root of `src/` | Composition roots, and each other. |
+| the composition root | Anything in its context and in the shared kernel, any package. |
+| files at the root of `src/` | Composition roots, each other, any package. |
+
+No file imports a file the analysis does not see: ignored, unresolved, computed at runtime, or
+outside the declared contexts and the shared kernel.
 
 No layer imports a composition root. The domain has its own rule,
 [`layers/no-impure-domain`](./no-impure-domain.md); imports from another context are checked by
@@ -100,7 +103,8 @@ The rule also reports:
 | Case | Message |
 | --- | --- |
 | A layer imports a composition root | `Imports … : only the composition root wires the layers.` |
-| A file at the root imports inside a context | `Files at the root import composition roots only, not ….` |
+| A file at the root imports inside a context, or a file the analysis does not see | `Files at the root import composition roots only, not ….` |
+| A composition root imports a file the analysis does not see | `The composition root imports src/ordering/wiring.fixture.ts (ignored by the analysis): it wires its own context and the shared kernel only.` |
 | Two composition roots in a context | `ordering has 2 composition roots (ordering.module.ts, pricing.module.ts): keep one, and move the rest into the layers.` |
 | The published language imports another name from core | `The published language imports … from @alveolus/core: only published-language types are allowed.` |
 | A name not allowed from a restricted package | `The application imports Controller from @nestjs/common: applicationDependencies only allows Injectable.` |

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

@@ -10,7 +10,7 @@ an anti-corruption layer or its composition root.
 <dl class="al-glance">
 	<dt>Rule</dt><dd><code>strategic/no-cross-context-import</code></dd>
 	<dt>Category</dt><dd><a href="/rules/#strategic">Strategic</a>: what crosses a bounded context</dd>
-	<dt>Reports</dt><dd>An import from another bounded context that is not its open host service, used where it may be</dd>
+	<dt>Reports</dt><dd>An import from another bounded context that is not its open host service, used where it may be; a value of another context given in the wiring that is not its open host service; an import of a file the analysis does not see</dd>
 	<dt>Applies to</dt><dd>Every file of every bounded context, whatever its subdomain, and of the shared kernel</dd>
 	<dt>Turn off</dt><dd><a href="#turn-it-off"><code>"strategic/no-cross-context-import": "off"</code></a></dd>
 </dl>
@@ -41,8 +41,36 @@ When a file of one bounded context imports a file of another one:
 
 The shared kernel imports no bounded context at all. Every context may import the shared kernel.
 
+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`, 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 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
 
 ```
@@ -67,6 +95,32 @@ src/shared-kernel/domain/value-objects/money.value-object.ts
   bounded context, but imports
   src/catalog/domain/value-objects/currency.value-object.ts
   (catalog domain).
+
+src/ordering/domain/services/pricing.service.ts
+  1  error  strategic/no-cross-context-import: Imports
+  src/ordering/domain/value-objects/product-id.fixture.ts (ignored by
+  the analysis): the analysis cannot tell which bounded context it
+  reaches; move the file into a bounded context or the shared kernel.
+
+src/ordering/driven/memory/adapters/memory-prices.adapter.ts
+  1  error  strategic/no-cross-context-import: Loads code at runtime with
+  node:module: the analysis cannot tell which bounded context it
+  reaches; use a static import.
+
+src/app.module.ts
+ 14  error  strategic/no-cross-context-import: Gives
+  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
@@ -119,7 +173,15 @@ bounded context. Move what it needs into the shared kernel, or keep it in the co
 - The rule checks what an anti-corruption layer imports, not what it does with it: an adapter that
   returns the open host service's answer as is, untranslated, is accepted. In review, the ACL
   should build values of its own context.
-- A file that matches `ignore` in `alveolus.config.ts` is not analysed at all.
+- 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.
 :::
 
 ## Turn it off

package/docs/rules/strategic/no-fat-shared-kernel.md

@@ -77,5 +77,6 @@ rules: { "strategic/no-fat-shared-kernel": "off" },
 ## See also
 
 - [Project layout: shared kernel](../../guide/project-layout.md#shared-kernel)
+- [`strategic/no-shared-state`](./no-shared-state.md), no state in the shared kernel either
 - [`strategic/no-unmapped-context`](./no-unmapped-context.md), the other way contexts get tied
 - [Rules](../index.md), every rule by category

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.
 :::