@blockml/framework 0.9.3 → 0.9.5

package/blocks/org/blockml/bml/framework/capability/ValidateGenerics.bml

@@ -1,12 +1,6 @@
-<!--
-  Framework Capability — ValidateGenerics
-  FQN: org.blockml.bml.framework.capability.ValidateGenerics
--->
-<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
-                      "
+<!--Framework Capability — ValidateGenerics
+  FQN: org.blockml.bml.framework.capability.ValidateGenerics-->
+<fwcap:ValidateGenerics xmlns="http://blockml.org/bml"
   xmlns:blockml="org.blockml.bml"
   xmlns:bom="org.blockml.bml.bom"
   xmlns:bomapi="org.blockml.bml.bom.api"
@@ -31,36 +25,43 @@
   xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
-  <name>ValidateGenerics</name>
-  <type>fwcap:ValidateGenerics</type>
-  <baseType>core:Capability</baseType>
-  <is>Open generic instance and bml:generics placement checks</is>
-
-  <documentation>Open generic instance and bml:generics placement checks against
+  <baseType>
+    core:Capability
+  </baseType>
+  <is>
+    Open generic instance and bml:generics placement checks
+  </is>
+  <documentation>
+    Open generic instance and bml:generics placement checks against
     TypeRegistry. Emits BML_OPEN_GENERIC_INSTANCE, BML_GENERICS_DIRECTIVE_NOT_ALLOWED,
     BML_GENERICS_ARGUMENT_MISMATCH, and reuses BML_GENERIC_CONSTRAINT_VIOLATION /
     BML_MISSING_GENERIC_TYPE_ARGUMENT.
-
+    
     bml:generics is allowed whenever the instance type declares genericTypes.
     Open parameters require a binding. Parameters with defaultType may omit it;
     authored arguments override defaultType.
-
+    
     BML_OPEN_GENERIC_INSTANCE applies only to domain Block instances. Children of a
     TypeReferenceEntity aggregation (Library blocks, contracts, …) are type
     references — empty QName sugar or explicit TypeReferenceEntity — not instances
     of the named type. They must not carry bml:generics; if present, emit
-    BML_GENERICS_DIRECTIVE_NOT_ALLOWED.</documentation>
-
+    BML_GENERICS_DIRECTIVE_NOT_ALLOWED.
+  </documentation>
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
+      <documentation>
+        document. TS type: bomdoc:BomDocument. (required)
+      </documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
+      <documentation>
+        registry. TS type: fwcap:TypeRegistry. (required)
+      </documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
+      <documentation>
+        diagnostics. TS type: bomcommon:Diagnostic[]. (required)
+      </documentation>
     </diagnostics>
   </properties>
-
-</block>
+</fwcap:ValidateGenerics>

package/blocks/org/blockml/bml/framework/capability/ValidateInstances.bml

@@ -1,12 +1,6 @@
-<!--
-  Framework Capability — ValidateInstances
-  FQN: org.blockml.bml.framework.capability.ValidateInstances
--->
-<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
-                      "
+<!--Framework Capability — ValidateInstances
+  FQN: org.blockml.bml.framework.capability.ValidateInstances-->
+<fwcap:ValidateInstances xmlns="http://blockml.org/bml"
   xmlns:blockml="org.blockml.bml"
   xmlns:bom="org.blockml.bml.bom"
   xmlns:bomapi="org.blockml.bml.bom.api"
@@ -31,23 +25,30 @@
   xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
-  <name>ValidateInstances</name>
-  <type>fwcap:ValidateInstances</type>
-  <baseType>core:Capability</baseType>
-  <is>Instance member rules against TypeRegistry</is>
-
-  <documentation>Instance member rules against TypeRegistry</documentation>
-
+  <baseType>
+    core:Capability
+  </baseType>
+  <is>
+    Instance member rules against TypeRegistry
+  </is>
+  <documentation>
+    Instance member rules against TypeRegistry
+  </documentation>
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
+      <documentation>
+        document. TS type: bomdoc:BomDocument. (required)
+      </documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
+      <documentation>
+        registry. TS type: fwcap:TypeRegistry. (required)
+      </documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
+      <documentation>
+        diagnostics. TS type: bomcommon:Diagnostic[]. (required)
+      </documentation>
     </diagnostics>
   </properties>
