@primmel/primmel 1.6.1 → 1.8.0

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 (165) hide show
  1. package/dist/index.d.ts +1 -1
  2. package/dist/index.d.ts.map +1 -1
  3. package/dist/index.js +4 -2
  4. package/dist/index.js.map +1 -1
  5. package/dist/src/check-rules.d.ts +1 -1
  6. package/dist/src/check-rules.d.ts.map +1 -1
  7. package/dist/src/check-rules.js +24 -2
  8. package/dist/src/check-rules.js.map +1 -1
  9. package/dist/src/check.d.ts.map +1 -1
  10. package/dist/src/check.js +204 -0
  11. package/dist/src/check.js.map +1 -1
  12. package/dist/src/ser-des/config/artifact.d.ts.map +1 -1
  13. package/dist/src/ser-des/config/artifact.js +8 -0
  14. package/dist/src/ser-des/config/artifact.js.map +1 -1
  15. package/dist/src/ser-des/config/calculation.d.ts.map +1 -1
  16. package/dist/src/ser-des/config/calculation.js +9 -0
  17. package/dist/src/ser-des/config/calculation.js.map +1 -1
  18. package/dist/src/ser-des/config/competenceKind.d.ts.map +1 -1
  19. package/dist/src/ser-des/config/competenceKind.js +10 -1
  20. package/dist/src/ser-des/config/competenceKind.js.map +1 -1
  21. package/dist/src/ser-des/config/conformanceTest.d.ts.map +1 -1
  22. package/dist/src/ser-des/config/conformanceTest.js +6 -0
  23. package/dist/src/ser-des/config/conformanceTest.js.map +1 -1
  24. package/dist/src/ser-des/config/constraint.d.ts.map +1 -1
  25. package/dist/src/ser-des/config/constraint.js +10 -1
  26. package/dist/src/ser-des/config/constraint.js.map +1 -1
  27. package/dist/src/ser-des/config/correspondence.d.ts +19 -0
  28. package/dist/src/ser-des/config/correspondence.d.ts.map +1 -0
  29. package/dist/src/ser-des/config/correspondence.js +107 -0
  30. package/dist/src/ser-des/config/correspondence.js.map +1 -0
  31. package/dist/src/ser-des/config/data.d.ts.map +1 -1
  32. package/dist/src/ser-des/config/data.js +4 -2
  33. package/dist/src/ser-des/config/data.js.map +1 -1
  34. package/dist/src/ser-des/config/dataspace.d.ts +9 -0
  35. package/dist/src/ser-des/config/dataspace.d.ts.map +1 -0
  36. package/dist/src/ser-des/config/dataspace.js +269 -0
  37. package/dist/src/ser-des/config/dataspace.js.map +1 -0
  38. package/dist/src/ser-des/config/field-parser.d.ts.map +1 -1
  39. package/dist/src/ser-des/config/field-parser.js +11 -0
  40. package/dist/src/ser-des/config/field-parser.js.map +1 -1
  41. package/dist/src/ser-des/config/form.d.ts.map +1 -1
  42. package/dist/src/ser-des/config/form.js +8 -0
  43. package/dist/src/ser-des/config/form.js.map +1 -1
  44. package/dist/src/ser-des/config/formulasUsed.d.ts.map +1 -1
  45. package/dist/src/ser-des/config/formulasUsed.js +6 -0
  46. package/dist/src/ser-des/config/formulasUsed.js.map +1 -1
  47. package/dist/src/ser-des/config/index.d.ts.map +1 -1
  48. package/dist/src/ser-des/config/index.js +10 -0
  49. package/dist/src/ser-des/config/index.js.map +1 -1
  50. package/dist/src/ser-des/config/packageManifest.d.ts.map +1 -1
  51. package/dist/src/ser-des/config/packageManifest.js +10 -0
  52. package/dist/src/ser-des/config/packageManifest.js.map +1 -1
  53. package/dist/src/ser-des/config/policy.d.ts +9 -0
  54. package/dist/src/ser-des/config/policy.d.ts.map +1 -0
  55. package/dist/src/ser-des/config/policy.js +192 -0
  56. package/dist/src/ser-des/config/policy.js.map +1 -0
  57. package/dist/src/ser-des/config/process.d.ts.map +1 -1
  58. package/dist/src/ser-des/config/process.js +6 -0
  59. package/dist/src/ser-des/config/process.js.map +1 -1
  60. package/dist/src/ser-des/config/referenceMaterial.d.ts.map +1 -1
  61. package/dist/src/ser-des/config/referenceMaterial.js +6 -0
  62. package/dist/src/ser-des/config/referenceMaterial.js.map +1 -1
  63. package/dist/src/ser-des/config/requirement.d.ts.map +1 -1
  64. package/dist/src/ser-des/config/requirement.js +8 -0
  65. package/dist/src/ser-des/config/requirement.js.map +1 -1
  66. package/dist/src/ser-des/config/subject.d.ts.map +1 -1
  67. package/dist/src/ser-des/config/subject.js +37 -0
  68. package/dist/src/ser-des/config/subject.js.map +1 -1
  69. package/dist/src/ser-des/config/symbol.d.ts.map +1 -1
  70. package/dist/src/ser-des/config/symbol.js +10 -2
  71. package/dist/src/ser-des/config/symbol.js.map +1 -1
  72. package/dist/src/ser-des/config/table.d.ts.map +1 -1
  73. package/dist/src/ser-des/config/table.js +10 -1
  74. package/dist/src/ser-des/config/table.js.map +1 -1
  75. package/dist/src/ser-des/config/term.d.ts.map +1 -1
  76. package/dist/src/ser-des/config/term.js +9 -0
  77. package/dist/src/ser-des/config/term.js.map +1 -1
  78. package/dist/src/ser-des/config/testPointSet.d.ts.map +1 -1
  79. package/dist/src/ser-des/config/testPointSet.js +6 -0
  80. package/dist/src/ser-des/config/testPointSet.js.map +1 -1
  81. package/dist/src/ser-des/config/testSequence.d.ts.map +1 -1
  82. package/dist/src/ser-des/config/testSequence.js +8 -0
  83. package/dist/src/ser-des/config/testSequence.js.map +1 -1
  84. package/dist/src/ser-des/config/trustRef.d.ts +13 -0
  85. package/dist/src/ser-des/config/trustRef.d.ts.map +1 -0
  86. package/dist/src/ser-des/config/trustRef.js +51 -0
  87. package/dist/src/ser-des/config/trustRef.js.map +1 -0
  88. package/dist/src/ser-des/config/verdict.d.ts.map +1 -1
  89. package/dist/src/ser-des/config/verdict.js +7 -0
  90. package/dist/src/ser-des/config/verdict.js.map +1 -1
  91. package/dist/src/ser-des/index.d.ts +1 -1
  92. package/dist/src/ser-des/index.d.ts.map +1 -1
  93. package/dist/src/ser-des/index.js +3 -1
  94. package/dist/src/ser-des/index.js.map +1 -1
  95. package/dist/src/ser-des/package.d.ts +68 -0
  96. package/dist/src/ser-des/package.d.ts.map +1 -1
  97. package/dist/src/ser-des/package.js +155 -23
  98. package/dist/src/ser-des/package.js.map +1 -1
  99. package/dist/src/ser-des/parse-block.d.ts +9 -6
  100. package/dist/src/ser-des/parse-block.d.ts.map +1 -1
  101. package/dist/src/ser-des/parse-block.js +50 -21
  102. package/dist/src/ser-des/parse-block.js.map +1 -1
  103. package/dist/src/ser-des/parse.d.ts +8 -0
  104. package/dist/src/ser-des/parse.d.ts.map +1 -1
  105. package/dist/src/ser-des/parse.js +28 -0
  106. package/dist/src/ser-des/parse.js.map +1 -1
  107. package/dist/src/ser-des/types.d.ts +19 -0
  108. package/dist/src/ser-des/types.d.ts.map +1 -1
  109. package/dist/src/types/Artifact.d.ts +2 -0
  110. package/dist/src/types/Artifact.d.ts.map +1 -1
  111. package/dist/src/types/Calculation.d.ts +2 -0
  112. package/dist/src/types/Calculation.d.ts.map +1 -1
  113. package/dist/src/types/CompetenceKind.d.ts +2 -0
  114. package/dist/src/types/CompetenceKind.d.ts.map +1 -1
  115. package/dist/src/types/ConformanceTest.d.ts +2 -0
  116. package/dist/src/types/ConformanceTest.d.ts.map +1 -1
  117. package/dist/src/types/Constraint.d.ts +2 -0
  118. package/dist/src/types/Constraint.d.ts.map +1 -1
  119. package/dist/src/types/Correspondence.d.ts +27 -0
  120. package/dist/src/types/Correspondence.d.ts.map +1 -0
  121. package/dist/src/types/Correspondence.js +23 -0
  122. package/dist/src/types/Correspondence.js.map +1 -0
  123. package/dist/src/types/Dataspace.d.ts +60 -0
  124. package/dist/src/types/Dataspace.d.ts.map +1 -0
  125. package/dist/src/types/Dataspace.js +36 -0
  126. package/dist/src/types/Dataspace.js.map +1 -0
  127. package/dist/src/types/Form.d.ts +5 -0
  128. package/dist/src/types/Form.d.ts.map +1 -1
  129. package/dist/src/types/FormulasUsed.d.ts +2 -0
  130. package/dist/src/types/FormulasUsed.d.ts.map +1 -1
  131. package/dist/src/types/Package.d.ts +4 -0
  132. package/dist/src/types/Package.d.ts.map +1 -1
  133. package/dist/src/types/Policy.d.ts +40 -0
  134. package/dist/src/types/Policy.d.ts.map +1 -0
  135. package/dist/src/types/Policy.js +48 -0
  136. package/dist/src/types/Policy.js.map +1 -0
  137. package/dist/src/types/ReferenceMaterial.d.ts +2 -0
  138. package/dist/src/types/ReferenceMaterial.d.ts.map +1 -1
  139. package/dist/src/types/Requirement.d.ts +2 -0
  140. package/dist/src/types/Requirement.d.ts.map +1 -1
  141. package/dist/src/types/Standard.d.ts +4 -0
  142. package/dist/src/types/Standard.d.ts.map +1 -1
  143. package/dist/src/types/Subject.d.ts +11 -0
  144. package/dist/src/types/Subject.d.ts.map +1 -1
  145. package/dist/src/types/Symbol.d.ts +2 -0
  146. package/dist/src/types/Symbol.d.ts.map +1 -1
  147. package/dist/src/types/Table.d.ts +4 -0
  148. package/dist/src/types/Table.d.ts.map +1 -1
  149. package/dist/src/types/Term.d.ts +2 -0
  150. package/dist/src/types/Term.d.ts.map +1 -1
  151. package/dist/src/types/TestPointSet.d.ts +2 -0
  152. package/dist/src/types/TestPointSet.d.ts.map +1 -1
  153. package/dist/src/types/TestSequence.d.ts +2 -0
  154. package/dist/src/types/TestSequence.d.ts.map +1 -1
  155. package/dist/src/types/TrustRef.d.ts +10 -0
  156. package/dist/src/types/TrustRef.d.ts.map +1 -0
  157. package/dist/src/types/TrustRef.js +28 -0
  158. package/dist/src/types/TrustRef.js.map +1 -0
  159. package/dist/src/types/Verdict.d.ts +2 -0
  160. package/dist/src/types/Verdict.d.ts.map +1 -1
  161. package/dist/src/types/process.d.ts +2 -0
  162. package/dist/src/types/process.d.ts.map +1 -1
  163. package/dist-browser/index.mjs +1691 -1274
  164. package/dist-cli/primmel.mjs +1144 -31
  165. package/package.json +1 -1
