@blockml/framework 0.7.1 → 0.8.1

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

@@ -0,0 +1,57 @@
+<!--
+  Framework Capability — ResolveLibrarySeeds
+  FQN: org.blockml.bml.framework.capability.ResolveLibrarySeeds
+-->
+<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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomcomp="org.blockml.bml.bom.composition"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  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:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:fwconfig="org.blockml.bml.framework.config"
+  xmlns:fwdocumentation="org.blockml.bml.framework.documentation"
+  xmlns:fwexpression="org.blockml.bml.framework.expression"
+  xmlns:fwregistry="org.blockml.bml.framework.registry"
+  xmlns:parser="org.blockml.bml.compiler.parser"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
+
+  <name>ResolveLibrarySeeds</name>
+  <type>fwcap:ResolveLibrarySeeds</type>
+  <baseType>core:Capability</baseType>
+  <is>Merge package.json blockml.library with extra Library.bml paths</is>
+
+  <documentation>Identity seed from package.json blockml.library first, then extras (config.libraries or --libraries). Absolute paths, deduped by realpath. Missing files keep resolve().</documentation>
+
+  <references>
+    <see type="fwcap:BootstrapTypeRegistry" relation="SeeAlso" />
+  </references>
+
+  <properties>
+    <rootDir type="type:Text">
+      <documentation>Package directory. Default process.cwd(). (optional)</documentation>
+    </rootDir>
+    <extras type="type:Text[]">
+      <documentation>Additional Library.bml paths. (optional)</documentation>
+    </extras>
+    <seeds type="type:Text[]">
+      <documentation>seeds. TS type: type:Text[]. (required)</documentation>
+    </seeds>
+  </properties>
+
+</block>

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

@@ -9,18 +9,35 @@
                       "
   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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomcomp="org.blockml.bml.bom.composition"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  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:framework="org.blockml.bml.framework"
   xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:fwconfig="org.blockml.bml.framework.config"
+  xmlns:fwdocumentation="org.blockml.bml.framework.documentation"
+  xmlns:fwexpression="org.blockml.bml.framework.expression"
   xmlns:fwregistry="org.blockml.bml.framework.registry"
-  xmlns:type="org.blockml.bml.type">
+  xmlns:parser="org.blockml.bml.compiler.parser"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
   <name>RootFqnByFilePath</name>
   <type>fwcap:RootFqnByFilePath</type>
   <baseType>core:Capability</baseType>
   <is>Map file path to document-root block FQN from TypeRegistry</is>
 
+  <documentation>Map file path to document-root block FQN from TypeRegistry</documentation>
+
   <properties>
     <registry type="fwcap:TypeRegistry">
       <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>

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

@@ -8,22 +8,42 @@
   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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomcomp="org.blockml.bml.bom.composition"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  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:framework="org.blockml.bml.framework"
   xmlns:fwcap="org.blockml.bml.framework.capability"
-  xmlns:type="org.blockml.bml.type">
+  xmlns:fwconfig="org.blockml.bml.framework.config"
+  xmlns:fwdocumentation="org.blockml.bml.framework.documentation"
+  xmlns:fwexpression="org.blockml.bml.framework.expression"
+  xmlns:fwregistry="org.blockml.bml.framework.registry"
+  xmlns:parser="org.blockml.bml.compiler.parser"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
   <name>RootFqns</name>
   <type>fwcap:RootFqns</type>
   <baseType>core:Capability</baseType>
-  <is>Sorted root FQNs from TypeRegistry index</is>
+  <is>Root block FQNs from TypeRegistry</is>
+
+  <documentation>Root block FQNs from TypeRegistry</documentation>
 
   <properties>
     <registry type="fwcap:TypeRegistry">
       <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
     </registry>
     <fqns type="type:Text[]">
-      <documentation>root FQNs sorted. (required)</documentation>
+      <documentation>fqns. TS type: type:Text[]. (required)</documentation>
     </fqns>
   </properties>
 

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

@@ -26,7 +26,10 @@
   xmlns:fwexpression="org.blockml.bml.framework.expression"
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
-  xmlns:type="org.blockml.bml.type">
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
   <name>TypeRegistry</name>
   <type>fwcap:TypeRegistry</type>

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

@@ -26,7 +26,10 @@
   xmlns:fwexpression="org.blockml.bml.framework.expression"
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
-  xmlns:type="org.blockml.bml.type">
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
   <name>ValidateConstraints</name>
   <type>fwcap:ValidateConstraints</type>

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

@@ -8,23 +8,42 @@
   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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomcomp="org.blockml.bml.bom.composition"
   xmlns:bomdoc="org.blockml.bml.bom.document"