-
-</block>
+</fwcap:ValidateInstances>

package/blocks/org/blockml/bml/framework/capability/ValidatePresets.bml

@@ -1,12 +1,6 @@
-<!--
-  Framework Capability — ValidatePresets
-  FQN: org.blockml.bml.framework.capability.ValidatePresets
--->
-<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
-                      "
+<!--Framework Capability — ValidatePresets
+  FQN: org.blockml.bml.framework.capability.ValidatePresets-->
+<fwcap:ValidatePresets xmlns="http://blockml.org/bml"
   xmlns:blockml="org.blockml.bml"
   xmlns:bom="org.blockml.bml.bom"
   xmlns:bomapi="org.blockml.bml.bom.api"
@@ -31,23 +25,30 @@
   xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
-  <name>ValidatePresets</name>
-  <type>fwcap:ValidatePresets</type>
-  <baseType>core:Capability</baseType>
-  <is>Preset member rules against TypeRegistry</is>
-
-  <documentation>Preset member rules against TypeRegistry</documentation>
-
+  <baseType>
+    core:Capability
+  </baseType>
+  <is>
+    Preset member rules against TypeRegistry
+  </is>
+  <documentation>
+    Preset member rules against TypeRegistry
+  </documentation>
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
+      <documentation>
+        document. TS type: bomdoc:BomDocument. (required)
+      </documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
+      <documentation>
+        registry. TS type: fwcap:TypeRegistry. (required)
+      </documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
+      <documentation>
+        diagnostics. TS type: bomcommon:Diagnostic[]. (required)
+      </documentation>
     </diagnostics>
   </properties>
-
-</block>
+</fwcap:ValidatePresets>

package/blocks/org/blockml/bml/framework/capability/ValidateReadOnly.bml

@@ -1,12 +1,6 @@
-<!--
-  Framework Capability — ValidateReadOnly
-  FQN: org.blockml.bml.framework.capability.ValidateReadOnly
--->
-<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
-                      "
+<!--Framework Capability — ValidateReadOnly
+  FQN: org.blockml.bml.framework.capability.ValidateReadOnly-->
+<fwcap:ValidateReadOnly xmlns="http://blockml.org/bml"
   xmlns:blockml="org.blockml.bml"
   xmlns:bom="org.blockml.bml.bom"
   xmlns:bomapi="org.blockml.bml.bom.api"
@@ -31,23 +25,30 @@
   xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
-  <name>ValidateReadOnly</name>
-  <type>fwcap:ValidateReadOnly</type>
-  <baseType>core:Capability</baseType>
-  <is>Read-only member rules against TypeRegistry</is>
-
-  <documentation>Read-only member rules against TypeRegistry</documentation>
-
+  <baseType>
+    core:Capability
+  </baseType>
+  <is>
+    Read-only member rules against TypeRegistry
+  </is>
+  <documentation>
+    Read-only member rules against TypeRegistry
+  </documentation>
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
+      <documentation>
+        document. TS type: bomdoc:BomDocument. (required)
+      </documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
+      <documentation>
+        registry. TS type: fwcap:TypeRegistry. (required)
+      </documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
+      <documentation>
+        diagnostics. TS type: bomcommon:Diagnostic[]. (required)
+      </documentation>
     </diagnostics>
   </properties>
-
-</block>
+</fwcap:ValidateReadOnly>

package/blocks/org/blockml/bml/framework/capability/ValidateTypes.bml

@@ -1,12 +1,6 @@
-<!--
-  Framework Capability — ValidateTypes
-  FQN: org.blockml.bml.framework.capability.ValidateTypes
--->
-<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
-                      "
+<!--Framework Capability — ValidateTypes
+  FQN: org.blockml.bml.framework.capability.ValidateTypes-->
+<fwcap:ValidateTypes xmlns="http://blockml.org/bml"
   xmlns:blockml="org.blockml.bml"
   xmlns:bom="org.blockml.bml.bom"
   xmlns:bomapi="org.blockml.bml.bom.api"
@@ -31,28 +25,29 @@
   xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
