@blockml/framework 0.8.0 → 0.8.1

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

@@ -37,14 +37,19 @@
   <is>The BlockML Framework utilities package library catalog</is>
 
   <documentation>
+    # The BlockML Framework utilities package library catalog
+
     Canonical framework specification for BlockML Stage-2 utilities — TypeRegistry,
     bootstrap, fork/resolve, parseExpression, validateTypes/validateConstraints.
+
     TypeScript in packages/framework/src/ implements this library.
+
     Urmodell types live in org.blockml.bml.bom.* (@blockml/bom).
+
     Membership is defined exclusively by this blocks list.
   </documentation>
 
-  <version>0.8.0</version>
+  <version>0.8.1</version>
 
   <language>
     <English />
@@ -89,8 +94,13 @@
         <fwconfig:FrameworkDiagnosticCodes />
         <fwcap:TypeRegistry />
         <fwcap:BootstrapTypeRegistry />
+        <fwcap:BootstrapFullProjectRegistry />
         <fwcap:DefaultBootstrapPaths />
         <fwcap:ResolveLibrarySeeds />
+        <fwcap:ProjectSourceRoots />
+        <fwcap:ProjectLibraryPackageRoots />
+        <fwcap:ProjectLibraryPackageDirs />
+        <fwcap:RegistryFilesUnderRoots />
         <fwcap:ForkBom />
         <fwcap:ResolveContracts />
         <fwcap:ResolveEffectiveMembers />
@@ -103,6 +113,7 @@
         <fwcap:RootFqnByFilePath />
         <fwcap:RootFqns />
         <fwcap:GetExportedFqns />
+        <fwcap:PeekLibraryTypeFqn />
         <fwcap:ValidateEmbeddedBlocks />
         <fwcap:ValidateInstances />
         <fwcap:ValidatePresets />

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

@@ -0,0 +1,62 @@
+<!--
+  Framework Capability — BootstrapFullProjectRegistry
+  FQN: org.blockml.bml.framework.capability.BootstrapFullProjectRegistry
+-->
+<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>BootstrapFullProjectRegistry</name>
+  <type>fwcap:BootstrapFullProjectRegistry</type>
+  <baseType>core:Capability</baseType>
+  <is>Bootstrap the same corpus as blockml validate --all</is>
+
+  <documentation>projectSourceRoots plus resolveLibrarySeeds, then bootstrapTypeRegistry. Resulting registry includes local project BML and the library graph (npm BlockML packages). Search and validate --all must use this entry point.</documentation>
+
+  <references>
+    <see type="fwcap:ProjectSourceRoots" relation="SeeAlso" />
+    <see type="fwcap:BootstrapTypeRegistry" relation="SeeAlso" />
+    <see type="fwcap:ResolveLibrarySeeds" relation="SeeAlso" />
+  </references>
+
+  <properties>
+    <rootDir type="type:Text">
+      <documentation>Project root. (required)</documentation>
+    </rootDir>
+    <srcDir type="type:Text">
+      <documentation>Default blocks. (optional)</documentation>
+    </srcDir>
+    <libraries type="type:Text[]">
+      <documentation>Extra Library.bml seeds (config.libraries / --libraries). (optional)</documentation>
+    </libraries>
+    <result type="fwregistry:BootstrapResult">
+      <documentation>result. TS type: fwregistry:BootstrapResult. (required)</documentation>
+    </result>
+  </properties>
+
+</block>

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

