@blockml/framework 0.7.1 → 0.8.1

package/blocks/org/blockml/bml/framework/documentation/LayerSeparation.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>LayerSeparation</name>
@@ -52,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

@@ -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>PackageOwnership</name>
@@ -49,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

@@ -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>PublicApi</name>
@@ -34,15 +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?
-    rootFqnByFilePath(registry) → Map&lt;filePath, rootFqn&gt;
-    rootFqns(registry) → string[]
-    getExportedFqns(libraryPath, bootstrap, rootDir?) → Set&lt;string&gt; | undefined
+    BootstrapResult — registry, diagnostics, exportsByLibrary?, trace?
+    BootstrapTrace — corpusPaths, seeds, searchRoots, librariesVisited, skippedCoveredRoots
+    rootFqnByFilePath(registry) → Map<filePath, rootFqn>
     forkBom(document) → BomDocument
     resolveEffectiveMembers(block, registry) → MemberDefinition[]
     resolveContracts(block, registry) → MemberDefinition[] (contract slice; used by resolveEffectiveMembers)
@@ -50,23 +60,18 @@
     memberIdentityKey(member) → string
     parseExpression(source) → ParseExpressionOutcome
     validateTypes(document, registry) → Diagnostic[]
-    validateEmbeddedBlocks(document) → Diagnostic[]
     validateVersions(document, registry) → Diagnostic[]
-    validateInstances(document, registry) → Diagnostic[]
-    validatePresets(document, registry) → Diagnostic[]
-    validateVisibility(document, registry) → Diagnostic[]
-    validateReadOnly(document, registry) → Diagnostic[]
     validateConstraints(document, registry) → Diagnostic[]
     getPropertyNumericValue(property) → number | undefined
     isLiteralValue(value) → boolean
 
-    Types: BootstrapResult, BootstrapOptions, ExpressionNode, ParseExpressionResult, ParseExpressionOutcome
+    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

@@ -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>ScopeExclusions</name>
@@ -46,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

@@ -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>TypeRegistryBootstrap</name>
@@ -40,25 +43,49 @@
     parses via @blockml/parser parse(), registers each document root block.
 
     library — when options.libraryPaths is set, resolves each Library.bml dependency graph