-  <name>ValidateTypes</name>
-  <type>fwcap:ValidateTypes</type>
-  <baseType>core:Capability</baseType>
-  <is>Semantic type checks on BomDocument using TypeRegistry</is>
-
+  <baseType>
+    core:Capability
+  </baseType>
+  <is>
+    Semantic type checks on BomDocument using TypeRegistry
+  </is>
   <documentation>
     Semantic type checks on BomDocument using TypeRegistry.
-
+    
     Existence is classified per declared ValueType — there is no shared MemberReference parent:
-
+    
     - TypeReference, PackageReference, InstanceReference, PropertyReference, AggregationReference,
       AssociationReference, CapabilityReference, and the matching *ReferenceEntity wrappers
     - Identifier types (`TypeIdentifier`, `MemberIdentifier`, …) are syntax-only and are not
       existence-checked
-
+    
     TypeReference / TypeReferenceEntity literals stay authored text (QName or
     TypeExpression). The reference walk re-parses them with
     document.source.namespaceBindings — the same xmlns map as type attributes —
     then existence-checks the resolved FQNs. Canonical default is checked once
     (property.value; values[namespace=""] is the same entry). Prefixed
     PropertyValueEntry facets are not existence-checked.
-
+    
     After the reference walk, canonical BML literals with a declared PrimitiveType are
     checked via fwcap:EvaluateParseValue (property.value / values[namespace=""]).
     Prefixed / annotation-namespaced PropertyValueEntry values (scad:value and other
@@ -60,24 +55,34 @@
     BML lexical values. TODO: a matching prefixed type (for example scad:type for
     scad:value) so each facet can be parseValue-checked in its own language.
     Failure → BML_INVALID_VALUE. Existence stays on the reference walk.
+    
+    Local redeclarations that merge with a member from the baseType chain or from
+    contracts[] must set override="true" on every member kind — property, aggregation,
+    association, and capability. Filling an inherited aggregation with composition
+    or default="true" is still a merge. Omission → BML_OVERRIDE_REQUIRED.
+    override="true" without a matching inherited or contract member →
+    BML_OVERRIDE_WITHOUT_PARENT. Override is not inherited; each layer must set it.
   </documentation>
-
   <references>
     <see type="fwcap:ResolveEffectiveMembers" relation="SeeAlso" />
     <see type="fwcap:ParseExpression" relation="SeeAlso" />
     <see type="fwcap:EvaluateParseValue" relation="SeeAlso" />
   </references>
-
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
+      <documentation>
+        document. TS type: bomdoc:BomDocument. (required)
+      </documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
+      <documentation>
+        registry. TS type: fwcap:TypeRegistry. (required)
+      </documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
+      <documentation>
+        diagnostics. TS type: bomcommon:Diagnostic[]. (required)
+      </documentation>
     </diagnostics>
   </properties>
-
-</block>
+</fwcap:ValidateTypes>

package/blocks/org/blockml/bml/framework/capability/ValidateVersions.bml

@@ -1,12 +1,6 @@
-<!--
-  Framework Capability — ValidateVersions
-  FQN: org.blockml.bml.framework.capability.ValidateVersions
--->
-<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
-                      "
+<!--Framework Capability — ValidateVersions
+  FQN: org.blockml.bml.framework.capability.ValidateVersions-->
+<fwcap:ValidateVersions xmlns="http://blockml.org/bml"
   xmlns:blockml="org.blockml.bml"
   xmlns:bom="org.blockml.bml.bom"
   xmlns:bomapi="org.blockml.bml.bom.api"
@@ -31,27 +25,33 @@
   xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
-  <name>ValidateVersions</name>
-  <type>fwcap:ValidateVersions</type>
-  <baseType>core:Capability</baseType>
-  <is>Minimal effectiveBlockVersion and bml:version assert checks</is>
-
-  <documentation>BML_MISSING_VERSION on standalone root blocks outside framework library convention. BML_UNKNOWN_VERSION when bml:version pin does not match a registered block version.</documentation>
-
+  <baseType>
+    core:Capability
+  </baseType>
+  <is>
+    Minimal effectiveBlockVersion and bml:version assert checks
+  </is>
+  <documentation>
+    BML_MISSING_VERSION on standalone root blocks outside framework library convention. BML_UNKNOWN_VERSION when bml:version pin does not match a registered block version.
+  </documentation>
   <references>
     <see type="bomdocumentation:VersionRules" relation="SeeAlso" />
   </references>
-
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
+      <documentation>
+        document. TS type: bomdoc:BomDocument. (required)
+      </documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
+      <documentation>
+        registry. TS type: fwcap:TypeRegistry. (required)
+      </documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
+      <documentation>
+        diagnostics. TS type: bomcommon:Diagnostic[]. (required)
+      </documentation>
     </diagnostics>
   </properties>
-
-</block>
+</fwcap:ValidateVersions>

package/blocks/org/blockml/bml/framework/capability/ValidateVisibility.bml

@@ -1,12 +1,6 @@
-<!--
-  Framework Capability — ValidateVisibility
-  FQN: org.blockml.bml.framework.capability.ValidateVisibility
--->
-<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
-                      "
+<!--Framework Capability — ValidateVisibility
+  FQN: org.blockml.bml.framework.capability.ValidateVisibility-->
+<fwcap:ValidateVisibility xmlns="http://blockml.org/bml"
   xmlns:blockml="org.blockml.bml"
   xmlns:bom="org.blockml.bml.bom"
   xmlns:bomapi="org.blockml.bml.bom.api"
@@ -31,23 +25,30 @@
   xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
-  <name>ValidateVisibility</name>
-  <type>fwcap:ValidateVisibility</type>
-  <baseType>core:Capability</baseType>
-  <is>Visibility member rules against TypeRegistry</is>
-
-  <documentation>Visibility member rules against TypeRegistry</documentation>
-
+  <baseType>
+    core:Capability
+  </baseType>
+  <is>
+    Visibility member rules against TypeRegistry
+  </is>
+  <documentation>
+    Visibility member rules against TypeRegistry
+  </documentation>
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
+      <documentation>
+        document. TS type: bomdoc:BomDocument. (required)
+      </documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
+      <documentation>
+        registry. TS type: fwcap:TypeRegistry. (required)
+      </documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
+      <documentation>
+        diagnostics. TS type: bomcommon:Diagnostic[]. (required)
+      </documentation>
     </diagnostics>
   </properties>
-
-</block>
+</fwcap:ValidateVisibility>

package/blocks/org/blockml/bml/framework/config/FrameworkDiagnosticCodes.bml

@@ -1,12 +1,6 @@
-<!--
-  Framework — FrameworkDiagnosticCodes
-  FQN: org.blockml.bml.framework.config.FrameworkDiagnosticCodes
--->
-<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
-                      "
+<!--Framework — FrameworkDiagnosticCodes
+  FQN: org.blockml.bml.framework.config.FrameworkDiagnosticCodes-->
+<fwconfig:FrameworkDiagnosticCodes xmlns="http://blockml.org/bml"
   xmlns:blockml="org.blockml.bml"
   xmlns:bom="org.blockml.bml.bom"
   xmlns:bomapi="org.blockml.bml.bom.api"
@@ -31,17 +25,20 @@
   xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
-  <name>FrameworkDiagnosticCodes</name>
-  <type>fwconfig:FrameworkDiagnosticCodes</type>
-  <baseType>framework:FrameworkType</baseType>
-  <is>Diagnostic codes emitted by framework utilities</is>
-
-  <documentation>Used by validateTypes, validateConstraints, and bootstrapTypeRegistry.</documentation>
-
+  <baseType>
+    framework:FrameworkType
+  </baseType>
+  <is>
+    Diagnostic codes emitted by framework utilities
+  </is>
+  <documentation>
+    Used by validateTypes, validateConstraints, and bootstrapTypeRegistry.
+  </documentation>
   <properties>
     <codes type="type:Text[]">
-      <documentation>Ordered: BML_BOOTSTRAP_READ_ERROR, BML_CONSTRAINT_INFORMATION, BML_CONSTRAINT_TARGET_MISMATCH, BML_CONSTRAINT_UNKNOWN, BML_CONSTRAINT_VIOLATION, BML_CONSTRAINT_WARNING, BML_DUPLICATE_EMBEDDED_BLOCK, BML_DUPLICATE_MEMBER_VISIBILITY_VARIANT, BML_EMBEDDED_BLOCKS_ON_SUBBLOCK, BML_EXPRESSION_PARSE_ERROR, BML_EXPR_NOT_ALLOWED_IN_INTERPOLATION, BML_EXPR_SYNTAX_ERROR, BML_EXPR_TYPE_MISMATCH, BML_GENERIC_CONSTRAINT_VIOLATION, BML_GENERICS_ARGUMENT_MISMATCH, BML_GENERICS_DIRECTIVE_NOT_ALLOWED, BML_INVALID_VALUE, BML_LIBRARY_NESTING_VIOLATION, BML_LIBRARY_RESOLVE_ERROR, BML_MEMBER_COLLISION, BML_MISSING_GENERIC_TYPE_ARGUMENT, BML_MISSING_ID, BML_MISSING_VERSION, BML_NESTED_EMBEDDED_BLOCKS, BML_OPEN_GENERIC_INSTANCE, BML_OVERRIDE_REQUIRED, BML_OVERRIDE_WITHOUT_PARENT, BML_PRESET_CYCLE, BML_READONLY_MEMBER_WRITE, BML_SUBBLOCK_TYPE_MISMATCH, BML_TYPE_BOUND_NOT_SATISFIED, BML_UNRESOLVABLE_INSTANCE_REF, BML_UNKNOWN_BASE_TYPE, BML_UNKNOWN_CONTRACT, BML_UNKNOWN_TYPE, BML_UNKNOWN_PROPERTY, BML_UNKNOWN_VERSION, BML_VISIBILITY_PRIVATE_OVERRIDE (required)</documentation>
+      <documentation>
+        Ordered: BML_BOOTSTRAP_READ_ERROR, BML_CONSTRAINT_INFORMATION, BML_CONSTRAINT_TARGET_MISMATCH, BML_CONSTRAINT_UNKNOWN, BML_CONSTRAINT_VIOLATION, BML_CONSTRAINT_WARNING, BML_DUPLICATE_EMBEDDED_BLOCK, BML_DUPLICATE_MEMBER_VISIBILITY_VARIANT, BML_EMBEDDED_BLOCKS_ON_SUBBLOCK, BML_EXPRESSION_PARSE_ERROR, BML_EXPR_NOT_ALLOWED_IN_INTERPOLATION, BML_EXPR_SYNTAX_ERROR, BML_EXPR_TYPE_MISMATCH, BML_GENERIC_CONSTRAINT_VIOLATION, BML_GENERICS_ARGUMENT_MISMATCH, BML_GENERICS_DIRECTIVE_NOT_ALLOWED, BML_INVALID_VALUE, BML_LIBRARY_NESTING_VIOLATION, BML_LIBRARY_RESOLVE_ERROR, BML_MEMBER_COLLISION, BML_MISSING_GENERIC_TYPE_ARGUMENT, BML_MISSING_ID, BML_MISSING_VERSION, BML_NESTED_EMBEDDED_BLOCKS, BML_OPEN_GENERIC_INSTANCE, BML_OVERRIDE_REQUIRED, BML_OVERRIDE_WITHOUT_PARENT, BML_PRESET_CYCLE, BML_READONLY_MEMBER_WRITE, BML_SUBBLOCK_TYPE_MISMATCH, BML_TYPE_BOUND_NOT_SATISFIED, BML_UNRESOLVABLE_INSTANCE_REF, BML_UNKNOWN_BASE_TYPE, BML_UNKNOWN_CONTRACT, BML_UNKNOWN_TYPE, BML_UNKNOWN_PROPERTY, BML_UNKNOWN_VERSION, BML_VISIBILITY_PRIVATE_OVERRIDE (required)
+      </documentation>
     </codes>
   </properties>
-
-</block>
+</fwconfig:FrameworkDiagnosticCodes>

package/blocks/org/blockml/bml/framework/documentation/ArchitectureOverview.bml

@@ -1,12 +1,6 @@
-<!--
-  Framework Documentation — ArchitectureOverview
-  FQN: org.blockml.bml.framework.documentation.ArchitectureOverview
--->
-<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
-                      "
+<!--Framework Documentation — ArchitectureOverview
+  FQN: org.blockml.bml.framework.documentation.ArchitectureOverview-->
+<fwdocumentation:ArchitectureOverview xmlns="http://blockml.org/bml"
   xmlns:blockml="org.blockml.bml"
   xmlns:bom="org.blockml.bml.bom"
   xmlns:bomapi="org.blockml.bml.bom.api"
@@ -32,13 +26,15 @@
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation"
   xmlns:doc="org.blockml.bml.documentation">
 
-  <name>ArchitectureOverview</name>
-  <type>fwdocumentation:ArchitectureOverview</type>
-  <baseType>core:Documentation</baseType>
-  <is>Module decomposition for framework utilities</is>
-
-  <documentation>Module decomposition (packages/framework/src/):
-
+  <baseType>
+    core:Documentation
+  </baseType>
+  <is>
+    Module decomposition for framework utilities
+  </is>
+  <documentation>
+    Module decomposition (packages/framework/src/):
+    
     registry/type-registry.ts — fwcap:TypeRegistry (register, get, has, keys, size)
     registry/bootstrap.ts — fwcap:BootstrapTypeRegistry, fwcap:DefaultBootstrapPaths
     registry/library-bootstrap.ts — library graph resolution (Library.bml dependencies),
@@ -52,13 +48,12 @@
       fwcap:IsLiteralValue
     validate/validate-versions.ts — fwcap:ValidateVersions
     validate/validate-constraints.ts — fwcap:ValidateConstraints
-
+    
     Internal data-structure types extend framework:FrameworkType.
-    Public operations are fwcap:* capabilities.</documentation>
-
+    Public operations are fwcap:* capabilities.
+  </documentation>
   <references>
     <see type="fwdocumentation:PublicApi" relation="ReadNext" />
     <see type="fwcap:TypeRegistry" relation="Defines" />
   </references>
-
-</block>
+</fwdocumentation:ArchitectureOverview>

package/blocks/org/blockml/bml/framework/documentation/ConstraintValidation.bml

@@ -1,12 +1,6 @@
-<!--
-  Framework Documentation — ConstraintValidation
-  FQN: org.blockml.bml.framework.documentation.ConstraintValidation
--->
-<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
-                      "
+<!--Framework Documentation — ConstraintValidation
+  FQN: org.blockml.bml.framework.documentation.ConstraintValidation-->
+<fwdocumentation:ConstraintValidation xmlns="http://blockml.org/bml"
   xmlns:blockml="org.blockml.bml"
   xmlns:bom="org.blockml.bml.bom"
   xmlns:bomapi="org.blockml.bml.bom.api"
@@ -32,31 +26,32 @@
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation"
   xmlns:doc="org.blockml.bml.documentation">
 
-  <name>ConstraintValidation</name>
-  <type>fwdocumentation:ConstraintValidation</type>
-  <baseType>core:Documentation</baseType>
-  <is>validateConstraints branch dispatch and embed contexts</is>
-
-  <documentation>validateConstraints evaluates constraints on the effective member set from
+  <baseType>
+    core:Documentation
+  </baseType>
+  <is>
+    validateConstraints branch dispatch and embed contexts
+  </is>
+  <documentation>
+    validateConstraints evaluates constraints on the effective member set from
     resolveEffectiveMembers (baseType + contracts + local). Property ValuePresent and other
     ValueConstraints on effective PropertyDefinition are checked against authored local values.
-
+    
     Embed contexts for directly declared constraint BlockInstances:
     block — BlockConstraint (RequiresMember), ValueConstraint (Min/Max/ValuePresent)
     property — PropertyConstraint (MustBeReadOnly), ValueConstraint
     aggregation — AggregationConstraint (AllowedChildType)
     association — AssociationConstraint (NoSelfReference)
     capability — CapabilityConstraint (RequiresImplementation)
-
+    
     Wrong branch for context → BML_CONSTRAINT_TARGET_MISMATCH.
     Unknown constraint type → BML_CONSTRAINT_UNKNOWN.
     Violation → BML_CONSTRAINT_VIOLATION.
-
-    Fixtures: packages/framework/test/constraints/fixtures/*.bml</documentation>
-
+    
+    Fixtures: packages/framework/test/constraints/fixtures/*.bml
+  </documentation>
   <references>
     <see type="fwdocumentation:Diagnostics" relation="ReadNext" />
     <see type="fwcap:ValidateConstraints" relation="Defines" />
   </references>
-
-</block>
+</fwdocumentation:ConstraintValidation>