@blockml/bom 0.2.0 → 0.4.0

package/blocks/org/blockml/bml/bom/Library.bml

@@ -36,7 +36,7 @@
     Membership is defined exclusively by this blocks list.
   </documentation>
 
-  <version>0.2.0</version>
+  <version>0.4.0</version>
 
   <language>
     <English />
@@ -83,6 +83,7 @@
       <composition><bomtype:TypeDescriptor /></composition>
       <composition><bomtype:NamedTypeReference /></composition>
       <composition><bomtype:UnionTypeExpression /></composition>
+      <composition><bomtype:GroupedTypeExpression /></composition>
       <composition><bomtype:GenericParameterReference /></composition>
       <composition><bomtype:SelfTypeReference /></composition>
       <composition><bomtype:StructField /></composition>
@@ -123,9 +124,9 @@
       <composition><bomapi:SerializeOptions /></composition>
       <composition><bomapi:ParseResult /></composition>
       <composition><bomapi:SerializeResult /></composition>
-      <composition><bomapi:ValidateOptions /></composition>
-      <composition><bomapi:ValidateResult /></composition>
       <composition><bomapi:TypeRegistryReader /></composition>
+      <composition><bomapi:ValidateResult /></composition>
+      <composition><bomapi:ValidateOptions /></composition>
       <composition><bomcap:StripProvenance /></composition>
       <composition><bomcap:BomEquals /></composition>
       <composition><bomdocumentation:Introduction /></composition>

package/blocks/org/blockml/bml/bom/api/TypeRegistryReader.bml

@@ -28,7 +28,6 @@
   <baseType>bom:UrmodellType</baseType>
   <is>Minimal TypeRegistry surface for ValidateOptions</is>
 
-  <documentation>TypeScript interface — get(fqn) and has(fqn). Full TypeRegistry in
-    @blockml/framework implements this reader for ValidateOptions.typeRegistry injection.</documentation>
+  <documentation>TypeScript interface — get(fqn) and has(fqn). Full TypeRegistry in @blockml/framework implements this reader for ValidateOptions.typeRegistry injection.</documentation>
 
 </block>

package/blocks/org/blockml/bml/bom/api/ValidateOptions.bml

@@ -28,13 +28,11 @@
   <baseType>bom:UrmodellType</baseType>
   <is>Options for validate() (Stage 2)</is>
 
-  <documentation>Options for @blockml/validator validate(). When typeRegistry is omitted,
-    bootstrapPaths and/or libraryPaths (or framework default paths) populate the registry.
-    libraryPaths selects library-graph bootstrap mode (Library.bml dependency order).</documentation>
+  <documentation>Options for @blockml/validator validate(). When typeRegistry is omitted, bootstrapPaths and/or libraryPaths (or framework default paths) populate the registry. libraryPaths selects library-graph bootstrap mode (Library.bml dependency order).</documentation>
 
   <properties>
     <typeRegistry type="bomapi:TypeRegistryReader">
-      <documentation>Pre-built registry surface — optional. Implemented by @blockml/framework TypeRegistry.</documentation>
+      <documentation>Pre-built registry surface — optional. Implemented by @blockml/framework TypeRegistry. (optional)</documentation>
     </typeRegistry>
     <bootstrapPaths type="type:Text[]">
       <documentation>Directories scanned for .bml when typeRegistry omitted (corpus mode). (optional)</documentation>

package/blocks/org/blockml/bml/bom/api/ValidateResult.bml

@@ -28,12 +28,11 @@
   <baseType>bom:UrmodellType</baseType>
   <is>Result of validate() (Stage 2)</is>
 
-  <documentation>Result of @blockml/validator validate(). success is false when any diagnostic
-    has severity error. pragmaticModel is the forked working copy when validation ran.</documentation>
+  <documentation>Result of @blockml/validator validate(). success is false when any diagnostic has severity error. pragmaticModel is the forked working copy when validation ran.</documentation>
 
   <properties>
     <pragmaticModel type="bomdoc:BomDocument">
