@intentset/architecture 0.1.0 → 0.3.0

package/dist/regions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"regions.d.ts","sourceRoot":"","sources":["../src/regions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACxF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAItD,MAAM,MAAM,UAAU,GAClB,OAAO,GACP,aAAa,GACb,QAAQ,GACR,gBAAgB,GAChB,UAAU,GACV,SAAS,GACT,SAAS,GACT,UAAU,CAAC;AAEf,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,UAAU,CAAC;IACjB,wDAAwD;IACxD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAElD;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,yBAAyB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,SAAS,CAAC;IAChB;;;OAGG;IACH,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,qEAAqE;IACrE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC;IACvB,8CAA8C;IAC9C,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,KAAK;IACpB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,uCAAuC;IACvC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,+CAA+C;IAC/C,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,sCAAsC;IACtC,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAClC,yFAAyF;IACzF,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC,CAAC;IAC7D,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,mEAAmE;IACnE,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IACvC;;;OAGG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC/B,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9B,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;CACrC;AAED,2FAA2F;AAC3F,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,EAAE,CAOrD;AAED,wBAAgB,UAAU,CACxB,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,MAAM,EAAE,kBAAkB,GACzB,KAAK,CAwHP;AAED,8HAA8H;AAC9H,wBAAgB,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAMpE;AAED,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAEzD"}
+{"version":3,"file":"regions.d.ts","sourceRoot":"","sources":["../src/regions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACxF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAItD,MAAM,MAAM,UAAU,GAClB,OAAO,GACP,aAAa,GACb,QAAQ,GACR,gBAAgB,GAChB,UAAU,GACV,SAAS,GACT,SAAS,GACT,UAAU,CAAC;AAEf,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,UAAU,CAAC;IACjB,wDAAwD;IACxD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAElD;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,yBAAyB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,SAAS,CAAC;IAChB;;;OAGG;IACH,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,qEAAqE;IACrE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC;IACvB,8CAA8C;IAC9C,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,KAAK;IACpB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,uCAAuC;IACvC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,+CAA+C;IAC/C,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,sCAAsC;IACtC,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAClC,yFAAyF;IACzF,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC,CAAC;IAC7D,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,mEAAmE;IACnE,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IACvC;;;OAGG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC/B,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9B,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;CACrC;AAED,2FAA2F;AAC3F,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,EAAE,CAOrD;AAED,wBAAgB,UAAU,CACxB,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,MAAM,EAAE,kBAAkB,GACzB,KAAK,CA0HP;AAED,8HAA8H;AAC9H,wBAAgB,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAMpE;AAED,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAEzD"}

package/dist/regions.js

@@ -67,7 +67,9 @@ export function buildModel(graph, registries, tree, config) {
         index,
         files: validatePattern(resource.path) === null ? production.filter((file) => matchPattern(resource.path, file)) : [],
     }));
