@domainlang/language 0.11.0 → 0.13.0

package/out/sdk/ast-augmentation.js

@@ -46,15 +46,19 @@
  * - `fqn` - Computed fully qualified name
  * - `hasType(name)` - Check type matches
  *
- * **Properties added to Relationship:**
- * - `hasPattern(pattern)` - Check if pattern exists on either side
- * - `hasLeftPattern(pattern)` - Check left patterns
- * - `hasRightPattern(pattern)` - Check right patterns
+ * **Properties added to DirectionalRelationship:**
+ * - `isBidirectional` - Check if relationship is bidirectional (`<->`)
+ * - `leftContextName` - Resolved name of left context (handles `this`)
+ * - `rightContextName` - Resolved name of right context (handles `this`)
+ * - `hasPattern(patternType)` - Check if pattern exists on either side
+ * - `hasLeftPattern(patternType)` - Check left patterns
+ * - `hasRightPattern(patternType)` - Check right patterns
  * - `isUpstream(side)` - Check if side is upstream
  * - `isDownstream(side)` - Check if side is downstream
- * - `isBidirectional` - Check if relationship is bidirectional
- * - `leftContextName` - Resolved name of left context
- * - `rightContextName` - Resolved name of right context
+ *
+ * **Properties added to SymmetricRelationship:**
+ * - `leftContextName` - Resolved name of left context (handles `this`)
+ * - `rightContextName` - Resolved name of right context (handles `this`)
  *
  * @module sdk/ast-augmentation
  */

package/out/sdk/ast-augmentation.js.map