-      <documentation>Pragmatic model fork — optional. TS type: bomdoc:BomDocument | undefined.</documentation>
+      <documentation>Pragmatic model fork — optional. TS type: bomdoc:BomDocument | undefined. (optional)</documentation>
     </pragmaticModel>
     <diagnostics type="bomcommon:Diagnostic[]">
       <documentation>diagnostics (required). TS type: bomcommon:Diagnostic[].</documentation>

package/blocks/org/blockml/bml/bom/block/BlockDefinition.bml

@@ -132,7 +132,7 @@
       <documentation>source (optional). TS type: bomcommon:SourceLocation.</documentation>
     </source>
     <typeSource type="bomcommon:SourceLocation">
-      <documentation>typeSource (optional). TS type: bomcommon:SourceLocation.</documentation>
+      <documentation>Span of the type= attribute or <type> element value. (optional)</documentation>
     </typeSource>
     <baseTypeSource type="bomcommon:SourceLocation">
       <documentation>baseTypeSource (optional). TS type: bomcommon:SourceLocation.</documentation>

package/blocks/org/blockml/bml/bom/documentation/PublicApi.bml

@@ -39,8 +39,7 @@
 
     SerializeOptions: indent (default 2; 0=compact B13), xmlDeclaration (default false B17/B24).
 
-    ValidateOptions: typeRegistry (TypeRegistryReader), bootstrapPaths, libraryPaths,
-    continueOnError (default true).
+    ValidateOptions: typeRegistry (TypeRegistryReader), bootstrapPaths, libraryPaths, continueOnError (default true).
 
     TypeRegistryReader: minimal get/has surface for ValidateOptions — implemented by @blockml/framework.
 

package/blocks/org/blockml/bml/bom/documentation/TypeExpressionsOverview.bml

@@ -32,7 +32,8 @@
   <documentation>TypeExpression (alias TypeDescriptor in V1) — structured parse-time AST, not a ValueType.
     Used for Capability inputType/outputType and Property type attributes.
 
-    Union variants: named, union, genericParam, self, anonymousStruct.
+    Union variants: named, union, grouped, genericParam, self, anonymousStruct.
+    grouped wraps a TypeExpression for nested multiplicity: (T[])[] or (A | B)[].
 
     Anonymous struct = shorthand for inline class with ordered fields (FunctionMapping positional order).
     Single primitive = NamedTypeReference directly — not wrapped in one-field struct.

package/blocks/org/blockml/bml/bom/member/CapabilityDefinition.bml

@@ -44,6 +44,12 @@
     <outputType type="bomtype:TypeDescriptor">
       <documentation>outputType (optional). TS type: bomtype:TypeDescriptor.</documentation>
     </outputType>
+    <inputTypeSource type="bomcommon:SourceLocation">
+      <documentation>Span of the inputType= attribute value. (optional)</documentation>
+    </inputTypeSource>
+    <outputTypeSource type="bomcommon:SourceLocation">
+      <documentation>Span of the outputType= attribute value. (optional)</documentation>
+    </outputTypeSource>
     <implementation type="bommember:ImplementationBlock">
       <documentation>implementation (optional). TS type: bommember:ImplementationBlock.</documentation>
     </implementation>

package/blocks/org/blockml/bml/bom/member/MemberDefinitionBase.bml

@@ -85,6 +85,9 @@
     <source type="bomcommon:SourceLocation">
       <documentation>source (optional). TS type: bomcommon:SourceLocation.</documentation>
     </source>
+    <typeSource type="bomcommon:SourceLocation">
+      <documentation>Span of the type= attribute value (use-site for type diagnostics). (optional)</documentation>
+    </typeSource>
   </properties>
 
 </block>

package/blocks/org/blockml/bml/bom/type/GroupedTypeExpression.bml

