@blockml/validator 0.8.0 → 0.9.0

package/blocks/org/blockml/bml/compiler/validator/Library.bml

@@ -21,6 +21,7 @@
   xmlns:validator="org.blockml.bml.compiler.validator"
   xmlns:valcap="org.blockml.bml.compiler.validator.capability"
   xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation"
+  xmlns:valstyle="org.blockml.bml.compiler.validator.style"
   xmlns:bomdocumentation="org.blockml.bml.bom.documentation">
 
   <name>Library</name>
@@ -29,13 +30,16 @@
   <is>The BlockML Validator compiler package library catalog</is>
 
   <documentation>
+    # The BlockML Validator compiler package library catalog
+
     Canonical validator specification for BlockML Stage-2 — validate() orchestration
-    on BomDocument using @blockml/framework utilities. TypeScript in packages/validator/src/
+    on BomDocument using @blockml/framework utilities, plus the style catalog
+    (org.blockml.bml.compiler.validator.style.*). TypeScript in packages/validator/src/
     implements this library. Urmodell and API 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.9.0</version>
 
   <language>
     <English />
@@ -63,6 +67,15 @@
     <blocks>
       <composition><validator:ValidatorType />
         <valcap:Validate />
+        <valcap:ValidateStyle />
+        <valstyle:StyleRule />
+        <valstyle:StyleCheck />
+        <valstyle:PreferCDataWhenNeedsEscape />
+        <valstyle:PreferMarkdownStructure />
+        <valstyle:PreferEmptyElementSelfClosing />
+        <valstyle:CDataWhenEscaping />
+        <valstyle:MarkdownStructure />
+        <valstyle:EmptyElementSelfClosing />
         <valdocumentation:Introduction />
         <valdocumentation:ValidityContract />
         <valdocumentation:LayerSeparation />

package/blocks/org/blockml/bml/compiler/validator/capability/Validate.bml

@@ -27,7 +27,9 @@
   <baseType>core:Capability</baseType>
   <is>Public entry: BomDocument → ValidateResult (B26)</is>
 
-  <documentation>Orchestrates TypeRegistry bootstrap/injection, forkBom, validateTypes, and validateConstraints. Does not mutate input Urmodell.</documentation>
+  <documentation>Orchestrates TypeRegistry bootstrap/injection, forkBom, semantic framework
+    checks, and validateStyle. Does not mutate input Urmodell. Style diagnostics never
+    fail success.</documentation>
 
   <references>
     <see type="valdocumentation:PublicApi" relation="SeeAlso" />
@@ -36,6 +38,7 @@
     <see type="fwcap:ForkBom" relation="SeeAlso" />
     <see type="fwcap:ValidateTypes" relation="SeeAlso" />
     <see type="fwcap:ValidateConstraints" relation="SeeAlso" />
+    <see type="valcap:ValidateStyle" relation="SeeAlso" />
     <see type="fwcap:BootstrapTypeRegistry" relation="SeeAlso" />
   </references>
 

package/blocks/org/blockml/bml/compiler/validator/capability/ValidateStyle.bml

@@ -0,0 +1,47 @@
+<!--
+  Validator Capability — ValidateStyle
+  FQN: org.blockml.bml.compiler.validator.capability.ValidateStyle
+-->
+<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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:validator="org.blockml.bml.compiler.validator"
+  xmlns:valcap="org.blockml.bml.compiler.validator.capability"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation"
+  xmlns:valstyle="org.blockml.bml.compiler.validator.style">
+
+  <name>ValidateStyle</name>
+  <type>valcap:ValidateStyle</type>
+  <baseType>core:Capability</baseType>
+  <is>Run the BML style catalog against a BomDocument</is>
+
+  <documentation>Loads StyleRule documents from this package blocks/style/rule/, dispatches each
+    check type to a TypeScript interpreter, and returns diagnostics. Does not affect
+    success (warnings and recommendations only). Unknown check types emit
+    BML_STYLE_UNKNOWN_CHECK as info.</documentation>
+
+  <references>
+    <see type="valstyle:StyleRule" relation="SeeAlso" />
+    <see type="valcap:Validate" relation="SeeAlso" />
+  </references>
+
+  <properties>
+    <document type="bomdoc:BomDocument">
+      <documentation>document. TS type: bomdoc:BomDocument. (required)</documentation>
+    </document>
+    <result type="bomcommon:Diagnostic[]">
+      <documentation>Style diagnostics. TS type: bomcommon:Diagnostic[]. (required)</documentation>
+    </result>
+  </properties>
+
+</block>

package/blocks/org/blockml/bml/compiler/validator/documentation/DesignDecisions.bml

@@ -38,7 +38,10 @@
     LSP and incremental validation scenarios.
 
     success semantics: false when any diagnostic has severity === "error"; warnings
-    alone do not fail success.
+    and recommendations alone do not fail success.
+
+    Style catalog (validateStyle): BML StyleRule documents under style/rule/ are the SSOT.
+    Interpreters bind to StyleCheck type FQNs. Unknown checks emit BML_STYLE_UNKNOWN_CHECK.
 
     Bootstrap modes: bootstrapPaths (corpus flat scan) or libraryPaths (Library.bml graph).
     validateVersions runs after validateTypes and before validateConstraints.