+  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:framework="org.blockml.bml.framework"
-  xmlns:fwcap="org.blockml.bml.framework.capability">
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:fwconfig="org.blockml.bml.framework.config"
+  xmlns:fwdocumentation="org.blockml.bml.framework.documentation"
+  xmlns:fwexpression="org.blockml.bml.framework.expression"
+  xmlns:fwregistry="org.blockml.bml.framework.registry"
+  xmlns:parser="org.blockml.bml.compiler.parser"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
   <name>ValidateEmbeddedBlocks</name>
   <type>fwcap:ValidateEmbeddedBlocks</type>
   <baseType>core:Capability</baseType>
   <is>Embedded block and sub-block placement rules</is>
 
+  <documentation>Embedded block and sub-block placement rules</documentation>
+
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. (required)</documentation>
+      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
     </document>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. (required)</documentation>
+      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
     </diagnostics>
   </properties>
 

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

@@ -8,29 +8,45 @@
   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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomcomp="org.blockml.bml.bom.composition"
   xmlns:bomdoc="org.blockml.bml.bom.document"
+  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:framework="org.blockml.bml.framework"
-  xmlns:fwcap="org.blockml.bml.framework.capability">
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:fwconfig="org.blockml.bml.framework.config"
+  xmlns:fwdocumentation="org.blockml.bml.framework.documentation"
+  xmlns:fwexpression="org.blockml.bml.framework.expression"
+  xmlns:fwregistry="org.blockml.bml.framework.registry"
+  xmlns:parser="org.blockml.bml.compiler.parser"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  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 type, member, id, and cross-reference rules</is>
+  <is>Instance member rules against TypeRegistry</is>
 
-  <documentation>Unknown instance typeFqn → BML_UNKNOWN_TYPE. memberValues keys not in
-    resolveEffectiveMembers → BML_UNKNOWN_PROPERTY. Unresolved refs and missing bml:id on bml:each remain.</documentation>
+  <documentation>Instance member rules against TypeRegistry</documentation>
 
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. (required)</documentation>
+      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. (required)</documentation>
+      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. (required)</documentation>
+      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
     </diagnostics>
   </properties>
 

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

@@ -8,26 +8,45 @@
   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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomcomp="org.blockml.bml.bom.composition"
   xmlns:bomdoc="org.blockml.bml.bom.document"
+  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:framework="org.blockml.bml.framework"
-  xmlns:fwcap="org.blockml.bml.framework.capability">
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:fwconfig="org.blockml.bml.framework.config"
+  xmlns:fwdocumentation="org.blockml.bml.framework.documentation"
+  xmlns:fwexpression="org.blockml.bml.framework.expression"
+  xmlns:fwregistry="org.blockml.bml.framework.registry"
+  xmlns:parser="org.blockml.bml.compiler.parser"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  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 inheritance and property binding rules</is>
+  <is>Preset member rules against TypeRegistry</is>
+
+  <documentation>Preset member rules against TypeRegistry</documentation>
 
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. (required)</documentation>
+      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. (required)</documentation>
+      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. (required)</documentation>
+      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
     </diagnostics>
   </properties>
 

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

@@ -8,26 +8,45 @@
   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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomcomp="org.blockml.bml.bom.composition"
   xmlns:bomdoc="org.blockml.bml.bom.document"
+  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:framework="org.blockml.bml.framework"
-  xmlns:fwcap="org.blockml.bml.framework.capability">
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:fwconfig="org.blockml.bml.framework.config"
+  xmlns:fwdocumentation="org.blockml.bml.framework.documentation"
+  xmlns:fwexpression="org.blockml.bml.framework.expression"
+  xmlns:fwregistry="org.blockml.bml.framework.registry"
+  xmlns:parser="org.blockml.bml.compiler.parser"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  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>readOnly member write enforcement on block instances</is>
+  <is>Read-only member rules against TypeRegistry</is>
+
+  <documentation>Read-only member rules against TypeRegistry</documentation>
 
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. (required)</documentation>
+      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. (required)</documentation>
+      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. (required)</documentation>
+      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
     </diagnostics>
   </properties>
 

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

@@ -26,7 +26,10 @@
   xmlns:fwexpression="org.blockml.bml.framework.expression"
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
-  xmlns:type="org.blockml.bml.type">
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
   <name>ValidateTypes</name>
   <type>fwcap:ValidateTypes</type>

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

@@ -26,7 +26,10 @@
   xmlns:fwexpression="org.blockml.bml.framework.expression"
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
-  xmlns:type="org.blockml.bml.type">
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
   <name>ValidateVersions</name>
   <type>fwcap:ValidateVersions</type>

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