@@ -0,0 +1,46 @@
+<!--
+  BOM Urmodell — GroupedTypeExpression
+  FQN: org.blockml.bml.bom.type.GroupedTypeExpression
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomblock="org.blockml.bml.bom.block"
+  xmlns:bomcap="org.blockml.bml.bom.capability"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomcomp="org.blockml.bml.bom.composition"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:bommember="org.blockml.bml.bom.member"
+  xmlns:bomtype="org.blockml.bml.bom.type"
+  xmlns:bomvalue="org.blockml.bml.bom.value"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>GroupedTypeExpression</name>
+  <type>bomtype:GroupedTypeExpression</type>
+  <baseType>bomtype:TypeExpression</baseType>
+  <is>Parenthesized type expression with optional outer multiplicity</is>
+
+  <documentation>Grouping wrapper for nested multiplicity, e.g. (T[])[] or (A | B)[]. Inner expression may itself carry multiplicity.</documentation>
+
+  <properties>
+    <kind type="type:Text">
+      <documentation>kind (required). TS type: type:Text.</documentation>
+      <value>grouped</value>
+    </kind>
+    <expression type="bomtype:TypeExpression">
+      <documentation>expression (required). TS type: bomtype:TypeExpression.</documentation>
+    </expression>
+    <multiplicity type="bomtype:Multiplicity">
+      <documentation>multiplicity (optional). TS type: bomtype:Multiplicity.</documentation>
+    </multiplicity>
+  </properties>
+
+</block>

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 export type { SourceLocation, SourceInfo, XmlTrivia, MemberSectionName, MetadataElementTrivia, XmlNodeKind, CharacterDataForm, XmlRenderingBlock, XmlRenderingMember, DiagnosticSeverity, Diagnostic, } from "./types/common.js";
 export type { BomDocument } from "./types/document.js";
 export type { TypeReferenceEntityInstance, GenericType, BlockDefinition, KeywordEntry, DocumentationProseEntry, AliasEntry, ChangelogEntry, DocumentationExample, DocumentationReference, } from "./types/block-definition.js";
-export type { TypeExpression, TypeDescriptor, Multiplicity, InstanceConfiguration, NamedTypeReference, UnionTypeExpression, GenericParameterReference, SelfTypeReference, AnonymousStructType, StructField, } from "./types/type-expression.js";
+export type { TypeExpression, TypeDescriptor, Multiplicity, InstanceConfiguration, NamedTypeReference, UnionTypeExpression, GroupedTypeExpression, GenericParameterReference, SelfTypeReference, AnonymousStructType, StructField, } from "./types/type-expression.js";
 export type { MemberDefinition, ConstrainableDefinition, MemberDefinitionBase, PropertyDefinition, PropertyValueEntry, AggregationDefinition, AssociationDefinition, CapabilityDefinition, ImplementationBlock, EmbeddedExpression, } from "./types/member-definition.js";
 export type { CompositionTemplate, InstanceAggregationComposition, CompositionNode, BlockInstanceNode, VirtualContainerNode, BlockInstance, DirectiveAttribute, EachDirective, IfDirective, UnlessDirective, WithDirective, WithBinding, } from "./types/composition.js";
 export type { MemberValue, LiteralValue, ExpressionValue, AddressValue, Address, } from "./types/values.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,cAAc,EACd,UAAU,EACV,SAAS,EACT,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,GACX,MAAM,mBAAmB,CAAC;AAE3B,YAAY,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEvD,YAAY,EACV,2BAA2B,EAC3B,WAAW,EACX,eAAe,EACf,YAAY,EACZ,uBAAuB,EACvB,UAAU,EACV,cAAc,EACd,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AAErC,YAAY,EACV,cAAc,EACd,cAAc,EACd,YAAY,EACZ,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,EACzB,iBAAiB,EACjB,mBAAmB,EACnB,WAAW,GACZ,MAAM,4BAA4B,CAAC;AAEpC,YAAY,EACV,gBAAgB,EAChB,uBAAuB,EACvB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,8BAA8B,CAAC;AAEtC,YAAY,EACV,mBAAmB,EACnB,8BAA8B,EAC9B,eAAe,EACf,iBAAiB,EACjB,oBAAoB,EACpB,aAAa,EACb,kBAAkB,EAClB,aAAa,EACb,WAAW,EACX,eAAe,EACf,aAAa,EACb,WAAW,GACZ,MAAM,wBAAwB,CAAC;AAEhC,YAAY,EACV,WAAW,EACX,YAAY,EACZ,eAAe,EACf,YAAY,EACZ,OAAO,GACR,MAAM,mBAAmB,CAAC;AAE3B,YAAY,EACV,WAAW,EACX,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,kBAAkB,GACnB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,cAAc,EACd,UAAU,EACV,SAAS,EACT,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,GACX,MAAM,mBAAmB,CAAC;AAE3B,YAAY,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEvD,YAAY,EACV,2BAA2B,EAC3B,WAAW,EACX,eAAe,EACf,YAAY,EACZ,uBAAuB,EACvB,UAAU,EACV,cAAc,EACd,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AAErC,YAAY,EACV,cAAc,EACd,cAAc,EACd,YAAY,EACZ,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,yBAAyB,EACzB,iBAAiB,EACjB,mBAAmB,EACnB,WAAW,GACZ,MAAM,4BAA4B,CAAC;AAEpC,YAAY,EACV,gBAAgB,EAChB,uBAAuB,EACvB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,8BAA8B,CAAC;AAEtC,YAAY,EACV,mBAAmB,EACnB,8BAA8B,EAC9B,eAAe,EACf,iBAAiB,EACjB,oBAAoB,EACpB,aAAa,EACb,kBAAkB,EAClB,aAAa,EACb,WAAW,EACX,eAAe,EACf,aAAa,EACb,WAAW,GACZ,MAAM,wBAAwB,CAAC;AAEhC,YAAY,EACV,WAAW,EACX,YAAY,EACZ,eAAe,EACf,YAAY,EACZ,OAAO,GACR,MAAM,mBAAmB,CAAC;AAE3B,YAAY,EACV,WAAW,EACX,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,kBAAkB,GACnB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC"}

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAuFA,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAwFA,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC"}