package/dist/index.d.ts CHANGED
@@ -1,4 +1,4 @@
1
- export { load, loadFile, loadWithIssues, loadFileWithIssues, dump, validate, loadPackage, packageFiles, dumpPackage, type LoadOptions, type LoadResult, type ValidationIssue, type ValidationSeverity, type Position, } from './src/ser-des/index';
1
+ export { load, loadFile, loadWithIssues, loadFileWithIssues, dump, validate, loadPackage, loadPackageWithProvenance, groupBySourceFile, packageFiles, dumpPackage, type LoadOptions, type LoadResult, type ConstructRef, type ConstructSource, type PackageLoadResult, type PackageProvenance, type ProvenancePosition, type SourceFileGroups, type ValidationIssue, type ValidationSeverity, type Position, } from './src/ser-des/index';
2
2
  export type { default as Standard } from './src/types/Standard';
3
3
  export type { Subprocess, SubprocessComponent, Edge } from './src/types/flow';
4
4
  export type { PackageManifest, PackageSource } from './src/types/Package';
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AACA,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,kBAAkB,EAClB,IAAI,EACJ,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,WAAW,EACX,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,QAAQ,GACd,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC9E,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC1E,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC1E,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EACV,OAAO,IAAI,SAAS,EACpB,gBAAgB,EAChB,UAAU,GACX,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,SAAS,EACT,aAAa,EACb,QAAQ,EACR,IAAI,EACJ,SAAS,EACT,QAAQ,GACT,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1D,YAAY,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5D,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACzE,YAAY,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EACL,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,gBAAgB,EAChB,KAAK,OAAO,EACZ,KAAK,cAAc,EACnB,KAAK,WAAW,GACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,OAAO,EACP,SAAS,EACT,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,KAAK,cAAc,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAC/E,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,aAAa,EACb,kBAAkB,EAClB,cAAc,EACd,4BAA4B,EAC5B,eAAe,EACf,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,GACtB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,EACrB,OAAO,EACP,YAAY,EACZ,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,SAAS,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,iCAAiC,EACjC,kBAAkB,EAClB,iBAAiB,EACjB,UAAU,EACV,QAAQ,GACT,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EACL,wBAAwB,EACxB,KAAK,qBAAqB,GAC3B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,SAAS,EACT,aAAa,EACb,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,EACb,UAAU,EACV,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,mBAAmB,EACxB,KAAK,QAAQ,EACb,KAAK,SAAS,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,GACvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,WAAW,EACX,SAAS,EACT,aAAa,EACb,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,UAAU,GAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EACpB,KAAK,kBAAkB,GACxB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,OAAO,IAAI,WAAW,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,cAAc,EACd,KAAK,cAAc,EACnB,KAAK,gBAAgB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,OAAO,IAAI,IAAI,EACf,SAAS,EACT,QAAQ,EACR,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC7E,YAAY,EAAE,OAAO,IAAI,MAAM,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACxE,YAAY,EACV,OAAO,IAAI,WAAW,EACtB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,OAAO,IAAI,YAAY,EACvB,gBAAgB,EAChB,UAAU,EACV,OAAO,GACR,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,oBAAoB,GAC1B,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EACV,QAAQ,EACR,WAAW,EACX,aAAa,EACb,UAAU,GACX,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,kBAAkB,EAClB,gBAAgB,EAChB,uBAAuB,EACvB,aAAa,EACb,aAAa,EACb,YAAY,GACb,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,gBAAgB,EAChB,QAAQ,EACR,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,EACf,YAAY,GACb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,QAAQ,EACR,eAAe,EACf,oBAAoB,EACpB,WAAW,EACX,mBAAmB,EACnB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EACL,wBAAwB,EACxB,KAAK,YAAY,EACjB,KAAK,gBAAgB,GACtB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,gBAAgB,EAAE,KAAK,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EACL,uBAAuB,EACvB,aAAa,EACb,iBAAiB,EACjB,yBAAyB,EACzB,6BAA6B,EAC7B,oBAAoB,EACpB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,mBAAmB,GACzB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,aAAa,EACb,eAAe,EACf,OAAO,EACP,gBAAgB,EAChB,IAAI,GACL,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,OAAO,EACP,WAAW,EACX,WAAW,EACX,SAAS,EACT,cAAc,EACd,UAAU,GACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,MAAM,EACN,UAAU,EACV,UAAU,EACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,EACnB,WAAW,EACX,oBAAoB,EACpB,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,eAAe,EACf,KAAK,QAAQ,GACd,MAAM,iBAAiB,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AACA,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,kBAAkB,EAClB,IAAI,EACJ,QAAQ,EACR,WAAW,EACX,yBAAyB,EACzB,iBAAiB,EACjB,YAAY,EACZ,WAAW,EACX,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,QAAQ,GACd,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC9E,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC1E,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC1E,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EACV,OAAO,IAAI,SAAS,EACpB,gBAAgB,EAChB,UAAU,GACX,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,SAAS,EACT,aAAa,EACb,QAAQ,EACR,IAAI,EACJ,SAAS,EACT,QAAQ,GACT,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1D,YAAY,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5D,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACzE,YAAY,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EACL,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,gBAAgB,EAChB,KAAK,OAAO,EACZ,KAAK,cAAc,EACnB,KAAK,WAAW,GACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,OAAO,EACP,SAAS,EACT,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,KAAK,cAAc,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAC/E,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,aAAa,EACb,kBAAkB,EAClB,cAAc,EACd,4BAA4B,EAC5B,eAAe,EACf,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,GACtB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,EACrB,OAAO,EACP,YAAY,EACZ,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,SAAS,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,iCAAiC,EACjC,kBAAkB,EAClB,iBAAiB,EACjB,UAAU,EACV,QAAQ,GACT,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EACL,wBAAwB,EACxB,KAAK,qBAAqB,GAC3B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,SAAS,EACT,aAAa,EACb,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,EACb,UAAU,EACV,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,mBAAmB,EACxB,KAAK,QAAQ,EACb,KAAK,SAAS,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,GACvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,WAAW,EACX,SAAS,EACT,aAAa,EACb,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,UAAU,GAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EACpB,KAAK,kBAAkB,GACxB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,OAAO,IAAI,WAAW,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,cAAc,EACd,KAAK,cAAc,EACnB,KAAK,gBAAgB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,OAAO,IAAI,IAAI,EACf,SAAS,EACT,QAAQ,EACR,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC7E,YAAY,EAAE,OAAO,IAAI,MAAM,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACxE,YAAY,EACV,OAAO,IAAI,WAAW,EACtB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,OAAO,IAAI,YAAY,EACvB,gBAAgB,EAChB,UAAU,EACV,OAAO,GACR,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,oBAAoB,GAC1B,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EACV,QAAQ,EACR,WAAW,EACX,aAAa,EACb,UAAU,GACX,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,kBAAkB,EAClB,gBAAgB,EAChB,uBAAuB,EACvB,aAAa,EACb,aAAa,EACb,YAAY,GACb,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,gBAAgB,EAChB,QAAQ,EACR,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,EACf,YAAY,GACb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,QAAQ,EACR,eAAe,EACf,oBAAoB,EACpB,WAAW,EACX,mBAAmB,EACnB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EACL,wBAAwB,EACxB,KAAK,YAAY,EACjB,KAAK,gBAAgB,GACtB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,gBAAgB,EAAE,KAAK,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EACL,uBAAuB,EACvB,aAAa,EACb,iBAAiB,EACjB,yBAAyB,EACzB,6BAA6B,EAC7B,oBAAoB,EACpB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,mBAAmB,GACzB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,aAAa,EACb,eAAe,EACf,OAAO,EACP,gBAAgB,EAChB,IAAI,GACL,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,OAAO,EACP,WAAW,EACX,WAAW,EACX,SAAS,EACT,cAAc,EACd,UAAU,GACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,MAAM,EACN,UAAU,EACV,UAAU,EACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,EACnB,WAAW,EACX,oBAAoB,EACpB,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,eAAe,EACf,KAAK,QAAQ,GACd,MAAM,iBAAiB,CAAC"}
package/dist/index.js CHANGED
@@ -1,7 +1,7 @@
1
1
  "use strict";