-    (dependencies, subLibraries) in order, then registers blocks from each library blocks root.
-    Missing Library path → BML_LIBRARY_RESOLVE_ERROR. Outer re-export of inner-only block →
-    BML_LIBRARY_NESTING_VIOLATION (minimal check).
+    (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 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:
-    • node_modules/@blockml/core/blocks
-    • node_modules/@machineblocks/core/blocks
+    defaultBootstrapPaths(rootDir?) returns BlockML srcDir roots for production
+    npm dependencies (package.json dependencies + optionalDependencies) of the nearest
+    package, resolved via node_modules walk-up. Used as corpus fallback when no paths
+    are given. A BlockML package is identified by blockml.library or blockml.config.json;
+    its source root is srcDir (default "blocks", override only in that package's
+    blockml.config.json).
 
-    BootstrapResult: { registry: TypeRegistry, diagnostics: Diagnostic[] }
-    Read errors emit BML_BOOTSTRAP_READ_ERROR (warning). Parse diagnostics are collected
-    but do not stop registration of successfully parsed documents.
+    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 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
+    skippedCoveredRoots. Read errors emit BML_BOOTSTRAP_READ_ERROR (warning). Parse
+    diagnostics are collected but do not stop registration of successfully parsed
+    documents.
 
     Hosts (@blockml/cli, @blockml/validator) may inject a pre-built TypeRegistry via
     ValidateOptions.typeRegistry instead of bootstrapping. ValidateOptions.libraryPaths
     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/ArrayExpressionNode.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>ArrayExpressionNode</name>
   <type>fwexpression:ArrayExpressionNode</type>

package/blocks/org/blockml/bml/framework/expression/BinaryExpressionNode.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>BinaryExpressionNode</name>
   <type>fwexpression:BinaryExpressionNode</type>

package/blocks/org/blockml/bml/framework/expression/CallExpressionNode.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>CallExpressionNode</name>
   <type>fwexpression:CallExpressionNode</type>

package/blocks/org/blockml/bml/framework/expression/ExpressionNode.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>ExpressionNode</name>
   <type>fwexpression:ExpressionNode</type>

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

@@ -26,22 +26,25 @@
   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>LiteralExpressionNode</name>
   <type>fwexpression:LiteralExpressionNode</type>
   <baseType>fwexpression:ExpressionNode</baseType>
   <is>Literal expression AST node</is>
 
-  <documentation>kind: literal. value: string | number | boolean | null.</documentation>
+  <documentation>kind: literal. value: string | number | boolean | null. BML union covers primitives; null is documented only.</documentation>
 
   <properties>
     <kind type="type:Text">
       <documentation>kind. TS type: type:Text. (required)</documentation>
       <value>literal</value>
     </kind>
-    <value type="core:Any">
-      <documentation>value. TS type: core:Any. (required)</documentation>
+    <value type="type:Text | type:Integer | type:Decimal | type:Boolean">
+      <documentation>BML type gap: TS string | number | boolean | null. Union covers primitive cases; null is documented only. (required)</documentation>
     </value>
   </properties>
 

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

@@ -0,0 +1,50 @@
+<!--
+  Framework — ObjectExpressionEntry
+  FQN: org.blockml.bml.framework.expression.ObjectExpressionEntry
+-->
+<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>ObjectExpressionEntry</name>
+  <type>fwexpression:ObjectExpressionEntry</type>
+  <baseType>framework:FrameworkType</baseType>
+  <is>One key/value pair in an object expression</is>
+
+  <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">
+      <documentation>key. TS type: type:Text. (required)</documentation>
+    </key>
+    <value type="fwexpression:ExpressionNode">
+      <documentation>value. TS type: fwexpression:ExpressionNode. (required)</documentation>
+    </value>
+  </properties>
+
+</block>

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

@@ -26,22 +26,25 @@
   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>ObjectExpressionNode</name>
   <type>fwexpression:ObjectExpressionNode</type>
   <baseType>fwexpression:ExpressionNode</baseType>
   <is>Object expression AST node</is>
 
-  <documentation>kind: object. entries: Record<string, ExpressionNode>.</documentation>
+  <documentation><![CDATA[kind: object. entries: Record<string, ExpressionNode>.]]></documentation>
 
   <properties>
     <kind type="type:Text">
       <documentation>kind. TS type: type:Text. (required)</documentation>
       <value>object</value>
     </kind>
-    <entries type="core:Any">
-      <documentation>Record<string, ExpressionNode>. (required)</documentation>
+    <entries type="fwexpression:ObjectExpressionEntry[]">
+      <documentation>BML type gap: TS Record&lt;string, ExpressionNode&gt;. (required)</documentation>
     </entries>
   </properties>
 

package/blocks/org/blockml/bml/framework/expression/ParseExpressionError.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>ParseExpressionError</name>
   <type>fwexpression:ParseExpressionError</type>

package/blocks/org/blockml/bml/framework/expression/ParseExpressionOutcome.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>ParseExpressionOutcome</name>
   <type>fwexpression:ParseExpressionOutcome</type>

package/blocks/org/blockml/bml/framework/expression/ParseExpressionResult.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>ParseExpressionResult</name>
   <type>fwexpression:ParseExpressionResult</type>

package/blocks/org/blockml/bml/framework/expression/PropertyExpressionNode.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>PropertyExpressionNode</name>
   <type>fwexpression:PropertyExpressionNode</type>

package/blocks/org/blockml/bml/framework/registry/BootstrapOptions.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>BootstrapOptions</name>
   <type>fwregistry:BootstrapOptions</type>

package/blocks/org/blockml/bml/framework/registry/BootstrapResult.bml

@@ -26,17 +26,17 @@
   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>BootstrapResult</name>
   <type>fwregistry:BootstrapResult</type>
   <baseType>framework:FrameworkType</baseType>
   <is>Result of bootstrapTypeRegistry corpus walk</is>
 
-  <documentation>Returned by fwcap:BootstrapTypeRegistry. Registry may be partially populated when diagnostics are present.
-
-    exportsByLibrary — optional Map from absolute Library.bml path to exported block FQNs;
-    present only when bootstrap used libraryPaths mode.</documentation>
+  <documentation>Returned by fwcap:BootstrapTypeRegistry. Registry may be partially populated when diagnostics are present. exportsByLibrary is set in libraryPaths mode. trace lists corpus, seeds, search index, visited libraries, and skipped covered roots.</documentation>
 
   <properties>
     <registry type="fwcap:TypeRegistry">
@@ -48,6 +48,9 @@
     <exportsByLibrary type="type:Text">
       <documentation>exportsByLibrary — Map&lt;libraryPath, Set&lt;exportedFqn&gt;&gt; when libraryPaths bootstrap. (optional)</documentation>
     </exportsByLibrary>
+    <trace type="fwregistry:BootstrapTrace">
+      <documentation>Bootstrap source trace for hosts such as CLI --verbose. (optional)</documentation>
+    </trace>
   </properties>
 
 </block>

package/blocks/org/blockml/bml/framework/registry/BootstrapTrace.bml

@@ -0,0 +1,59 @@
+<!--
+  Framework — BootstrapTrace
+  FQN: org.blockml.bml.framework.registry.BootstrapTrace
+-->
+<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>BootstrapTrace</name>
+  <type>fwregistry:BootstrapTrace</type>
+  <baseType>framework:FrameworkType</baseType>
+  <is>Resolved bootstrap sources for tracing</is>
+
+  <documentation>corpusPaths — scanned corpus roots. seeds — libraryPaths used. searchRoots — discovery index (not a corpus dump). librariesVisited — graph order. skippedCoveredRoots — library trees skipped because they sit inside corpus srcDir.</documentation>
+
+  <properties>
+    <corpusPaths type="type:Text[]">
+      <documentation>corpusPaths. TS type: type:Text[]. (required)</documentation>
+    </corpusPaths>
+    <seeds type="type:Text[]">
+      <documentation>seeds. TS type: type:Text[]. (required)</documentation>
+    </seeds>
+    <searchRoots type="type:Text[]">
+      <documentation>searchRoots. TS type: type:Text[]. (required)</documentation>
+    </searchRoots>
+    <librariesVisited type="type:Text[]">
+      <documentation>librariesVisited. TS type: type:Text[]. (required)</documentation>
+    </librariesVisited>
+    <skippedCoveredRoots type="type:Text[]">
+      <documentation>skippedCoveredRoots. TS type: type:Text[]. (required)</documentation>
+    </skippedCoveredRoots>
+  </properties>
+
+</block>

package/dist/index.d.ts

@@ -1,7 +1,9 @@
 export { TypeRegistry } from "./registry/type-registry.js";
-export { bootstrapTypeRegistry, defaultBootstrapPaths, type BootstrapResult, type BootstrapOptions, } 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,KAAK,eAAe,EACpB,KAAK,gBAAgB,GACtB,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, } 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,GAGtB,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"}