@@ -50,7 +53,7 @@
     serializer, validator, and compiler.</documentation>
 
   <references>
-    <see type="valdocumentation:Diagnostics" relation="ReadNext"></see>
+    <see type="valdocumentation:Diagnostics" relation="ReadNext" />
   </references>
 
 </block>

package/blocks/org/blockml/bml/compiler/validator/documentation/Diagnostics.bml

@@ -31,19 +31,22 @@
   <is>Validator diagnostics and host abort policy</is>
 
   <documentation>The validator aggregates diagnostics from framework utilities (validateTypes,
-    validateConstraints) and bootstrap (when TypeRegistry is built inline).
+    validateConstraints), bootstrap (when TypeRegistry is built inline), and validateStyle.
 
     Diagnostic type: org.blockml.bml.bom.common.Diagnostic (shared across toolchain).
+    Style codes: BML_STYLE_PREFER_CDATA, BML_STYLE_PREFER_MARKDOWN,
+    BML_STYLE_EMPTY_ELEMENT_SELF_CLOSE, BML_STYLE_UNKNOWN_CHECK.
 
     Host policy: CLI, IDE, and other orchestrators decide whether error diagnostics
     block serialize, compile, or other downstream steps. The validator package does
     not enforce abort-on-error — it reports diagnostics and success flag only.
+    Style warnings and recommendations do not fail success.
 
     Cross-ref diagnostic codes: org.blockml.bml.framework.config.FrameworkDiagnosticCodes</documentation>
 
   <references>
-    <see type="fwconfig:FrameworkDiagnosticCodes" relation="SeeAlso"></see>
-    <see type="valdocumentation:PackageOwnership" relation="ReadNext"></see>
+    <see type="fwconfig:FrameworkDiagnosticCodes" relation="SeeAlso" />
+    <see type="valdocumentation:PackageOwnership" relation="ReadNext" />
   </references>
 
 </block>

package/blocks/org/blockml/bml/compiler/validator/documentation/Introduction.bml

@@ -47,8 +47,8 @@
     complete TypeRegistry. CLI validate and LSP share this engine.</documentation>
 
   <references>
-    <see type="valdocumentation:ValidityContract" relation="ReadNext"></see>
-    <see type="bomdocumentation:Introduction" relation="SeeAlso"></see>
+    <see type="valdocumentation:ValidityContract" relation="ReadNext" />
+    <see type="bomdocumentation:Introduction" relation="SeeAlso" />
   </references>
 
 </block>

package/blocks/org/blockml/bml/compiler/validator/documentation/LayerSeparation.bml

@@ -37,15 +37,15 @@
     validateTypes, validateConstraints, bootstrapTypeRegistry. Validator calls these;
     does not reimplement them.
 
-    org.blockml.bml.compiler.validator.* (this package) — validate() orchestration
-    and Stage-2 entry point contract only.
+    org.blockml.bml.compiler.validator.* (this package) — validate() orchestration,
+    style catalog (org.blockml.bml.compiler.validator.style.*), and Stage-2 entry point.
 
     org.blockml.bml.compiler.parser.* (@blockml/parser) — BML → BomDocument (Stage 1).
     Validator consumes parser output; does not call parse() directly (bootstrap is via framework).</documentation>
 
   <references>
-    <see type="valdocumentation:ValidationPipeline" relation="ReadNext"></see>
-    <see type="fwdocumentation:Introduction" relation="SeeAlso"></see>
+    <see type="valdocumentation:ValidationPipeline" relation="ReadNext" />
+    <see type="fwdocumentation:Introduction" relation="SeeAlso" />
   </references>
 
 </block>

package/blocks/org/blockml/bml/compiler/validator/documentation/PackageOwnership.bml

@@ -30,7 +30,8 @@
   <baseType>core:Documentation</baseType>
   <is>Toolchain package responsibilities for validation</is>
 
-  <documentation>@blockml/validator — validate() orchestration; ValidateResult assembly. Owns this BML library.
+  <documentation>@blockml/validator — validate() orchestration, style catalog, ValidateResult assembly.
+    Owns this BML library including org.blockml.bml.compiler.validator.style.*.
 
     @blockml/bom — Urmodell types, ValidateOptions/ValidateResult (B26), Diagnostic.
     Validator consumes; does not redefine.
@@ -43,8 +44,8 @@
     @blockml/cli — validate command host; may inject TypeRegistry or bootstrap paths.</documentation>
 
   <references>
-    <see type="valdocumentation:ScopeExclusions" relation="ReadNext"></see>
-    <see type="bomdocumentation:PackageOwnership" relation="SeeAlso"></see>
+    <see type="valdocumentation:ScopeExclusions" relation="ReadNext" />
+    <see type="bomdocumentation:PackageOwnership" relation="SeeAlso" />
   </references>
 
 </block>

package/blocks/org/blockml/bml/compiler/validator/documentation/PublicApi.bml

@@ -28,7 +28,8 @@
   <baseType>core:Documentation</baseType>
   <is>validate() entry point (B26)</is>
 