2
2
  Object.defineProperty(exports, "__esModule", { value: true });
3
- exports.TIER_BY_FIELD = exports.normalizeSourceRef = exports.formatDiffReport = exports.elementIndex = exports.diffStandards = exports.clauseTextKey = exports.canonical = exports.RDF_COMPETENCY_QUESTIONS = exports.RDF_EXPORT_SHAPES_TTL = exports.SMART_NS = exports.PRIMMEL_NS = exports.rdfProvisionClass = exports.rdfObligationToken = exports.RDF_PROVISION_CLASS_BY_OBLIGATION = exports.turtleEscape = exports.rdfSlug = exports.rdfRequirementClassOf = exports.exportStandardRdf = exports.exportPackageRdf = exports.REQIF_VERSION = exports.REQIF_NAMESPACE = exports.REQIF_MODALITY_BY_OBLIGATION = exports.xmlCommentSafe = exports.requirementClassOf = exports.reqifModality = exports.exportStandardReqif = exports.exportPackageReqif = exports.checkPackage = exports.componentIds = exports.applyView = exports.repoMap = exports.discoverTransitive = exports.computeCoverage = exports.buildProcessTree = exports.collectMappings = exports.mappingsFromProfile = exports.parseTargetRef = exports.mapProfilesToPrm = exports.prmToMapProfiles = exports.dumpPrm = exports.loadPrm = exports.dumpPackage = exports.packageFiles = exports.loadPackage = exports.validate = exports.dump = exports.loadFileWithIssues = exports.loadWithIssues = exports.loadFile = exports.load = void 0;
4
- exports.PRIMITIVE_TYPES = exports.isWellFormedMapType = exports.parseTypeExpression = exports.timeInstantMs = exports.parseFreshnessWindow = exports.editionPins = exports.checkValidityWindow = exports.isValidTimeValue = exports.isPeriod = exports.isDuration = exports.isDateTime = exports.isDate = exports.resolveInstanceValue = exports.resolveInstanceClassification = exports.resolveInstanceAttributes = exports.parseInstancePath = exports.instanceChain = exports.InstanceResolutionError = exports.FORMULA_ID_SHAPE = exports.TEST_SEQUENCE_STEP_ROLES = exports.PASSPORT_UPI_LEVELS = exports.PASSPORT_CONTENT_CLASSES = exports.PASSPORT_ACCESS_CLASSES = exports.ENDPOINT_OPERATION_KINDS = exports.ENDPOINT_ACCESS_SCOPES = exports.BUILTIN_CONNECTOR_PROFILES = exports.foldTrajectory = exports.extractStateGates = exports.evaluateStateGate = exports.StateTrajectoryError = exports.applyAllowlist = exports.loadAllowlist = exports.ALLOWLIST_FILENAME = exports.conversionCodeEquals = exports.isConversionCode = exports.isSpellingCode = exports.parseConversionCode = exports.parseSpellingCode = exports.activeRuleIds = exports.checkRule = exports.CHECK_RULES = exports.packageMappings = exports.packageClauseTexts = exports.diffPackageDirs = exports.TIER_ORDER = void 0;
3
+ exports.formatDiffReport = exports.elementIndex = exports.diffStandards = exports.clauseTextKey = exports.canonical = exports.RDF_COMPETENCY_QUESTIONS = exports.RDF_EXPORT_SHAPES_TTL = exports.SMART_NS = exports.PRIMMEL_NS = exports.rdfProvisionClass = exports.rdfObligationToken = exports.RDF_PROVISION_CLASS_BY_OBLIGATION = exports.turtleEscape = exports.rdfSlug = exports.rdfRequirementClassOf = exports.exportStandardRdf = exports.exportPackageRdf = exports.REQIF_VERSION = exports.REQIF_NAMESPACE = exports.REQIF_MODALITY_BY_OBLIGATION = exports.xmlCommentSafe = exports.requirementClassOf = exports.reqifModality = exports.exportStandardReqif = exports.exportPackageReqif = exports.checkPackage = exports.componentIds = exports.applyView = exports.repoMap = exports.discoverTransitive = exports.computeCoverage = exports.buildProcessTree = exports.collectMappings = exports.mappingsFromProfile = exports.parseTargetRef = exports.mapProfilesToPrm = exports.prmToMapProfiles = exports.dumpPrm = exports.loadPrm = exports.dumpPackage = exports.packageFiles = exports.groupBySourceFile = exports.loadPackageWithProvenance = exports.loadPackage = exports.validate = exports.dump = exports.loadFileWithIssues = exports.loadWithIssues = exports.loadFile = exports.load = void 0;
4
+ exports.PRIMITIVE_TYPES = exports.isWellFormedMapType = exports.parseTypeExpression = exports.timeInstantMs = exports.parseFreshnessWindow = exports.editionPins = exports.checkValidityWindow = exports.isValidTimeValue = exports.isPeriod = exports.isDuration = exports.isDateTime = exports.isDate = exports.resolveInstanceValue = exports.resolveInstanceClassification = exports.resolveInstanceAttributes = exports.parseInstancePath = exports.instanceChain = exports.InstanceResolutionError = exports.FORMULA_ID_SHAPE = exports.TEST_SEQUENCE_STEP_ROLES = exports.PASSPORT_UPI_LEVELS = exports.PASSPORT_CONTENT_CLASSES = exports.PASSPORT_ACCESS_CLASSES = exports.ENDPOINT_OPERATION_KINDS = exports.ENDPOINT_ACCESS_SCOPES = exports.BUILTIN_CONNECTOR_PROFILES = exports.foldTrajectory = exports.extractStateGates = exports.evaluateStateGate = exports.StateTrajectoryError = exports.applyAllowlist = exports.loadAllowlist = exports.ALLOWLIST_FILENAME = exports.conversionCodeEquals = exports.isConversionCode = exports.isSpellingCode = exports.parseConversionCode = exports.parseSpellingCode = exports.activeRuleIds = exports.checkRule = exports.CHECK_RULES = exports.packageMappings = exports.packageClauseTexts = exports.diffPackageDirs = exports.TIER_ORDER = exports.TIER_BY_FIELD = exports.normalizeSourceRef = void 0;
5
5
  // Package entry point — re-exports the public API
6
6
  var index_1 = require("./src/ser-des/index");
7
7
  Object.defineProperty(exports, "load", { enumerable: true, get: function () { return index_1.load; } });
