@blockml/validator 0.8.1 → 0.9.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (7) hide show
  1. package/blocks/org/blockml/bml/compiler/validator/Library.bml +1 -1
  2. package/blocks/org/blockml/bml/compiler/validator/documentation/Diagnostics.bml +2 -2
  3. package/blocks/org/blockml/bml/compiler/validator/documentation/ValidationPipeline.bml +8 -7
  4. package/dist/validate.d.ts.map +1 -1
  5. package/dist/validate.js +2 -1
  6. package/dist/validate.js.map +1 -1
  7. package/package.json +4 -4
package/blocks/org/blockml/bml/compiler/validator/Library.bml CHANGED
@@ -39,7 +39,7 @@
39
39
  (@blockml/bom). Membership is defined exclusively by this blocks list.
40
40
  </documentation>
41
41
 
42
- <version>0.8.1</version>
42
+ <version>0.9.1</version>
43
43
 
44
44
  <language>
45
45
  <English />
package/blocks/org/blockml/bml/compiler/validator/documentation/Diagnostics.bml CHANGED
@@ -30,8 +30,8 @@
30
30
  <baseType>core:Documentation</baseType>
31
31
  <is>Validator diagnostics and host abort policy</is>
32
32
 
33
- <documentation>The validator aggregates diagnostics from framework utilities (validateTypes,
34
- validateConstraints), bootstrap (when TypeRegistry is built inline), and validateStyle.
33
+ <documentation> The validator aggregates diagnostics from framework utilities (validateTypes,
34
+ validateConstraints, validateGenerics), bootstrap (when TypeRegistry is built inline), and validateStyle.
35
35
 
36
36
  Diagnostic type: org.blockml.bml.bom.common.Diagnostic (shared across toolchain).
37
37
  Style codes: BML_STYLE_PREFER_CDATA, BML_STYLE_PREFER_MARKDOWN,
package/blocks/org/blockml/bml/compiler/validator/documentation/ValidationPipeline.bml CHANGED
@@ -37,13 +37,14 @@
37
37
  4. validateEmbeddedBlocks(pragmaticModel) → append diagnostics
38
38
  5. validateVersions(pragmaticModel, registry) → append diagnostics
39
39
  6. validateInstances(pragmaticModel, registry) → append diagnostics
40
- 7. validatePresets(pragmaticModel, registry) → append diagnostics
41
- 8. validateVisibility(pragmaticModel, registry) → append diagnostics
42
- 9. validateReadOnly(pragmaticModel, registry) → append diagnostics
43
- 10. validateConstraints(pragmaticModel, registry) → append diagnostics
44
- 11. validateStyle(pragmaticModel) → append warning/recommendation diagnostics
45
- 12. success = no diagnostic with severity === "error"
46
- 13. Return ValidateResult { pragmaticModel?, diagnostics, success }
40
+ 7. validateGenerics(pragmaticModel, registry) → append diagnostics
41
+ 8. validatePresets(pragmaticModel, registry) → append diagnostics
42
+ 9. validateVisibility(pragmaticModel, registry) → append diagnostics
43
+ 10. validateReadOnly(pragmaticModel, registry) → append diagnostics
44
+ 11. validateConstraints(pragmaticModel, registry) → append diagnostics
45
+ 12. validateStyle(pragmaticModel) → append warning/recommendation diagnostics
46
+ 13. success = no diagnostic with severity === "error"
47
+ 14. Return ValidateResult { pragmaticModel?, diagnostics, success }
47
48
 
48
49
  When continueOnError === false and success === false, pragmaticModel is omitted
49
50
  from the result (early return with diagnostics only).
package/dist/validate.d.ts.map CHANGED
@@ -1 +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;AAgC7F,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,WAAW,EACrB,OAAO,GAAE,eAAoB,GAC5B,cAAc,CA6ChB"}
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;AAiC7F,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,WAAW,EACrB,OAAO,GAAE,eAAoB,GAC5B,cAAc,CA8ChB"}
package/dist/validate.js CHANGED
@@ -1,5 +1,5 @@
1
1
  import { validateStyle } from "./validate-style.js";
2
- import { bootstrapTypeRegistry, forkBom, validateConstraints, validateEmbeddedBlocks, validateInstances, validatePresets, validateReadOnly, validateTypes, validateVersions, validateVisibility, TypeRegistry, } from "@blockml/framework";
2
+ import { bootstrapTypeRegistry, forkBom, validateConstraints, validateEmbeddedBlocks, validateInstances, validateGenerics, validatePresets, validateReadOnly, validateTypes, validateVersions, validateVisibility, TypeRegistry, } from "@blockml/framework";
3
3
  /** Bootstrap scan diagnostics apply to the corpus, not the document under validation. */
4
4
  function libraryBootstrapDiagnostics(bootstrap, options) {
5
5
  if (!options.libraryPaths?.length) {
@@ -34,6 +34,7 @@ export function validate(document, options = {}) {
34
34
  ...validateEmbeddedBlocks(pragmaticModel),
35
35
  ...validateVersions(pragmaticModel, registry),
36
36
  ...validateInstances(pragmaticModel, registry),
37
+ ...validateGenerics(pragmaticModel, registry),
37
38
  ...validatePresets(pragmaticModel, registry),
38
39
  ...validateVisibility(pragmaticModel, registry),
39
40
  ...validateReadOnly(pragmaticModel, registry),
package/dist/validate.js.map CHANGED
@@ -1 +1 @@
1
- {"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"}
1
+ {"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,gBAAgB,EAChB,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,gBAAgB,CAAC,cAAc,EAAE,QAAQ,CAAC;QAC7C,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 CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@blockml/validator",
3
- "version": "0.8.1",
3
+ "version": "0.9.1",
4
4
  "description": "BlockML validator — semantic validation of BOM documents",
5
5
  "license": "Apache-2.0",
6
6
  "repository": {
@@ -32,9 +32,9 @@
32
32
  "test": "vitest run packages/validator/test"
33
33
  },
34
34
  "dependencies": {
35
- "@blockml/bom": "^0.8.1",
36
- "@blockml/core": "^1.0.6",
37
- "@blockml/framework": "^0.8.1"
35
+ "@blockml/bom": "^0.9.1",
36
+ "@blockml/core": "^1.0.10",
37
+ "@blockml/framework": "^0.9.1"
38
38
  },
39
39
  "engines": {
40
40
  "node": ">=20"