package/dist/registry/bootstrap.d.ts

@@ -8,12 +8,38 @@ export interface BootstrapOptions {
     /** Working directory for relative paths. */
     rootDir?: string;
 }
+/**
+ * Corpus fallback: BlockML packages among the nearest package.json production
+ * dependencies (dependencies + optionalDependencies), resolved via node_modules.
+ */
 export declare function defaultBootstrapPaths(rootDir?: string): string[];
+/**
+ * Library graph seeds for this package: package.json blockml.library first,
+ * then extras (config.libraries or --libraries). Deduped by realpath.
+ */
+export declare function resolveLibrarySeeds(rootDir?: string, extras?: string[]): string[];
+export interface BootstrapTrace {
+    corpusPaths: string[];
+    seeds: string[];
+    searchRoots: string[];
+    librariesVisited: string[];
+    skippedCoveredRoots: string[];
+}
 export interface BootstrapResult {
     registry: TypeRegistry;
     diagnostics: Diagnostic[];
     /** Present when bootstrap used libraryPaths mode. */
     exportsByLibrary?: Map<string, Set<string>>;
+    trace?: BootstrapTrace;
 }
+/**
+ * Same corpus as `blockml validate --all`: project source roots plus the
+ * resolved library graph (including npm BlockML packages).
+ */
+export declare function bootstrapFullProjectRegistry(options: {
+    rootDir: string;
+    srcDir?: string;
+    libraries?: string[];
+}): BootstrapResult;
 export declare function bootstrapTypeRegistry(optionsOrPaths?: BootstrapOptions | string[], rootDirArg?: string): BootstrapResult;
 //# sourceMappingURL=bootstrap.d.ts.map

package/dist/registry/bootstrap.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bootstrap.d.ts","sourceRoot":"","sources":["../../src/registry/bootstrap.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAMlD,MAAM,WAAW,gBAAgB;IAC/B,uCAAuC;IACvC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,uDAAuD;IACvD,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,4CAA4C;IAC5C,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,wBAAgB,qBAAqB,CAAC,OAAO,SAAgB,GAAG,MAAM,EAAE,CAKvE;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,YAAY,CAAC;IACvB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,qDAAqD;IACrD,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;CAC7C;AAeD,wBAAgB,qBAAqB,CACnC,cAAc,CAAC,EAAE,gBAAgB,GAAG,MAAM,EAAE,EAC5C,UAAU,CAAC,EAAE,MAAM,GAClB,eAAe,CAoCjB"}
+{"version":3,"file":"bootstrap.d.ts","sourceRoot":"","sources":["../../src/registry/bootstrap.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAalD,MAAM,WAAW,gBAAgB;IAC/B,uCAAuC;IACvC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,uDAAuD;IACvD,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,4CAA4C;IAC5C,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAuHD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,SAAgB,GAAG,MAAM,EAAE,CAwBvE;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,SAAgB,EAAE,MAAM,GAAE,MAAM,EAAO,GAAG,MAAM,EAAE,CA0B5F;AAED,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,mBAAmB,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,YAAY,CAAC;IACvB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,qDAAqD;IACrD,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5C,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB;AAeD;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,OAAO,EAAE;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB,GAAG,eAAe,CAYlB;AAED,wBAAgB,qBAAqB,CACnC,cAAc,CAAC,EAAE,gBAAgB,GAAG,MAAM,EAAE,EAC5C,UAAU,CAAC,EAAE,MAAM,GAClB,eAAe,CA4DjB"}