-  <documentation>validate(document: BomDocument, options?: ValidateOptions): ValidateResult
+  <documentation>    validate(document: BomDocument, options?: ValidateOptions): ValidateResult
+    validateStyle(document: BomDocument): Diagnostic[]
 
     ValidateOptions (owned by @blockml/bom):
     • typeRegistry — pre-built TypeRegistryReader / TypeRegistry instance (optional)
@@ -40,13 +41,18 @@
     • diagnostics — Diagnostic[]
     • success — false if any error-severity diagnostic
 
+    Style: validateStyle runs after semantic checks. Catalog SSOT lives under
+    org.blockml.bml.compiler.validator.style.*. Warnings and recommendations do not
+    fail success.
+
     Sync only; does not throw on validation errors. Host decides abort policy.</documentation>
 
   <references>
-    <see type="bomapi:ValidateOptions" relation="Defines"></see>
-    <see type="bomapi:ValidateResult" relation="Defines"></see>
-    <see type="valcap:Validate" relation="Defines"></see>
-    <see type="valdocumentation:DesignDecisions" relation="ReadNext"></see>
+    <see type="bomapi:ValidateOptions" relation="Defines" />
+    <see type="bomapi:ValidateResult" relation="Defines" />
+    <see type="valcap:Validate" relation="Defines" />
+    <see type="valcap:ValidateStyle" relation="Defines" />
+    <see type="valdocumentation:DesignDecisions" relation="ReadNext" />
   </references>
 
 </block>

package/blocks/org/blockml/bml/compiler/validator/documentation/ScopeExclusions.bml

@@ -31,8 +31,9 @@
   <documentation>Out of scope for @blockml/validator:
 
     • TypeRegistry implementation — @blockml/framework
