@alveolus/arch 0.3.0 → 0.4.0

package/dist/index.d.mts

@@ -231,16 +231,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,7 +254,7 @@ 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;
 }
@@ -357,7 +353,7 @@ export declare class Architecture {
   get files(): readonly SourceFile[];
   get domainDependencies(): AllowedPackages;
   get applicationDependencies(): AllowedPackages;
-  get contextMap(): ContextMap | undefined;
+  get contextMap(): ContextMap;
   locationOf(file: SourceFile): Location;
   locationOfTarget(target: FileTarget$1): Location;
   shapeIssueOf(location: Location): ShapeIssue | undefined;
@@ -587,6 +583,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 +595,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,7 +614,7 @@ 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;
   constructor(config: AlveolusConfig, projectDir: string);
@@ -649,5 +648,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/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"}

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-DcFgskuN.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/rules/index.md

@@ -152,8 +152,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

@@ -151,7 +151,9 @@ export default defineConfig({
 		zod: true,
 	},
 	boundedContexts: { ordering: "ordering" },
+	contextMap: { ordering: { consumes: [] } },
 	root: "src",
+	subdomains: { core: ["ordering"] },
 });
 ```
 

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

@@ -10,7 +10,7 @@ never depend on each other.
 <dl class="al-glance">
 	<dt>Rule</dt><dd><code>strategic/no-unmapped-context</code></dd>
 	<dt>Category</dt><dd><a href="/rules/#strategic">Strategic</a>: what crosses a bounded context</dd>
-	<dt>Reports</dt><dd>An import of another context that <code>contextMap</code> does not allow; without a map, an import that closes a cycle between contexts</dd>
+	<dt>Reports</dt><dd>An import of another context that <code>contextMap</code> does not allow</dd>
 	<dt>Applies to</dt><dd>Every file of every bounded context</dd>
 	<dt>Turn off</dt><dd><a href="#turn-it-off"><code>"strategic/no-unmapped-context": "off"</code></a></dd>
 </dl>
@@ -24,20 +24,22 @@ extracted or rewritten without the other. In a system that lives for years, that
 turns "change this module" into "rewrite the application".
 
 ::: tip The fix
-Write the context map, as DDD asks: which context is upstream of which. Declare it in
-`alveolus.config.ts`, and the code can no longer stray from it. A dependency that goes against
-the map is reversed: `Ledger` publishes an event, `Payments` reacts.
+Write the context map, as DDD asks: which context is upstream of which. `alveolus.config.ts`
+requires it, so the code can no longer stray from it. A dependency that goes against the map is
+reversed: `Ledger` publishes an event, `Payments` reacts. Adding a line to the map is the other
+way out, and it is a strategic decision: take it in a review, not in a fix.
 :::
 
 ## What it checks
 
 Every import from a file of one bounded context to a file of another, open host service or
-composition root alike:
+composition root alike: the importing context lists the imported one under `consumes` in
+`contextMap`.
 
-<div class="al-cards al-cards-2">
-<div class="al-card"><span class="al-card-title">With a context map</span>The importing context lists the imported one in <code>contextMap</code>. The map itself is checked when the configuration loads: an unknown context or a cycle is an error.</div>
-<div class="al-card"><span class="al-card-title">Without a context map</span>The imports observed form no cycle. An import that closes one is reported at both ends.</div>
-</div>
+The map itself is checked when the configuration loads, before any rule runs: a context left out
+of the map, a context the map names that `boundedContexts` does not declare, a context that
+consumes itself, or a cycle, is an error. Two contexts that depend on each other are therefore
+never allowed, whichever way the code is written.
 
 Imports of the shared kernel are not consumptions: every context may import it.
 
@@ -46,18 +48,17 @@ Imports of the shared kernel are not consumptions: every context may import it.
 ```
 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: add payments to contextMap.ledger, or
-     reverse the dependency.
+     context map does not allow: reverse the dependency, or if ledger
+     really is downstream of payments, add payments to
+     contextMap.ledger.consumes.
 ```
 
-Without a map:
+A map that would allow it is refused before the check:
 
 ```
