@blockml/validator 0.4.0 → 0.6.0

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

@@ -35,7 +35,7 @@
     (@blockml/bom). Membership is defined exclusively by this blocks list.
   </documentation>
 
-  <version>0.4.0</version>
+  <version>0.6.0</version>
 
   <language>
     <English />
@@ -56,25 +56,23 @@
     <dependencies>
       <composition>
         <blockml:Library />
-      </composition>
-      <composition>
         <bom:Library />
-      </composition>
-      <composition>
         <framework:Library />
       </composition>
     </dependencies>
     <blocks>
-      <composition><validator:ValidatorType /></composition>
-      <composition><valcap:Validate /></composition>
-      <composition><valdocumentation:Introduction /></composition>
-      <composition><valdocumentation:LayerSeparation /></composition>
-      <composition><valdocumentation:ValidationPipeline /></composition>
-      <composition><valdocumentation:PublicApi /></composition>
-      <composition><valdocumentation:Diagnostics /></composition>
-      <composition><valdocumentation:PackageOwnership /></composition>
-      <composition><valdocumentation:ScopeExclusions /></composition>
-      <composition><valdocumentation:DesignDecisions /></composition>
+      <composition><validator:ValidatorType />
+        <valcap:Validate />
+        <valdocumentation:Introduction />
+        <valdocumentation:ValidityContract />
+        <valdocumentation:LayerSeparation />
+        <valdocumentation:ValidationPipeline />
+        <valdocumentation:PublicApi />
+        <valdocumentation:Diagnostics />
+        <valdocumentation:PackageOwnership />
+        <valdocumentation:ScopeExclusions />
+        <valdocumentation:DesignDecisions />
+      </composition>
     </blocks>
   </aggregations>
 

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

@@ -43,6 +43,9 @@
     Bootstrap modes: bootstrapPaths (corpus flat scan) or libraryPaths (Library.bml graph).
     validateVersions runs after validateTypes and before validateConstraints.
 
+    Unknown instance memberValues and unresolved type FQNs are errors (not warnings).
+    Missing libraries are errors. Domain types must be registered like framework types.
+
     No throw on validation failure — aligns with B26 sync diagnostic API across parser,
     serializer, validator, and compiler.</documentation>
 

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

@@ -39,10 +39,13 @@
     optional pragmaticModel. Consumed by @blockml/cli, @blockml/lsp (V2), and hosts.
 
     Validator never mutates the input Urmodell. Abort-on-error is a host concern — not
-    enforced inside the validator package.</documentation>
+    enforced inside the validator package.
+
+    Validity without XSD: well-formed XML + structural BML + semantic BML against a
+    complete TypeRegistry. CLI validate and LSP share this engine.</documentation>
 
   <references>
-    <see type="valdocumentation:LayerSeparation" relation="ReadNext"></see>
+    <see type="valdocumentation:ValidityContract" relation="ReadNext"></see>
     <see type="bomdocumentation:Introduction" relation="SeeAlso"></see>
   </references>
 

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

@@ -0,0 +1,55 @@
+<!--
+  Validator Documentation — ValidityContract
+  FQN: org.blockml.bml.compiler.validator.documentation.ValidityContract
+-->
+<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:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:fwdocumentation="org.blockml.bml.framework.documentation"
+  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:pardocumentation="org.blockml.bml.compiler.parser.documentation"
+  xmlns:doc="org.blockml.bml.documentation">
+
+  <name>ValidityContract</name>
+  <type>valdocumentation:ValidityContract</type>
+  <baseType>core:Documentation</baseType>
+  <is>What counts as valid BlockML without XSD</is>
+
+  <documentation>valid BlockML = well-formed XML + valid BML structure + valid BML semantics.
+
+    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.
+
+    Semantic checks (this package / framework): every type FQN must resolve in the
+    TypeRegistry or be a well-known primitive; instance typeFqn and memberValues keys
+    must match effective members. Unresolved references are errors. A missing library
+    is BML_LIBRARY_RESOLVE_ERROR — analogous to a Java class without its Maven artifact.
+
+    Structural/semantic errors are node-local: they set success=false but keep the BOM
+    (preserve-on-error). XML syntax errors may yield document null.
+
+    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>
+  </references>
+
+</block>

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@blockml/validator",
-  "version": "0.4.0",
+  "version": "0.6.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.4.0",
+    "@blockml/bom": "^0.6.0",
     "@blockml/core": "^1.0.5",
-    "@blockml/framework": "^0.4.0"
+    "@blockml/framework": "^0.6.0"
   },
   "engines": {
     "node": ">=20"