-    • Individual validation rules — @blockml/framework (validateTypes, validateEmbeddedBlocks,
+    • Individual semantic validation rules — @blockml/framework (validateTypes, validateEmbeddedBlocks,
       validateInstances, validatePresets, validateVisibility, validateReadOnly, validateConstraints)
+    • Style/quality rules — in scope here (validateStyle + style catalog)
     • SCAD / MachineBlocks Stage-3 render validation
     • MemberGroups axis constraints (Category / AiUsage) — MachineBlocks-only; see docs/TODOs
     • parse() / serialize() — @blockml/parser / @blockml/serializer
@@ -40,10 +41,11 @@
     • CLI file I/O — @blockml/cli
     • Language BML corpus — @blockml/core (npm)
 
-    In scope: validate() orchestration on BomDocument with framework utilities.</documentation>
+    In scope: validate() orchestration on BomDocument with framework utilities and the
+    style catalog.</documentation>
 
   <references>
-    <see type="valdocumentation:Introduction" relation="SeeAlso"></see>
+    <see type="valdocumentation:Introduction" relation="SeeAlso" />
   </references>
 
 </block>

package/blocks/org/blockml/bml/compiler/validator/documentation/ValidationPipeline.bml

@@ -41,8 +41,9 @@
     8. validateVisibility(pragmaticModel, registry) → append diagnostics
     9. validateReadOnly(pragmaticModel, registry) → append diagnostics
     10. validateConstraints(pragmaticModel, registry) → append diagnostics
-    11. success = no diagnostic with severity === "error"
-    12. Return ValidateResult { pragmaticModel?, diagnostics, success }
+    11. validateStyle(pragmaticModel) → append warning/recommendation diagnostics
+    12. success = no diagnostic with severity === "error"
+    13. Return ValidateResult { pragmaticModel?, diagnostics, success }
 
     When continueOnError === false and success === false, pragmaticModel is omitted
     from the result (early return with diagnostics only).
@@ -51,8 +52,9 @@
     MemberGroups axis constraints (MB-only).</documentation>
 
   <references>
-    <see type="valdocumentation:PublicApi" relation="ReadNext"></see>
-    <see type="valcap:Validate" relation="Defines"></see>
+    <see type="valdocumentation:PublicApi" relation="ReadNext" />
+    <see type="valcap:Validate" relation="Defines" />
+    <see type="valcap:ValidateStyle" relation="SeeAlso" />
   </references>
 
 </block>

package/blocks/org/blockml/bml/compiler/validator/documentation/ValidityContract.bml

@@ -34,8 +34,9 @@
     CLI blockml validate and LSP analyzeDocument consume the same parse + validate engine.
     Generated XSD is a non-authoritative render-target projection and is not consulted.
 
-    Severity: error = not valid BlockML; warning = valid but problematic (deprecation);
-    info = hint. Unknown element, attribute, member, type, block, or missing library is error.
+    Severity: error = not valid BlockML; warning = valid but problematic (deprecation
+    or mechanical style); recommendation = quality improvement; info = hint.
+    Unknown element, attribute, member, type, block, or missing library is error.
 
     Semantic checks (this package / framework): every type FQN must resolve in the
     TypeRegistry or be a well-known primitive; instance typeFqn and memberValues keys
@@ -48,8 +49,8 @@
     Unknown instance members stay in memberValues plus BML_UNKNOWN_PROPERTY error.</documentation>
 
   <references>
-    <see type="pardocumentation:StructuralGrammar" relation="SeeAlso"></see>
-    <see type="valdocumentation:ValidationPipeline" relation="ReadNext"></see>
+    <see type="pardocumentation:StructuralGrammar" relation="SeeAlso" />
+    <see type="valdocumentation:ValidationPipeline" relation="ReadNext" />
   </references>
 
 </block>

package/blocks/org/blockml/bml/compiler/validator/style/PreferCDataWhenNeedsEscape.bml

@@ -0,0 +1,27 @@
+<!--
+  Validator Style Check — PreferCDataWhenNeedsEscape
+  FQN: org.blockml.bml.compiler.validator.style.PreferCDataWhenNeedsEscape
+-->
+<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:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:validator="org.blockml.bml.compiler.validator"
+  xmlns:valstyle="org.blockml.bml.compiler.validator.style">
+
+  <name>PreferCDataWhenNeedsEscape</name>
+  <type>valstyle:PreferCDataWhenNeedsEscape</type>
+  <baseType>valstyle:StyleCheck</baseType>
+  <is>Recommend CDATA when documentation text contains and or less-than</is>
+
+  <documentation><![CDATA[
+    Matches block-level documentation prose whose text contains & or <
+    and authoredCharacterDataForm is not cdata.
+  ]]></documentation>
+
+</block>

package/blocks/org/blockml/bml/compiler/validator/style/PreferEmptyElementSelfClosing.bml

@@ -0,0 +1,25 @@
+<!--
+  Validator Style Check — PreferEmptyElementSelfClosing
+  FQN: org.blockml.bml.compiler.validator.style.PreferEmptyElementSelfClosing
+-->
+<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:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:validator="org.blockml.bml.compiler.validator"
+  xmlns:valstyle="org.blockml.bml.compiler.validator.style">
+
+  <name>PreferEmptyElementSelfClosing</name>
+  <type>valstyle:PreferEmptyElementSelfClosing</type>
+  <baseType>valstyle:StyleCheck</baseType>
+  <is>Warn when an empty see reference is authored as a paired tag</is>
+
+  <documentation>Matches DocumentationReference with empty context and authoredEmptyElementForm paired
+    (see open-close with no body). Preferred form is self-closing.</documentation>
+
+</block>

package/blocks/org/blockml/bml/compiler/validator/style/PreferMarkdownStructure.bml

@@ -0,0 +1,25 @@
+<!--
+  Validator Style Check — PreferMarkdownStructure
+  FQN: org.blockml.bml.compiler.validator.style.PreferMarkdownStructure
+-->
+<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:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:validator="org.blockml.bml.compiler.validator"
+  xmlns:valstyle="org.blockml.bml.compiler.validator.style">
+
+  <name>PreferMarkdownStructure</name>
+  <type>valstyle:PreferMarkdownStructure</type>
+  <baseType>valstyle:StyleCheck</baseType>
+  <is>Recommend markdown structure for long block documentation</is>
+
+  <documentation>Matches block-level documentation longer than 280 characters with no blank
+    line, heading, or list marker. Short member documentation is out of scope.</documentation>
+
+</block>

package/blocks/org/blockml/bml/compiler/validator/style/StyleCheck.bml

@@ -0,0 +1,27 @@
+<!--
+  Validator Style — StyleCheck
+  FQN: org.blockml.bml.compiler.validator.style.StyleCheck
+-->
+<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:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:validator="org.blockml.bml.compiler.validator"
+  xmlns:valstyle="org.blockml.bml.compiler.validator.style">
+
+  <name>StyleCheck</name>
+  <type>valstyle:StyleCheck</type>
+  <baseType>validator:ValidatorType</baseType>
+  <is>Abstract marker for a style-check interpreter kind</is>
+
+  <documentation>Concrete check types bind to a TypeScript interpreter in validateStyle.
+    Unknown check types emit BML_STYLE_UNKNOWN_CHECK (info) and are skipped.</documentation>
+
+  <abstract>true</abstract>
+
+</block>

package/blocks/org/blockml/bml/compiler/validator/style/StyleRule.bml

@@ -0,0 +1,53 @@
+<!--
+  Validator Style — StyleRule
+  FQN: org.blockml.bml.compiler.validator.style.StyleRule
+-->
+<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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:validator="org.blockml.bml.compiler.validator"
+  xmlns:valstyle="org.blockml.bml.compiler.validator.style"
+  xmlns:valdocumentation="org.blockml.bml.compiler.validator.documentation">
+
+  <name>StyleRule</name>
+  <type>valstyle:StyleRule</type>
+  <baseType>validator:ValidatorType</baseType>
+  <is>Catalog entry for a BML authoring quality rule</is>
+
+  <documentation>SSOT for one style check. Concrete rules extend this type. validateStyle loads
+    rule documents from this package blocks/ and dispatches on check type FQN.
+    Warnings and recommendations never set ValidateResult.success to false.</documentation>
+
+  <properties>
+    <code type="type:Text">
+      <documentation>Diagnostic code, e.g. BML_STYLE_PREFER_CDATA. (required)</documentation>
+    </code>
+    <severity type="bomcommon:DiagnosticSeverity">
+      <documentation>warning or recommendation for v1 style rules. (required)</documentation>
+    </severity>
+    <appliesTo type="type:Text">
+      <documentation>Human-readable target, e.g. block documentation. (required)</documentation>
+    </appliesTo>
+    <message type="type:Text">
+      <documentation>Diagnostic message emitted on match. (required)</documentation>
+    </message>
+  </properties>
+
+  <aggregations>
+    <check>
+      <documentation>StyleCheck subtype that selects the TypeScript interpreter. (required)</documentation>
+      <composition>
+        <valstyle:StyleCheck />
+      </composition>
+    </check>
+  </aggregations>
+
+</block>

package/blocks/org/blockml/bml/compiler/validator/style/rule/CDataWhenEscaping.bml

@@ -0,0 +1,50 @@
+<!--
+  Validator Style Rule — CDataWhenEscaping
+  FQN: org.blockml.bml.compiler.validator.style.CDataWhenEscaping
+-->
+<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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:validator="org.blockml.bml.compiler.validator"
+  xmlns:valstyle="org.blockml.bml.compiler.validator.style">
+
+  <name>CDataWhenEscaping</name>
+  <type>valstyle:CDataWhenEscaping</type>
+  <baseType>valstyle:StyleRule</baseType>
+  <is>Recommend CDATA for documentation that needs XML escaping</is>
+
+  <documentation>Block-level documentation whose text contains markup characters should use CDATA
+    instead of entity escaping so humans can read the source.</documentation>
+
+  <properties>
+    <code override="true">
+      <value>BML_STYLE_PREFER_CDATA</value>
+    </code>
+    <severity override="true">
+      <value>recommendation</value>
+    </severity>
+    <appliesTo override="true">
+      <value>block documentation</value>
+    </appliesTo>
+    <message override="true">
+      <value>Use CDATA instead of XML entity escaping in documentation.</value>
+    </message>
+  </properties>
+
+  <aggregations>
+    <check>
+      <composition>
+        <valstyle:PreferCDataWhenNeedsEscape />
+      </composition>
+    </check>
+  </aggregations>
+
+</block>

package/blocks/org/blockml/bml/compiler/validator/style/rule/EmptyElementSelfClosing.bml

@@ -0,0 +1,50 @@
+<!--
+  Validator Style Rule — EmptyElementSelfClosing
+  FQN: org.blockml.bml.compiler.validator.style.EmptyElementSelfClosing
+-->
+<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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:validator="org.blockml.bml.compiler.validator"
+  xmlns:valstyle="org.blockml.bml.compiler.validator.style">
+
+  <name>EmptyElementSelfClosing</name>
+  <type>valstyle:EmptyElementSelfClosing</type>
+  <baseType>valstyle:StyleRule</baseType>
+  <is>Require self-closing form for empty see references</is>
+
+  <documentation>Empty see tags should be written as self-closing elements:
+    see with attributes and slash, not a paired open-close with no body.</documentation>
+
+  <properties>
+    <code override="true">
+      <value>BML_STYLE_EMPTY_ELEMENT_SELF_CLOSE</value>
+    </code>
+    <severity override="true">
+      <value>warning</value>
+    </severity>
+    <appliesTo override="true">
+      <value>empty see reference</value>
+    </appliesTo>
+    <message override="true">
+      <value>Write empty elements as self-closing tags.</value>
+    </message>
+  </properties>
+
+  <aggregations>
+    <check>
+      <composition>
+        <valstyle:PreferEmptyElementSelfClosing />
+      </composition>
+    </check>
+  </aggregations>
+
+</block>

package/blocks/org/blockml/bml/compiler/validator/style/rule/MarkdownStructure.bml

@@ -0,0 +1,50 @@
+<!--
+  Validator Style Rule — MarkdownStructure
+  FQN: org.blockml.bml.compiler.validator.style.MarkdownStructure
+-->
+<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:bomcommon="org.blockml.bml.bom.common"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:type="org.blockml.bml.type"
+  xmlns:validator="org.blockml.bml.compiler.validator"
+  xmlns:valstyle="org.blockml.bml.compiler.validator.style">
+
+  <name>MarkdownStructure</name>
+  <type>valstyle:MarkdownStructure</type>
+  <baseType>valstyle:StyleRule</baseType>
+  <is>Recommend markdown structure for long unstructured documentation</is>
+
+  <documentation>Long block-level documentation should use markdown headings, lists, or blank-line
+    paragraphs instead of a single run-on text block.</documentation>
+
+  <properties>
+    <code override="true">
+      <value>BML_STYLE_PREFER_MARKDOWN</value>
+    </code>
+    <severity override="true">
+      <value>recommendation</value>
+    </severity>
+    <appliesTo override="true">
+      <value>block documentation</value>
+    </appliesTo>
+    <message override="true">
+      <value>Structure long documentation with markdown (headings, lists, or paragraphs).</value>
+    </message>
+  </properties>
+
+  <aggregations>
+    <check>
+      <composition>
+        <valstyle:PreferMarkdownStructure />
+      </composition>
+    </check>
+  </aggregations>
+
+</block>

package/dist/index.d.ts

@@ -1,2 +1,3 @@
 export { validate } from "./validate.js";
+export { validateStyle } from "./validate-style.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/index.js

@@ -1,2 +1,3 @@
 export { validate } from "./validate.js";
+export { validateStyle } from "./validate-style.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/validate-style.d.ts

@@ -0,0 +1,10 @@
+import type { BomDocument, Diagnostic, DiagnosticSeverity } from "@blockml/bom";
+export interface StyleRuleRecord {
+    name: string;
+    code: string;
+    severity: DiagnosticSeverity;
+    message: string;
+    check: string;
+}
+export declare function validateStyle(document: BomDocument): Diagnostic[];
+//# sourceMappingURL=validate-style.d.ts.map

package/dist/validate-style.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-style.d.ts","sourceRoot":"","sources":["../src/validate-style.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAEV,WAAW,EACX,UAAU,EACV,kBAAkB,EAGnB,MAAM,cAAc,CAAC;AAItB,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AA2KD,wBAAgB,aAAa,CAAC,QAAQ,EAAE,WAAW,GAAG,UAAU,EAAE,CAmBjE"}

package/dist/validate-style.js

@@ -0,0 +1,149 @@
+import { existsSync, readdirSync, readFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { fileURLToPath } from "node:url";
+const MARKDOWN_MIN_LENGTH = 280;
+const FALLBACK_RULES = [
+    {
+        name: "CDataWhenEscaping",
+        code: "BML_STYLE_PREFER_CDATA",
+        severity: "recommendation",
+        message: "Use CDATA instead of XML entity escaping in documentation.",
+        check: "PreferCDataWhenNeedsEscape",
+    },
+    {
+        name: "MarkdownStructure",
+        code: "BML_STYLE_PREFER_MARKDOWN",
+        severity: "recommendation",
+        message: "Structure long documentation with markdown (headings, lists, or paragraphs).",
+        check: "PreferMarkdownStructure",
+    },
+    {
+        name: "EmptyElementSelfClosing",
+        code: "BML_STYLE_EMPTY_ELEMENT_SELF_CLOSE",
+        severity: "warning",
+        message: "Write empty elements as self-closing tags.",
+        check: "PreferEmptyElementSelfClosing",
+    },
+];
+function styleRuleDir() {
+    const here = dirname(fileURLToPath(import.meta.url));
+    return join(here, "..", "blocks/org/blockml/bml/compiler/validator/style/rule");
+}
+function propertyValue(source, name) {
+    const re = new RegExp(`<${name}\\b[\\s\\S]*?<value>([\\s\\S]*?)</value>`);
+    return source.match(re)?.[1]?.trim();
+}
+function checkTypeName(source) {
+    return source.match(/<check>[\s\S]*?<(?:[\w]+:)?(\w+)\s*\/>/)?.[1];
+}
+let cachedRules;
+function loadStyleCatalog() {
+    if (cachedRules) {
+        return cachedRules;
+    }
+    const dir = styleRuleDir();
+    if (!existsSync(dir)) {
+        cachedRules = FALLBACK_RULES;
+        return cachedRules;
+    }
+    const rules = [];
+    for (const entry of readdirSync(dir)) {
+        if (!entry.endsWith(".bml")) {
+            continue;
+        }
+        const text = readFileSync(join(dir, entry), "utf8");
+        const name = text.match(/<name>([^<]+)<\/name>/)?.[1]?.trim();
+        const code = propertyValue(text, "code");
+        const severity = propertyValue(text, "severity");
+        const message = propertyValue(text, "message");
+        const check = checkTypeName(text);
+        if (!name || !code || !severity || !message || !check) {
+            continue;
+        }
+        rules.push({ name, code, severity, message, check });
+    }
+    cachedRules = rules.length > 0 ? rules : FALLBACK_RULES;
+    return cachedRules;
+}
+function needsCData(text) {
+    return /[<&]/.test(text);
+}
+function hasMarkdownStructure(text) {
+    return (/\n\s*\n/.test(text) ||
+        /^#{1,6} /m.test(text) ||
+        /^(\s*[-*] |\s*\d+\. |\s*• )/m.test(text));
+}
+function loc(file, source) {
+    return source ?? { file, line: 1, column: 1 };
+}
+function styleDiag(rule, file, source) {
+    return {
+        severity: rule.severity,
+        code: rule.code,
+        message: rule.message,
+        source: loc(file, source),
+    };
+}
+function walkBlocks(block, visit) {
+    visit(block);
+    for (const sub of block.subBlocks) {
+        walkBlocks(sub, visit);
+    }
+    for (const emb of block.embeddedBlocks) {
+        walkBlocks(emb, visit);
+    }
+}
+function collectReferences(block) {
+    const refs = [...(block.references ?? [])];
+    for (const member of block.members) {
+        refs.push(...(member.references ?? []));
+    }
+    return refs;
+}
+function runPreferCData(rule, block, file, out) {
+    for (const prose of block.documentations ?? []) {
+        if (needsCData(prose.text) && prose.authoredCharacterDataForm !== "cdata") {
+            out.push(styleDiag(rule, file, prose.source));
+        }
+    }
+}
+function runPreferMarkdown(rule, block, file, out) {
+    for (const prose of block.documentations ?? []) {
+        if (prose.text.length > MARKDOWN_MIN_LENGTH && !hasMarkdownStructure(prose.text)) {
+            out.push(styleDiag(rule, file, prose.source));
+        }
+    }
+}
+function runPreferSelfClosing(rule, block, file, out) {
+    for (const ref of collectReferences(block)) {
+        if (ref.context.trim() === "" && ref.authoredEmptyElementForm === "paired") {
+            out.push(styleDiag(rule, file, ref.source));
+        }
+    }
+}
+const INTERPRETERS = {
+    PreferCDataWhenNeedsEscape: runPreferCData,
+    PreferMarkdownStructure: runPreferMarkdown,
+    PreferEmptyElementSelfClosing: runPreferSelfClosing,
+};
+export function validateStyle(document) {
+    const file = document.source.filePath;
+    const diagnostics = [];
+    for (const rule of loadStyleCatalog()) {
+        const run = INTERPRETERS[rule.check];
+        if (!run) {
+            diagnostics.push({
+                severity: "info",
+                code: "BML_STYLE_UNKNOWN_CHECK",
+                message: `Unknown style check type: ${rule.check}`,
+                source: { file, line: 1, column: 1 },
+            });
+            continue;
+        }
+        walkBlocks(document.block, (block) => {
+            run(rule, block, file, diagnostics);
+        });
+    }
+    return diagnostics;
+}
+//# sourceMappingURL=validate-style.js.map

package/dist/validate-style.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-style.js","sourceRoot":"","sources":["../src/validate-style.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAUzC,MAAM,mBAAmB,GAAG,GAAG,CAAC;AAUhC,MAAM,cAAc,GAAsB;IACxC;QACE,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,wBAAwB;QAC9B,QAAQ,EAAE,gBAAgB;QAC1B,OAAO,EAAE,4DAA4D;QACrE,KAAK,EAAE,4BAA4B;KACpC;IACD;QACE,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,2BAA2B;QACjC,QAAQ,EAAE,gBAAgB;QAC1B,OAAO,EAAE,8EAA8E;QACvF,KAAK,EAAE,yBAAyB;KACjC;IACD;QACE,IAAI,EAAE,yBAAyB;QAC/B,IAAI,EAAE,oCAAoC;QAC1C,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,4CAA4C;QACrD,KAAK,EAAE,+BAA+B;KACvC;CACF,CAAC;AAEF,SAAS,YAAY;IACnB,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,sDAAsD,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,IAAY;IACjD,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,IAAI,IAAI,0CAA0C,CAAC,CAAC;IAC1E,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,aAAa,CAAC,MAAc;IACnC,OAAO,MAAM,CAAC,KAAK,CAAC,wCAAwC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,IAAI,WAA0C,CAAC;AAE/C,SAAS,gBAAgB;IACvB,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,MAAM,GAAG,GAAG,YAAY,EAAE,CAAC;IAC3B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,WAAW,GAAG,cAAc,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,UAAU,CAAmC,CAAC;QACnF,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC;IACxD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,OAAO,CACL,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QACpB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QACtB,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED,SAAS,GAAG,CAAC,IAAY,EAAE,MAAuB;IAChD,OAAO,MAAM,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,SAAS,CAChB,IAAqB,EACrB,IAAY,EACZ,MAAuB;IAEvB,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAsB,EAAE,KAAmC;IAC7E,KAAK,CAAC,KAAK,CAAC,CAAC;IACb,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACvC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACzB,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAsB;IAC/C,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3C,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CACrB,IAAqB,EACrB,KAAsB,EACtB,IAAY,EACZ,GAAiB;IAEjB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,yBAAyB,KAAK,OAAO,EAAE,CAAC;YAC1E,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAqB,EACrB,KAAsB,EACtB,IAAY,EACZ,GAAiB;IAEjB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,mBAAmB,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjF,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAqB,EACrB,KAAsB,EACtB,IAAY,EACZ,GAAiB;IAEjB,KAAK,MAAM,GAAG,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,wBAAwB,KAAK,QAAQ,EAAE,CAAC;YAC3E,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,YAAY,GAQd;IACF,0BAA0B,EAAE,cAAc;IAC1C,uBAAuB,EAAE,iBAAiB;IAC1C,6BAA6B,EAAE,oBAAoB;CACpD,CAAC;AAEF,MAAM,UAAU,aAAa,CAAC,QAAqB;IACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC;IACtC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,6BAA6B,IAAI,CAAC,KAAK,EAAE;gBAClD,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;aACrC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;YACnC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAc,eAAe,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AA+B7F,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,WAAW,EACrB,OAAO,GAAE,eAAoB,GAC5B,cAAc,CA4ChB"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAc,eAAe,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAgC7F,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,WAAW,EACrB,OAAO,GAAE,eAAoB,GAC5B,cAAc,CA6ChB"}

package/dist/validate.js

@@ -1,3 +1,4 @@
+import { validateStyle } from "./validate-style.js";
 import { bootstrapTypeRegistry, forkBom, validateConstraints, validateEmbeddedBlocks, validateInstances, validatePresets, validateReadOnly, validateTypes, validateVersions, validateVisibility, TypeRegistry, } from "@blockml/framework";
 /** Bootstrap scan diagnostics apply to the corpus, not the document under validation. */
 function libraryBootstrapDiagnostics(bootstrap, options) {
@@ -37,6 +38,7 @@ export function validate(document, options = {}) {
         ...validateVisibility(pragmaticModel, registry),
         ...validateReadOnly(pragmaticModel, registry),
         ...validateConstraints(pragmaticModel, registry),
+        ...validateStyle(pragmaticModel),
     ];
     const success = !diagnostics.some((d) => d.severity === "error");
     if (!continueOnError && !success) {

package/dist/validate.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate.js","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AACA,OAAO,EACL,qBAAqB,EACrB,OAAO,EACP,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,YAAY,GAEb,MAAM,oBAAoB,CAAC;AAE5B,yFAAyF;AACzF,SAAS,2BAA2B,CAClC,SAA0B,EAC1B,OAAwB;IAExB,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;QAClC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,SAAS,CAAC,WAAW,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,2BAA2B;QACtC,CAAC,CAAC,IAAI,KAAK,+BAA+B,CAC7C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,QAAqB,EACrB,UAA2B,EAAE;IAE7B,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,KAAK,KAAK,CAAC;IAC1D,IAAI,QAAsB,CAAC;IAC3B,IAAI,oBAAoB,GAAiB,EAAE,CAAC;IAE5C,IAAI,OAAO,CAAC,YAAY,YAAY,YAAY,EAAE,CAAC;QACjD,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,MAAM,gBAAgB,GAIlB,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;YAC3B,gBAAgB,CAAC,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC;QAClD,CAAC;QACD,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACzB,gBAAgB,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;QACvD,CAAC;QACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;QAC1D,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QAC9B,oBAAoB,GAAG,2BAA2B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG;QAClB,GAAG,oBAAoB;QACvB,GAAG,aAAa,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC1C,GAAG,sBAAsB,CAAC,cAAc,CAAC;QACzC,GAAG,gBAAgB,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC7C,GAAG,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC9C,GAAG,eAAe,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC5C,GAAG,kBAAkB,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC/C,GAAG,gBAAgB,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC7C,GAAG,mBAAmB,CAAC,cAAc,EAAE,QAAQ,CAAC;KACjD,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAEjE,IAAI,CAAC,eAAe,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;IAClC,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;AAClD,CAAC"}
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EACL,qBAAqB,EACrB,OAAO,EACP,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,YAAY,GAEb,MAAM,oBAAoB,CAAC;AAE5B,yFAAyF;AACzF,SAAS,2BAA2B,CAClC,SAA0B,EAC1B,OAAwB;IAExB,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;QAClC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,SAAS,CAAC,WAAW,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,2BAA2B;QACtC,CAAC,CAAC,IAAI,KAAK,+BAA+B,CAC7C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,QAAqB,EACrB,UAA2B,EAAE;IAE7B,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,KAAK,KAAK,CAAC;IAC1D,IAAI,QAAsB,CAAC;IAC3B,IAAI,oBAAoB,GAAiB,EAAE,CAAC;IAE5C,IAAI,OAAO,CAAC,YAAY,YAAY,YAAY,EAAE,CAAC;QACjD,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,MAAM,gBAAgB,GAIlB,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;YAC3B,gBAAgB,CAAC,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC;QAClD,CAAC;QACD,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACzB,gBAAgB,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;QACvD,CAAC;QACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;QAC1D,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QAC9B,oBAAoB,GAAG,2BAA2B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG;QAClB,GAAG,oBAAoB;QACvB,GAAG,aAAa,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC1C,GAAG,sBAAsB,CAAC,cAAc,CAAC;QACzC,GAAG,gBAAgB,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC7C,GAAG,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC9C,GAAG,eAAe,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC5C,GAAG,kBAAkB,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC/C,GAAG,gBAAgB,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC7C,GAAG,mBAAmB,CAAC,cAAc,EAAE,QAAQ,CAAC;QAChD,GAAG,aAAa,CAAC,cAAc,CAAC;KACjC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAEjE,IAAI,CAAC,eAAe,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;IAClC,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;AAClD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@blockml/validator",
-  "version": "0.8.0",
+  "version": "0.9.0",
   "description": "BlockML validator — semantic validation of BOM documents",
   "license": "Apache-2.0",
   "repository": {
@@ -32,9 +32,9 @@
     "test": "vitest run packages/validator/test"
   },
   "dependencies": {
-    "@blockml/bom": "^0.8.0",
-    "@blockml/core": "^1.0.6",
-    "@blockml/framework": "^0.8.0"
+    "@blockml/bom": "^0.9.0",
+    "@blockml/core": "^1.0.9",
+    "@blockml/framework": "^0.9.0"
   },
   "engines": {
     "node": ">=20"