@@ -8,26 +8,45 @@
   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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomcomp="org.blockml.bml.bom.composition"
   xmlns:bomdoc="org.blockml.bml.bom.document"
+  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:framework="org.blockml.bml.framework"
-  xmlns:fwcap="org.blockml.bml.framework.capability">
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:fwconfig="org.blockml.bml.framework.config"
+  xmlns:fwdocumentation="org.blockml.bml.framework.documentation"
+  xmlns:fwexpression="org.blockml.bml.framework.expression"
+  xmlns:fwregistry="org.blockml.bml.framework.registry"
+  xmlns:parser="org.blockml.bml.compiler.parser"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  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>Member visibility variant rules</is>
+  <is>Visibility member rules against TypeRegistry</is>
+
+  <documentation>Visibility member rules against TypeRegistry</documentation>
 
   <properties>
     <document type="bomdoc:BomDocument">
-      <documentation>document. (required)</documentation>
+      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
     </document>
     <registry type="fwcap:TypeRegistry">
-      <documentation>registry. (required)</documentation>
+      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
     </registry>
     <diagnostics type="bomcommon:Diagnostic[]">
-      <documentation>diagnostics. (required)</documentation>
+      <documentation>diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
     </diagnostics>
   </properties>
 

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

@@ -26,7 +26,10 @@
   xmlns:fwexpression="org.blockml.bml.framework.expression"
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
-  xmlns:type="org.blockml.bml.type">
+  xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
 
   <name>FrameworkDiagnosticCodes</name>
   <type>fwconfig:FrameworkDiagnosticCodes</type>
@@ -37,7 +40,7 @@
 
   <properties>
     <codes type="type:Text[]">
-      <documentation>Ordered: BML_UNKNOWN_BASE_TYPE, BML_UNKNOWN_TYPE, BML_UNKNOWN_CONTRACT, BML_MEMBER_COLLISION, BML_OVERRIDE_WITHOUT_PARENT, BML_OVERRIDE_REQUIRED, BML_EXPRESSION_PARSE_ERROR, BML_CONSTRAINT_VIOLATION, BML_CONSTRAINT_WARNING, BML_CONSTRAINT_INFORMATION, BML_CONSTRAINT_UNKNOWN, BML_CONSTRAINT_TARGET_MISMATCH, BML_EMBEDDED_BLOCKS_ON_SUBBLOCK, BML_NESTED_EMBEDDED_BLOCKS, BML_DUPLICATE_EMBEDDED_BLOCK, BML_SUBBLOCK_TYPE_MISMATCH, BML_MISSING_ID, BML_UNRESOLVABLE_INSTANCE_REF, BML_PRESET_CYCLE, BML_UNKNOWN_PROPERTY, BML_DUPLICATE_MEMBER_VISIBILITY_VARIANT, BML_VISIBILITY_PRIVATE_OVERRIDE, BML_READONLY_MEMBER_WRITE, BML_MISSING_VERSION, BML_UNKNOWN_VERSION, BML_LIBRARY_RESOLVE_ERROR, BML_LIBRARY_NESTING_VIOLATION, BML_BOOTSTRAP_READ_ERROR (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_LIBRARY_NESTING_VIOLATION, BML_LIBRARY_RESOLVE_ERROR, BML_MEMBER_COLLISION, BML_MISSING_ID, BML_MISSING_VERSION, BML_NESTED_EMBEDDED_BLOCKS, BML_OVERRIDE_REQUIRED, BML_OVERRIDE_WITHOUT_PARENT, BML_PRESET_CYCLE, BML_READONLY_MEMBER_WRITE, BML_SUBBLOCK_TYPE_MISMATCH, 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>
 

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

@@ -27,6 +27,9 @@
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
   xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation"
   xmlns:doc="org.blockml.bml.documentation">
 
   <name>ArchitectureOverview</name>
@@ -38,7 +41,8 @@
 
     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)
+    registry/library-bootstrap.ts — library graph resolution (Library.bml dependencies),
+      fwcap:PeekLibraryTypeFqn
     fork/fork-bom.ts — fwcap:ForkBom (structuredClone pragmatic copy)
     resolve/resolve-effective-members.ts — fwcap:ResolveEffectiveMembers,
       fwcap:ResolveContracts, fwcap:CollectBaseTypeChain, fwcap:MemberIdentityKey
@@ -53,8 +57,8 @@
     Public operations are fwcap:* capabilities.</documentation>
 
   <references>
-    <see type="fwdocumentation:PublicApi" relation="ReadNext"></see>
-    <see type="fwcap:TypeRegistry" relation="Defines"></see>
+    <see type="fwdocumentation:PublicApi" relation="ReadNext" />
+    <see type="fwcap:TypeRegistry" relation="Defines" />
   </references>
 
 </block>

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

