@blockml/framework 0.7.1 → 0.8.0

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>

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)

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>

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>

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>

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>

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>

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>

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>
@@ -39,10 +42,11 @@
     TypeRegistry — class; register/get/has/keys/size on BomDocument index
     bootstrapTypeRegistry(options?) → BootstrapResult
     defaultBootstrapPaths(rootDir?) → string[]
+    resolveLibrarySeeds(rootDir?, extras?) → string[]
     BootstrapOptions — paths?, libraryPaths?, rootDir?
+    BootstrapResult — registry, diagnostics, exportsByLibrary?, trace?
+    BootstrapTrace — corpusPaths, seeds, searchRoots, librariesVisited, skippedCoveredRoots
     rootFqnByFilePath(registry) → Map&lt;filePath, rootFqn&gt;
-    rootFqns(registry) → string[]
-    getExportedFqns(libraryPath, bootstrap, rootDir?) → Set&lt;string&gt; | undefined
     forkBom(document) → BomDocument
     resolveEffectiveMembers(block, registry) → MemberDefinition[]
     resolveContracts(block, registry) → MemberDefinition[] (contract slice; used by resolveEffectiveMembers)
@@ -50,17 +54,12 @@
     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>
 

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>

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,17 +43,32 @@
     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 →
+    (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).
 
-    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.
+
+    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.
+
+    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

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>BML type gap: stands for TypeScript Record&lt;string, ExpressionNode&gt;. 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>kind: object. entries: Record&lt;string, ExpressionNode&gt;.</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>