@@ -11,6 +11,8 @@ Object.defineProperty(exports, "loadFileWithIssues", { enumerable: true, get: fu
11
11
  Object.defineProperty(exports, "dump", { enumerable: true, get: function () { return index_1.dump; } });
12
12
  Object.defineProperty(exports, "validate", { enumerable: true, get: function () { return index_1.validate; } });
13
13
  Object.defineProperty(exports, "loadPackage", { enumerable: true, get: function () { return index_1.loadPackage; } });
14
+ Object.defineProperty(exports, "loadPackageWithProvenance", { enumerable: true, get: function () { return index_1.loadPackageWithProvenance; } });
15
+ Object.defineProperty(exports, "groupBySourceFile", { enumerable: true, get: function () { return index_1.groupBySourceFile; } });
14
16
  Object.defineProperty(exports, "packageFiles", { enumerable: true, get: function () { return index_1.packageFiles; } });
15
17
  Object.defineProperty(exports, "dumpPackage", { enumerable: true, get: function () { return index_1.dumpPackage; } });
16
18
  var prm_1 = require("./src/ser-des/prm");
package/dist/index.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":";;;;AAAA,kDAAkD;AAClD,6CAe6B;AAd3B,6FAAA,IAAI,OAAA;AACJ,iGAAA,QAAQ,OAAA;AACR,uGAAA,cAAc,OAAA;AACd,2GAAA,kBAAkB,OAAA;AAClB,6FAAA,IAAI,OAAA;AACJ,iGAAA,QAAQ,OAAA;AACR,oGAAA,WAAW,OAAA;AACX,qGAAA,YAAY,OAAA;AACZ,oGAAA,WAAW,OAAA;AAyCb,yCAQ2B;AAPzB,8FAAA,OAAO,OAAA;AACP,8FAAA,OAAO,OAAA;AACP,uGAAA,gBAAgB,OAAA;AAChB,uGAAA,gBAAgB,OAAA;AAKlB,2DAqBgC;AApB9B,kHAAA,cAAc,OAAA;AACd,uHAAA,mBAAmB,OAAA;AACnB,mHAAA,eAAe,OAAA;AACf,oHAAA,gBAAgB,OAAA;AAChB,mHAAA,eAAe,OAAA;AACf,sHAAA,kBAAkB,OAAA;AAClB,2GAAA,OAAO,OAAA;AACP,6GAAA,SAAS,OAAA;AACT,gHAAA,YAAY,OAAA;AAad,qCAA+E;AAAtE,qGAAA,YAAY,OAAA;AACrB,4CAY4B;AAX1B,2GAAA,kBAAkB,OAAA;AAClB,4GAAA,mBAAmB,OAAA;AACnB,sGAAA,aAAa,OAAA;AACb,2GAAA,kBAAkB,OAAA;AAClB,uGAAA,cAAc,OAAA;AACd,qHAAA,4BAA4B,OAAA;AAC5B,wGAAA,eAAe,OAAA;AACf,sGAAA,aAAa,OAAA;AAKf,wCAW0B;AAVxB,uGAAA,gBAAgB,OAAA;AAChB,wGAAA,iBAAiB,OAAA;AACjB,4GAAA,qBAAqB,OAAA;AACrB,8FAAA,OAAO,OAAA;AACP,mGAAA,YAAY,OAAA;AAOd,8DAMqC;AALnC,mIAAA,iCAAiC,OAAA;AACjC,oHAAA,kBAAkB,OAAA;AAClB,mHAAA,iBAAiB,OAAA;AACjB,4GAAA,UAAU,OAAA;AACV,0GAAA,QAAQ,OAAA;AAEV,sDAAgE;AAAvD,mHAAA,qBAAqB,OAAA;AAC9B,kFAG+C;AAF7C,oIAAA,wBAAwB,OAAA;AAG1B,+CAwB0B;AAvBxB,uGAAA,SAAS,OAAA;AACT,2GAAA,aAAa,OAAA;AACb,2GAAA,aAAa,OAAA;AACb,0GAAA,YAAY,OAAA;AACZ,8GAAA,gBAAgB,OAAA;AAChB,gHAAA,kBAAkB,OAAA;AAClB,2GAAA,aAAa,OAAA;AACb,wGAAA,UAAU,OAAA;AAiBZ,mDAM4B;AAL1B,+GAAA,eAAe,OAAA;AACf,kHAAA,kBAAkB,OAAA;AAClB,+GAAA,eAAe,OAAA;AAIjB,iDAO2B;AANzB,0GAAA,WAAW,OAAA;AACX,wGAAA,SAAS,OAAA;AACT,4GAAA,aAAa,OAAA;AAKf,2CAOwB;AANtB,6GAAA,iBAAiB,OAAA;AACjB,+GAAA,mBAAmB,OAAA;AACnB,0GAAA,cAAc,OAAA;AACd,4GAAA,gBAAgB,OAAA;AAChB,gHAAA,oBAAoB,OAAA;AAItB,yDAM+B;AAL7B,qHAAA,kBAAkB,OAAA;AAClB,gHAAA,aAAa,OAAA;AACb,iHAAA,cAAc,OAAA;AAuBhB,6DAYiC;AAX/B,yHAAA,oBAAoB,OAAA;AACpB,sHAAA,iBAAiB,OAAA;AACjB,sHAAA,iBAAiB,OAAA;AACjB,mHAAA,cAAc,OAAA;AAiChB,yCAI0B;AAHxB,kHAAA,0BAA0B,OAAA;AAC1B,8GAAA,sBAAsB,OAAA;AACtB,gHAAA,wBAAwB,OAAA;AAW1B,iDAI8B;AAH5B,mHAAA,uBAAuB,OAAA;AACvB,oHAAA,wBAAwB,OAAA;AACxB,+GAAA,mBAAmB,OAAA;AAGrB,yDAIkC;AAHhC,wHAAA,wBAAwB,OAAA;AAI1B,yDAA+E;AAAtE,gHAAA,gBAAgB,OAAA;AACzB,iEAUmC;AATjC,8HAAA,uBAAuB,OAAA;AACvB,oHAAA,aAAa,OAAA;AACb,wHAAA,iBAAiB,OAAA;AACjB,gIAAA,yBAAyB,OAAA;AACzB,oIAAA,6BAA6B,OAAA;AAC7B,2HAAA,oBAAoB,OAAA;AAoBtB,mCAUoB;AATlB,8FAAA,MAAM,OAAA;AACN,kGAAA,UAAU,OAAA;AACV,kGAAA,UAAU,OAAA;AACV,gGAAA,QAAQ,OAAA;AACR,wGAAA,gBAAgB,OAAA;AAChB,2GAAA,mBAAmB,OAAA;AACnB,mGAAA,WAAW,OAAA;AACX,4GAAA,oBAAoB,OAAA;AACpB,qGAAA,aAAa,OAAA;AAEf,6CAKyB;AAJvB,gHAAA,mBAAmB,OAAA;AACnB,gHAAA,mBAAmB,OAAA;AACnB,4GAAA,eAAe,OAAA"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":";;;;AAAA,kDAAkD;AAClD,6CAuB6B;AAtB3B,6FAAA,IAAI,OAAA;AACJ,iGAAA,QAAQ,OAAA;AACR,uGAAA,cAAc,OAAA;AACd,2GAAA,kBAAkB,OAAA;AAClB,6FAAA,IAAI,OAAA;AACJ,iGAAA,QAAQ,OAAA;AACR,oGAAA,WAAW,OAAA;AACX,kHAAA,yBAAyB,OAAA;AACzB,0GAAA,iBAAiB,OAAA;AACjB,qGAAA,YAAY,OAAA;AACZ,oGAAA,WAAW,OAAA;AA+Cb,yCAQ2B;AAPzB,8FAAA,OAAO,OAAA;AACP,8FAAA,OAAO,OAAA;AACP,uGAAA,gBAAgB,OAAA;AAChB,uGAAA,gBAAgB,OAAA;AAKlB,2DAqBgC;AApB9B,kHAAA,cAAc,OAAA;AACd,uHAAA,mBAAmB,OAAA;AACnB,mHAAA,eAAe,OAAA;AACf,oHAAA,gBAAgB,OAAA;AAChB,mHAAA,eAAe,OAAA;AACf,sHAAA,kBAAkB,OAAA;AAClB,2GAAA,OAAO,OAAA;AACP,6GAAA,SAAS,OAAA;AACT,gHAAA,YAAY,OAAA;AAad,qCAA+E;AAAtE,qGAAA,YAAY,OAAA;AACrB,4CAY4B;AAX1B,2GAAA,kBAAkB,OAAA;AAClB,4GAAA,mBAAmB,OAAA;AACnB,sGAAA,aAAa,OAAA;AACb,2GAAA,kBAAkB,OAAA;AAClB,uGAAA,cAAc,OAAA;AACd,qHAAA,4BAA4B,OAAA;AAC5B,wGAAA,eAAe,OAAA;AACf,sGAAA,aAAa,OAAA;AAKf,wCAW0B;AAVxB,uGAAA,gBAAgB,OAAA;AAChB,wGAAA,iBAAiB,OAAA;AACjB,4GAAA,qBAAqB,OAAA;AACrB,8FAAA,OAAO,OAAA;AACP,mGAAA,YAAY,OAAA;AAOd,8DAMqC;AALnC,mIAAA,iCAAiC,OAAA;AACjC,oHAAA,kBAAkB,OAAA;AAClB,mHAAA,iBAAiB,OAAA;AACjB,4GAAA,UAAU,OAAA;AACV,0GAAA,QAAQ,OAAA;AAEV,sDAAgE;AAAvD,mHAAA,qBAAqB,OAAA;AAC9B,kFAG+C;AAF7C,oIAAA,wBAAwB,OAAA;AAG1B,+CAwB0B;AAvBxB,uGAAA,SAAS,OAAA;AACT,2GAAA,aAAa,OAAA;AACb,2GAAA,aAAa,OAAA;AACb,0GAAA,YAAY,OAAA;AACZ,8GAAA,gBAAgB,OAAA;AAChB,gHAAA,kBAAkB,OAAA;AAClB,2GAAA,aAAa,OAAA;AACb,wGAAA,UAAU,OAAA;AAiBZ,mDAM4B;AAL1B,+GAAA,eAAe,OAAA;AACf,kHAAA,kBAAkB,OAAA;AAClB,+GAAA,eAAe,OAAA;AAIjB,iDAO2B;AANzB,0GAAA,WAAW,OAAA;AACX,wGAAA,SAAS,OAAA;AACT,4GAAA,aAAa,OAAA;AAKf,2CAOwB;AANtB,6GAAA,iBAAiB,OAAA;AACjB,+GAAA,mBAAmB,OAAA;AACnB,0GAAA,cAAc,OAAA;AACd,4GAAA,gBAAgB,OAAA;AAChB,gHAAA,oBAAoB,OAAA;AAItB,yDAM+B;AAL7B,qHAAA,kBAAkB,OAAA;AAClB,gHAAA,aAAa,OAAA;AACb,iHAAA,cAAc,OAAA;AAuBhB,6DAYiC;AAX/B,yHAAA,oBAAoB,OAAA;AACpB,sHAAA,iBAAiB,OAAA;AACjB,sHAAA,iBAAiB,OAAA;AACjB,mHAAA,cAAc,OAAA;AAiChB,yCAI0B;AAHxB,kHAAA,0BAA0B,OAAA;AAC1B,8GAAA,sBAAsB,OAAA;AACtB,gHAAA,wBAAwB,OAAA;AAW1B,iDAI8B;AAH5B,mHAAA,uBAAuB,OAAA;AACvB,oHAAA,wBAAwB,OAAA;AACxB,+GAAA,mBAAmB,OAAA;AAGrB,yDAIkC;AAHhC,wHAAA,wBAAwB,OAAA;AAI1B,yDAA+E;AAAtE,gHAAA,gBAAgB,OAAA;AACzB,iEAUmC;AATjC,8HAAA,uBAAuB,OAAA;AACvB,oHAAA,aAAa,OAAA;AACb,wHAAA,iBAAiB,OAAA;AACjB,gIAAA,yBAAyB,OAAA;AACzB,oIAAA,6BAA6B,OAAA;AAC7B,2HAAA,oBAAoB,OAAA;AAoBtB,mCAUoB;AATlB,8FAAA,MAAM,OAAA;AACN,kGAAA,UAAU,OAAA;AACV,kGAAA,UAAU,OAAA;AACV,gGAAA,QAAQ,OAAA;AACR,wGAAA,gBAAgB,OAAA;AAChB,2GAAA,mBAAmB,OAAA;AACnB,mGAAA,WAAW,OAAA;AACX,4GAAA,oBAAoB,OAAA;AACpB,qGAAA,aAAa,OAAA;AAEf,6CAKyB;AAJvB,gHAAA,mBAAmB,OAAA;AACnB,gHAAA,mBAAmB,OAAA;AACnB,4GAAA,eAAe,OAAA"}
@@ -1,4 +1,4 @@
1
- export type CheckFamily = 'base' | 'anatomy' | 'process' | 'instantiation' | 'mapping' | 'composition' | 'quantities' | 'state' | 'promises' | 'artifacts' | 'characteristics' | 'twins' | 'coverage' | 'edition' | 'supply-chain';
1
+ export type CheckFamily = 'base' | 'anatomy' | 'process' | 'instantiation' | 'mapping' | 'composition' | 'quantities' | 'state' | 'promises' | 'artifacts' | 'characteristics' | 'twins' | 'coverage' | 'edition' | 'supply-chain' | 'dataspace';
2
2
  export type CheckLevel = 'normal' | 'audit';
3
3
  export interface CheckRule {
4
4
  id: string;
@@ -1 +1 @@
1
- {"version":3,"file":"check-rules.d.ts","sourceRoot":"","sources":["../../src/check-rules.ts"],"names":[],"mappings":"AAoBA,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,SAAS,GACT,SAAS,GACT,eAAe,GACf,SAAS,GACT,aAAa,GACb,YAAY,GACZ,OAAO,GACP,UAAU,GACV,WAAW,GACX,iBAAiB,GACjB,OAAO,GACP,UAAU,GACV,SAAS,GACT,cAAc,CAAC;AAEnB,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE5C,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,KAAK,EAAE,UAAU,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAWD,qCAAqC;AACrC,eAAO,MAAM,WAAW,EAAE,SAAS,EAy9BlC,CAAC;AAIF,uEAAuE;AACvE,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAE3D;AAED,sEAAsE;AACtE,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CAM5D"}
1
+ {"version":3,"file":"check-rules.d.ts","sourceRoot":"","sources":["../../src/check-rules.ts"],"names":[],"mappings":"AAoBA,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,SAAS,GACT,SAAS,GACT,eAAe,GACf,SAAS,GACT,aAAa,GACb,YAAY,GACZ,OAAO,GACP,UAAU,GACV,WAAW,GACX,iBAAiB,GACjB,OAAO,GACP,UAAU,GACV,SAAS,GACT,cAAc,GACd,WAAW,CAAC;AAEhB,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE5C,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,KAAK,EAAE,UAAU,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAWD,qCAAqC;AACrC,eAAO,MAAM,WAAW,EAAE,SAAS,EAkhClC,CAAC;AAIF,uEAAuE;AACvE,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAE3D;AAED,sEAAsE;AACtE,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CAM5D"}
@@ -5,12 +5,12 @@
5
5
  // The machine-readable registry of every check `primmel check` runs —
6
6
  // the single source the CLI prints (`primmel check --rules`) and the
7
7
  // docs reference. Each rule has:
8
- // id — the per-rule id (C1…C103) issues report under;
8
+ // id — the per-rule id (C1…C108) issues report under;
9
9
  // name — the rule's short name (as used in issue messages);
10
10
  // family — base | anatomy | process | instantiation | mapping |
11
11
  // composition | quantities | state | promises | artifacts |
12
12
  // characteristics | twins | coverage | edition |
13
- // supply-chain;
13
+ // supply-chain | dataspace;
14
14
  // severity — the rule's DEFAULT severity at the normal level
15
15
  // ('warning' rules escalate to errors under --strict;
16
16
  // individual legs of a rule may escalate — see check.ts);
@@ -344,6 +344,28 @@ exports.CHECK_RULES = [
344
344
  // when the package set declares a registry: the predicate vocabulary
345
345
  // is data (the metamodel layer's predicates.prl), never grammar.
346
346
  R('C103', 'declared-predicate', 'base', 'error', 'normal', 'docs/primmel/18 §18.6 (the unified reference/relation construct)'),
347
+ // ── the dataspace family (TODO.primmel/10; MN 114 v3.1 clause 19) ──
348
+ // The v3.1 extension set: the dataspace definition, the policy
349
+ // construct (Primmel's own policy grammar; ODRL is a codec output),
350
+ // the trust_ref form (opaque addressing — the checker verifies shape,
351
+ // NEVER resolution: the trust plane's membership is runtime fact), and
352
+ // the generalized corresponds annotations. C104: the dataspace's
353
+ // references resolve (policy register, default policy, per-class
354
+ // overrides, content elements, the compatibility register). C105:
355
+ // every trust anchor carries its trust_ref with an organization
356
+ // identifier. C106: a dataspace with no governance citation warns (an
357
+ // orphan definition). C107: the policy shape — at least one rule,
358
+ // every rule with its action, rule artifacts inside the governs
359
+ // register, governed classes resolving, at most one default-posture
360
+ // policy per class. C108: one corresponds entry per scheme per
361
+ // element (an error — the bridges read unambiguous mappings), and the
362
+ // irdi legacy spelling agreeing with `corresponds iec-cdd` (a warning
363
+ // leg).
364
+ R('C104', 'dataspace-references-resolve', 'dataspace', 'error', 'normal', 'TODO.primmel/10, MN 114 clause 19.1'),
365
+ R('C105', 'dataspace-trust-anchor-shape', 'dataspace', 'error', 'normal', 'TODO.primmel/10, MN 114 clauses 19.1/19.3'),
366
+ R('C106', 'dataspace-governance-provenance', 'dataspace', 'warning', 'normal', 'TODO.primmel/10, MN 114 clause 19.1'),
367
+ R('C107', 'policy-shape', 'dataspace', 'error', 'normal', 'TODO.primmel/10, MN 114 clause 19.2'),
368
+ R('C108', 'correspondence-shape', 'dataspace', 'error', 'normal', 'TODO.primmel/10, MN 114 clause 19.4'),
347
369
  ];
348
370
  const byId = new Map(exports.CHECK_RULES.map(r => [r.id, r]));
349
371
  /** The catalog entry for a rule id, or undefined for an unknown id. */
@@ -1 +1 @@
1
- {"version":3,"file":"check-rules.js","sourceRoot":"","sources":["../../src/check-rules.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,sDAAsD;AACtD,EAAE;AACF,sEAAsE;AACtE,qEAAqE;AACrE,iCAAiC;AACjC,8DAA8D;AAC9D,kEAAkE;AAClE,oEAAoE;AACpE,yEAAyE;AACzE,8DAA8D;AAC9D,6BAA6B;AAC7B,+DAA+D;AAC/D,mEAAmE;AACnE,uEAAuE;AACvE,yEAAyE;AACzE,kEAAkE;AAClE,2DAA2D;AAC3D,wEAAwE;;;AAsgCxE,8BAEC;AAGD,sCAMC;AAn/BD,MAAM,CAAC,GAAG,CACR,EAAU,EACV,IAAY,EACZ,MAAmB,EACnB,QAA6B,EAC7B,KAAiB,EACjB,IAAY,EACD,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAE9D,qCAAqC;AACxB,QAAA,WAAW,GAAgB;IACtC,qEAAqE;IACrE,CAAC,CACC,IAAI,EACJ,sBAAsB,EACtB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CACC,IAAI,EACJ,2BAA2B,EAC3B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CAAC,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,CAAC;IAC1E,CAAC,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,CAAC;IAC3E,CAAC,CACC,IAAI,EACJ,mBAAmB,EACnB,MAAM,EACN,SAAS,EACT,QAAQ,EACR,wBAAwB,CACzB;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CACC,KAAK,EACL,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,yBAAyB,CAC1B;IACD,qEAAqE;IACrE,CAAC,CAAC,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC1E,CAAC,CACC,IAAI,EACJ,mCAAmC,EACnC,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,IAAI,EACJ,2BAA2B,EAC3B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,IAAI,EACJ,0BAA0B,EAC1B,SAAS,EACT,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,wEAAwE;IACxE,qEAAqE;IACrE,uEAAuE;IACvE,qDAAqD;IACrD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,sEAAsE;IACtE,uEAAuE;IACvE,wEAAwE;IACxE,8CAA8C;IAC9C,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,uEAAuE;IACvE,8DAA8D;IAC9D,iEAAiE;IACjE,+DAA+D;IAC/D,iEAAiE;IACjE,sEAAsE;IACtE,iEAAiE;IACjE,mEAAmE;IACnE,iEAAiE;IACjE,8DAA8D;IAC9D,mEAAmE;IACnE,qEAAqE;IACrE,kCAAkC;IAClC,mEAAmE;IACnE,0DAA0D;IAC1D,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,gBAAgB,EAChB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,eAAe,EACf,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,SAAS,EACT,SAAS,EACT,OAAO,EACP,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,eAAe,EACf,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,aAAa,EACb,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,wBAAwB,CACzB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IACxE,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,iCAAiC,EACjC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,iCAAiC,EACjC,OAAO,EACP,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,UAAU,EACV,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,kCAAkC,EAClC,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,uEAAuE;IACvE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,qCAAqC,EACrC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,6EAA6E;IAC7E,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,wEAAwE;IACxE,oEAAoE;IACpE,oCAAoC;IACpC,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,SAAS,EACT,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,8DAA8D;IAC9D,sDAAsD;IACtD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,oEAAoE;IACpE,qEAAqE;IACrE,kEAAkE;IAClE,CAAC,CAAC,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,CAAC;IAC5E,uEAAuE;IACvE,mEAAmE;IACnE,mEAAmE;IACnE,uEAAuE;IACvE,0DAA0D;IAC1D,qEAAqE;IACrE,uEAAuE;IACvE,oEAAoE;IACpE,CAAC,CACC,KAAK,EACL,kCAAkC,EAClC,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,UAAU,EACV,OAAO,EACP,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,yEAAyE;IACzE,sEAAsE;IACtE,oEAAoE;IACpE,oEAAoE;IACpE,sEAAsE;IACtE,0BAA0B;IAC1B,CAAC,CACC,KAAK,EACL,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,uEAAuE;IACvE,iEAAiE;IACjE,+DAA+D;IAC/D,8DAA8D;IAC9D,kEAAkE;IAClE,oEAAoE;IACpE,qEAAqE;IACrE,gEAAgE;IAChE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,cAAc,EACd,SAAS,EACT,QAAQ,EACR,8CAA8C,CAC/C;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,8CAA8C,CAC/C;IACD,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,yEAAyE;IACzE,oEAAoE;IACpE,sEAAsE;IACtE,QAAQ;IACR,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,gEAAgE;IAChE,+DAA+D;IAC/D,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,0EAA0E;IAC1E,kBAAkB;IAClB,qEAAqE;IACrE,mEAAmE;IACnE,qEAAqE;IACrE,oEAAoE;IACpE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,qEAAqE;IACrE,uEAAuE;IACvE,sEAAsE;IACtE,qDAAqD;IACrD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,mEAAmE;IACnE,uEAAuE;IACvE,kBAAkB;IAClB,oEAAoE;IACpE,6DAA6D;IAC7D,wDAAwD;IACxD,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,sDAAsD;IACtD,+DAA+D;IAC/D,uBAAuB;IACvB,mEAAmE;IACnE,kEAAkE;IAClE,iEAAiE;IACjE,oEAAoE;IACpE,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,gEAAgE;IAChE,iEAAiE;IACjE,mCAAmC;IACnC,CAAC,CACC,KAAK,EACL,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wEAAwE,CACzE;IACD,CAAC,CACC,KAAK,EACL,+BAA+B,EAC/B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wEAAwE,CACzE;IACD,uDAAuD;IACvD,4DAA4D;IAC5D,uCAAuC;IACvC,mEAAmE;IACnE,iEAAiE;IACjE,qEAAqE;IACrE,iEAAiE;IACjE,kEAAkE;IAClE,kEAAkE;IAClE,8DAA8D;IAC9D,oEAAoE;IACpE,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,sEAAsE;IACtE,uCAAuC;IACvC,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,0EAA0E,CAC3E;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,0EAA0E,CAC3E;IACD,kEAAkE;IAClE,4DAA4D;IAC5D,sCAAsC;IACtC,mEAAmE;IACnE,gEAAgE;IAChE,oEAAoE;IACpE,kEAAkE;IAClE,iEAAiE;IACjE,+DAA+D;IAC/D,sEAAsE;IACtE,gEAAgE;IAChE,aAAa;IACb,qEAAqE;IACrE,yDAAyD;IACzD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,yEAAyE,CAC1E;IACD,mDAAmD;IACnD,uDAAuD;IACvD,+DAA+D;IAC/D,kEAAkE;IAClE,oEAAoE;IACpE,+DAA+D;IAC/D,gEAAgE;IAChE,mEAAmE;IACnE,4DAA4D;IAC5D,mDAAmD;IACnD,oEAAoE;IACpE,mEAAmE;IACnE,8DAA8D;IAC9D,kEAAkE;IAClE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,mEAAmE;IACnE,mEAAmE;IACnE,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,oFAAoF,CACrF;IACD,sEAAsE;IACtE,kEAAkE;IAClE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,wCAAwC;IACxC,CAAC,CACC,KAAK,EACL,cAAc,EACd,MAAM,EACN,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,kDAAkD;IAClD,+CAA+C;IAC/C,kEAAkE;IAClE,uEAAuE;IACvE,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,kEAAkE;IAClE,+DAA+D;IAC/D,mEAAmE;IACnE,0DAA0D;IAC1D,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,4DAA4D,CAC7D;IACD,CAAC,CACC,KAAK,EACL,+BAA+B,EAC/B,MAAM,EACN,SAAS,EACT,QAAQ,EACR,mFAAmF,CACpF;IACD,qEAAqE;IACrE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,yEAAyE;IACzE,kEAAkE;IAClE,kEAAkE;IAClE,yEAAyE;IACzE,wEAAwE;IACxE,+DAA+D;IAC/D,mBAAmB;IACnB,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kEAAkE,CACnE;IACD,+DAA+D;IAC/D,6CAA6C;IAC7C,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,gEAAgE;IAChE,kEAAkE;IAClE,8CAA8C;IAC9C,sEAAsE;IACtE,wBAAwB;IACxB,CAAC,CACC,MAAM,EACN,gCAAgC,EAChC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,CAAC,CACC,MAAM,EACN,kCAAkC,EAClC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,CAAC,CACC,MAAM,EACN,+BAA+B,EAC/B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,qEAAqE;IACrE,iEAAiE;IACjE,CAAC,CACC,MAAM,EACN,oBAAoB,EACpB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,kEAAkE,CACnE;CACF,CAAC;AAEF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtD,uEAAuE;AACvE,SAAgB,SAAS,CAAC,EAAU;IAClC,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACtB,CAAC;AAED,sEAAsE;AACtE,SAAgB,aAAa,CAAC,KAAiB;IAC7C,OAAO,IAAI,GAAG,CACZ,mBAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CACpE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CACV,CACF,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"check-rules.js","sourceRoot":"","sources":["../../src/check-rules.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,sDAAsD;AACtD,EAAE;AACF,sEAAsE;AACtE,qEAAqE;AACrE,iCAAiC;AACjC,8DAA8D;AAC9D,kEAAkE;AAClE,oEAAoE;AACpE,yEAAyE;AACzE,8DAA8D;AAC9D,yCAAyC;AACzC,+DAA+D;AAC/D,mEAAmE;AACnE,uEAAuE;AACvE,yEAAyE;AACzE,kEAAkE;AAClE,2DAA2D;AAC3D,wEAAwE;;;AAgkCxE,8BAEC;AAGD,sCAMC;AA5iCD,MAAM,CAAC,GAAG,CACR,EAAU,EACV,IAAY,EACZ,MAAmB,EACnB,QAA6B,EAC7B,KAAiB,EACjB,IAAY,EACD,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAE9D,qCAAqC;AACxB,QAAA,WAAW,GAAgB;IACtC,qEAAqE;IACrE,CAAC,CACC,IAAI,EACJ,sBAAsB,EACtB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CACC,IAAI,EACJ,2BAA2B,EAC3B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CAAC,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,CAAC;IAC1E,CAAC,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,CAAC;IAC3E,CAAC,CACC,IAAI,EACJ,mBAAmB,EACnB,MAAM,EACN,SAAS,EACT,QAAQ,EACR,wBAAwB,CACzB;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CACC,KAAK,EACL,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,yBAAyB,CAC1B;IACD,qEAAqE;IACrE,CAAC,CAAC,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC1E,CAAC,CACC,IAAI,EACJ,mCAAmC,EACnC,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,IAAI,EACJ,2BAA2B,EAC3B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,IAAI,EACJ,0BAA0B,EAC1B,SAAS,EACT,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,wEAAwE;IACxE,qEAAqE;IACrE,uEAAuE;IACvE,qDAAqD;IACrD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,sEAAsE;IACtE,uEAAuE;IACvE,wEAAwE;IACxE,8CAA8C;IAC9C,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,uEAAuE;IACvE,8DAA8D;IAC9D,iEAAiE;IACjE,+DAA+D;IAC/D,iEAAiE;IACjE,sEAAsE;IACtE,iEAAiE;IACjE,mEAAmE;IACnE,iEAAiE;IACjE,8DAA8D;IAC9D,mEAAmE;IACnE,qEAAqE;IACrE,kCAAkC;IAClC,mEAAmE;IACnE,0DAA0D;IAC1D,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,gBAAgB,EAChB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,eAAe,EACf,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,SAAS,EACT,SAAS,EACT,OAAO,EACP,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,eAAe,EACf,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,aAAa,EACb,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,wBAAwB,CACzB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IACxE,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,iCAAiC,EACjC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,iCAAiC,EACjC,OAAO,EACP,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,UAAU,EACV,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,kCAAkC,EAClC,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,uEAAuE;IACvE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,qCAAqC,EACrC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,6EAA6E;IAC7E,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,wEAAwE;IACxE,oEAAoE;IACpE,oCAAoC;IACpC,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,SAAS,EACT,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,8DAA8D;IAC9D,sDAAsD;IACtD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,oEAAoE;IACpE,qEAAqE;IACrE,kEAAkE;IAClE,CAAC,CAAC,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,CAAC;IAC5E,uEAAuE;IACvE,mEAAmE;IACnE,mEAAmE;IACnE,uEAAuE;IACvE,0DAA0D;IAC1D,qEAAqE;IACrE,uEAAuE;IACvE,oEAAoE;IACpE,CAAC,CACC,KAAK,EACL,kCAAkC,EAClC,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,UAAU,EACV,OAAO,EACP,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,yEAAyE;IACzE,sEAAsE;IACtE,oEAAoE;IACpE,oEAAoE;IACpE,sEAAsE;IACtE,0BAA0B;IAC1B,CAAC,CACC,KAAK,EACL,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,uEAAuE;IACvE,iEAAiE;IACjE,+DAA+D;IAC/D,8DAA8D;IAC9D,kEAAkE;IAClE,oEAAoE;IACpE,qEAAqE;IACrE,gEAAgE;IAChE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,cAAc,EACd,SAAS,EACT,QAAQ,EACR,8CAA8C,CAC/C;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,8CAA8C,CAC/C;IACD,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,yEAAyE;IACzE,oEAAoE;IACpE,sEAAsE;IACtE,QAAQ;IACR,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,gEAAgE;IAChE,+DAA+D;IAC/D,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,0EAA0E;IAC1E,kBAAkB;IAClB,qEAAqE;IACrE,mEAAmE;IACnE,qEAAqE;IACrE,oEAAoE;IACpE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,qEAAqE;IACrE,uEAAuE;IACvE,sEAAsE;IACtE,qDAAqD;IACrD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,mEAAmE;IACnE,uEAAuE;IACvE,kBAAkB;IAClB,oEAAoE;IACpE,6DAA6D;IAC7D,wDAAwD;IACxD,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,sDAAsD;IACtD,+DAA+D;IAC/D,uBAAuB;IACvB,mEAAmE;IACnE,kEAAkE;IAClE,iEAAiE;IACjE,oEAAoE;IACpE,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,gEAAgE;IAChE,iEAAiE;IACjE,mCAAmC;IACnC,CAAC,CACC,KAAK,EACL,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wEAAwE,CACzE;IACD,CAAC,CACC,KAAK,EACL,+BAA+B,EAC/B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wEAAwE,CACzE;IACD,uDAAuD;IACvD,4DAA4D;IAC5D,uCAAuC;IACvC,mEAAmE;IACnE,iEAAiE;IACjE,qEAAqE;IACrE,iEAAiE;IACjE,kEAAkE;IAClE,kEAAkE;IAClE,8DAA8D;IAC9D,oEAAoE;IACpE,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,sEAAsE;IACtE,uCAAuC;IACvC,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,0EAA0E,CAC3E;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,0EAA0E,CAC3E;IACD,kEAAkE;IAClE,4DAA4D;IAC5D,sCAAsC;IACtC,mEAAmE;IACnE,gEAAgE;IAChE,oEAAoE;IACpE,kEAAkE;IAClE,iEAAiE;IACjE,+DAA+D;IAC/D,sEAAsE;IACtE,gEAAgE;IAChE,aAAa;IACb,qEAAqE;IACrE,yDAAyD;IACzD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,yEAAyE,CAC1E;IACD,mDAAmD;IACnD,uDAAuD;IACvD,+DAA+D;IAC/D,kEAAkE;IAClE,oEAAoE;IACpE,+DAA+D;IAC/D,gEAAgE;IAChE,mEAAmE;IACnE,4DAA4D;IAC5D,mDAAmD;IACnD,oEAAoE;IACpE,mEAAmE;IACnE,8DAA8D;IAC9D,kEAAkE;IAClE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,mEAAmE;IACnE,mEAAmE;IACnE,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,oFAAoF,CACrF;IACD,sEAAsE;IACtE,kEAAkE;IAClE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,wCAAwC;IACxC,CAAC,CACC,KAAK,EACL,cAAc,EACd,MAAM,EACN,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,kDAAkD;IAClD,+CAA+C;IAC/C,kEAAkE;IAClE,uEAAuE;IACvE,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,kEAAkE;IAClE,+DAA+D;IAC/D,mEAAmE;IACnE,0DAA0D;IAC1D,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,4DAA4D,CAC7D;IACD,CAAC,CACC,KAAK,EACL,+BAA+B,EAC/B,MAAM,EACN,SAAS,EACT,QAAQ,EACR,mFAAmF,CACpF;IACD,qEAAqE;IACrE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,yEAAyE;IACzE,kEAAkE;IAClE,kEAAkE;IAClE,yEAAyE;IACzE,wEAAwE;IACxE,+DAA+D;IAC/D,mBAAmB;IACnB,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kEAAkE,CACnE;IACD,+DAA+D;IAC/D,6CAA6C;IAC7C,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,gEAAgE;IAChE,kEAAkE;IAClE,8CAA8C;IAC9C,sEAAsE;IACtE,wBAAwB;IACxB,CAAC,CACC,MAAM,EACN,gCAAgC,EAChC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,CAAC,CACC,MAAM,EACN,kCAAkC,EAClC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,CAAC,CACC,MAAM,EACN,+BAA+B,EAC/B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,qEAAqE;IACrE,iEAAiE;IACjE,CAAC,CACC,MAAM,EACN,oBAAoB,EACpB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,kEAAkE,CACnE;IACD,sEAAsE;IACtE,+DAA+D;IAC/D,oEAAoE;IACpE,sEAAsE;IACtE,uEAAuE;IACvE,iEAAiE;IACjE,iEAAiE;IACjE,kEAAkE;IAClE,gEAAgE;IAChE,sEAAsE;IACtE,kEAAkE;IAClE,gEAAgE;IAChE,oEAAoE;IACpE,+DAA+D;IAC/D,sEAAsE;IACtE,sEAAsE;IACtE,QAAQ;IACR,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,2CAA2C,CAC5C;IACD,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,WAAW,EACX,SAAS,EACT,QAAQ,EACR,qCAAqC,CACtC;IACD,CAAC,CACC,MAAM,EACN,cAAc,EACd,WAAW,EACX,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,CAAC,CACC,MAAM,EACN,sBAAsB,EACtB,WAAW,EACX,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;CACF,CAAC;AAEF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtD,uEAAuE;AACvE,SAAgB,SAAS,CAAC,EAAU;IAClC,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACtB,CAAC;AAED,sEAAsE;AACtE,SAAgB,aAAa,CAAC,KAAiB;IAC7C,OAAO,IAAI,GAAG,CACZ,mBAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CACpE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CACV,CACF,CAAC;AACJ,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAqTA,OAAO,EAKL,KAAK,cAAc,EACpB,MAAM,mBAAmB,CAAC;AAW3B,OAAO,KAAK,QAAQ,MAAM,kBAAkB,CAAC;AAsD7C,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB;yEACqE;IACrE,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,qDAAqD;AACrD,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;IAChC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACtC;;;;;OAKG;IACH,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC;AA+CD,wBAAgB,YAAY,CAC1B,GAAG,EAAE,MAAM,EACX,OAAO,GAAE,YAAiB,GACzB,UAAU,EAAE,CA2tId;AAoBD,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,EAAE,CAwFjE;AA4BD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CAwQnE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CA+ExE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,QAAQ,GACjB,UAAU,EAAE,CA6Kd"}
1
+ {"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AA0TA,OAAO,EAKL,KAAK,cAAc,EACpB,MAAM,mBAAmB,CAAC;AAW3B,OAAO,KAAK,QAAQ,MAAM,kBAAkB,CAAC;AAsD7C,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB;yEACqE;IACrE,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,qDAAqD;AACrD,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;IAChC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACtC;;;;;OAKG;IACH,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC;AA+CD,wBAAgB,YAAY,CAC1B,GAAG,EAAE,MAAM,EACX,OAAO,GAAE,YAAiB,GACzB,UAAU,EAAE,CAy+Id;AAoBD,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,EAAE,CAwFjE;AA4BD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CAwQnE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CA+ExE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,QAAQ,GACjB,UAAU,EAAE,CA6Kd"}
package/dist/src/check.js CHANGED
@@ -282,6 +282,11 @@
282
282
  // package carries a version pin (uses { <id>@<edition> }) that
283
283
  // resolves against the product's edition register — no unpinned
284
284
  // reference consumption (doctrine ch. 15 §15.3)
285
+ // C104–C108 the dataspace family (TODO.primmel/10; MN 114 v3.1
286
+ // clause 19): dataspace references resolve, trust anchors shaped
287
+ // (the trust_ref stays opaque — the checker never resolves the
288
+ // trust plane), governance cited, policies well-formed, and one
289
+ // correspondence per scheme per element
285
290
  //
286
291
  // Levels (TODO.roadmap/17): the DEFAULT level runs the normal-level
287
292
  // rules at their catalog severities. --audit additionally runs the
@@ -3568,6 +3573,205 @@ function checkPackage(dir, options = {}) {
3568
3573
  }
3569
3574
  }
3570
3575
  }
3576
+ // ── C104–C108: the dataspace family (TODO.primmel/10; MN 114 v3.1
3577
+ // clause 19) ──
3578
+ // The dataspace is model content: participant classes, artifact
3579
+ // classes, the policy register, the trust anchors, the governance
3580
+ // citations. C104 resolves the dataspace's references (policies,
3581
+ // default policy, per-class overrides, content elements, compatibility
3582
+ // register). C105 checks the trust anchors' shape — the trust_ref is
3583
+ // OPAQUE (types/TrustRef.ts): the checker verifies presence, never
3584
+ // resolution (the trust plane's membership is runtime fact, not model
3585
+ // content). C106 warns on a dataspace with no governance citation. C107
3586
+ // is the policy shape: at least one rule, every rule with its action, a
3587
+ // rule's artifact inside the governs register, the governed classes
3588
+ // resolving, and at most one default-posture policy per class. C108 is
3589
+ // the correspondence shape: one entry per scheme per element, and the
3590
+ // irdi legacy spelling agreeing with `corresponds iec-cdd` when both
3591
+ // are present.
3592
+ {
3593
+ const dataspaces = standard.dataspaces ?? [];
3594
+ const policies = standard.policies ?? [];
3595
+ const policyIds = new Set(policies.map(p => p.id));
3596
+ const dataspaceIds = new Set(dataspaces.map(d => d.id));
3597
+ // The merged artifact-class register: the union over the package's
3598
+ // dataspaces (composition merges the closure's collections upstream).
3599
+ const artifactClassIds = new Set();
3600
+ for (const d of dataspaces) {
3601
+ for (const ac of d.artifactClasses) {
3602
+ artifactClassIds.add(ac.id);
3603
+ }
3604
+ }
3605
+ // The content-element domain of artifact_class element refs: the
3606
+ // model elements that define an exchanged class's content.
3607
+ const elementIds = new Set([
3608
+ ...(standard.artifactDefinitions ?? []).map(a => a.id),
3609
+ ...(standard.forms ?? []).map(f => f.id),
3610
+ ...(standard.dataclasses ?? []).map(c => c.id),
3611
+ ]);
3612
+ for (const d of dataspaces) {
3613
+ // C104 — dataspace-references-resolve
3614
+ for (const pid of d.policies) {
3615
+ if (!policyIds.has(pid)) {
3616
+ err('C104', `dataspace ${d.id}: policies entry "${pid}" declares no policy of that id — the dataspace's policy register references declared policy constructs (dataspace-references-resolve)`);
3617
+ }
3618
+ }
3619
+ if (d.defaultPolicy !== '') {
3620
+ if (!policyIds.has(d.defaultPolicy)) {
3621
+ err('C104', `dataspace ${d.id}: default_policy "${d.defaultPolicy}" declares no policy of that id — the standing default is a declared policy (dataspace-references-resolve)`);
3622
+ }
3623
+ else if (!d.policies.includes(d.defaultPolicy)) {
3624
+ err('C104', `dataspace ${d.id}: default_policy "${d.defaultPolicy}" is not in the dataspace's policies register — the default is one of the policy sets the dataspace carries (dataspace-references-resolve)`);
3625
+ }
3626
+ }
3627
+ for (const ac of d.artifactClasses) {
3628
+ if (ac.policy !== '') {
3629
+ if (!policyIds.has(ac.policy)) {
3630
+ err('C104', `dataspace ${d.id}: artifact class "${ac.id}" overrides with policy "${ac.policy}", which declares no policy of that id (dataspace-references-resolve)`);
3631
+ }
3632
+ else if (!d.policies.includes(ac.policy)) {
3633
+ err('C104', `dataspace ${d.id}: artifact class "${ac.id}" overrides with policy "${ac.policy}", which the dataspace's policies register does not carry — an override names a policy set the dataspace carries (dataspace-references-resolve)`);
3634
+ }
3635
+ }
3636
+ if (ac.element !== '' && !elementIds.has(ac.element)) {
3637
+ err('C104', `dataspace ${d.id}: artifact class "${ac.id}" declares element "${ac.element}", which names no declared artifact definition, form, or data class — the class's content definition must resolve (dataspace-references-resolve)`);
3638
+ }
3639
+ }
3640
+ for (const compat of d.compatibleWith) {
3641
+ if (!dataspaceIds.has(compat)) {
3642
+ err('C104', `dataspace ${d.id}: compatible_with entry "${compat}" declares no dataspace of that id — compatibility is explicit and resolved (dataspace-references-resolve)`);
3643
+ }
3644
+ else if (compat === d.id) {
3645
+ err('C104', `dataspace ${d.id}: compatible_with names the dataspace itself — compatibility relates two dataspaces (dataspace-references-resolve)`);
3646
+ }
3647
+ }
3648
+ // C105 — dataspace-trust-anchor-shape
3649
+ for (const ta of d.trustAnchors) {
3650
+ if (!ta.trustRef || ta.trustRef.org === '') {
3651
+ err('C105', `dataspace ${d.id}: trust anchor "${ta.id}" declares no trust_ref with an organization identifier — an anchor without its trust reference anchors nothing (dataspace-trust-anchor-shape)`);
3652
+ }
3653
+ }
3654
+ // C106 — dataspace-governance-provenance
3655
+ const hasGovernance = (d.sourceRefs?.length ?? 0) > 0 ||
3656
+ (d.source && (d.source.doc || d.source.clause));
3657
+ if (!hasGovernance) {
3658
+ warn('C106', `dataspace ${d.id}: the dataspace cites no governance clause — the definition's charter is its clause-cited provenance (ref derives-from); an orphan definition is a warning, never silent (dataspace-governance-provenance)`);
3659
+ }
3660
+ }
3661
+ // C107 — policy-shape
3662
+ for (const p of policies) {
3663
+ if (p.rules.length === 0) {
3664
+ err('C107', `policy ${p.id}: a policy declares at least one rule — a rule-less set says nothing (policy-shape)`);
3665
+ }
3666
+ for (const g of p.governs) {
3667
+ if (!artifactClassIds.has(g)) {
3668
+ err('C107', `policy ${p.id}: governs entry "${g}" names no artifact class declared by the merged model's dataspaces — the governed classes resolve (policy-shape)`);
3669
+ }
3670
+ }
3671
+ for (const r of p.rules) {
3672
+ if (r.action === '') {
3673
+ err('C107', `policy ${p.id}: rule "${r.id}" declares no action — a rule without its action says nothing (policy-shape)`);
3674
+ }
3675
+ if (r.artifact !== '') {
3676
+ if (p.governs.length > 0 && !p.governs.includes(r.artifact)) {
3677
+ err('C107', `policy ${p.id}: rule "${r.id}" constrains artifact class "${r.artifact}", which is not in the policy's governs register — a rule stays inside the register, or drops the facet to cover every governed class (policy-shape)`);
3678
+ }
3679
+ if (!artifactClassIds.has(r.artifact)) {
3680
+ err('C107', `policy ${p.id}: rule "${r.id}" constrains artifact class "${r.artifact}", which no dataspace of the merged model declares (policy-shape)`);
3681
+ }
3682
+ }
3683
+ }
3684
+ }
3685
+ // At most one default-posture policy per governed class.
3686
+ const postureByClass = new Map();
3687
+ for (const p of policies) {
3688
+ if (p.defaultPosture !== true) {
3689
+ continue;
3690
+ }
3691
+ for (const g of p.governs) {
3692
+ postureByClass.set(g, [...(postureByClass.get(g) ?? []), p.id]);
3693
+ }
3694
+ }
3695
+ for (const [cls, ids] of postureByClass) {
3696
+ if (ids.length > 1) {
3697
+ err('C107', `artifact class "${cls}" is governed by ${ids.length} default-posture policies (${ids.join(', ')}) — the standing default is one policy per class; the rest attach by explicit reference (policy-shape)`);
3698
+ }
3699
+ }
3700
+ // C108 — correspondence-shape
3701
+ const corrElements = [];
3702
+ const collect = (kind, items) => {
3703
+ for (const it of items ?? []) {
3704
+ if (it.correspondences && it.correspondences.length > 0) {
3705
+ corrElements.push({ kind, id: it.id, corrs: it.correspondences });
3706
+ }
3707
+ }
3708
+ };
3709
+ collect('dataspace', dataspaces);
3710
+ collect('policy', policies);
3711
+ collect('instrument', standard.instruments ?? []);
3712
+ collect('attribute_definition', standard.attributeDefinitions ?? []);
3713
+ collect('capability', standard.capabilities ?? []);
3714
+ collect('behavior', standard.behaviors ?? []);
3715
+ collect('condition_set', standard.conditionSets ?? []);
3716
+ collect('requirement', standard.requirements ?? []);
3717
+ collect('conformance_test', standard.conformanceTests ?? []);
3718
+ collect('form', standard.forms ?? []);
3719
+ collect('table', standard.tables ?? []);
3720
+ collect('symbol', standard.symbols ?? []);
3721
+ collect('calculation', standard.calculations ?? []);
3722
+ collect('term', standard.terms ?? []);
3723
+ collect('artifact_definition', standard.artifactDefinitions ?? []);
3724
+ collect('verdict', standard.verdicts ?? []);
3725
+ collect('reference_material', standard.referenceMaterials ?? []);
3726
+ collect('test_point_set', standard.testPointSets ?? []);
3727
+ collect('competence_kind', standard.competenceKinds ?? []);
3728
+ collect('constraint', standard.constraints ?? []);
3729
+ collect('test_sequence', standard.testSequences ?? []);
3730
+ collect('formulas_used', standard.formulasUsed ?? []);
3731
+ collect('process', standard.processes ?? []);
3732
+ for (const f of standard.forms ?? []) {
3733
+ for (const fld of f.fields ?? []) {
3734
+ if (fld.correspondences && fld.correspondences.length > 0) {
3735
+ corrElements.push({
3736
+ kind: 'field',
3737
+ id: `${f.id}.${fld.name}`,
3738
+ corrs: fld.correspondences,
3739
+ });
3740
+ }
3741
+ }
3742
+ }
3743
+ if (standard.packageManifest?.correspondences?.length) {
3744
+ corrElements.push({
3745
+ kind: 'package',
3746
+ id: standard.packageManifest.id,
3747
+ corrs: standard.packageManifest.correspondences,
3748
+ });
3749
+ }
3750
+ for (const el of corrElements) {
3751
+ const byScheme = new Map();
3752
+ for (const c of el.corrs) {
3753
+ byScheme.set(c.scheme, (byScheme.get(c.scheme) ?? 0) + 1);
3754
+ if (c.scheme === '' || c.concept === '') {
3755
+ err('C108', `${el.kind} ${el.id}: a corresponds entry carries an empty scheme or concept — the entry names its scheme and the scheme's concept identifier (correspondence-shape)`);
3756
+ }
3757
+ }
3758
+ for (const [scheme, n] of byScheme) {
3759
+ if (n > 1) {
3760
+ err('C108', `${el.kind} ${el.id}: ${n} corresponds entries name scheme "${scheme}" — one element has at most one correspondence per scheme, so every bridge reads an unambiguous mapping (correspondence-shape)`);
3761
+ }
3762
+ }
3763
+ }
3764
+ // The irdi legacy spelling agrees with `corresponds iec-cdd` when both
3765
+ // are present on one attribute definition.
3766
+ for (const a of standard.attributeDefinitions ?? []) {
3767
+ if (a.irdi && a.irdi !== '') {
3768
+ const cdd = (a.correspondences ?? []).find(c => c.scheme === 'iec-cdd');
3769
+ if (cdd && cdd.concept !== a.irdi) {
3770
+ warn('C108', `attribute_definition ${a.id}: irdi "${a.irdi}" disagrees with corresponds iec-cdd "${cdd.concept}" — the legacy single-scheme spelling and the generalized annotation name the same concept, or the irdi facet retires (correspondence-shape)`);
3771
+ }
3772
+ }
3773
+ }
3774
+ }
3571
3775
  // ── Finalize: the package allowlist + level severities ──
3572
3776
  // The allowlist (KNOWN/STALE/budget) applies to every level; --strict
3573
3777
  // then promotes the surviving warnings — except KNOWN issues and