package/dist/types/member-definition.d.ts

@@ -29,6 +29,8 @@ export interface MemberDefinitionBase {
     constraints?: BlockInstance[];
     xmlTrivia?: XmlTrivia;
     source?: SourceLocation;
+    /** Source span of the authored `type` attribute value when present. */
+    typeSource?: SourceLocation;
 }
 export interface PropertyDefinition extends MemberDefinitionBase {
     kind: "property";
@@ -74,6 +76,10 @@ export interface CapabilityDefinition extends MemberDefinitionBase {
     typeFqn: string;
     inputType?: TypeDescriptor;
     outputType?: TypeDescriptor;
+    /** Source span of the authored `inputType` attribute value. */
+    inputTypeSource?: SourceLocation;
+    /** Source span of the authored `outputType` attribute value. */
+    outputTypeSource?: SourceLocation;
     implementation?: ImplementationBlock;
 }
 export interface ImplementationBlock {

package/dist/types/member-definition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"member-definition.d.ts","sourceRoot":"","sources":["../../src/types/member-definition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,SAAS,EACV,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,KAAK,EAEV,cAAc,EACd,oBAAoB,EACpB,uBAAuB,EACvB,sBAAsB,EACtB,YAAY,EACZ,2BAA2B,EAC5B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,MAAM,MAAM,gBAAgB,GACxB,kBAAkB,GAClB,qBAAqB,GACrB,qBAAqB,GACrB,oBAAoB,CAAC;AAEzB,MAAM,WAAW,uBAAuB;IACtC,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,oBAAoB;IACnC,2EAA2E;IAC3E,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,uBAAuB,EAAE,CAAC;IACtC,QAAQ,CAAC,EAAE,YAAY,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,uBAAuB,EAAE,CAAC;IAC3C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,cAAc,EAAE,CAAC;IAC7B,QAAQ,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAClC,UAAU,CAAC,EAAE,sBAAsB,EAAE,CAAC;IACtC,4DAA4D;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAChD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAClC,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;IAC9B,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,MAAM,CAAC,EAAE,cAAc,CAAC;CACzB;AAED,MAAM,WAAW,kBAAmB,SAAQ,oBAAoB;IAC9D,IAAI,EAAE,UAAU,CAAC;IACjB,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC;IAChB,8GAA8G;IAC9G,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,MAAM,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC9B,2DAA2D;IAC3D,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;IAC9B,kEAAkE;IAClE,MAAM,CAAC,EAAE,2BAA2B,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,kBAAkB;IACjC,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,WAAW,CAAC;CACpB;AAED,MAAM,WAAW,qBAAsB,SAAQ,oBAAoB;IACjE,IAAI,EAAE,aAAa,CAAC;IACpB,kGAAkG;IAClG,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,oEAAoE;IACpE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IAChD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,gFAAgF;IAChF,WAAW,CAAC,EAAE,mBAAmB,CAAC;IAClC,kDAAkD;IAClD,MAAM,CAAC,EAAE,2BAA2B,EAAE,CAAC;IACvC,+EAA+E;IAC/E,6BAA6B,CAAC,EAAE,OAAO,CAAC;CACzC;AAED,MAAM,WAAW,qBAAsB,SAAQ,oBAAoB;IACjE,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,oBAAqB,SAAQ,oBAAoB;IAChE,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,cAAc,CAAC,EAAE,mBAAmB,CAAC;CACtC;AAED,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,yBAAyB,CAAC,EAAE,iBAAiB,CAAC;IAC9C,iEAAiE;IACjE,mBAAmB,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC3C,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC;AAED,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,GAAG,EAAE,MAAM,CAAC;IACZ,gDAAgD;IAChD,KAAK,EAAE,MAAM,CAAC;IACd,2CAA2C;IAC3C,GAAG,EAAE,MAAM,CAAC;CACb"}
+{"version":3,"file":"member-definition.d.ts","sourceRoot":"","sources":["../../src/types/member-definition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,SAAS,EACV,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,KAAK,EAEV,cAAc,EACd,oBAAoB,EACpB,uBAAuB,EACvB,sBAAsB,EACtB,YAAY,EACZ,2BAA2B,EAC5B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,MAAM,MAAM,gBAAgB,GACxB,kBAAkB,GAClB,qBAAqB,GACrB,qBAAqB,GACrB,oBAAoB,CAAC;AAEzB,MAAM,WAAW,uBAAuB;IACtC,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,oBAAoB;IACnC,2EAA2E;IAC3E,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,uBAAuB,EAAE,CAAC;IACtC,QAAQ,CAAC,EAAE,YAAY,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,uBAAuB,EAAE,CAAC;IAC3C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,cAAc,EAAE,CAAC;IAC7B,QAAQ,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAClC,UAAU,CAAC,EAAE,sBAAsB,EAAE,CAAC;IACtC,4DAA4D;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAChD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAClC,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;IAC9B,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,uEAAuE;IACvE,UAAU,CAAC,EAAE,cAAc,CAAC;CAC7B;AAED,MAAM,WAAW,kBAAmB,SAAQ,oBAAoB;IAC9D,IAAI,EAAE,UAAU,CAAC;IACjB,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC;IAChB,8GAA8G;IAC9G,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,MAAM,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC9B,2DAA2D;IAC3D,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;IAC9B,kEAAkE;IAClE,MAAM,CAAC,EAAE,2BAA2B,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,kBAAkB;IACjC,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,WAAW,CAAC;CACpB;AAED,MAAM,WAAW,qBAAsB,SAAQ,oBAAoB;IACjE,IAAI,EAAE,aAAa,CAAC;IACpB,kGAAkG;IAClG,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,oEAAoE;IACpE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IAChD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,gFAAgF;IAChF,WAAW,CAAC,EAAE,mBAAmB,CAAC;IAClC,kDAAkD;IAClD,MAAM,CAAC,EAAE,2BAA2B,EAAE,CAAC;IACvC,+EAA+E;IAC/E,6BAA6B,CAAC,EAAE,OAAO,CAAC;CACzC;AAED,MAAM,WAAW,qBAAsB,SAAQ,oBAAoB;IACjE,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,oBAAqB,SAAQ,oBAAoB;IAChE,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,+DAA+D;IAC/D,eAAe,CAAC,EAAE,cAAc,CAAC;IACjC,gEAAgE;IAChE,gBAAgB,CAAC,EAAE,cAAc,CAAC;IAClC,cAAc,CAAC,EAAE,mBAAmB,CAAC;CACtC;AAED,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,yBAAyB,CAAC,EAAE,iBAAiB,CAAC;IAC9C,iEAAiE;IACjE,mBAAmB,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC3C,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC;AAED,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,GAAG,EAAE,MAAM,CAAC;IACZ,gDAAgD;IAChD,KAAK,EAAE,MAAM,CAAC;IACd,2CAA2C;IAC3C,GAAG,EAAE,MAAM,CAAC;CACb"}

package/dist/types/type-expression.d.ts

@@ -1,6 +1,6 @@
 import type { LiteralValue, ExpressionValue } from "./values.js";
 /** Parse-time type expression — not a language ValueType. */
-export type TypeExpression = NamedTypeReference | AnonymousStructType | UnionTypeExpression | GenericParameterReference | SelfTypeReference;
+export type TypeExpression = NamedTypeReference | AnonymousStructType | UnionTypeExpression | GroupedTypeExpression | GenericParameterReference | SelfTypeReference;
 /** V1 alias kept for Capability inputType / outputType. */
 export type TypeDescriptor = TypeExpression;
 export interface Multiplicity {
@@ -24,6 +24,11 @@ export interface UnionTypeExpression {
     kind: "union";
     alternatives: TypeExpression[];
 }
+export interface GroupedTypeExpression {
+    kind: "grouped";
+    expression: TypeExpression;
+    multiplicity?: Multiplicity;
+}
 export interface GenericParameterReference {
     kind: "genericParam";
     name: string;

package/dist/types/type-expression.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-expression.d.ts","sourceRoot":"","sources":["../../src/types/type-expression.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEjE,6DAA6D;AAC7D,MAAM,MAAM,cAAc,GACtB,kBAAkB,GAClB,mBAAmB,GACnB,mBAAmB,GACnB,yBAAyB,GACzB,iBAAiB,CAAC;AAEtB,2DAA2D;AAC3D,MAAM,MAAM,cAAc,GAAG,cAAc,CAAC;AAE5C,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACnB;AAED,MAAM,WAAW,qBAAqB;IACpC,6DAA6D;IAC7D,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,eAAe,CAAC,CAAC;IACvD,iFAAiF;IACjF,UAAU,CAAC,EAAE,CAAC,YAAY,GAAG,eAAe,CAAC,EAAE,CAAC;CACjD;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,OAAO,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,CAAC,EAAE,cAAc,EAAE,CAAC;IACjC,qBAAqB,CAAC,EAAE,qBAAqB,CAAC;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,OAAO,CAAC;IACd,YAAY,EAAE,cAAc,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,iBAAiB,CAAC;IACxB,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,cAAc,CAAC;CACtB"}
+{"version":3,"file":"type-expression.d.ts","sourceRoot":"","sources":["../../src/types/type-expression.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEjE,6DAA6D;AAC7D,MAAM,MAAM,cAAc,GACtB,kBAAkB,GAClB,mBAAmB,GACnB,mBAAmB,GACnB,qBAAqB,GACrB,yBAAyB,GACzB,iBAAiB,CAAC;AAEtB,2DAA2D;AAC3D,MAAM,MAAM,cAAc,GAAG,cAAc,CAAC;AAE5C,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACnB;AAED,MAAM,WAAW,qBAAqB;IACpC,6DAA6D;IAC7D,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,eAAe,CAAC,CAAC;IACvD,iFAAiF;IACjF,UAAU,CAAC,EAAE,CAAC,YAAY,GAAG,eAAe,CAAC,EAAE,CAAC;CACjD;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,OAAO,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,CAAC,EAAE,cAAc,EAAE,CAAC;IACjC,qBAAqB,CAAC,EAAE,qBAAqB,CAAC;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,OAAO,CAAC;IACd,YAAY,EAAE,cAAc,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,EAAE,cAAc,CAAC;IAC3B,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,iBAAiB,CAAC;IACxB,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,cAAc,CAAC;CACtB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@blockml/bom",
-  "version": "0.2.0",
+  "version": "0.4.0",
   "description": "BlockML BOM (Urmodell) TypeScript contracts — ParseResult, Diagnostic, bomEquals",
   "license": "Apache-2.0",
   "repository": {
@@ -32,7 +32,7 @@
     "test": "vitest run packages/bom/test"
   },
   "dependencies": {
-    "@blockml/core": "^1.0.3"
+    "@blockml/core": "^1.0.5"
   },
   "engines": {
     "node": ">=20"