@alveolus/arch 0.3.0 → 0.5.0

package/dist/index.d.mts

@@ -69,11 +69,13 @@ 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;
 }
 declare class Member {
   readonly name: string;
@@ -81,11 +83,13 @@ 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;
   constructor(props: MemberProps);
   get isPublicInstance(): boolean;
   get isField(): boolean;
@@ -119,8 +123,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;
@@ -151,6 +155,19 @@ declare class GlobalUse {
   constructor(line: number, name: string, origin: GlobalOrigin, effect: GlobalEffect | undefined);
 }
 //#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 +202,7 @@ interface SourceFileProps {
   readonly statements: readonly TopLevelStatement[];
   readonly throws: readonly Throw[];
   readonly globals: readonly GlobalUse[];
+  readonly wirings: readonly Wiring[];
   readonly disables: readonly DisableComment[];
 }
 declare class SourceFile {
@@ -194,6 +212,7 @@ declare class SourceFile {
   readonly statements: readonly TopLevelStatement[];
   readonly throws: readonly Throw[];
   readonly globals: readonly GlobalUse[];
+  readonly wirings: readonly Wiring[];
   readonly disables: readonly DisableComment[];
   private readonly lines;
   constructor(props: SourceFileProps);
@@ -231,16 +250,12 @@ type Upstreams = Readonly<Record<string, readonly string[]>>;
 declare class ContextMap {
   private readonly upstreams;
   constructor(upstreams: Upstreams);
-  static ofEdges(edges: readonly {
-    readonly from: string;
-    readonly to: string;
-  }[]): ContextMap;
   get contexts(): string[];
+  get consumed(): string[];
+  selfConsumers(): string[];
   allows(from: string, to: string): boolean;
   cycle(): string[] | undefined;
-  cycleThrough(from: string, to: string): boolean;
   private cycleFrom;
-  private reaches;
 }
 //#endregion
 //#region src/architecture/settings.d.ts
@@ -258,14 +273,14 @@ interface Settings {
   readonly contextFolders: readonly ContextFolder[];
   readonly compositionRoot: string;
   readonly extraFolders: ExtraFolders;
-  readonly contextMap: ContextMap | undefined;
+  readonly contextMap: ContextMap;
   readonly domainDependencies: AllowedPackages;
   readonly applicationDependencies: AllowedPackages;
 }
 //#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;
@@ -320,6 +335,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;
@@ -353,12 +377,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 | undefined;
+  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;
@@ -422,7 +449,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>[];
@@ -463,6 +490,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;
@@ -473,6 +501,7 @@ 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;
@@ -587,6 +616,9 @@ export declare class Cli {
 //#endregion
 //#region src/config/alveolus-config.d.ts
 type RuleSetting = "error" | "warn" | "info" | "off";
+type ContextMapConfig = Readonly<Record<string, {
+  readonly consumes: readonly string[];
+}>>;
 interface LayoutConfig {
   readonly extraFolders?: Readonly<Partial<Record<"domain" | "application", readonly string[]>>>;
 }
@@ -596,7 +628,7 @@ interface AlveolusConfig {
   readonly boundedContexts: Readonly<Record<string, string>>;
   readonly sharedKernel?: string;
   readonly subdomains?: Subdomains;
-  readonly contextMap?: Upstreams;
+  readonly contextMap: ContextMapConfig;
   readonly compositionRoot?: string;
   readonly domainDependencies?: PackageDependencies;
   readonly applicationDependencies?: PackageDependencies;
@@ -615,13 +647,15 @@ export declare class Config implements CheckSettings {
   readonly applicationDependencies: AllowedPackages;
   readonly contextFolders: readonly ContextFolder[];
   readonly extraFolders: ExtraFolders;
-  readonly contextMap: ContextMap | undefined;
+  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
@@ -649,5 +683,5 @@ export declare class Init {
   private write;
 }
 //#endregion
-export type { AlveolusConfig, CheckSettings, Finding, FindingData, ImportScope, PackageDependencies, RuleId, RuleMeta, RuleSetting, Settings, Violation, Written };
+export type { AlveolusConfig, CheckSettings, ContextMapConfig, Finding, FindingData, ImportScope, PackageDependencies, RuleId, RuleMeta, RuleSetting, Settings, Violation, Written };
 //# sourceMappingURL=index.d.mts.map

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;SAEjC,QAAQ;aAA2B;aAAuB;QAAiB;MAW9E;EAUX,OAAc,cAAc;EAI5B;EAYA,aAAoB,cAAc;UAI1B;UAmBA;;;;KC9DG;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;UAEF;WACA,eAAe,SAAS,QAAQ;;UAGzB;WACP;WACA;WACA,iBAAiB,SAAS;WAC1B;WACA,aAAa;WACb,aAAa;WACb;WACA,qBAAqB;WACrB,0BAA0B;WAC1B;WACA,SAAS;WACT,QAAQ,SAAS,QAAQ,OAAO,QAAQ;;;;qBCXrC,kBAAkB;WACd;WACA;WACA;WACA;WACA,oBAAoB;WACpB,yBAAyB;WACzB,yBAAyB;WACzB,cAAc;WACd,YAAY;mBACX;mBACA;EAEjB,YAAmB,QAAQ,gBAAgB;UAgBnC;UAyBA;EAaR,UAAiB;EAKjB,WAAkB,MAAM,SAAS;;;;qBCnDrB;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-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"}

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-DsQHpTtV.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-B1Tzkjrn.mjs";
 //#region src/config/define-config.ts
 function defineConfig(config) {
 	return config;

package/docs/guide/existing-project.md

@@ -19,13 +19,16 @@ Nothing here requires a rewrite.
 Name the bounded contexts as the code has them today, even when they are folders named
 `modules/orders` or `features/billing`: `boundedContexts` takes any folder under `root`. Say under
 `subdomains` which ones are the [core domain](./project-layout.md#core-supporting-generic): only
-those are checked inside; a supporting or generic context is checked at its boundary only. Leave
-the context map for later. Put under `ignore` what has nothing to do with the architecture:
-scripts, generated code, migrations.
+those are checked inside; a supporting or generic context is checked at its boundary only. Under
+`contextMap`, start with `consumes: []` for every context: each import between two contexts is
+then a violation, the baseline of the next step keeps them, and the map fills in as each one is
+decided. Put under `ignore` what has nothing to do with the architecture: scripts, generated code,
+migrations.
 
 ```ts [alveolus.config.ts]
 export default defineConfig({
 	boundedContexts: { billing: "features/billing", orders: "modules/orders" },
+	contextMap: { billing: { consumes: [] }, orders: { consumes: [] } },
 	ignore: ["src/migrations/**", "src/generated/**"],
 	root: "src",
 	subdomains: { core: ["orders"], supporting: ["billing"] },

package/docs/guide/getting-started.md

@@ -106,8 +106,8 @@ Start from a use case: the [aggregate](../core/domain/aggregates.md) that keeps
 ## Configure the checks
 
 Create `alveolus.config.ts` at the root of the project. It says where the source code is, which
-folders are bounded contexts and which subdomain each one implements; everything else has a
-default.
+folders are bounded contexts, which subdomain each one implements and which contexts each one
+consumes; everything else has a default.
 
 ```sh
 npx alveolus init
@@ -121,6 +121,11 @@ import { defineConfig } from "@alveolus/arch";
 
 export default defineConfig({
 	boundedContexts: { catalog: "catalog", notifications: "notifications", ordering: "ordering" },
+	contextMap: {
+		catalog: { consumes: [] },
+		notifications: { consumes: ["ordering"] },
+		ordering: { consumes: ["catalog"] },
+	},
 	root: "src",
 	subdomains: { core: ["catalog", "ordering"], generic: ["notifications"] },
 });
@@ -130,6 +135,12 @@ A [core](./project-layout.md#core-supporting-generic) context is checked by ever
 supporting or generic one is checked only at its boundary: it may be written any way you like, as
 long as it reaches the other contexts through their open host services.
 
+The context map is the strategic design of the system, written down: each line reads as a
+sentence, `ordering` consumes `catalog`, and every context has one, `consumes: []` when it
+consumes nothing. An import that goes against the map is reported by
+[`strategic/no-unmapped-context`](../rules/strategic/no-unmapped-context.md); a cycle in the map
+is refused when the configuration loads.
+
 ### Options
 
 | Option | Default | What it does |
@@ -139,7 +150,7 @@ long as it reaches the other contexts through their open host services.
 | `boundedContexts` | required | Each bounded context and its folder, relative to `root`. `"modules/ordering"` works. |
 | `sharedKernel` | `"shared-kernel"` | The folder shared by every bounded context, relative to `root`. |
 | `subdomains` | required | The [subdomain](./project-layout.md#core-supporting-generic) each bounded context implements: `{ core: ["ordering"], supporting: ["billing"], generic: ["notifications"] }`. Every context is listed once. |
-| `contextMap` | none | For each bounded context, the ones it consumes: `{ payments: ["ledger"] }`. Checked for cycles; without it, only cycles are reported. |
+| `contextMap` | required | For each bounded context, the ones it consumes: `{ ledger: { consumes: [] }, payments: { consumes: ["ledger"] } }`. Every context is listed, and the map has no cycle. |
 | `compositionRoot` | `"*.module.ts"` | The file, at the root of a bounded context, that wires it. |
 | `domainDependencies` | `{}` | npm packages the domain may import, besides `@alveolus/core`. |
 | `applicationDependencies` | `{}` | npm packages the application may import, besides `@alveolus/core` and `domainDependencies`. |

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,8 +51,9 @@ 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-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-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. |
 
@@ -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,13 @@ 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`, `Function` and `new Function`.
+To read a JSON file, import it: `import pkg from "../package.json" with { type: "json" }`.
 
 ```
 src/ordering/domain/services/pricing.service.ts
@@ -152,8 +161,10 @@ name:
 ```ts [alveolus.config.ts]
 export default defineConfig({
 	boundedContexts: { ordering: "ordering" },
+	contextMap: { ordering: { consumes: [] } },
 	root: "src",
 	rules: { "tactical/no-misplaced-class": "off", "tactical/no-public-field": "warn" },
+	subdomains: { core: ["ordering"] },
 });
 ```
 

package/docs/rules/layers/no-impure-domain.md

@@ -153,11 +153,13 @@ to allow everything they export, or with the names you allow:
 ```ts [alveolus.config.ts]
 export default defineConfig({
 	boundedContexts: { ordering: "ordering" },
+	contextMap: { ordering: { consumes: [] } },
 	domainDependencies: {
 		"date-fns": ["addDays", "isBefore"],
 		"decimal.js": true,
 	},
 	root: "src",
+	subdomains: { core: ["ordering"] },
 });
 ```
 

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.` |
@@ -151,7 +155,9 @@ export default defineConfig({
 		zod: true,
 	},
 	boundedContexts: { ordering: "ordering" },
+	contextMap: { ordering: { consumes: [] } },
 	root: "src",
+	subdomains: { core: ["ordering"] },
 });
 ```
 

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,21 @@ 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`, `new Function` or `node:vm`, is reported the same way.
+
 Every form of import counts, see [Every import counts](../index.md#every-import-counts).
 
+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
+`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).
+
 ## What it reports
 
 ```
@@ -67,6 +80,23 @@ 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.emoney.commands.requestRedemption, from emoney, to ledger: only
+  an OpenHostService of another bounded context may cross, in an import
+  or in the wiring.
 ```
 
 ## Fix it
@@ -119,7 +149,10 @@ 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.
+- 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-shared-state.md

@@ -0,0 +1,100 @@
+---
+description: "Architecture rule: the shared kernel shares a model, not state; a static field that holds state would let two contexts talk where the context map does not show it."
+---
+
+# no-shared-state
+
+The shared kernel shares a model, never state. A static field that the code can change is reached
+by every context at once: a channel between them that no import and no context map shows.
+
+<dl class="al-glance">
+	<dt>Rule</dt><dd><code>strategic/no-shared-state</code></dd>
+	<dt>Category</dt><dd><a href="/rules/#strategic">Strategic</a>: what crosses a bounded context</dd>
+	<dt>Reports</dt><dd>A static field of the shared kernel without <code>readonly</code>, or holding a collection</dd>
+	<dt>Applies to</dt><dd>Every class of the shared kernel</dd>
+	<dt>Turn off</dt><dd><a href="#turn-it-off"><code>"strategic/no-shared-state": "off"</code></a></dd>
+</dl>
+
+## 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.
+
+::: tip The fix
+Contexts talk through an [open host service](../../core/strategic/open-host-services.md), consumed
+in an [anti-corruption layer](../../core/strategic/anti-corruption-layers.md), and the
+[context map](./no-unmapped-context.md) says who consumes whom. The shared kernel holds what both
+contexts mean the same way: value objects, identifiers, ports. Constants are fine; a place to put
+things is not.
+:::
+
+## What it checks
+
+Every static field of a class in the shared kernel:
+
+| Static field | Allowed |
+| --- | --- |
+| `static readonly ZERO = new Money({ amount: 0 })` | ✅ |
+| `static readonly PRECISION = 2` | ✅ |
+| `static readonly CURRENCIES: readonly string[] = ["EUR"]`, a `ReadonlyMap`, a `ReadonlySet` | ✅ |
+| `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 | ❌ |
+
+Instance fields are not checked: an adapter of the shared kernel may hold its own state, each
+context builds its own instance.
+
+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).
+
+## What it reports
+
+```
+src/shared-kernel/driven/memory/registry/service-registry.ts
+  2  error  strategic/no-shared-state: ServiceRegistry.services holds a
+     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.
+```
+
+## Fix it
+
+### Integrate through an open host service
+
+So that the dependency is decided and visible, the upstream context exposes an open host service,
+the downstream context adds it to `contextMap.<downstream>.consumes` and calls it from an
+anti-corruption layer. The composition root passes the service; no registry is needed.
+
+### Keep a constant constant
+
+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`.
+
+## 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 `Readonly<Record<…>>` counts as a collection, because it has an index signature: use a
+  `ReadonlyMap` for a constant dictionary.
+- 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`.
+:::
+
+## Turn it off
+
+```ts [alveolus.config.ts]
+rules: { "strategic/no-shared-state": "off" },
+```
+
+## See also
+
+- [`strategic/no-fat-shared-kernel`](./no-fat-shared-kernel.md), what the shared kernel holds
+- [`strategic/no-unmapped-context`](./no-unmapped-context.md), the relations between contexts
+- [Rules](../index.md), every rule by category