@@ -1 +1 @@
-{"version":3,"file":"ast-augmentation.js","sourceRoot":"","sources":["../../src/sdk/ast-augmentation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG"}
+{"version":3,"file":"ast-augmentation.js","sourceRoot":"","sources":["../../src/sdk/ast-augmentation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+DG"}

package/out/sdk/index.d.ts

@@ -106,9 +106,9 @@
 export { loadModelFromText, createModelLoader } from './loader.js';
 export type { ModelLoader } from './loader.js';
 export { fromModel, fromDocument, fromServices, augmentModel } from './query.js';
-export { Pattern, PatternFullName, PatternAliases, matchesPattern, isUpstreamPattern, isDownstreamPattern, isMutualPattern, UpstreamPatterns, DownstreamPatterns, MutualPatterns, } from './patterns.js';
+export { Pattern, PatternFullName, PatternAbbreviation, PatternAliases, matchesPattern, isUpstreamPattern, isDownstreamPattern, isMutualPattern, isUpstreamSidePattern, isDownstreamSidePattern, isBBoMSidePattern, getPatternAbbreviation, UpstreamPatterns, DownstreamPatterns, SymmetricPatterns, } from './patterns.js';
 export type { IntegrationPattern } from './patterns.js';
-export type { Query, QueryBuilder, QueryContext, LoadOptions, BcQueryBuilder, RelationshipView, } from './types.js';
+export type { Query, QueryBuilder, QueryContext, LoadOptions, BcQueryBuilder, RelationshipView, RelationshipSide, DirectionalRelationshipView, DirectionalKind, SymmetricRelationshipView, SymmetricKind, } from './types.js';
 export { serializeNode, serializeRelationship, resolveName, resolveMultiReference, normalizeEntityType, ENTITY_ALIASES, } from './serializers.js';
 export type { QueryEntityType, QueryEntityInput, QueryFilters } from './serializers.js';
 export { loadModel } from './loader-node.js';

package/out/sdk/index.js

@@ -109,7 +109,7 @@ export { fromModel, fromDocument, fromServices, augmentModel } from './query.js'
 // Note: loadModel() is NOT exported here - it requires Node.js filesystem
 // For CLI/Node.js usage: import { loadModel } from '@domainlang/language/sdk/loader-node';
 // Integration patterns for type-safe pattern matching (no magic strings)
-export { Pattern, PatternFullName, PatternAliases, matchesPattern, isUpstreamPattern, isDownstreamPattern, isMutualPattern, UpstreamPatterns, DownstreamPatterns, MutualPatterns, } from './patterns.js';
+export { Pattern, PatternFullName, PatternAbbreviation, PatternAliases, matchesPattern, isUpstreamPattern, isDownstreamPattern, isMutualPattern, isUpstreamSidePattern, isDownstreamSidePattern, isBBoMSidePattern, getPatternAbbreviation, UpstreamPatterns, DownstreamPatterns, SymmetricPatterns, } from './patterns.js';
 // Serializers for tool responses (browser-safe)
 export { serializeNode, serializeRelationship, resolveName, resolveMultiReference, normalizeEntityType, ENTITY_ALIASES, } from './serializers.js';
 // Node.js-specific exports (will fail in browser environments)

package/out/sdk/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwGG;AAEH,4BAA4B;AAC5B,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEnE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEjF,0EAA0E;AAC1E,2FAA2F;AAE3F,yEAAyE;AACzE,OAAO,EACH,OAAO,EACP,eAAe,EACf,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,cAAc,GACjB,MAAM,eAAe,CAAC;AAkBvB,gDAAgD;AAChD,OAAO,EACH,aAAa,EACb,qBAAqB,EACrB,WAAW,EACX,qBAAqB,EACrB,mBAAmB,EACnB,cAAc,GACjB,MAAM,kBAAkB,CAAC;AAG1B,+DAA+D;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwGG;AAEH,4BAA4B;AAC5B,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEnE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEjF,0EAA0E;AAC1E,2FAA2F;AAE3F,yEAAyE;AACzE,OAAO,EACH,OAAO,EACP,eAAe,EACf,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,eAAe,EACf,qBAAqB,EACrB,uBAAuB,EACvB,iBAAiB,EACjB,sBAAsB,EACtB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GACpB,MAAM,eAAe,CAAC;AAuBvB,gDAAgD;AAChD,OAAO,EACH,aAAa,EACb,qBAAqB,EACrB,WAAW,EACX,qBAAqB,EACrB,mBAAmB,EACnB,cAAc,GACjB,MAAM,kBAAkB,CAAC;AAG1B,+DAA+D;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC"}

package/out/sdk/loader-node.js

@@ -55,7 +55,7 @@ import { ensureImportGraphFromDocument } from '../utils/import-utils.js';
  */
 export async function loadModel(entryFile, options) {
     // Resolve absolute path
-    const path = await import('path');
+    const path = await import('node:path');
     const absolutePath = path.isAbsolute(entryFile)
         ? entryFile
         : path.resolve(options?.workspaceDir ?? process.cwd(), entryFile);
@@ -71,7 +71,7 @@ export async function loadModel(entryFile, options) {
         await workspaceManager.initialize(options.workspaceDir);
     }
     // Read file content and create document
-    const fs = await import('fs/promises');
+    const fs = await import('node:fs/promises');
     const fileContent = await fs.readFile(absolutePath, 'utf-8');
     const uri = URI.file(absolutePath);
     // Use proper Langium document creation

package/out/sdk/loader-node.js.map

@@ -1 +1 @@
-{"version":3,"file":"loader-node.js","sourceRoot":"","sources":["../../src/sdk/loader-node.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,SAAS,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAEpE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC3B,SAAiB,EACjB,OAAqB;IAErB,wBAAwB;IACxB,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;QAC3C,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,YAAY,IAAI,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC;IAEtE,2BAA2B;IAC3B,MAAM,WAAW,GAAG,OAAO,EAAE,QAAQ;QACjC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,EAAE;QACnE,CAAC,CAAC,wBAAwB,CAAC,cAAc,CAAC,CAAC;IAE/C,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC;IACxC,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAElC,6CAA6C;IAC7C,IAAI,OAAO,EAAE,YAAY,EAAE,CAAC;QACxB,MAAM,gBAAgB,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC;QAC1D,MAAM,gBAAgB,CAAC,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC5D,CAAC;IAED,wCAAwC;IACxC,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEnC,uCAAuC;IACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,sBAAsB,CAAC,UAAU,CAC/D,WAAW,EACX,GAAG,CACN,CAAC;IAEF,iCAAiC;IACjC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAEhF,mDAAmD;IACnD,MAAM,YAAY,GAAG,MAAM,6BAA6B,CACpD,QAAQ,EACR,MAAM,CAAC,SAAS,CAAC,gBAAgB,EACjC,QAAQ,CAAC,OAAO,CAAC,cAAc,CAClC,CAAC;IAEF,+CAA+C;IAC/C,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAEjF,gDAAgD;IAChD,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa,CAAC,SAAS,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,iCAAiC,YAAY,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,2BAA2B;IAC3B,IAAI,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjF,MAAM,IAAI,KAAK,CAAC,mBAAmB,SAAS,QAAQ,MAAM,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,oBAAoB,SAAS,QAAQ,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,iCAAiC,SAAS,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,8DAA8D;IAC9D,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC;QACvC,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpB,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;IACL,CAAC;IAED,kDAAkD;IAClD,MAAM,YAAY,GAAU,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAEtF,OAAO;QACH,KAAK;QACL,SAAS,EAAE,YAAY;QACvB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;KAC1B,CAAC;AACN,CAAC;AAED,iCAAiC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"loader-node.js","sourceRoot":"","sources":["../../src/sdk/loader-node.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,SAAS,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAEpE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC3B,SAAiB,EACjB,OAAqB;IAErB,wBAAwB;IACxB,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;QAC3C,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,YAAY,IAAI,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC;IAEtE,2BAA2B;IAC3B,MAAM,WAAW,GAAG,OAAO,EAAE,QAAQ;QACjC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,EAAE;QACnE,CAAC,CAAC,wBAAwB,CAAC,cAAc,CAAC,CAAC;IAE/C,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC;IACxC,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAElC,6CAA6C;IAC7C,IAAI,OAAO,EAAE,YAAY,EAAE,CAAC;QACxB,MAAM,gBAAgB,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC;QAC1D,MAAM,gBAAgB,CAAC,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC5D,CAAC;IAED,wCAAwC;IACxC,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEnC,uCAAuC;IACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,sBAAsB,CAAC,UAAU,CAC/D,WAAW,EACX,GAAG,CACN,CAAC;IAEF,iCAAiC;IACjC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAEhF,mDAAmD;IACnD,MAAM,YAAY,GAAG,MAAM,6BAA6B,CACpD,QAAQ,EACR,MAAM,CAAC,SAAS,CAAC,gBAAgB,EACjC,QAAQ,CAAC,OAAO,CAAC,cAAc,CAClC,CAAC;IAEF,+CAA+C;IAC/C,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAEjF,gDAAgD;IAChD,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa,CAAC,SAAS,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,iCAAiC,YAAY,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,2BAA2B;IAC3B,IAAI,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjF,MAAM,IAAI,KAAK,CAAC,mBAAmB,SAAS,QAAQ,MAAM,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,oBAAoB,SAAS,QAAQ,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,iCAAiC,SAAS,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,8DAA8D;IAC9D,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC;QACvC,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpB,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;IACL,CAAC;IAED,kDAAkD;IAClD,MAAM,YAAY,GAAU,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAEtF,OAAO;QACH,KAAK;QACL,SAAS,EAAE,YAAY;QACvB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;KAC1B,CAAC;AACN,CAAC;AAED,iCAAiC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC"}

package/out/sdk/patterns.d.ts

@@ -1,93 +1,82 @@
+import type { SidePattern, SymmetricPattern } from '../generated/ast.js';
 /**
- * Integration Patterns - Type-safe constants for DDD integration patterns.
- *
- * Use these constants instead of magic strings when checking relationship patterns.
- *
- * @example
- * ```typescript
- * import { Pattern } from '../sdk/patterns.js';
- *
- * // Instead of: hasPattern('SK') or hasPattern('SharedKernel')
- * // Use:
- * if (relationship.hasPattern(Pattern.SharedKernel)) {
- *     // ...
- * }
- * ```
- */
-/**
- * Integration pattern abbreviations as used in the grammar.
- * These are the canonical abbreviations recognized by DomainLang.
+ * Pattern constants for programmatic use.
+ * Values match the AST $type names.
  */
 export declare const Pattern: {
-    /** Open Host Service - exposes a clean API for consumers */
-    readonly OHS: "OHS";
-    /** Published Language - shared data format/protocol */
-    readonly PL: "PL";
-    /** Conformist - accepts upstream model without translation */
-    readonly CF: "CF";
-    /** Anti-Corruption Layer - translates upstream model */
-    readonly ACL: "ACL";
-    /** Shared Kernel - shared code/model ownership */
-    readonly SK: "SK";
-    /** Partnership - coordinated development */
-    readonly P: "P";
-    /** Customer/Supplier - negotiated contract */
-    readonly CustomerSupplier: "Customer/Supplier";
-    /** Separate Ways - no integration */
-    readonly SeparateWays: "Separate Ways";
-    /** Big Ball of Mud - legacy or unstructured */
-    readonly BigBallOfMud: "Big Ball of Mud";
-};
-/**
- * Full names for integration patterns.
- * Used when patterns are spelled out in documentation blocks.
- */
-export declare const PatternFullName: {
     readonly OHS: "OpenHostService";
     readonly PL: "PublishedLanguage";
     readonly CF: "Conformist";
     readonly ACL: "AntiCorruptionLayer";
+    readonly S: "Supplier";
+    readonly C: "Customer";
+    readonly BBoM: "BigBallOfMud";
     readonly SK: "SharedKernel";
     readonly P: "Partnership";
+    readonly SW: "SeparateWays";
 };
 /**
- * Mapping from abbreviations to full names and vice versa.
+ * Mapping from short abbreviation to full $type name.
  */
-export declare const PatternAliases: Record<string, readonly string[]>;
+export declare const PatternFullName: Record<string, string>;
 /**
- * Type representing any valid integration pattern (abbreviation or full name).
+ * Mapping from $type name to short abbreviation.
  */
-export type IntegrationPattern = typeof Pattern[keyof typeof Pattern] | typeof PatternFullName[keyof typeof PatternFullName];
+export declare const PatternAbbreviation: Record<string, string>;
 /**
- * Checks if a pattern string matches any of the expected aliases.
- * Handles both abbreviations and full names case-insensitively.
- *
- * @param actual - Pattern string from the AST
- * @param expected - Pattern to match (abbreviation or full name)
- * @returns true if patterns match
+ * All short+long forms that map to a given canonical $type name.
  */
-export declare function matchesPattern(actual: string, expected: string): boolean;
+export declare const PatternAliases: Record<string, readonly string[]>;
+/** Union of all pattern type names */
+export type IntegrationPattern = typeof Pattern[keyof typeof Pattern];
 /**
- * Patterns that are typically on the upstream (provider) side.
+ * Checks if a pattern name matches an expected pattern.
+ * Works with both $type names and short abbreviations.
  */
+export declare function matchesPattern(actual: string, expected: string): boolean;
+/** Side patterns that belong on the upstream side */
 export declare const UpstreamPatterns: readonly string[];
+/** Side patterns that belong on the downstream side */
+export declare const DownstreamPatterns: readonly string[];
+/** Symmetric patterns (mutual) */
+export declare const SymmetricPatterns: readonly string[];
 /**
- * Patterns that are typically on the downstream (consumer) side.
+ * Checks if a side pattern AST node is an upstream pattern.
  */
-export declare const DownstreamPatterns: readonly string[];
+export declare function isUpstreamSidePattern(pattern: SidePattern): boolean;
 /**
- * Patterns that require mutual/bidirectional relationships.
+ * Checks if a side pattern AST node is a downstream pattern.
  */
-export declare const MutualPatterns: readonly string[];
+export declare function isDownstreamSidePattern(pattern: SidePattern): boolean;
 /**
- * Checks if a pattern is typically an upstream pattern.
+ * Checks if a side pattern AST node is a Big Ball of Mud.
+ */
+export declare function isBBoMSidePattern(pattern: SidePattern): boolean;
+/**
+ * Checks if a pattern string name is an upstream pattern.
  */
 export declare function isUpstreamPattern(pattern: string): boolean;
 /**
- * Checks if a pattern is typically a downstream pattern.
+ * Checks if a pattern string name is a downstream pattern.
  */
 export declare function isDownstreamPattern(pattern: string): boolean;
 /**
- * Checks if a pattern requires bidirectional relationships.
+ * Checks if a pattern string name is a mutual/symmetric pattern.
  */
 export declare function isMutualPattern(pattern: string): boolean;
+/**
+ * Gets the short abbreviation for a pattern $type name.
+ */
+export declare function getPatternAbbreviation(typeName: string): string;
+/**
+ * Checks if a symmetric pattern is a Shared Kernel.
+ */
+export declare function isSharedKernelPattern(pattern: SymmetricPattern): boolean;
+/**
+ * Checks if a symmetric pattern is a Partnership.
+ */
+export declare function isPartnershipPattern(pattern: SymmetricPattern): boolean;
+/**
+ * Checks if a symmetric pattern is Separate Ways.
+ */
+export declare function isSeparateWaysPattern(pattern: SymmetricPattern): boolean;

package/out/sdk/patterns.js

@@ -1,85 +1,80 @@
+import { isOpenHostService, isPublishedLanguage, isConformist, isAntiCorruptionLayer, isSupplier, isCustomer, isBigBallOfMud, isSharedKernel, isPartnership, isSeparateWays, } from '../generated/ast.js';
 /**
- * Integration Patterns - Type-safe constants for DDD integration patterns.
- *
- * Use these constants instead of magic strings when checking relationship patterns.
- *
- * @example
- * ```typescript
- * import { Pattern } from '../sdk/patterns.js';
- *
- * // Instead of: hasPattern('SK') or hasPattern('SharedKernel')
- * // Use:
- * if (relationship.hasPattern(Pattern.SharedKernel)) {
- *     // ...
- * }
- * ```
- */
-/**
- * Integration pattern abbreviations as used in the grammar.
- * These are the canonical abbreviations recognized by DomainLang.
+ * Pattern constants for programmatic use.
+ * Values match the AST $type names.
  */
 export const Pattern = {
-    // Upstream patterns (provider side)
-    /** Open Host Service - exposes a clean API for consumers */
-    OHS: 'OHS',
-    /** Published Language - shared data format/protocol */
-    PL: 'PL',
-    // Downstream patterns (consumer side)
-    /** Conformist - accepts upstream model without translation */
-    CF: 'CF',
-    /** Anti-Corruption Layer - translates upstream model */
-    ACL: 'ACL',
-    // Mutual patterns (both sides)
-    /** Shared Kernel - shared code/model ownership */
-    SK: 'SK',
-    /** Partnership - coordinated development */
-    P: 'P',
-    // Relationship types
-    /** Customer/Supplier - negotiated contract */
-    CustomerSupplier: 'Customer/Supplier',
-    /** Separate Ways - no integration */
-    SeparateWays: 'Separate Ways',
-    /** Big Ball of Mud - legacy or unstructured */
-    BigBallOfMud: 'Big Ball of Mud',
+    // Side patterns (directional)
+    OHS: 'OpenHostService',
+    PL: 'PublishedLanguage',
+    CF: 'Conformist',
+    ACL: 'AntiCorruptionLayer',
+    S: 'Supplier',
+    C: 'Customer',
+    BBoM: 'BigBallOfMud',
+    // Symmetric patterns
+    SK: 'SharedKernel',
+    P: 'Partnership',
+    SW: 'SeparateWays',
 };
 /**
- * Full names for integration patterns.
- * Used when patterns are spelled out in documentation blocks.
+ * Mapping from short abbreviation to full $type name.
  */
 export const PatternFullName = {
     OHS: 'OpenHostService',
     PL: 'PublishedLanguage',
     CF: 'Conformist',
     ACL: 'AntiCorruptionLayer',
+    S: 'Supplier',
+    C: 'Customer',
+    BBoM: 'BigBallOfMud',
     SK: 'SharedKernel',
     P: 'Partnership',
+    SW: 'SeparateWays',
+};
+/**
+ * Mapping from $type name to short abbreviation.
+ */
+export const PatternAbbreviation = {
+    OpenHostService: 'OHS',
+    PublishedLanguage: 'PL',
+    Conformist: 'CF',
+    AntiCorruptionLayer: 'ACL',
+    Supplier: 'S',
+    Customer: 'C',
+    BigBallOfMud: 'BBoM',
+    SharedKernel: 'SK',
+    Partnership: 'P',
+    SeparateWays: 'SW',
 };
 /**
- * Mapping from abbreviations to full names and vice versa.
+ * All short+long forms that map to a given canonical $type name.
  */
 export const PatternAliases = {
-    // Abbreviation -> [abbreviation, fullName]
     OHS: ['OHS', 'OpenHostService'],
     PL: ['PL', 'PublishedLanguage'],
     CF: ['CF', 'Conformist'],
     ACL: ['ACL', 'AntiCorruptionLayer'],
+    S: ['S', 'Supplier'],
+    C: ['C', 'Customer'],
+    BBoM: ['BBoM', 'BigBallOfMud'],
     SK: ['SK', 'SharedKernel'],
     P: ['P', 'Partnership'],
-    // Full names map to same
+    SW: ['SW', 'SeparateWays'],
     OpenHostService: ['OHS', 'OpenHostService'],
     PublishedLanguage: ['PL', 'PublishedLanguage'],
     Conformist: ['CF', 'Conformist'],
     AntiCorruptionLayer: ['ACL', 'AntiCorruptionLayer'],
+    Supplier: ['S', 'Supplier'],
+    Customer: ['C', 'Customer'],
+    BigBallOfMud: ['BBoM', 'BigBallOfMud'],
     SharedKernel: ['SK', 'SharedKernel'],
     Partnership: ['P', 'Partnership'],
+    SeparateWays: ['SW', 'SeparateWays'],
 };
 /**
- * Checks if a pattern string matches any of the expected aliases.
- * Handles both abbreviations and full names case-insensitively.
- *
- * @param actual - Pattern string from the AST
- * @param expected - Pattern to match (abbreviation or full name)
- * @returns true if patterns match
+ * Checks if a pattern name matches an expected pattern.
+ * Works with both $type names and short abbreviations.
  */
 export function matchesPattern(actual, expected) {
     const normalizedActual = actual.trim();
@@ -87,37 +82,72 @@ export function matchesPattern(actual, expected) {
     if (aliases) {
         return aliases.some(alias => alias.toLowerCase() === normalizedActual.toLowerCase());
     }
-    // Fallback: direct comparison
     return normalizedActual.toLowerCase() === expected.toLowerCase();
 }
+/** Side patterns that belong on the upstream side */
+export const UpstreamPatterns = ['OpenHostService', 'PublishedLanguage', 'Supplier'];
+/** Side patterns that belong on the downstream side */
+export const DownstreamPatterns = ['Conformist', 'AntiCorruptionLayer', 'Customer'];
+/** Symmetric patterns (mutual) */
+export const SymmetricPatterns = ['SharedKernel', 'Partnership', 'SeparateWays'];
 /**
- * Patterns that are typically on the upstream (provider) side.
+ * Checks if a side pattern AST node is an upstream pattern.
  */
-export const UpstreamPatterns = ['OHS', 'OpenHostService', 'PL', 'PublishedLanguage'];
+export function isUpstreamSidePattern(pattern) {
+    return isOpenHostService(pattern) || isPublishedLanguage(pattern) || isSupplier(pattern);
+}
 /**
- * Patterns that are typically on the downstream (consumer) side.
+ * Checks if a side pattern AST node is a downstream pattern.
  */
-export const DownstreamPatterns = ['CF', 'Conformist', 'ACL', 'AntiCorruptionLayer'];
+export function isDownstreamSidePattern(pattern) {
+    return isConformist(pattern) || isAntiCorruptionLayer(pattern) || isCustomer(pattern);
+}
 /**
- * Patterns that require mutual/bidirectional relationships.
+ * Checks if a side pattern AST node is a Big Ball of Mud.
  */
-export const MutualPatterns = ['SK', 'SharedKernel', 'P', 'Partnership'];
+export function isBBoMSidePattern(pattern) {
+    return isBigBallOfMud(pattern);
+}
 /**
- * Checks if a pattern is typically an upstream pattern.
+ * Checks if a pattern string name is an upstream pattern.
  */
 export function isUpstreamPattern(pattern) {
     return UpstreamPatterns.some(p => matchesPattern(pattern, p));
 }
 /**
- * Checks if a pattern is typically a downstream pattern.
+ * Checks if a pattern string name is a downstream pattern.
  */
 export function isDownstreamPattern(pattern) {
     return DownstreamPatterns.some(p => matchesPattern(pattern, p));
 }
 /**
- * Checks if a pattern requires bidirectional relationships.
+ * Checks if a pattern string name is a mutual/symmetric pattern.
  */
 export function isMutualPattern(pattern) {
-    return MutualPatterns.some(p => matchesPattern(pattern, p));
+    return SymmetricPatterns.some(p => matchesPattern(pattern, p));
+}
+/**
+ * Gets the short abbreviation for a pattern $type name.
+ */
+export function getPatternAbbreviation(typeName) {
+    return PatternAbbreviation[typeName] ?? typeName;
+}
+/**
+ * Checks if a symmetric pattern is a Shared Kernel.
+ */
+export function isSharedKernelPattern(pattern) {
+    return isSharedKernel(pattern);
+}
+/**
+ * Checks if a symmetric pattern is a Partnership.
+ */
+export function isPartnershipPattern(pattern) {
+    return isPartnership(pattern);
+}
+/**
+ * Checks if a symmetric pattern is Separate Ways.
+ */
+export function isSeparateWaysPattern(pattern) {
+    return isSeparateWays(pattern);
 }
 //# sourceMappingURL=patterns.js.map

package/out/sdk/patterns.js.map

@@ -1 +1 @@
-{"version":3,"file":"patterns.js","sourceRoot":"","sources":["../../src/sdk/patterns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG;IACnB,oCAAoC;IACpC,4DAA4D;IAC5D,GAAG,EAAE,KAAK;IACV,uDAAuD;IACvD,EAAE,EAAE,IAAI;IAER,sCAAsC;IACtC,8DAA8D;IAC9D,EAAE,EAAE,IAAI;IACR,wDAAwD;IACxD,GAAG,EAAE,KAAK;IAEV,+BAA+B;IAC/B,kDAAkD;IAClD,EAAE,EAAE,IAAI;IACR,4CAA4C;IAC5C,CAAC,EAAE,GAAG;IAEN,qBAAqB;IACrB,8CAA8C;IAC9C,gBAAgB,EAAE,mBAAmB;IACrC,qCAAqC;IACrC,YAAY,EAAE,eAAe;IAC7B,+CAA+C;IAC/C,YAAY,EAAE,iBAAiB;CACzB,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,GAAG,EAAE,iBAAiB;IACtB,EAAE,EAAE,mBAAmB;IACvB,EAAE,EAAE,YAAY;IAChB,GAAG,EAAE,qBAAqB;IAC1B,EAAE,EAAE,cAAc;IAClB,CAAC,EAAE,aAAa;CACV,CAAC;AAEX;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAsC;IAC7D,2CAA2C;IAC3C,GAAG,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAC/B,EAAE,EAAE,CAAC,IAAI,EAAE,mBAAmB,CAAC;IAC/B,EAAE,EAAE,CAAC,IAAI,EAAE,YAAY,CAAC;IACxB,GAAG,EAAE,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACnC,EAAE,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC;IAC1B,CAAC,EAAE,CAAC,GAAG,EAAE,aAAa,CAAC;IAEvB,yBAAyB;IACzB,eAAe,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAC3C,iBAAiB,EAAE,CAAC,IAAI,EAAE,mBAAmB,CAAC;IAC9C,UAAU,EAAE,CAAC,IAAI,EAAE,YAAY,CAAC;IAChC,mBAAmB,EAAE,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACnD,YAAY,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC;IACpC,WAAW,EAAE,CAAC,GAAG,EAAE,aAAa,CAAC;CACpC,CAAC;AASF;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,QAAgB;IAC3D,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IAEzC,IAAI,OAAO,EAAE,CAAC;QACV,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CACxB,KAAK,CAAC,WAAW,EAAE,KAAK,gBAAgB,CAAC,WAAW,EAAE,CACzD,CAAC;IACN,CAAC;IAED,8BAA8B;IAC9B,OAAO,gBAAgB,CAAC,WAAW,EAAE,KAAK,QAAQ,CAAC,WAAW,EAAE,CAAC;AACrE,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAsB,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,mBAAmB,CAAC,CAAC;AAEzG;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAsB,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,qBAAqB,CAAC,CAAC;AAExG;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAsB,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;AAE5F;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC7C,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAe;IAC/C,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,OAAe;IAC3C,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC"}
+{"version":3,"file":"patterns.js","sourceRoot":"","sources":["../../src/sdk/patterns.ts"],"names":[],"mappings":"AACA,OAAO,EACH,iBAAiB,EACjB,mBAAmB,EACnB,YAAY,EACZ,qBAAqB,EACrB,UAAU,EACV,UAAU,EACV,cAAc,EACd,cAAc,EACd,aAAa,EACb,cAAc,GACjB,MAAM,qBAAqB,CAAC;AAE7B;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG;IACnB,8BAA8B;IAC9B,GAAG,EAAE,iBAAiB;IACtB,EAAE,EAAE,mBAAmB;IACvB,EAAE,EAAE,YAAY;IAChB,GAAG,EAAE,qBAAqB;IAC1B,CAAC,EAAE,UAAU;IACb,CAAC,EAAE,UAAU;IACb,IAAI,EAAE,cAAc;IACpB,qBAAqB;IACrB,EAAE,EAAE,cAAc;IAClB,CAAC,EAAE,aAAa;IAChB,EAAE,EAAE,cAAc;CACZ,CAAC;AAEX;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAA2B;IACnD,GAAG,EAAE,iBAAiB;IACtB,EAAE,EAAE,mBAAmB;IACvB,EAAE,EAAE,YAAY;IAChB,GAAG,EAAE,qBAAqB;IAC1B,CAAC,EAAE,UAAU;IACb,CAAC,EAAE,UAAU;IACb,IAAI,EAAE,cAAc;IACpB,EAAE,EAAE,cAAc;IAClB,CAAC,EAAE,aAAa;IAChB,EAAE,EAAE,cAAc;CACrB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAA2B;IACvD,eAAe,EAAE,KAAK;IACtB,iBAAiB,EAAE,IAAI;IACvB,UAAU,EAAE,IAAI;IAChB,mBAAmB,EAAE,KAAK;IAC1B,QAAQ,EAAE,GAAG;IACb,QAAQ,EAAE,GAAG;IACb,YAAY,EAAE,MAAM;IACpB,YAAY,EAAE,IAAI;IAClB,WAAW,EAAE,GAAG;IAChB,YAAY,EAAE,IAAI;CACrB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAsC;IAC7D,GAAG,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAC/B,EAAE,EAAE,CAAC,IAAI,EAAE,mBAAmB,CAAC;IAC/B,EAAE,EAAE,CAAC,IAAI,EAAE,YAAY,CAAC;IACxB,GAAG,EAAE,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACnC,CAAC,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC;IACpB,CAAC,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC;IACpB,IAAI,EAAE,CAAC,MAAM,EAAE,cAAc,CAAC;IAC9B,EAAE,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC;IAC1B,CAAC,EAAE,CAAC,GAAG,EAAE,aAAa,CAAC;IACvB,EAAE,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC;IAC1B,eAAe,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAC3C,iBAAiB,EAAE,CAAC,IAAI,EAAE,mBAAmB,CAAC;IAC9C,UAAU,EAAE,CAAC,IAAI,EAAE,YAAY,CAAC;IAChC,mBAAmB,EAAE,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACnD,QAAQ,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC;IAC3B,QAAQ,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC;IAC3B,YAAY,EAAE,CAAC,MAAM,EAAE,cAAc,CAAC;IACtC,YAAY,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC;IACpC,WAAW,EAAE,CAAC,GAAG,EAAE,aAAa,CAAC;IACjC,YAAY,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC;CACvC,CAAC;AAKF;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,QAAgB;IAC3D,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,OAAO,EAAE,CAAC;QACV,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CACxB,KAAK,CAAC,WAAW,EAAE,KAAK,gBAAgB,CAAC,WAAW,EAAE,CACzD,CAAC;IACN,CAAC;IACD,OAAO,gBAAgB,CAAC,WAAW,EAAE,KAAK,QAAQ,CAAC,WAAW,EAAE,CAAC;AACrE,CAAC;AAED,qDAAqD;AACrD,MAAM,CAAC,MAAM,gBAAgB,GAAsB,CAAC,iBAAiB,EAAE,mBAAmB,EAAE,UAAU,CAAC,CAAC;AACxG,uDAAuD;AACvD,MAAM,CAAC,MAAM,kBAAkB,GAAsB,CAAC,YAAY,EAAE,qBAAqB,EAAE,UAAU,CAAC,CAAC;AACvG,kCAAkC;AAClC,MAAM,CAAC,MAAM,iBAAiB,GAAsB,CAAC,cAAc,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;AAEpG;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAoB;IACtD,OAAO,iBAAiB,CAAC,OAAO,CAAC,IAAI,mBAAmB,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,CAAC;AAC7F,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAAoB;IACxD,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,qBAAqB,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,CAAC;AAC1F,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAoB;IAClD,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC7C,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAe;IAC/C,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,OAAe;IAC3C,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAgB;IACnD,OAAO,mBAAmB,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;AACrD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAyB;IAC3D,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAyB;IAC1D,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAyB;IAC3D,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC"}

package/out/sdk/query.js

@@ -3,7 +3,7 @@
  * Provides fluent, lazy evaluation of model queries.
  */
 import { AstUtils } from 'langium';
-import { isBoundedContext, isClassification, isContextMap, isDomain, isDomainMap, isModel, isNamespaceDeclaration, isTeam, isThisRef, } from '../generated/ast.js';
+import { isBoundedContext, isClassification, isContextMap, isDirectionalRelationship, isDomain, isDomainMap, isModel, isNamespaceDeclaration, isSymmetricRelationship, isTeam, isThisRef, isSupplier, isCustomer, } from '../generated/ast.js';
 import { QualifiedNameProvider } from '../lsp/domain-lang-naming.js';
 import { buildIndexes } from './indexes.js';
 import { metadataAsMap, effectiveClassification, effectiveTeam, } from './resolution.js';
@@ -256,14 +256,38 @@ class QueryImpl {
         if (!left || !right) {
             return undefined;
         }
+        if (isSymmetricRelationship(rel)) {
+            // Grammar invariant: either `arrow === '><'` (SeparateWays shorthand, pattern undefined)
+            // OR `pattern` is set (explicit [SK]/[P]/[SW] brackets). Never both; never neither
+            // (validation rejects a bare "A B" without pattern or arrow).
+            // The fallback to 'SeparateWays' correctly handles the `><` case.
+            return {
+                type: 'symmetric',
+                kind: (rel.pattern?.$type ?? 'SeparateWays'),
+                left: { context: left, patterns: [] },
+                right: { context: right, patterns: [] },
+                source,
+                astNode: rel,
+            };
+        }
+        const arrow = rel.arrow;
+        const leftSide = { context: left, patterns: rel.leftPatterns };
+        const rightSide = { context: right, patterns: rel.rightPatterns };
+        const hasSupplier = rel.leftPatterns.some(isSupplier) || rel.rightPatterns.some(isSupplier);
+        const hasCustomer = rel.leftPatterns.some(isCustomer) || rel.rightPatterns.some(isCustomer);
+        const kind = arrow === '<->'
+            ? 'Bidirectional'
+            : (hasSupplier || hasCustomer) ? 'CustomerSupplier' : 'UpstreamDownstream';
+        const upstreamSide = arrow === '->' ? leftSide : arrow === '<-' ? rightSide : undefined;
+        const downstreamSide = arrow === '->' ? rightSide : arrow === '<-' ? leftSide : undefined;
         return {
-            left,
-            right,
-            arrow: rel.arrow,
-            leftPatterns: rel.leftPatterns,
-            rightPatterns: rel.rightPatterns,
-            type: rel.type,
-            inferredType: this.inferRelationshipType(rel),
+            type: 'directional',
+            kind,
+            arrow,
+            left: leftSide,
+            right: rightSide,
+            upstream: upstreamSide,
+            downstream: downstreamSide,
             source,
             astNode: rel,
         };
@@ -278,35 +302,6 @@ class QueryImpl {
         }
         return ref.link?.ref;
     }
-    /**
-     * Infers relationship type from integration patterns.
-     * Simple heuristic based on common DDD pattern combinations.
-     */
-    inferRelationshipType(rel) {
-        const leftPatterns = rel.leftPatterns;
-        const rightPatterns = rel.rightPatterns;
-        // Partnership: Bidirectional with P or SK
-        if (rel.arrow === '<->' && (leftPatterns.includes('P') || leftPatterns.includes('SK'))) {
-            return 'Partnership';
-        }
-        // Shared Kernel: SK pattern
-        if (leftPatterns.includes('SK') || rightPatterns.includes('SK')) {
-            return 'SharedKernel';
-        }
-        // Customer-Supplier: OHS + CF
-        if (leftPatterns.includes('OHS') && rightPatterns.includes('CF')) {
-            return 'CustomerSupplier';
-        }
-        // Upstream-Downstream: directional arrow
-        if (rel.arrow === '->') {
-            return 'UpstreamDownstream';
-        }
-        // Separate Ways
-        if (rel.arrow === '><') {
-            return 'SeparateWays';
-        }
-        return undefined;
-    }
 }
 /**
  * Base implementation of QueryBuilder with lazy iteration.
@@ -601,38 +596,54 @@ export function augmentRelationship(rel, containingBc) {
         // Helper methods for pattern matching (type-safe, no magic strings)
         hasPattern: {
             value: (pattern) => {
-                return rel.leftPatterns.some(p => matchesPattern(p, pattern)) ||
-                    rel.rightPatterns.some(p => matchesPattern(p, pattern));
+                if (isDirectionalRelationship(rel)) {
+                    return rel.leftPatterns.some(p => matchesPattern(p.$type, pattern)) ||
+                        rel.rightPatterns.some(p => matchesPattern(p.$type, pattern));
+                }
+                if (isSymmetricRelationship(rel) && rel.pattern) {
+                    return matchesPattern(rel.pattern.$type, pattern);
+                }
+                return false;
             },
             enumerable: false,
             configurable: true,
         },
         hasLeftPattern: {
             value: (pattern) => {
-                return rel.leftPatterns.some(p => matchesPattern(p, pattern));
+                if (isDirectionalRelationship(rel)) {
+                    return rel.leftPatterns.some(p => matchesPattern(p.$type, pattern));
+                }
+                return false;
             },
             enumerable: false,
             configurable: true,
         },
         hasRightPattern: {
             value: (pattern) => {
-                return rel.rightPatterns.some(p => matchesPattern(p, pattern));
+                if (isDirectionalRelationship(rel)) {
+                    return rel.rightPatterns.some(p => matchesPattern(p.$type, pattern));
+                }
+                return false;
             },
             enumerable: false,
             configurable: true,
         },
         isUpstream: {
             value: (side) => {
+                if (!isDirectionalRelationship(rel))
+                    return false;
                 const patterns = side === 'left' ? rel.leftPatterns : rel.rightPatterns;
-                return patterns.some(p => isUpstreamPattern(p));
+                return patterns.some(p => isUpstreamPattern(p.$type));
             },
             enumerable: false,
             configurable: true,
         },
         isDownstream: {
             value: (side) => {
+                if (!isDirectionalRelationship(rel))
+                    return false;
                 const patterns = side === 'left' ? rel.leftPatterns : rel.rightPatterns;
-                return patterns.some(p => isDownstreamPattern(p));
+                return patterns.some(p => isDownstreamPattern(p.$type));
             },
             enumerable: false,
             configurable: true,