@@ -27,6 +27,9 @@
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
   xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation"
   xmlns:doc="org.blockml.bml.documentation">
 
   <name>ConstraintValidation</name>
@@ -35,14 +38,8 @@
   <is>validateConstraints branch dispatch and embed contexts</is>
 
   <documentation>validateConstraints evaluates constraints on the effective member set from
-    resolveEffectiveMembers (baseType + contracts + local), including baseType instance
-    configuration bound onto inherited properties. ValuePresent is checked after that merge —
-    not against empty type-level slots. Abstract members, overrides without a local default,
-    and properties whose type is a generic parameter (e.g. Constant.value : T) may be empty on
-    the type definition; the value is required after instance binding. Constraint evaluation
-    runs once on the effective member set (placement is checked on local declarations).
-    Diagnostics use a source span in the validated document — not an ancestor property line
-    mixed with the current file path.
+    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)
@@ -58,8 +55,8 @@
     Fixtures: packages/framework/test/constraints/fixtures/*.bml</documentation>
 
   <references>
-    <see type="fwdocumentation:Diagnostics" relation="ReadNext"></see>
-    <see type="fwcap:ValidateConstraints" relation="Defines"></see>
+    <see type="fwdocumentation:Diagnostics" relation="ReadNext" />
+    <see type="fwcap:ValidateConstraints" relation="Defines" />
   </references>
 
 </block>

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

@@ -27,6 +27,9 @@
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
   xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation"
   xmlns:doc="org.blockml.bml.documentation">
 
   <name>Diagnostics</name>
@@ -66,8 +69,8 @@
     Diagnostic type: org.blockml.bml.bom.common.Diagnostic.</documentation>
 
   <references>
-    <see type="fwconfig:FrameworkDiagnosticCodes" relation="Defines"></see>
-    <see type="fwdocumentation:PackageOwnership" relation="ReadNext"></see>
+    <see type="fwconfig:FrameworkDiagnosticCodes" relation="Defines" />
+    <see type="fwdocumentation:PackageOwnership" relation="ReadNext" />
   </references>
 
 </block>

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

@@ -27,6 +27,9 @@
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
   xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation"
   xmlns:doc="org.blockml.bml.documentation">
 
   <name>EffectiveMembers</name>
@@ -53,9 +56,9 @@
     EffectiveMemberSet is a runtime view — not stored on Urmodell (BOM SSOT).</documentation>
 
   <references>
-    <see type="fwdocumentation:ExpressionParsing" relation="ReadNext"></see>
-    <see type="fwcap:ResolveEffectiveMembers" relation="Defines"></see>
-    <see type="fwcap:ResolveContracts" relation="SeeAlso"></see>
+    <see type="fwdocumentation:ExpressionParsing" relation="ReadNext" />
+    <see type="fwcap:ResolveEffectiveMembers" relation="Defines" />
+    <see type="fwcap:ResolveContracts" relation="SeeAlso" />
   </references>
 
 </block>

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

@@ -27,6 +27,9 @@
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
   xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation"
   xmlns:doc="org.blockml.bml.documentation">
 
   <name>ExpressionParsing</name>
@@ -46,8 +49,8 @@
     Expression AST is a Stage-2 utility — never written back to Urmodell member values.</documentation>
 
   <references>
-    <see type="fwdocumentation:ConstraintValidation" relation="ReadNext"></see>
-    <see type="fwexpression:ExpressionNode" relation="Defines"></see>
+    <see type="fwdocumentation:ConstraintValidation" relation="ReadNext" />
+    <see type="fwexpression:ExpressionNode" relation="Defines" />
   </references>
 
 </block>

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

@@ -27,6 +27,9 @@
   xmlns:fwregistry="org.blockml.bml.framework.registry"
   xmlns:parser="org.blockml.bml.compiler.parser"
   xmlns:type="org.blockml.bml.type"
+  xmlns:bomdocumentation="org.blockml.bml.bom.documentation"
+  xmlns:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation"
   xmlns:doc="org.blockml.bml.documentation">
 
   <name>Introduction</name>
@@ -49,8 +52,8 @@
     operate on BomDocument (Urmodell) from @blockml/bom — they do not redefine meta-model blocks.</documentation>
 
   <references>
-    <see type="fwdocumentation:LayerSeparation" relation="ReadNext"></see>
-    <see type="bomdocumentation:Introduction" relation="SeeAlso"></see>
+    <see type="fwdocumentation:LayerSeparation" relation="ReadNext" />
+    <see type="bomdocumentation:Introduction" relation="SeeAlso" />
   </references>
 
 </block>