-    const underBackend = (path) => matchAny(config.backendRoots, path);
+    // An area's backend is backend for AMP001, AMP002 and AMP004 as the unified one is (profile §9).
+    const backendPatterns = [...config.backendRoots, ...config.areas.flatMap((area) => area.backend)];
+    const underBackend = (path) => matchAny(backendPatterns, path);
     const regions = new Map();
     const regionOf = (path) => {
         const cached = regions.get(path);

package/dist/regions.js.map

@@ -1 +1 @@
-{"version":3,"file":"regions.js","sourceRoot":"","sources":["../src/regions.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAkBtG,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,OAAO,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;AACrF,CAAC;AAsDD,2FAA2F;AAC3F,MAAM,UAAU,YAAY,CAAC,KAAY;IACvC,OAAO,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;SACjC,MAAM,CACL,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAC5G;SACA,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,KAAY,EACZ,UAAsB,EACtB,IAAiC,EACjC,MAA0B;IAE1B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACzD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAW,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE/C,MAAM,MAAM,GAAgB,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC/D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAkB,CAAC;QAC9C,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAC/B,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI;gBAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;QACH,yEAAyE;QACzE,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,SAAS,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAC9C,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;YACvB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CACjG,CAAC;QACF,OAAO;YACL,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE;YACpB,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,QAAQ;YACR,IAAI;YACJ,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YACvE,SAAS,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YAC1E,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YACtE,QAAQ,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YACxE,UAAU;YACV,aAAa;SACd,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAEpE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA8C,CAAC;IAC1E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACvC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;gBACxB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3C,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;gBACxC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAChC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,0GAA0G;IAC1G,iHAAiH;IACjH,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAU,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;IAC1F,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QACzC,MAAM,CAAC,IAAI,CACT,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAC7G,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAmB,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/E,QAAQ;QACR,KAAK;QACL,KAAK,EACH,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;KAChH,CAAC,CAAC,CAAC;IAEJ,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,MAAc,CAAC;QACnB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;aAC7F,IAAI,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;aACzE,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC/D,IAAI,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;aAC/E,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YACrE,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC5G,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;;YACvF,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE;QACzC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,KAAK,GACT,SAAS,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,GAAG,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3G,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAiB,EAAE;QAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC1G,OAAO,KAAK,CAAC,EAAE,CAAC;QACpB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,OAAO;QACL,MAAM;QACN,KAAK;QACL,UAAU;QACV,KAAK;QACL,MAAM;QACN,SAAS;QACT,WAAW;QACX,SAAS;QACT,QAAQ;QACR,SAAS;QACT,SAAS;QACT,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;QAC/C,MAAM;QACN,YAAY;KACb,CAAC;AACJ,CAAC;AAED,8HAA8H;AAC9H,MAAM,UAAU,MAAM,CAAC,KAAgB,EAAE,IAAY;IACnD,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;IAClG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,OAAO,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,kBAAkB,SAAS,EAAE,CAAC;AAClF,CAAC"}
+{"version":3,"file":"regions.js","sourceRoot":"","sources":["../src/regions.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAkBtG,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,OAAO,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;AACrF,CAAC;AAsDD,2FAA2F;AAC3F,MAAM,UAAU,YAAY,CAAC,KAAY;IACvC,OAAO,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;SACjC,MAAM,CACL,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAC5G;SACA,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,KAAY,EACZ,UAAsB,EACtB,IAAiC,EACjC,MAA0B;IAE1B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACzD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAW,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE/C,MAAM,MAAM,GAAgB,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC/D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAkB,CAAC;QAC9C,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAC/B,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI;gBAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;QACH,yEAAyE;QACzE,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,SAAS,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAC9C,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;YACvB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CACjG,CAAC;QACF,OAAO;YACL,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE;YACpB,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,QAAQ;YACR,IAAI;YACJ,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YACvE,SAAS,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YAC1E,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YACtE,QAAQ,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YACxE,UAAU;YACV,aAAa;SACd,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAEpE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA8C,CAAC;IAC1E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACvC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;gBACxB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3C,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;gBACxC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAChC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,0GAA0G;IAC1G,iHAAiH;IACjH,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAU,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;IAC1F,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QACzC,MAAM,CAAC,IAAI,CACT,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAC7G,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAmB,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/E,QAAQ;QACR,KAAK;QACL,KAAK,EACH,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;KAChH,CAAC,CAAC,CAAC;IAEJ,iGAAiG;IACjG,MAAM,eAAe,GAAG,CAAC,GAAG,MAAM,CAAC,YAAY,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAClG,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,MAAc,CAAC;QACnB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;aAC7F,IAAI,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;aACzE,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC/D,IAAI,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;aAC/E,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YACrE,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC5G,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;;YACvF,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE;QACzC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,KAAK,GACT,SAAS,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,GAAG,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3G,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAiB,EAAE;QAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC1G,OAAO,KAAK,CAAC,EAAE,CAAC;QACpB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,OAAO;QACL,MAAM;QACN,KAAK;QACL,UAAU;QACV,KAAK;QACL,MAAM;QACN,SAAS;QACT,WAAW;QACX,SAAS;QACT,QAAQ;QACR,SAAS;QACT,SAAS;QACT,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;QAC/C,MAAM;QACN,YAAY;KACb,CAAC;AACJ,CAAC;AAED,8HAA8H;AAC9H,MAAM,UAAU,MAAM,CAAC,KAAgB,EAAE,IAAY;IACnD,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;IAClG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,OAAO,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,kBAAkB,SAAS,EAAE,CAAC;AAClF,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@intentset/architecture",
-  "version": "0.1.0",
+  "version": "0.3.0",
   "description": "Traceable VSA checks: path claims, import graph, layer matrix, resources, exceptions, baseline.",
   "license": "MIT",
   "type": "module",
@@ -28,7 +28,7 @@
     }
   },
   "dependencies": {
-    "@intentset/core": "^0.1.0"
+    "@intentset/core": "^0.3.0"
   },
   "peerDependencies": {
     "typescript": "^7.0.2"

package/src/areas.ts

@@ -0,0 +1,233 @@
+/**
+ * Areas (profile §9): a backend split into several Amplify backends, each its
+ * own CloudFormation deployment and source API, behind one AppSync Merged API.
+ * Nothing here runs unless `.intentset/architecture.yaml` declares areas.
+ *
+ *   AMP007  a slice names a declared area as its domain, and its claims stay in that area
+ *   AMP008  no area backend imports another; the shared backend package imports no area
+ *   AMP009  each model, enum and operation is declared in one area's schema (a custom type: a warning)
+ *   AMP010  no relationship or reference names another area's type
+ *   AMP011  only the schema bridge calls generateClient (its schema imports are checked with AMP001)
+ *
+ * AMP012 (cross-area access and an acyclic deploy order) and AMP013 (one
+ * authorizer on the Merged API) are review assertions: neither is visible in
+ * source, so they are listed for review and never reported as passing.
+ */
+import type { AreaConfig } from "./config.ts";
+import { extractSchema, findCalls, type SchemaKind } from "./extract.ts";
+import { type Finding, finding, listSome } from "./finding.ts";
+import type { ImportEdge } from "./imports.ts";
+import { isCode } from "./paths.ts";
+import { compareStrings, matchAny } from "./patterns.ts";
+import type { Model } from "./regions.ts";
+
+export const AREA_REVIEW_REQUIRED = [
+  "AMP012 backend code reaches another area's data through published resource names and the AWS SDK, and deploy-time dependencies between areas are acyclic: deployment wiring, not source",
+  "AMP013 one authorizer on the Merged API decides every request to every area and denies what it does not list: an authorizer's policy, not source",
+];
+
+export interface AreaCheck {
+  findings: Finding[];
+  /** What could not be read: never a pass (invariant 6). */
+  unresolved: string[];
+}
+
+/** The area whose backend holds a path, or null. */
+export function backendAreaOf(areas: readonly AreaConfig[], path: string): AreaConfig | null {
+  return areas.find((area) => matchAny(area.backend, path)) ?? null;
+}
+
+/** The area whose backend or frontend holds a path, or null. */
+export function areaOf(areas: readonly AreaConfig[], path: string): AreaConfig | null {
+  return backendAreaOf(areas, path) ?? areas.find((area) => matchAny(area.frontend, path)) ?? null;
+}
+
+/** True when the path is one of the declared areas' schema files. */
+export function isAreaSchema(areas: readonly AreaConfig[], path: string): boolean {
+  return areas.some((area) => area.schema === path);
+}
+
+const OPERATION_KINDS = new Set<SchemaKind | null>(["model", "enum", "query", "mutation", "subscription", null]);
+
+export function checkAreas(model: Model, edges: readonly ImportEdge[]): AreaCheck {
+  const { areas, sharedBackend, schemaBridge } = model.config;
+  const findings: Finding[] = [];
+  const unresolved: string[] = [];
+  if (areas.length === 0) return { findings, unresolved };
+  const names = areas.map((area) => area.name).join(", ");
+
+  // AMP007: every slice in a declared area, and its claims inside it.
+  for (const slice of model.slices) {
+    const area = areas.find((candidate) => candidate.name === slice.meta.domain);
+    if (area === undefined) {
+      findings.push(
+        finding({
+          code: "AMP007",
+          artifact: slice.id,
+          path: slice.path,
+          field: "/intentset/slice/domain",
+          message: `${slice.id} names the domain "${slice.meta.domain}", which is not a declared area; the areas are ${names}.`,
+          remediation:
+            "Set domain to the area whose backend serves the slice, or declare the area in .intentset/architecture.yaml (profile §9, AMP007).",
+        }),
+      );
+      continue;
+    }
+    slice.meta.claims.forEach((claim, i) => {
+      const foreign = slice.claimFiles[i].filter((file) => {
+        const other = areaOf(areas, file);
+        return other !== null && other.name !== area.name;
+      });
+      if (foreign.length === 0) return;
+      const others = [...new Set(foreign.map((file) => areaOf(areas, file)?.name as string))].sort(compareStrings);
+      findings.push(
+        finding({
+          code: "AMP007",
+          artifact: slice.id,
+          path: slice.path,
+          field: `/intentset/slice/claims/${i}/path`,
+          message: `The ${claim.kind} claim ${claim.path} of ${slice.id}, a slice of area ${area.name}, reaches into area ${others.join(" and ")}: ${listSome(foreign)}.`,
+          remediation:
+            "Narrow the claim to the slice's own area, or move the slice to the area that holds those files (profile §9, AMP007).",
+          paths: foreign,
+        }),
+      );
+    });
+  }
+
+  // AMP008: area backends deploy apart, so neither imports the other; shared backend code imports no area.
+  for (const edge of edges) {
+    if (edge.to === null || !model.inScope(edge.from)) continue;
+    const to = backendAreaOf(areas, edge.to);
+    if (to === null) continue;
+    const from = backendAreaOf(areas, edge.from);
+    const location = { line: edge.line };
+    if (from !== null && from.name !== to.name) {
+      findings.push(
+        finding({
+          code: "AMP008",
+          artifact: null,
+          path: edge.from,
+          location,
+          message: `${edge.from}, in the ${from.name} backend, imports ${edge.to} from the ${to.name} backend, and area backends deploy separately.`,
+          remediation:
+            "Move what both need into the shared backend package, and reach the other area's data through its published resource names (profile §9, AMP008, AMP012).",
+          edges: [{ from: edge.from, to: edge.to }],
+        }),
+      );
+    } else if (from === null && matchAny(sharedBackend, edge.from)) {
+      findings.push(
+        finding({
+          code: "AMP008",
+          artifact: null,
+          path: edge.from,
+          location,
+          message: `${edge.from}, in the shared backend package, imports ${edge.to} from the ${to.name} backend, and the shared package must stay domain-neutral.`,
+          remediation:
+            "Pass what the shared code needs in as a parameter, or move the code into the area that owns it (profile §9, AMP008).",
+          edges: [{ from: edge.from, to: edge.to }],
+        }),
+      );
+    }
+  }
+
+  // AMP009 and AMP010: one owner per name across the areas' schemas, and no reference across them.
+  const declared = new Map<string, { area: string; kind: SchemaKind | null; schema: string; line: number }[]>();
+  const read = new Map<string, ReturnType<typeof extractSchema>>();
+  for (const area of areas) {
+    const text = model.files.get(area.schema);
+    if (text === undefined) {
+      findings.push(
+        finding({
+          code: "AMP009",
+          artifact: null,
+          path: area.schema,
+          message: `The schema of area ${area.name}, ${area.schema}, is not a file in the repository, so its declarations were not checked.`,
+          remediation: "Correct the area's schema path in .intentset/architecture.yaml (profile §9).",
+        }),
+      );
+      continue;
+    }
+    const extraction = extractSchema(area.schema, text);
+    read.set(area.name, extraction);
+    if (!extraction.found) {
+      unresolved.push(
+        `${area.schema}: no <builder>.schema({ ... }) call, so area ${area.name}'s declarations were not read`,
+      );
+    }
+    for (const problem of extraction.problems) unresolved.push(`${area.schema}:${problem.line}: ${problem.message}`);
+    for (const declaration of extraction.declarations) {
+      const list = declared.get(declaration.name) ?? [];
+      list.push({ area: area.name, kind: declaration.kind, schema: area.schema, line: declaration.line });
+      declared.set(declaration.name, list);
+    }
+  }
+  for (const name of [...declared.keys()].sort(compareStrings)) {
+    const owners = declared.get(name) ?? [];
+    const inAreas = [...new Set(owners.map((owner) => owner.area))].sort(compareStrings);
+    if (inAreas.length < 2) continue;
+    const later = owners.find((owner) => owner.area === inAreas[1]) ?? owners[1];
+    const operation = owners.some((owner) => OPERATION_KINDS.has(owner.kind));
+    findings.push(
+      finding({
+        code: "AMP009",
+        ...(operation ? {} : { severity: "warning" as const }),
+        artifact: null,
+        path: later.schema,
+        location: { line: later.line },
+        message: operation
+          ? `${name} is declared in the schemas of areas ${inAreas.join(" and ")}; the Merged API joins every area into one namespace and refuses a field two sources resolve.`
+          : `The custom type ${name} is declared in the schemas of areas ${inAreas.join(" and ")}, which share one type namespace in the Merged API.`,
+        remediation: operation
+          ? `Keep ${name} in the one area whose functions read and write it, and link to it from the others by ID (profile §9, AMP009).`
+          : `Prefix the type with its area's name, or name it after the operation that returns it (profile §9, AMP009).`,
+        paths: [...new Set(owners.map((owner) => owner.schema))].sort(compareStrings),
+      }),
+    );
+  }
+  for (const area of areas) {
+    const extraction = read.get(area.name);
+    if (extraction === undefined) continue;
+    const own = new Set(extraction.declarations.map((declaration) => declaration.name));
+    for (const reference of extraction.references) {
+      if (own.has(reference.target)) continue;
+      const elsewhere = (declared.get(reference.target) ?? []).map((owner) => owner.area);
+      if (elsewhere.length === 0) continue;
+      findings.push(
+        finding({
+          code: "AMP010",
+          artifact: null,
+          path: area.schema,
+          location: { line: reference.line },
+          message: `${area.schema} ${reference.via}("${reference.target}") names a type that area ${elsewhere.sort(compareStrings)[0]} declares; relationships and references do not cross areas.`,
+          remediation:
+            "Store the other area's ID as a plain field and resolve it in a function of this area (profile §9, AMP010).",
+        }),
+      );
+    }
+  }
+
+  // AMP011: one client, on the Merged API, made in one place.
+  for (const [path, text] of model.files) {
+    if (path === schemaBridge || !isCode(path) || model.isTest(path) || !model.inScope(path)) continue;
+    if (model.underBackend(path) || matchAny(sharedBackend, path)) continue;
+    if (!text.includes("generateClient")) continue;
+    const lines = findCalls(path, text, "generateClient");
+    if (lines.length === 0) continue;
+    findings.push(
+      finding({
+        code: "AMP011",
+        artifact: null,
+        path,
+        location: { line: lines[0] },
+        message:
+          schemaBridge === null
+            ? `${path} calls generateClient, and this repository declares no schema bridge to make the one client on the Merged API.`
+            : `${path} calls generateClient; only the schema bridge ${schemaBridge} makes the client, once, on the Merged API.`,
+        remediation:
+          "Declare schemaBridge in .intentset/architecture.yaml and import the client from it everywhere else (profile §9, AMP011).",
+      }),
+    );
+  }
+  return { findings, unresolved };
+}

package/src/boundaries.ts

@@ -38,6 +38,7 @@
  * so a narrow scope cannot hide its consumers and they do not fail it
  * (VSA §9). They count toward no edge total and no slice dependency.
  */
+import { isAreaSchema } from "./areas.ts";
 import { type Finding, finding, listSome } from "./finding.ts";
 import type { ImportEdge } from "./imports.ts";
 import { inSeam, isPure, knownLayer, layerAllows, layerOf } from "./layers.ts";
@@ -281,9 +282,27 @@ export function checkBoundaries(model: Model, edges: readonly ImportEdge[], reso
     if (!model.inScope(to) && target === undefined) continue;
     const subject = { edges: [{ from, to }, ...(source && target ? [{ from: source.id, to: target.id }] : [])] };
 
-    // 1. AMP001
-    if (model.underBackend(to) && !model.underBackend(from)) {
+    // 1. AMP001, and AMP011 for an area repository's schema bridge (profile §9). The shared backend
+    // package is backend code: what it may import is AMP008's question.
+    if (model.underBackend(to) && !model.underBackend(from) && !matchAny(config.sharedBackend, from)) {
       const seam = source !== undefined && inSeam(source, from);
+      if (edge.typeOnly && isAreaSchema(config.areas, to)) {
+        if (from !== config.schemaBridge) {
+          findings.push(
+            finding({
+              code: "AMP011",
+              artifact,
+              path: from,
+              location,
+              message: `${from} ${how(edge)}, the schema of an area, and only the schema bridge${config.schemaBridge === null ? ", which this repository has not declared," : ` ${config.schemaBridge}`} may.`,
+              remediation:
+                "Import the client and its types from the schema bridge, which joins every area's schema into one type (profile §9, AMP011).",
+              ...subject,
+            }),
+          );
+        }
+        continue;
+      }
       if (!(seam && matchAny(config.responseParserModules, to))) {
         findings.push(
           finding({

package/src/check.ts

@@ -11,7 +11,16 @@
  * migration mode. What could not be checked is listed in `unresolved` and,
  * for imports, reported as a TS004 warning: never a pass (invariant 6).
  */
-import { type Diagnostic, type Graph, type Level, type Registries, sortDiagnostics } from "@intentset/core";
+import {
+  type Diagnostic,
+  type Graph,
+  type Level,
+  type OwnershipEntry,
+  type OwnershipReportSection,
+  type Registries,
+  sortDiagnostics,
+} from "@intentset/core";
+import { AREA_REVIEW_REQUIRED, checkAreas } from "./areas.ts";
 import { applyBaseline, type BaselineEntry, type Mode } from "./baseline.ts";
 import { checkBoundaries, checkUnclassified } from "./boundaries.ts";
 import { checkClaims } from "./claims.ts";
@@ -76,6 +85,14 @@ export interface ArchitectureResult {
   summary: ArchitectureSummary;
   /** The resolved import graph, for reports and impact views. */
   edges: ImportEdge[];
+  /**
+   * Where every file falls, sorted by path: each production file's region and
+   * owner, every test file with the slice its claims match, and nothing for a
+   * file in the external region (root configuration, scripts, documents that
+   * nothing claims). Out-of-scope files are attributed too: scope decides what
+   * is reported, not who owns what.
+   */
+  ownership: OwnershipEntry[];
 }
 
 /** VSA §2: the rules that are review assertions, snapshot diffs or contract diffs rather than structure. */
@@ -149,6 +166,9 @@ export function checkArchitecture(
   const boundaries = checkBoundaries(model, imports.edges, resolver);
   findings.push(...boundaries.findings);
   findings.push(...checkUnclassified(model));
+  const areaCheck = checkAreas(model, imports.edges);
+  findings.push(...areaCheck.findings);
+  unresolved.push(...areaCheck.unresolved);
   const dependencies = checkDependencies(model, graph, boundaries.sliceEdges);
   findings.push(...dependencies.findings);
 
@@ -191,7 +211,35 @@ export function checkArchitecture(
     baselined: baseline.baselined,
     baselineStale: baseline.stale.length,
     unresolved: [...new Set(unresolved)].sort(compareStrings),
-    reviewRequired: [...REVIEW_REQUIRED],
+    reviewRequired: [...REVIEW_REQUIRED, ...(config.areas.length > 0 ? AREA_REVIEW_REQUIRED : [])],
+  };
+  const ownership: OwnershipEntry[] = [];
+  for (const path of model.files.keys()) {
+    if (model.isTest(path)) {
+      ownership.push({ path, region: "test", owner: model.testOwner(path) });
+      continue;
+    }
+    const region = model.regionOf(path);
+    if (region.kind === "external") continue;
+    ownership.push({ path, region: region.kind, owner: region.owner ?? null });
+  }
+  ownership.sort((a, b) => compareStrings(a.path, b.path));
+  return { diagnostics, summary, edges: imports.edges, ownership };
+}
+
+/**
+ * `reports.ownership` for the export (spec/export.md §4.4): the check's file
+ * attribution, stamped with the snapshot it was read at, so a consumer can
+ * turn a file from a stack frame into a slice, its behaviors and its owner.
+ */
+export function ownershipReport(
+  result: ArchitectureResult,
+  snapshot: { commit: string | null; graphHash: string },
+): OwnershipReportSection {
+  return {
+    commit: snapshot.commit,
+    graphHash: snapshot.graphHash,
+    files: result.ownership.map((entry) => ({ ...entry })),
+    withheld: 0,
   };
-  return { diagnostics, summary, edges: imports.edges };
 }

package/src/claims.ts

@@ -1,7 +1,8 @@
 /**
  * Path and resource ownership (VSA §3, §7; VSA009; profile AMP004).
  *
- * - A nonempty claim that matches no file is VSA009.
+ * - A nonempty claim that matches no file is VSA009: a warning while the
+ *   slice is draft (planned, not yet owned), an error once it is not.
  * - Two slices resolving one file is VSA009, once per pair of claims, naming
  *   both slices, both claims and the files.
  * - A file claimed by a slice and recorded as a registry resource has two
@@ -46,13 +47,17 @@ export function checkClaims(model: Model, graph: Graph, registriesPath: string):
         return;
       }
       if (slice.claimFiles[i].length === 0) {
+        const planned = slice.artifact.meta.status === "draft";
         findings.push(
           finding({
             code: "VSA009",
+            ...(planned ? { severity: "warning" as const } : {}),
             artifact: slice.id,
             path: slice.path,
             field,
-            message: `The ${claim.kind} claim ${claim.path} of ${slice.id} matches no file in the repository.`,
+            message: planned
+              ? `The ${claim.kind} claim ${claim.path} of draft slice ${slice.id} matches no file yet; it is planned, and an error once the slice leaves draft.`
+              : `The ${claim.kind} claim ${claim.path} of ${slice.id} matches no file in the repository.`,
             remediation:
               "Correct the path, add the files it promises, or remove the claim; an empty claim is not ownership (VSA §3).",
           }),

package/src/config.ts

@@ -11,6 +11,21 @@ import { compareStrings, validatePattern } from "./patterns.ts";
 
 export const ARCHITECTURE_CONFIG_PATH = ".intentset/architecture.yaml";
 
+/** One area (profile §9): an Amplify backend of its own and the frontend slices it serves. */
+export interface AreaConfig {
+  /** Lowercase name; a slice names its area in `domain`. */
+  name: string;
+  /** Patterns for the area's backend: its own CloudFormation deployment and source API. */
+  backend: string[];
+  /** The area's schema file, `data/resource.ts`: the one place its models and operations are declared (AMP009). */
+  schema: string;
+  /** Patterns for the area's frontend slices, such as src/features/<area>/**. May be empty. */
+  frontend: string[];
+}
+
+/** AppSync joins at most this many source APIs into one Merged API. */
+export const MAX_AREAS = 10;
+
 export interface ArchitectureConfig {
   /** Declared scope (VSA §9, Core §11): files outside it are counted, never reported one by one. */
   scope: string[];
@@ -40,6 +55,12 @@ export interface ArchitectureConfig {
   layerMatrix: Record<string, string[]>;
   /** Export conditions tried first when resolving a workspace package's entry, before types, import and default. */
   conditions: string[];
+  /** Areas (profile §9). Empty for a repository with one backend, which none of AMP007 to AMP013 concern. */
+  areas: AreaConfig[];
+  /** Domain-neutral backend code every area may import, which imports no area (AMP008). */
+  sharedBackend: string[];
+  /** The one frontend file that may import area schemas, type-only, and call generateClient (AMP011). */
+  schemaBridge: string | null;
 }
 
 export const DEFAULT_ARCHITECTURE_CONFIG: ArchitectureConfig = {
@@ -63,6 +84,9 @@ export const DEFAULT_ARCHITECTURE_CONFIG: ArchitectureConfig = {
     external: ["external", "model"],
   },
   conditions: [],
+  areas: [],
+  sharedBackend: [],
+  schemaBridge: null,
 };
 
 const LIST_KEYS = [
@@ -78,6 +102,7 @@ const LIST_KEYS = [
   "tests",
   "backendSdks",
   "conditions",
+  "sharedBackend",
 ] as const;
 
 /** Keys whose entries are path patterns and must pass validatePattern. */
@@ -93,9 +118,10 @@ const PATTERN_KEYS = new Set<string>([
   "ignore",
   "tests",
   "screensGlob",
+  "sharedBackend",
 ]);
 
-const KNOWN_KEYS = [...LIST_KEYS, "screensGlob", "layerMatrix"].sort(compareStrings);
+const KNOWN_KEYS = [...LIST_KEYS, "screensGlob", "layerMatrix", "areas", "schemaBridge"].sort(compareStrings);
 
 /** The defaults with a partial configuration laid over them; a key given replaces the default whole. */
 export function resolveConfig(...layers: (Partial<ArchitectureConfig> | undefined)[]): ArchitectureConfig {
@@ -166,6 +192,25 @@ export function readArchitectureConfig(
       } else config.screensGlob = value as string;
       continue;
     }
+    if (key === "schemaBridge") {
+      const why = typeof value === "string" ? literalPath(value) : "is not a string";
+      if (why !== null) {
+        report(
+          field,
+          at(field),
+          `schemaBridge ${why}.`,
+          "Name the one file, such as src/infrastructure/amplify/client.ts.",
+        );
+      } else config.schemaBridge = value as string;
+      continue;
+    }
+    if (key === "areas") {
+      const read = readAreas(value);
+      if (typeof read === "string") {
+        report(field, at(field), `areas ${read}.`, AREAS_REMEDIATION);
+      } else config.areas = read;
+      continue;
+    }
     if (key === "layerMatrix") {
       const matrix = readMatrix(value);
       if (matrix === null) {
@@ -210,3 +255,49 @@ function readMatrix(value: unknown): Record<string, string[]> | null {
   }
   return matrix;
 }
+
+const AREAS_REMEDIATION =
+  "Write each area as a mapping of name, backend (a list of patterns), schema (one file) and frontend (a list of patterns), as profile §9 shows.";
+const AREA_NAME = /^[a-z][a-z0-9-]*$/;
+
+/** `areas` as a list of AreaConfig, or why it is not one. */
+function readAreas(value: unknown): AreaConfig[] | string {
+  if (!Array.isArray(value)) return "must be a list of areas";
+  if (value.length > MAX_AREAS) {
+    return `names ${value.length} areas, and an AppSync Merged API joins at most ${MAX_AREAS} source APIs`;
+  }
+  const areas: AreaConfig[] = [];
+  for (const [i, entry] of value.entries()) {
+    if (typeof entry !== "object" || entry === null || Array.isArray(entry)) return `entry ${i} is not a mapping`;
+    const record = entry as Record<string, unknown>;
+    const unknown = Object.keys(record).filter((key) => !["name", "backend", "schema", "frontend"].includes(key));
+    if (unknown.length > 0) return `entry ${i} has the unknown key \`${unknown[0]}\``;
+    const { name, backend, schema, frontend = [] } = record;
+    if (typeof name !== "string" || !AREA_NAME.test(name)) return `entry ${i} needs a lowercase name such as platform`;
+    if (areas.some((area) => area.name === name)) return `name the area ${name} twice`;
+    const patterns = (list: unknown, what: string, required: boolean): string[] | string => {
+      if (!Array.isArray(list) || !list.every((item) => typeof item === "string" && item !== "")) {
+        return `entry ${name} needs ${what} as a list of patterns`;
+      }
+      if (required && list.length === 0) return `entry ${name} needs at least one ${what} pattern`;
+      const bad = (list as string[]).find((pattern) => validatePattern(pattern) !== null);
+      return bad === undefined
+        ? [...(list as string[])]
+        : `entry ${name}: the ${what} pattern ${bad} ${validatePattern(bad)}`;
+    };
+    const backendList = patterns(backend, "backend", true);
+    if (typeof backendList === "string") return backendList;
+    const frontendList = patterns(frontend, "frontend", false);
+    if (typeof frontendList === "string") return frontendList;
+    const why = typeof schema === "string" ? literalPath(schema) : "is missing";
+    if (why !== null) return `entry ${name}: schema ${why}`;
+    areas.push({ name, backend: backendList, schema: schema as string, frontend: frontendList });
+  }
+  return areas;
+}
+
+/** Null for one repository-relative file path with no wildcard, or why it is not one. */
+function literalPath(value: string): string | null {
+  if (value.includes("*")) return "must name one file, not a pattern";
+  return validatePattern(value);
+}