@@ -0,0 +1,54 @@
+<!--
+  Framework Capability — PeekLibraryTypeFqn
+  FQN: org.blockml.bml.framework.capability.PeekLibraryTypeFqn
+-->
+<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>PeekLibraryTypeFqn</name>
+  <type>fwcap:PeekLibraryTypeFqn</type>
+  <baseType>core:Capability</baseType>
+  <is>Root type FQN of a Library.bml file</is>
+
+  <documentation>Reads Library.bml and returns document.block.type, or undefined if the file is missing or invalid. Used to compare library identity across realpaths (workspace vs npm copy).</documentation>
+
+  <references>
+    <see type="fwcap:ResolveLibrarySeeds" relation="SeeAlso" />
+  </references>
+
+  <properties>
+    <libraryPath type="type:Text">
+      <documentation>libraryPath. TS type: type:Text. (required)</documentation>
+    </libraryPath>
+    <typeFqn type="type:Text">
+      <documentation>Library type FQN, or undefined. (optional)</documentation>
+    </typeFqn>
+  </properties>
+
+</block>

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

@@ -0,0 +1,50 @@
+<!--
+  Framework Capability — ProjectLibraryPackageDirs
+  FQN: org.blockml.bml.framework.capability.ProjectLibraryPackageDirs
+-->
+<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>ProjectLibraryPackageDirs</name>
+  <type>fwcap:ProjectLibraryPackageDirs</type>
+  <baseType>core:Capability</baseType>
+  <is>Package directories that declare blockml.library</is>
+
+  <documentation>This package and local packages/* that declare package.json blockml.library. Sorted, canonical, no node_modules walk.</documentation>
+
+  <properties>
+    <rootDir type="type:Text">
+      <documentation>Project root. (required)</documentation>
+    </rootDir>
+    <dirs type="type:Text[]">
+      <documentation>dirs. TS type: type:Text[]. (required)</documentation>
+    </dirs>
+  </properties>
+
+</block>

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

@@ -0,0 +1,50 @@
+<!--
+  Framework Capability — ProjectLibraryPackageRoots
+  FQN: org.blockml.bml.framework.capability.ProjectLibraryPackageRoots
+-->
+<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>ProjectLibraryPackageRoots</name>
+  <type>fwcap:ProjectLibraryPackageRoots</type>
+  <baseType>core:Capability</baseType>
+  <is>srcDir roots of local packages that declare blockml.library</is>
+
+  <documentation>Stricter than projectSourceRoots: config-only packages are omitted. Does not walk parent workspaces or node_modules.</documentation>
+
+  <properties>
+    <rootDir type="type:Text">
+      <documentation>Project root. (required)</documentation>
+    </rootDir>
+    <roots type="type:Text[]">
+      <documentation>roots. TS type: type:Text[]. (required)</documentation>
+    </roots>
+  </properties>
+
+</block>

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

@@ -0,0 +1,53 @@
+<!--
+  Framework Capability — ProjectSourceRoots
+  FQN: org.blockml.bml.framework.capability.ProjectSourceRoots
+-->
+<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>ProjectSourceRoots</name>
+  <type>fwcap:ProjectSourceRoots</type>
+  <baseType>core:Capability</baseType>
+  <is>Project-owned BML roots for this package plus local packages/*</is>
+
+  <documentation>This package's srcDir plus local packages/* BlockML modules (blockml.library or blockml.config.json). Does not walk parent workspaces or node_modules.</documentation>
+
+  <properties>
+    <rootDir type="type:Text">
+      <documentation>Project root. (required)</documentation>
+    </rootDir>
+    <srcDir type="type:Text">
+      <documentation>Default blocks. (optional)</documentation>
+    </srcDir>
+    <roots type="type:Text[]">
+      <documentation>roots. TS type: type:Text[]. (required)</documentation>
+    </roots>
+  </properties>
+
+</block>

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

@@ -0,0 +1,53 @@
+<!--
+  Framework Capability — RegistryFilesUnderRoots
+  FQN: org.blockml.bml.framework.capability.RegistryFilesUnderRoots
+-->
+<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>RegistryFilesUnderRoots</name>
+  <type>fwcap:RegistryFilesUnderRoots</type>
+  <baseType>core:Capability</baseType>
+  <is>Registry file paths whose realpath lies under given roots</is>
+
+  <documentation>Filters TypeRegistry document file paths to those under any of the given roots.</documentation>
+
+  <properties>
+    <registry type="fwcap:TypeRegistry">
+      <documentation>registry. TS type: fwcap:TypeRegistry. (required)</documentation>
+    </registry>
+    <roots type="type:Text[]">
+      <documentation>roots. TS type: type:Text[]. (required)</documentation>
+    </roots>
+    <files type="type:Text[]">
+      <documentation>files. TS type: type:Text[]. (required)</documentation>
+    </files>
+  </properties>
+
+</block>

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

@@ -41,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
@@ -56,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

@@ -55,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

@@ -69,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

@@ -56,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

@@ -49,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

@@ -52,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>

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

@@ -55,8 +55,8 @@
     Framework reads Definition types via TypeRegistry; does not duplicate grammar blocks.</documentation>
 
   <references>
-    <see type="fwdocumentation:ArchitectureOverview" relation="ReadNext"></see>
-    <see type="bomdocumentation:LayerSeparation" relation="SeeAlso"></see>
+    <see type="fwdocumentation:ArchitectureOverview" relation="ReadNext" />
+    <see type="bomdocumentation:LayerSeparation" relation="SeeAlso" />
   </references>
 
 </block>

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

@@ -52,8 +52,8 @@
     @blockml/cli — TypeRegistry bootstrap host and validate/compile orchestration.</documentation>
 
   <references>
-    <see type="fwdocumentation:ScopeExclusions" relation="ReadNext"></see>
-    <see type="bomdocumentation:PackageOwnership" relation="SeeAlso"></see>
+    <see type="fwdocumentation:ScopeExclusions" relation="ReadNext" />
+    <see type="bomdocumentation:PackageOwnership" relation="SeeAlso" />
   </references>
 
 </block>

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

@@ -37,16 +37,22 @@
   <baseType>core:Documentation</baseType>
   <is>Framework public exports from index.ts</is>
 
-  <documentation>Public exports from @blockml/framework (packages/framework/src/index.ts):
+  <documentation><![CDATA[Public exports from @blockml/framework (packages/framework/src/index.ts):
 
     TypeRegistry — class; register/get/has/keys/size on BomDocument index
     bootstrapTypeRegistry(options?) → BootstrapResult
+    bootstrapFullProjectRegistry({ rootDir, srcDir?, libraries? }) → BootstrapResult
     defaultBootstrapPaths(rootDir?) → string[]
     resolveLibrarySeeds(rootDir?, extras?) → string[]
+    projectSourceRoots(rootDir, srcDir?) → string[]
+    projectLibraryPackageRoots(rootDir) → string[]
+    projectLibraryPackageDirs(rootDir) → string[]
+    registryFilesUnderRoots(registry, roots) → string[]
+    peekLibraryTypeFqn(libraryPath) → string | undefined
     BootstrapOptions — paths?, libraryPaths?, rootDir?
     BootstrapResult — registry, diagnostics, exportsByLibrary?, trace?
     BootstrapTrace — corpusPaths, seeds, searchRoots, librariesVisited, skippedCoveredRoots
-    rootFqnByFilePath(registry) → Map&lt;filePath, rootFqn&gt;
+    rootFqnByFilePath(registry) → Map<filePath, rootFqn>
     forkBom(document) → BomDocument
     resolveEffectiveMembers(block, registry) → MemberDefinition[]
     resolveContracts(block, registry) → MemberDefinition[] (contract slice; used by resolveEffectiveMembers)
@@ -61,11 +67,11 @@
 
     Types: BootstrapResult, BootstrapTrace, BootstrapOptions, ExpressionNode, ParseExpressionResult, ParseExpressionOutcome
 
-    Not exported from index: getLiteralNumericValue (internal helper in validate-types.ts).</documentation>
+    Not exported from index: getLiteralNumericValue (internal helper in validate-types.ts).]]></documentation>
 
   <references>
-    <see type="fwdocumentation:TypeRegistryBootstrap" relation="ReadNext"></see>
-    <see type="bomapi:TypeRegistryReader" relation="SeeAlso"></see>
+    <see type="fwdocumentation:TypeRegistryBootstrap" relation="ReadNext" />
+    <see type="bomapi:TypeRegistryReader" relation="SeeAlso" />
   </references>
 
 </block>

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

@@ -49,7 +49,7 @@
     In scope: Stage-2 utilities on BomDocument with TypeRegistry-backed semantic checks.</documentation>
 
   <references>
-    <see type="fwdocumentation:Introduction" relation="SeeAlso"></see>
+    <see type="fwdocumentation:Introduction" relation="SeeAlso" />
   </references>
 
 </block>

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

@@ -45,8 +45,10 @@
     library — when options.libraryPaths is set, resolves each Library.bml dependency graph
     (dependencies, subLibraries) in order, then registers blocks from each library blocks root
     except trees already covered by options.paths (srcDir / corpus). Missing Library path →
-    BML_LIBRARY_RESOLVE_ERROR. Outer re-export of inner-only block →
-    BML_LIBRARY_NESTING_VIOLATION (minimal check).
+    BML_LIBRARY_RESOLVE_ERROR. Outer re-export of a block listed in a nested inner library's
+    blocks (via subLibraries, including transitive nested inners) →
+    BML_LIBRARY_NESTING_VIOLATION. Duplicate files of the same library type FQN are not
+    compared and are not loaded.
 
     defaultBootstrapPaths(rootDir?) returns BlockML srcDir roots for production
     npm dependencies (package.json dependencies + optionalDependencies) of the nearest
@@ -58,11 +60,18 @@
     resolveLibrarySeeds(rootDir, extras?) prepends package.json blockml.library, then
     extras (config.libraries / --libraries), deduped by realpath.
 
+    bootstrapFullProjectRegistry({ rootDir, srcDir?, libraries? }) is the shared
+    entry point for `blockml validate --all` and `@blockml/search`. It sets
+    corpus paths to projectSourceRoots (this package srcDir plus local packages/*
+    BlockML modules) and library seeds to resolveLibrarySeeds, then calls
+    bootstrapTypeRegistry. The resulting registry is the effective BML corpus:
+    local project files plus the library graph including npm BlockML packages.
+
     bootstrapTypeRegistry also indexes Library.bml under all BlockML packages found in
     node_modules and workspace packages/ along the directory walk (FQN search space).
-    First Library.bml wins per type FQN unless that file is the current library
-    (self-loop); then another file with the same type is used. node_modules is
-    indexed before workspace packages.
+    First visited Library.bml wins per type FQN; a second file with the same type is not
+    loaded (workspace Core vs an installed copy). node_modules is indexed before
+    workspace packages.
 
     BootstrapResult: { registry, diagnostics, exportsByLibrary?, trace? }
     trace lists corpusPaths, seeds, searchRoots (index only), librariesVisited, and
@@ -75,8 +84,8 @@
     selects library mode when typeRegistry is omitted.</documentation>
 
   <references>
-    <see type="fwdocumentation:EffectiveMembers" relation="ReadNext"></see>
-    <see type="fwcap:BootstrapTypeRegistry" relation="Defines"></see>
+    <see type="fwdocumentation:EffectiveMembers" relation="ReadNext" />
+    <see type="fwcap:BootstrapTypeRegistry" relation="Defines" />
   </references>
 
 </block>

package/blocks/org/blockml/bml/framework/expression/ObjectExpressionEntry.bml

@@ -36,7 +36,7 @@
   <baseType>framework:FrameworkType</baseType>
   <is>One key/value pair in an object expression</is>
 
-  <documentation>BML type gap: stands for TypeScript Record&lt;string, ExpressionNode&gt;. Core has no Map ValueType; this struct is the per-entry shape.</documentation>
+  <documentation><![CDATA[BML type gap: stands for TypeScript Record<string, ExpressionNode>. Core has no Map ValueType; this struct is the per-entry shape.]]></documentation>
 
   <properties>
     <key type="type:Text">

package/blocks/org/blockml/bml/framework/expression/ObjectExpressionNode.bml

@@ -36,7 +36,7 @@
   <baseType>fwexpression:ExpressionNode</baseType>
   <is>Object expression AST node</is>
 
-  <documentation>kind: object. entries: Record&lt;string, ExpressionNode&gt;.</documentation>
+  <documentation><![CDATA[kind: object. entries: Record<string, ExpressionNode>.]]></documentation>
 
   <properties>
     <kind type="type:Text">

package/dist/index.d.ts

@@ -1,7 +1,9 @@
 export { TypeRegistry } from "./registry/type-registry.js";
-export { bootstrapTypeRegistry, defaultBootstrapPaths, resolveLibrarySeeds, type BootstrapResult, type BootstrapOptions, type BootstrapTrace, } from "./registry/bootstrap.js";
+export { bootstrapTypeRegistry, bootstrapFullProjectRegistry, defaultBootstrapPaths, resolveLibrarySeeds, type BootstrapResult, type BootstrapOptions, type BootstrapTrace, } from "./registry/bootstrap.js";
+export { projectSourceRoots, projectLibraryPackageRoots, projectLibraryPackageDirs, registryFilesUnderRoots, } from "./registry/project-sources.js";
 export { rootFqnByFilePath, rootFqns } from "./registry/root-fqn.js";
 export { getExportedFqns } from "./registry/library-exports.js";
+export { peekLibraryTypeFqn } from "./registry/library-bootstrap.js";
 export { forkBom } from "./fork/fork-bom.js";
 export { resolveEffectiveMembers, resolveContracts, collectBaseTypeChain, memberIdentityKey, } from "./resolve/resolve-effective-members.js";
 export { parseExpression } from "./expression/parse-expression.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,mBAAmB,EACnB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,cAAc,GACpB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,YAAY,EACV,cAAc,EACd,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,aAAa,EACb,uBAAuB,EACvB,cAAc,GACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,mBAAmB,EACnB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,cAAc,GACpB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,YAAY,EACV,cAAc,EACd,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,aAAa,EACb,uBAAuB,EACvB,cAAc,GACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC"}

package/dist/index.js

@@ -1,7 +1,9 @@
 export { TypeRegistry } from "./registry/type-registry.js";
-export { bootstrapTypeRegistry, defaultBootstrapPaths, resolveLibrarySeeds, } from "./registry/bootstrap.js";
+export { bootstrapTypeRegistry, bootstrapFullProjectRegistry, defaultBootstrapPaths, resolveLibrarySeeds, } from "./registry/bootstrap.js";
+export { projectSourceRoots, projectLibraryPackageRoots, projectLibraryPackageDirs, registryFilesUnderRoots, } from "./registry/project-sources.js";
 export { rootFqnByFilePath, rootFqns } from "./registry/root-fqn.js";
 export { getExportedFqns } from "./registry/library-exports.js";
+export { peekLibraryTypeFqn } from "./registry/library-bootstrap.js";
 export { forkBom } from "./fork/fork-bom.js";
 export { resolveEffectiveMembers, resolveContracts, collectBaseTypeChain, memberIdentityKey, } from "./resolve/resolve-effective-members.js";
 export { parseExpression } from "./expression/parse-expression.js";

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,mBAAmB,GAIpB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAMnE,OAAO,EACL,aAAa,EACb,uBAAuB,EACvB,cAAc,GACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,mBAAmB,GAIpB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAMnE,OAAO,EACL,aAAa,EACb,uBAAuB,EACvB,cAAc,GACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC"}