-src/ledger/driven/payments/adapters/payment-status.adapter.ts
-  2  error  strategic/no-unmapped-context: ledger consumes payments, which
-     consumes ledger back: two contexts that depend on each other can
-     no longer change alone; declare a contextMap and reverse one
-     dependency.
+Invalid configuration in alveolus.config.ts:
+contextMap has a cycle: ledger → payments → ledger. Two contexts that depend
+on each other can no longer change alone: reverse one dependency.
 ```
 
 ## Fix it
@@ -65,21 +66,23 @@ src/ledger/driven/payments/adapters/payment-status.adapter.ts
 ### Declare the context map
 
 So that the direction of every dependency is a decision, not an accident, list for each context
-the ones it consumes:
+the ones it consumes. Each line reads as a sentence: `payments` consumes `ledger` and `customers`.
 
 ```ts [alveolus.config.ts]
 export default defineConfig({
 	boundedContexts: { customers: "customers", ledger: "ledger", payments: "payments" },
 	contextMap: {
-		customers: [],
-		ledger: ["customers"],
-		payments: ["ledger", "customers"],
+		customers: { consumes: [] },
+		ledger: { consumes: ["customers"] },
+		payments: { consumes: ["ledger", "customers"] },
 	},
 	root: "src",
+	subdomains: { core: ["ledger", "payments"], generic: ["customers"] },
 });
 ```
 
-A context absent from the map consumes nothing.
+Every context is in the map. `consumes: []` is a decision too: that context goes its separate
+way, and the day it needs another one, the import is reported and the map is updated on purpose.
 
 ### Reverse a dependency with an event
 

package/docs/rules/tactical/no-foreign-query-dependency.md

@@ -17,12 +17,20 @@ A query handler receives what reads: nothing that writes or changes state.
 ## Why
 
 `GetOrderSummaryHandler` receives the unit of work: a read can now change state, and the caller who
-asked a question gets a side effect too. A command handler or a domain service injected into it
-does the same, one step removed.
+asked a question gets a side effect too. A command handler injected into it does the same, one
+step removed.
+
+A domain service is different: it is pure, so injecting it changes nothing. What it changes is
+where the business rule runs. `GetSafeguardingReconciliationHandler` receives
+`SafeguardingReconciliation` and computes the reconciliation at each read: two readers at two
+moments see two different results, nothing records which one was reported, and the rule now runs
+on two paths, the command's and the query's, that drift apart. The read side delivers data shaped
+for the reader; the domain's behaviour runs on the write side, once, and leaves a fact.
 
 ::: tip The fix
 A query reads a view through a query repository, and writes nothing. A query that seems to need a
-write is a command, or a command followed by a query.
+write is a command, or a command followed by a query. A query that seems to need a domain service
+is reading a fact nobody recorded, or holding a calculation that belongs to a value object.
 :::
 
 ## What it checks
@@ -78,6 +86,91 @@ constructor(private readonly summaries: OrderSummaries) {
 
 </div>
 
+### Record the fact, then read it
+
+So that a result the reader relies on exists once, with its date, a domain service runs in a
+command handler that records its outcome, and the query reads the record. A reconciliation, a
+regulatory figure, a score: when the reader asks "what was it", the answer is a fact to keep, not
+a calculation to redo.
+
+<div class="al-compare">
+
+```ts [❌ Avoid: src/safeguarding/application/queries/get-reconciliation.query.ts]
+constructor(
+	private readonly balances: SafeguardingBalances,
+	private readonly reconciliation: SafeguardingReconciliation,
+) {
+	super();
+}
+
+async handle(query: GetReconciliation): Promise<Result<ReconciliationView, NotFound>> {
+	const balances = await this.balances.on(query.date);
+	return ok(this.reconciliation.reconcile(balances));
+}
+```
+
+```ts [✅ Prefer: src/safeguarding/application/commands/reconcile-safeguarding.command.ts]
+constructor(
+	private readonly accounts: SafeguardingAccounts,
+	private readonly reconciliation: SafeguardingReconciliation,
+	private readonly unitOfWork: UnitOfWork,
+) {
+	super();
+}
+
+async handle(command: ReconcileSafeguarding): Promise<Result<void, NotFound>> {
+	const account = await this.accounts.of(command.accountId);
+	account.reconcile(this.reconciliation.reconcile(account.balances()), command.at);
+	await this.unitOfWork.commit();
+	return ok();
+}
+```
+
+</div>
+
+The query handler then receives `Reconciliations`, a query repository, and returns the
+reconciliation of the date asked. The aggregate records the outcome, so the domain service keeps
+one caller.
+
+### Move a calculation into a value object
+
+So that a figure derived from the values of a view is computed where values are computed, the
+calculation becomes a static factory of a [value object](../../core/domain/value-objects.md),
+which a query may use: a projection, a conversion, a total. Nothing is recorded because nothing
+happened.
+
+<div class="al-compare">
+
+```ts [❌ Avoid: src/safeguarding/application/queries/get-own-funds-requirement.query.ts]
+constructor(
+	private readonly figures: SafeguardingFigures,
+	private readonly calculator: OwnFundsRequirementCalculator,
+) {
+	super();
+}
+
+async handle(query: GetOwnFundsRequirement): Promise<Result<OwnFundsRequirementView, NotFound>> {
+	const figures = await this.figures.of(query.firmId);
+	return ok({ amount: this.calculator.compute(figures) });
+}
+```
+
+```ts [✅ Prefer: src/safeguarding/application/queries/get-own-funds-requirement.query.ts]
+constructor(private readonly figures: SafeguardingFigures) {
+	super();
+}
+
+async handle(query: GetOwnFundsRequirement): Promise<Result<OwnFundsRequirementView, NotFound>> {
+	const figures = await this.figures.of(query.firmId);
+	return ok({ amount: OwnFundsRequirement.of(figures).amount });
+}
+```
+
+</div>
+
+Which of the two? If the reader asks for the figure as it was declared or decided, record it. If
+the reader asks what the figure would be from the values on the screen, calculate it.
+
 ## Limits
 
 ::: warning What the rule cannot see
@@ -101,6 +194,8 @@ new queries keep to reading while you split the old ones.
 - [Query handlers](../../core/application/query-handlers.md), what is checked
 - [Repositories](../../core/domain/repositories.md) and [Views](../../core/domain/views.md), what
   a query reads
+- [Domain services](../../core/domain/domain-services.md), called by the command handler, and
+  [value objects](../../core/domain/value-objects.md), the home of a calculation
 - [`tactical/no-foreign-command-dependency`](./no-foreign-command-dependency.md), the same list for
   command handlers
 - [Rules](../index.md), every rule by category

package/package.json

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