@jasonbelmonti/markdown-engine 2.0.0 → 3.1.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 (196) hide show
  1. package/CHANGELOG.md +45 -1
  2. package/README.md +132 -57
  3. package/dist/api/contracts.d.ts +2 -1
  4. package/dist/api/contracts.d.ts.map +1 -1
  5. package/dist/api/contracts.js +1 -0
  6. package/dist/api/contracts.js.map +1 -1
  7. package/dist/api/declarative-validation.d.ts +2 -2
  8. package/dist/api/declarative-validation.d.ts.map +1 -1
  9. package/dist/api/declarative-validation.js +53 -31
  10. package/dist/api/declarative-validation.js.map +1 -1
  11. package/dist/api/document-set-validation-types.d.ts +32 -0
  12. package/dist/api/document-set-validation-types.d.ts.map +1 -0
  13. package/dist/api/document-set-validation-types.js +2 -0
  14. package/dist/api/document-set-validation-types.js.map +1 -0
  15. package/dist/api/document-set-validation.d.ts +4 -0
  16. package/dist/api/document-set-validation.d.ts.map +1 -0
  17. package/dist/api/document-set-validation.js +60 -0
  18. package/dist/api/document-set-validation.js.map +1 -0
  19. package/dist/api/serialize.d.ts +2 -1
  20. package/dist/api/serialize.d.ts.map +1 -1
  21. package/dist/api/serialize.js.map +1 -1
  22. package/dist/cli/declarative-validation.d.ts.map +1 -1
  23. package/dist/cli/declarative-validation.js +7 -12
  24. package/dist/cli/declarative-validation.js.map +1 -1
  25. package/dist/declarative-validation/applicability/classifier.d.ts +18 -0
  26. package/dist/declarative-validation/applicability/classifier.d.ts.map +1 -0
  27. package/dist/declarative-validation/applicability/classifier.js +37 -0
  28. package/dist/declarative-validation/applicability/classifier.js.map +1 -0
  29. package/dist/declarative-validation/applicability/index.d.ts +2 -0
  30. package/dist/declarative-validation/applicability/index.d.ts.map +1 -0
  31. package/dist/declarative-validation/applicability/index.js +2 -0
  32. package/dist/declarative-validation/applicability/index.js.map +1 -0
  33. package/dist/declarative-validation/assertions/context.d.ts +2 -2
  34. package/dist/declarative-validation/assertions/context.d.ts.map +1 -1
  35. package/dist/declarative-validation/assertions/diagnostics.d.ts +7 -4
  36. package/dist/declarative-validation/assertions/diagnostics.d.ts.map +1 -1
  37. package/dist/declarative-validation/assertions/diagnostics.js +26 -1
  38. package/dist/declarative-validation/assertions/diagnostics.js.map +1 -1
  39. package/dist/declarative-validation/assertions/evaluator.d.ts +2 -2
  40. package/dist/declarative-validation/assertions/evaluator.d.ts.map +1 -1
  41. package/dist/declarative-validation/assertions/evaluator.js +9 -0
  42. package/dist/declarative-validation/assertions/evaluator.js.map +1 -1
  43. package/dist/declarative-validation/assertions/frontmatter-shape.d.ts +9 -0
  44. package/dist/declarative-validation/assertions/frontmatter-shape.d.ts.map +1 -0
  45. package/dist/declarative-validation/assertions/frontmatter-shape.js +105 -0
  46. package/dist/declarative-validation/assertions/frontmatter-shape.js.map +1 -0
  47. package/dist/declarative-validation/assertions/group-evaluator.d.ts +6 -0
  48. package/dist/declarative-validation/assertions/group-evaluator.d.ts.map +1 -0
  49. package/dist/declarative-validation/assertions/group-evaluator.js +57 -0
  50. package/dist/declarative-validation/assertions/group-evaluator.js.map +1 -0
  51. package/dist/declarative-validation/assertions/id-targets.d.ts +15 -0
  52. package/dist/declarative-validation/assertions/id-targets.d.ts.map +1 -1
  53. package/dist/declarative-validation/assertions/id-targets.js +18 -55
  54. package/dist/declarative-validation/assertions/id-targets.js.map +1 -1
  55. package/dist/declarative-validation/assertions/ids.d.ts.map +1 -1
  56. package/dist/declarative-validation/assertions/ids.js +100 -14
  57. package/dist/declarative-validation/assertions/ids.js.map +1 -1
  58. package/dist/declarative-validation/assertions/index.d.ts +1 -0
  59. package/dist/declarative-validation/assertions/index.d.ts.map +1 -1
  60. package/dist/declarative-validation/assertions/index.js +1 -0
  61. package/dist/declarative-validation/assertions/index.js.map +1 -1
  62. package/dist/declarative-validation/assertions/table-column-coverage.d.ts +9 -0
  63. package/dist/declarative-validation/assertions/table-column-coverage.d.ts.map +1 -0
  64. package/dist/declarative-validation/assertions/table-column-coverage.js +108 -0
  65. package/dist/declarative-validation/assertions/table-column-coverage.js.map +1 -0
  66. package/dist/declarative-validation/assertions/text-format.d.ts +9 -0
  67. package/dist/declarative-validation/assertions/text-format.d.ts.map +1 -0
  68. package/dist/declarative-validation/assertions/text-format.js +75 -0
  69. package/dist/declarative-validation/assertions/text-format.js.map +1 -0
  70. package/dist/declarative-validation/compiler/applicability-plan.d.ts +5 -0
  71. package/dist/declarative-validation/compiler/applicability-plan.d.ts.map +1 -0
  72. package/dist/declarative-validation/compiler/applicability-plan.js +22 -0
  73. package/dist/declarative-validation/compiler/applicability-plan.js.map +1 -0
  74. package/dist/declarative-validation/compiler/assertion-builders.d.ts +2 -1
  75. package/dist/declarative-validation/compiler/assertion-builders.d.ts.map +1 -1
  76. package/dist/declarative-validation/compiler/assertion-builders.js +88 -13
  77. package/dist/declarative-validation/compiler/assertion-builders.js.map +1 -1
  78. package/dist/declarative-validation/compiler/assertion-shapes.d.ts +5 -1
  79. package/dist/declarative-validation/compiler/assertion-shapes.d.ts.map +1 -1
  80. package/dist/declarative-validation/compiler/assertion-shapes.js +120 -0
  81. package/dist/declarative-validation/compiler/assertion-shapes.js.map +1 -1
  82. package/dist/declarative-validation/compiler/assertions.d.ts +2 -1
  83. package/dist/declarative-validation/compiler/assertions.d.ts.map +1 -1
  84. package/dist/declarative-validation/compiler/assertions.js +16 -4
  85. package/dist/declarative-validation/compiler/assertions.js.map +1 -1
  86. package/dist/declarative-validation/compiler/compatibility.d.ts.map +1 -1
  87. package/dist/declarative-validation/compiler/compatibility.js +3 -0
  88. package/dist/declarative-validation/compiler/compatibility.js.map +1 -1
  89. package/dist/declarative-validation/compiler/group-plans.d.ts +6 -0
  90. package/dist/declarative-validation/compiler/group-plans.d.ts.map +1 -0
  91. package/dist/declarative-validation/compiler/group-plans.js +67 -0
  92. package/dist/declarative-validation/compiler/group-plans.js.map +1 -0
  93. package/dist/declarative-validation/compiler/index.d.ts +1 -1
  94. package/dist/declarative-validation/compiler/index.d.ts.map +1 -1
  95. package/dist/declarative-validation/compiler/index.js +70 -35
  96. package/dist/declarative-validation/compiler/index.js.map +1 -1
  97. package/dist/declarative-validation/compiler/plan.d.ts +80 -5
  98. package/dist/declarative-validation/compiler/plan.d.ts.map +1 -1
  99. package/dist/declarative-validation/compiler/rule-fields.d.ts +6 -0
  100. package/dist/declarative-validation/compiler/rule-fields.d.ts.map +1 -0
  101. package/dist/declarative-validation/compiler/rule-fields.js +40 -0
  102. package/dist/declarative-validation/compiler/rule-fields.js.map +1 -0
  103. package/dist/declarative-validation/diagnostics/profile-config-diagnostics.d.ts +0 -1
  104. package/dist/declarative-validation/diagnostics/profile-config-diagnostics.d.ts.map +1 -1
  105. package/dist/declarative-validation/diagnostics/profile-config-diagnostics.js +8 -2
  106. package/dist/declarative-validation/diagnostics/profile-config-diagnostics.js.map +1 -1
  107. package/dist/declarative-validation/evidence/index.d.ts +3 -3
  108. package/dist/declarative-validation/evidence/index.d.ts.map +1 -1
  109. package/dist/declarative-validation/evidence/index.js +6 -6
  110. package/dist/declarative-validation/evidence/index.js.map +1 -1
  111. package/dist/declarative-validation/profile/applicability-schema.d.ts +4 -0
  112. package/dist/declarative-validation/profile/applicability-schema.d.ts.map +1 -0
  113. package/dist/declarative-validation/profile/applicability-schema.js +24 -0
  114. package/dist/declarative-validation/profile/applicability-schema.js.map +1 -0
  115. package/dist/declarative-validation/profile/assertion-schema.d.ts +2 -1
  116. package/dist/declarative-validation/profile/assertion-schema.d.ts.map +1 -1
  117. package/dist/declarative-validation/profile/assertion-schema.js +194 -14
  118. package/dist/declarative-validation/profile/assertion-schema.js.map +1 -1
  119. package/dist/declarative-validation/profile/direct-profile-diagnostics.d.ts +3 -1
  120. package/dist/declarative-validation/profile/direct-profile-diagnostics.d.ts.map +1 -1
  121. package/dist/declarative-validation/profile/direct-profile-diagnostics.js +10 -2
  122. package/dist/declarative-validation/profile/direct-profile-diagnostics.js.map +1 -1
  123. package/dist/declarative-validation/profile/frontmatter-shape-schema.d.ts +8 -0
  124. package/dist/declarative-validation/profile/frontmatter-shape-schema.d.ts.map +1 -0
  125. package/dist/declarative-validation/profile/frontmatter-shape-schema.js +178 -0
  126. package/dist/declarative-validation/profile/frontmatter-shape-schema.js.map +1 -0
  127. package/dist/declarative-validation/profile/group-schema.d.ts +5 -0
  128. package/dist/declarative-validation/profile/group-schema.d.ts.map +1 -0
  129. package/dist/declarative-validation/profile/group-schema.js +55 -0
  130. package/dist/declarative-validation/profile/group-schema.js.map +1 -0
  131. package/dist/declarative-validation/profile/ids-assertion-contract.d.ts +12 -0
  132. package/dist/declarative-validation/profile/ids-assertion-contract.d.ts.map +1 -0
  133. package/dist/declarative-validation/profile/ids-assertion-contract.js +32 -0
  134. package/dist/declarative-validation/profile/ids-assertion-contract.js.map +1 -0
  135. package/dist/declarative-validation/profile/index.d.ts +63 -2
  136. package/dist/declarative-validation/profile/index.d.ts.map +1 -1
  137. package/dist/declarative-validation/profile/index.js.map +1 -1
  138. package/dist/declarative-validation/profile/materialization.d.ts.map +1 -1
  139. package/dist/declarative-validation/profile/materialization.js +13 -10
  140. package/dist/declarative-validation/profile/materialization.js.map +1 -1
  141. package/dist/declarative-validation/profile/schema.d.ts.map +1 -1
  142. package/dist/declarative-validation/profile/schema.js +73 -12
  143. package/dist/declarative-validation/profile/schema.js.map +1 -1
  144. package/dist/declarative-validation/profile/syntax-version.d.ts +7 -0
  145. package/dist/declarative-validation/profile/syntax-version.d.ts.map +1 -0
  146. package/dist/declarative-validation/profile/syntax-version.js +11 -0
  147. package/dist/declarative-validation/profile/syntax-version.js.map +1 -0
  148. package/dist/declarative-validation/profile/text-format-contract.d.ts +4 -0
  149. package/dist/declarative-validation/profile/text-format-contract.d.ts.map +1 -0
  150. package/dist/declarative-validation/profile/text-format-contract.js +6 -0
  151. package/dist/declarative-validation/profile/text-format-contract.js.map +1 -0
  152. package/dist/declarative-validation/results/clone-rule-result.d.ts +6 -0
  153. package/dist/declarative-validation/results/clone-rule-result.d.ts.map +1 -0
  154. package/dist/declarative-validation/results/clone-rule-result.js +125 -0
  155. package/dist/declarative-validation/results/clone-rule-result.js.map +1 -0
  156. package/dist/declarative-validation/results/create-result.d.ts +15 -0
  157. package/dist/declarative-validation/results/create-result.d.ts.map +1 -0
  158. package/dist/declarative-validation/results/create-result.js +58 -0
  159. package/dist/declarative-validation/results/create-result.js.map +1 -0
  160. package/dist/declarative-validation/results/index.d.ts +3 -25
  161. package/dist/declarative-validation/results/index.d.ts.map +1 -1
  162. package/dist/declarative-validation/results/index.js +2 -1
  163. package/dist/declarative-validation/results/index.js.map +1 -1
  164. package/dist/declarative-validation/results/skipped-rule-result.d.ts +10 -0
  165. package/dist/declarative-validation/results/skipped-rule-result.d.ts.map +1 -0
  166. package/dist/declarative-validation/results/skipped-rule-result.js +18 -0
  167. package/dist/declarative-validation/results/skipped-rule-result.js.map +1 -0
  168. package/dist/declarative-validation/results/types.d.ts +77 -0
  169. package/dist/declarative-validation/results/types.d.ts.map +1 -0
  170. package/dist/declarative-validation/results/types.js +2 -0
  171. package/dist/declarative-validation/results/types.js.map +1 -0
  172. package/dist/declarative-validation/selectors/table-targets.d.ts +23 -0
  173. package/dist/declarative-validation/selectors/table-targets.d.ts.map +1 -1
  174. package/dist/declarative-validation/selectors/table-targets.js +52 -9
  175. package/dist/declarative-validation/selectors/table-targets.js.map +1 -1
  176. package/dist-bundled/markdown-engine-cli.mjs +27373 -0
  177. package/docs/contracts/api.md +79 -15
  178. package/docs/contracts/declarative-validation.md +462 -40
  179. package/fixtures/declarative-validation/examples/okf-v0.1/fail/invalid-log-date/log.md +5 -0
  180. package/fixtures/declarative-validation/examples/okf-v0.1/fail/missing-concept-type/concepts/customer-metric.md +8 -0
  181. package/fixtures/declarative-validation/examples/okf-v0.1/fail/non-root-index-frontmatter/datasets/index.md +7 -0
  182. package/fixtures/declarative-validation/examples/okf-v0.1/pass/datasets/index.md +3 -0
  183. package/fixtures/declarative-validation/examples/okf-v0.1/pass/datasets/sales.md +16 -0
  184. package/fixtures/declarative-validation/examples/okf-v0.1/pass/index.md +8 -0
  185. package/fixtures/declarative-validation/examples/okf-v0.1/pass/log.md +9 -0
  186. package/fixtures/declarative-validation/examples/okf-v0.1/pass/playbooks/incident-response.md +17 -0
  187. package/fixtures/declarative-validation/examples/okf-v0.1/profiles/concept.yaml +14 -0
  188. package/fixtures/declarative-validation/examples/okf-v0.1/profiles/log.yaml +10 -0
  189. package/fixtures/declarative-validation/examples/okf-v0.1/profiles/non-root-index.yaml +9 -0
  190. package/fixtures/declarative-validation/examples/okf-v0.1/profiles/root-index.yaml +12 -0
  191. package/package.json +9 -3
  192. package/scripts/install-markdown-engine-cli.sh +113 -0
  193. package/skills/profile-backed-markdown/SKILL.md +54 -0
  194. package/skills/profile-backed-markdown/assets/profiles/operational-spec.yaml +98 -0
  195. package/skills/profile-backed-markdown/references/repair-brief.md +14 -0
  196. package/skills/profile-backed-markdown/scripts/validate-profile-backed-markdown.mjs +590 -0
@@ -0,0 +1,67 @@
1
+ import { isPlainRecord } from "../../internal/plain-record.js";
2
+ import { PROFILE_SYNTAX_VERSION_V2 } from "../profile/syntax-version.js";
3
+ import { pushUnsupportedKeyDiagnostics } from "./assertion-shapes.js";
4
+ import { compileDiagnostic } from "./diagnostics.js";
5
+ import { compiledRuleFieldsFromValue } from "./rule-fields.js";
6
+ const BRANCH_KEYS = ["label", "select", "assert"];
7
+ export function compiledGroupRuleFromValue(value, kind, ruleId, severity, diagnostics) {
8
+ const branches = compiledBranchesFromValue(value, kind, ruleId, severity, diagnostics);
9
+ return branches === undefined
10
+ ? undefined
11
+ : {
12
+ kind,
13
+ syntaxVersion: PROFILE_SYNTAX_VERSION_V2,
14
+ ruleId,
15
+ severity,
16
+ branches,
17
+ };
18
+ }
19
+ function compiledBranchesFromValue(value, kind, ruleId, severity, diagnostics) {
20
+ if (!Array.isArray(value) || value.length === 0) {
21
+ diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} must be a non-empty array.`, ruleId));
22
+ return undefined;
23
+ }
24
+ const branches = [];
25
+ const seenLabels = new Set();
26
+ for (let branchIndex = 0; branchIndex < value.length; branchIndex += 1) {
27
+ const branch = compiledBranchFromValue(value[branchIndex], kind, branchIndex, ruleId, severity, diagnostics);
28
+ if (branch === undefined) {
29
+ continue;
30
+ }
31
+ if (branch.label !== undefined) {
32
+ if (seenLabels.has(branch.label)) {
33
+ diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} branch label "${branch.label}" must be unique.`, ruleId));
34
+ }
35
+ seenLabels.add(branch.label);
36
+ }
37
+ branches.push(branch);
38
+ }
39
+ return branches;
40
+ }
41
+ function compiledBranchFromValue(value, kind, branchIndex, ruleId, severity, diagnostics) {
42
+ if (!isPlainRecord(value)) {
43
+ diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} branch at index ${branchIndex} must be an object.`, ruleId));
44
+ return undefined;
45
+ }
46
+ pushUnsupportedKeyDiagnostics(value, BRANCH_KEYS, diagnostics);
47
+ const label = branchLabelFromValue(value.label, kind, branchIndex, ruleId, diagnostics);
48
+ const branchFields = compiledRuleFieldsFromValue(value.select, value.assert, ruleId, severity, PROFILE_SYNTAX_VERSION_V2, diagnostics);
49
+ return branchFields === undefined
50
+ ? undefined
51
+ : {
52
+ branchIndex,
53
+ ...(label !== undefined ? { label } : {}),
54
+ ...branchFields,
55
+ };
56
+ }
57
+ function branchLabelFromValue(value, kind, branchIndex, ruleId, diagnostics) {
58
+ if (value === undefined) {
59
+ return undefined;
60
+ }
61
+ if (typeof value === "string" && value.length > 0) {
62
+ return value;
63
+ }
64
+ diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} branch at index ${branchIndex} label must be a non-empty string when provided.`, ruleId));
65
+ return undefined;
66
+ }
67
+ //# sourceMappingURL=group-plans.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"group-plans.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/group-plans.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAKrD,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAI/D,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAU,CAAC;AAE3D,MAAM,UAAU,0BAA0B,CACxC,KAAc,EACd,IAAuB,EACvB,MAAc,EACd,QAAuC,EACvC,WAAiC;IAEjC,MAAM,QAAQ,GAAG,yBAAyB,CACxC,KAAK,EACL,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,CACZ,CAAC;IAEF,OAAO,QAAQ,KAAK,SAAS;QAC3B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,IAAI;YACJ,aAAa,EAAE,yBAAyB;YACxC,MAAM;YACN,QAAQ;YACR,QAAQ;SACT,CAAC;AACR,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAc,EACd,IAAuB,EACvB,MAAc,EACd,QAAuC,EACvC,WAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,6BAA6B,EACzC,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAA4C,EAAE,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,MAAM,EAAE,WAAW,IAAI,CAAC,EAAE,CAAC;QACvE,MAAM,MAAM,GAAG,uBAAuB,CACpC,KAAK,CAAC,WAAW,CAAC,EAClB,IAAI,EACJ,WAAW,EACX,MAAM,EACN,QAAQ,EACR,WAAW,CACZ,CAAC;QAEF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,kBAAkB,MAAM,CAAC,KAAK,mBAAmB,EAC7D,MAAM,CACP,CACF,CAAC;YACJ,CAAC;YAED,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAc,EACd,IAAuB,EACvB,WAAmB,EACnB,MAAc,EACd,QAAuC,EACvC,WAAiC;IAEjC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,oBAAoB,WAAW,qBAAqB,EAChE,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,6BAA6B,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAE/D,MAAM,KAAK,GAAG,oBAAoB,CAChC,KAAK,CAAC,KAAK,EACX,IAAI,EACJ,WAAW,EACX,MAAM,EACN,WAAW,CACZ,CAAC;IACF,MAAM,YAAY,GAAG,2BAA2B,CAC9C,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,MAAM,EACZ,MAAM,EACN,QAAQ,EACR,yBAAyB,EACzB,WAAW,CACZ,CAAC;IAEF,OAAO,YAAY,KAAK,SAAS;QAC/B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,WAAW;YACX,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,YAAY;SAChB,CAAC;AACR,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,IAAuB,EACvB,WAAmB,EACnB,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,oBAAoB,WAAW,kDAAkD,EAC7F,MAAM,CACP,CACF,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC"}
@@ -1,5 +1,5 @@
1
1
  import type { ValidationProfile } from "../profile/index.js";
2
2
  import type { DeclarativeValidationCompileResult } from "./plan.js";
3
- export type { CompiledDeclarativeAssertion, CompiledDeclarativeValidationPlan, CompiledDeclarativeValidationRule, DeclarativeValidationCompileResult, } from "./plan.js";
3
+ export type { CompiledDeclarativeValidationPlan, CompiledDeclarativeValidationPlanV1, CompiledDeclarativeValidationPlanV2, CompiledDeclarativeValidationAnyOfRuleV2, CompiledDeclarativeValidationAllOfRuleV2, CompiledDeclarativeValidationBranchV2, CompiledDeclarativeValidationExecutableRule, CompiledDeclarativeValidationRule, CompiledDeclarativeValidationRuleFields, CompiledDeclarativeValidationRuleV2, CompiledDeclarativeValidationRuleV1, CompiledDeclarativeValidationFlatRuleV2, CompiledDeclarativeValidationGroupRuleV2, CompiledDeclarativeValidationGroupRuleFields, CompiledDeclarativeValidationApplicabilityPlan, CompiledDeclarativeAssertion, DeclarativeValidationCompileResult, } from "./plan.js";
4
4
  export declare function compileValidationProfile(profile: ValidationProfile): DeclarativeValidationCompileResult;
5
5
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAGV,iBAAiB,EAClB,MAAM,qBAAqB,CAAC;AAS7B,OAAO,KAAK,EAAE,kCAAkC,EAAE,MAAM,WAAW,CAAC;AAEpE,YAAY,EACV,4BAA4B,EAC5B,iCAAiC,EACjC,iCAAiC,EACjC,kCAAkC,GACnC,MAAM,WAAW,CAAC;AAQnB,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,iBAAiB,GACzB,kCAAkC,CA8IpC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAEV,iBAAiB,EAClB,MAAM,qBAAqB,CAAC;AAiB7B,OAAO,KAAK,EAKV,kCAAkC,EACnC,MAAM,WAAW,CAAC;AAGnB,YAAY,EACV,iCAAiC,EACjC,mCAAmC,EACnC,mCAAmC,EACnC,wCAAwC,EACxC,wCAAwC,EACxC,qCAAqC,EACrC,2CAA2C,EAC3C,iCAAiC,EACjC,uCAAuC,EACvC,mCAAmC,EACnC,mCAAmC,EACnC,uCAAuC,EACvC,wCAAwC,EACxC,4CAA4C,EAC5C,8CAA8C,EAC9C,4BAA4B,EAC5B,kCAAkC,GACnC,MAAM,WAAW,CAAC;AASnB,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,iBAAiB,GACzB,kCAAkC,CAmFpC"}
@@ -2,13 +2,17 @@ import { isPlainRecord } from "../../internal/plain-record.js";
2
2
  import { closeProfileDataTree, DATA_CLOSURE_FAILED, } from "../profile/data-closure.js";
3
3
  import { pushDirectProfileUnsupportedKeyDiagnostics } from "../profile/direct-profile-diagnostics.js";
4
4
  import { selectorFromValue } from "../profile/selector-schema.js";
5
- import { compiledAssertionsFromValue } from "./assertions.js";
5
+ import { PROFILE_SYNTAX_VERSION_V2, } from "../profile/syntax-version.js";
6
+ import { compiledApplicabilityPlanFromValue } from "./applicability-plan.js";
6
7
  import { compileDiagnostic } from "./diagnostics.js";
8
+ import { compiledGroupRuleFromValue, } from "./group-plans.js";
9
+ import { compiledRuleFieldsFromValue } from "./rule-fields.js";
7
10
  const SEVERITIES = new Set([
8
11
  "error",
9
12
  "warning",
10
13
  "info",
11
14
  ]);
15
+ const GROUP_KINDS = ["anyOf", "allOf"];
12
16
  export function compileValidationProfile(profile) {
13
17
  const diagnostics = [];
14
18
  if (pushDirectProfileUnsupportedKeyDiagnostics(profile, diagnostics)) {
@@ -59,48 +63,79 @@ export function compileValidationProfile(profile) {
59
63
  if (severity === undefined && rule.severity !== undefined) {
60
64
  continue;
61
65
  }
62
- const selectorInput = closeProfileDataTree(rule.select, "Rule select", diagnostics, ruleId);
63
- if (selectorInput === DATA_CLOSURE_FAILED) {
64
- continue;
65
- }
66
- const diagnosticCountBeforeSelector = diagnostics.length;
67
- const selector = selectorFromValue(selectorInput, diagnostics);
68
- if (selector === undefined ||
69
- diagnostics.length > diagnosticCountBeforeSelector) {
70
- continue;
71
- }
72
- const assertionInput = closeProfileDataTree(rule.assert, "Rule assert", diagnostics, ruleId);
73
- if (assertionInput === DATA_CLOSURE_FAILED) {
74
- continue;
75
- }
76
- const diagnosticCountBeforeAssertions = diagnostics.length;
77
- if (!isPlainRecord(assertionInput)) {
78
- diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must be an object.", ruleId));
79
- continue;
66
+ const compiledRule = compiledRuleFromValue(rule, index, ruleId, severity ?? "error", profile.syntaxVersion, diagnostics);
67
+ if (compiledRule !== undefined) {
68
+ rules.push(compiledRule);
80
69
  }
81
- const assertions = compiledAssertionsFromValue(assertionInput, selector, ruleId, diagnostics);
82
- if (assertions.length === 0) {
83
- if (diagnostics.length === diagnosticCountBeforeAssertions) {
84
- diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must include at least one supported assertion.", ruleId));
85
- }
86
- continue;
87
- }
88
- rules.push({
89
- ruleId,
90
- severity: severity ?? "error",
91
- selector,
92
- assertions,
93
- });
94
70
  }
95
71
  return diagnostics.length > 0
96
72
  ? { diagnostics }
97
73
  : {
98
- plan: {
99
- rules,
100
- },
74
+ plan: compiledPlanFromRules(profile.syntaxVersion, rules),
101
75
  diagnostics,
102
76
  };
103
77
  }
78
+ function compiledPlanFromRules(syntaxVersion, rules) {
79
+ return syntaxVersion === PROFILE_SYNTAX_VERSION_V2
80
+ ? {
81
+ syntaxVersion,
82
+ rules: rules.map((rule) => v2RulePlanFromRule(rule, syntaxVersion)),
83
+ }
84
+ : {
85
+ rules: rules,
86
+ };
87
+ }
88
+ function v2RulePlanFromRule(rule, syntaxVersion) {
89
+ return "kind" in rule
90
+ ? rule
91
+ : {
92
+ kind: "flat",
93
+ syntaxVersion,
94
+ ...rule,
95
+ };
96
+ }
97
+ function compiledRuleFromValue(rule, ruleIndex, ruleId, severity, syntaxVersion, diagnostics) {
98
+ if (syntaxVersion !== PROFILE_SYNTAX_VERSION_V2) {
99
+ return compiledRuleFieldsFromValue(rule.select, rule.assert, ruleId, severity, syntaxVersion, diagnostics);
100
+ }
101
+ const hasFlatShapeInput = rule.select !== undefined || rule.assert !== undefined;
102
+ const groupKind = groupKindFromRule(rule);
103
+ const applicability = rule.when === undefined
104
+ ? undefined
105
+ : compiledApplicabilityPlanFromValue(rule.when, ruleId, severity, diagnostics);
106
+ if (rule.when !== undefined && applicability === undefined) {
107
+ return undefined;
108
+ }
109
+ const shapeCount = Number(hasFlatShapeInput) + GROUP_KINDS.reduce((count, kind) => count + Number(rule[kind] !== undefined), 0);
110
+ if (shapeCount !== 1) {
111
+ diagnostics.push(compileDiagnostic("profile.config.invalidShape", `V2 rule at index ${ruleIndex} must declare exactly one of select/assert, anyOf, or allOf.`, ruleId));
112
+ return undefined;
113
+ }
114
+ if (groupKind !== undefined) {
115
+ const groupRule = compiledGroupRuleFromValue(rule[groupKind], groupKind, ruleId, severity, diagnostics);
116
+ return groupRule === undefined
117
+ ? undefined
118
+ : {
119
+ ...groupRule,
120
+ ...(applicability !== undefined ? { applicability } : {}),
121
+ };
122
+ }
123
+ const fields = compiledRuleFieldsFromValue(rule.select, rule.assert, ruleId, severity, syntaxVersion, diagnostics);
124
+ return fields === undefined
125
+ ? undefined
126
+ : {
127
+ kind: "flat",
128
+ syntaxVersion: PROFILE_SYNTAX_VERSION_V2,
129
+ ...fields,
130
+ ...(applicability !== undefined ? { applicability } : {}),
131
+ };
132
+ }
133
+ function groupKindFromRule(rule) {
134
+ if (rule.anyOf !== undefined) {
135
+ return "anyOf";
136
+ }
137
+ return rule.allOf !== undefined ? "allOf" : undefined;
138
+ }
104
139
  function profileRulesFromValue(value, diagnostics) {
105
140
  if (!Array.isArray(value)) {
106
141
  diagnostics.push({
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAM/D,OAAO,EACL,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,0CAA0C,EAAE,MAAM,0CAA0C,CAAC;AACtG,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAUrD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAgC;IACxD,OAAO;IACP,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,UAAU,wBAAwB,CACtC,OAA0B;IAE1B,MAAM,WAAW,GAAyB,EAAE,CAAC;IAC7C,IAAI,0CAA0C,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;QACrE,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,aAAa,GAAG,oBAAoB,CACxC,OAAkB,EAClB,SAAS,EACT,WAAW,CACZ,CAAC;IACF,IAAI,aAAa,KAAK,mBAAmB,EAAE,CAAC;QAC1C,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,WAAW,EAAE;gBACX,GAAG,WAAW;gBACd;oBACE,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,4BAA4B;oBACrC,QAAQ,EAAE,OAAgB;iBAC3B;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,qBAAqB,CAAC,aAAa,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC7E,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5D,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAC5D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,yBAAyB,KAAK,wBAAwB,MAAM,IAAI;gBACzE,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;YAEH,SAAS;QACX,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAExB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;QACvE,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,oBAAoB,CACxC,IAAI,CAAC,MAAM,EACX,aAAa,EACb,WAAW,EACX,MAAM,CACP,CAAC;QACF,IAAI,aAAa,KAAK,mBAAmB,EAAE,CAAC;YAC1C,SAAS;QACX,CAAC;QAED,MAAM,6BAA6B,GAAG,WAAW,CAAC,MAAM,CAAC;QACzD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;QAC/D,IACE,QAAQ,KAAK,SAAS;YACtB,WAAW,CAAC,MAAM,GAAG,6BAA6B,EAClD,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,cAAc,GAAG,oBAAoB,CACzC,IAAI,CAAC,MAAM,EACX,aAAa,EACb,WAAW,EACX,MAAM,CACP,CAAC;QACF,IAAI,cAAc,KAAK,mBAAmB,EAAE,CAAC;YAC3C,SAAS;QACX,CAAC;QAED,MAAM,+BAA+B,GAAG,WAAW,CAAC,MAAM,CAAC;QAC3D,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,CAAC;YACnC,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,gCAAgC,EAChC,MAAM,CACP,CACF,CAAC;YAEF,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,2BAA2B,CAC5C,cAA8D,EAC9D,QAAQ,EACR,MAAM,EACN,WAAW,CACZ,CAAC;QAEF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,IAAI,WAAW,CAAC,MAAM,KAAK,+BAA+B,EAAE,CAAC;gBAC3D,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,4DAA4D,EAC5D,MAAM,CACP,CACF,CAAC;YACJ,CAAC;YAED,SAAS;QACX,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACT,MAAM;YACN,QAAQ,EAAE,QAAQ,IAAI,OAAO;YAC7B,QAAQ;YACR,UAAU;SACX,CAAC,CAAC;IACL,CAAC;IAED,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC,EAAE,WAAW,EAAE;QACjB,CAAC,CAAC;YACE,IAAI,EAAE;gBACJ,KAAK;aACN;YACD,WAAW;SACZ,CAAC;AACR,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAc,EACd,WAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,iCAAiC;YAC1C,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAc,EAAE,CAAC;IAE5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAEzE,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC;YACzD,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,sCAAsC;gBAC/C,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;YAEH,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,KAAc,EACd,KAAa,EACb,WAAiC;IAEjC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,yBAAyB,KAAK,qBAAqB;YAC5D,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,oBAAoB,CACrC,KAAK,EACL,yBAAyB,KAAK,EAAE,EAChC,WAAW,CACZ,CAAC;IAEF,OAAO,UAAU,KAAK,mBAAmB,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC;QACrE,CAAC,CAAC,SAAS;QACX,CAAC,CAAE,UAAmD,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,KAAa,EACb,WAAiC;IAEjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,IAAI,CAAC;QACf,IAAI,EAAE,6BAA6B;QACnC,OAAO,EAAE,yBAAyB,KAAK,4BAA4B;QACnE,QAAQ,EAAE,OAAO;KAClB,CAAC,CAAC;IAEH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,UAAU,CAAC,GAAG,CAAC,KAAsC,CAAC,EACtD,CAAC;QACD,OAAO,KAAsC,CAAC;IAChD,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,oEAAoE,EACpE,MAAM,CACP,CACF,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAK/D,OAAO,EACL,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,0CAA0C,EAAE,MAAM,0CAA0C,CAAC;AACtG,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EACL,yBAAyB,GAE1B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,kCAAkC,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EACL,0BAA0B,GAE3B,MAAM,kBAAkB,CAAC;AAQ1B,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAsB/D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAgC;IACxD,OAAO;IACP,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,OAAO,CAAU,CAAC;AAEhD,MAAM,UAAU,wBAAwB,CACtC,OAA0B;IAE1B,MAAM,WAAW,GAAyB,EAAE,CAAC;IAC7C,IAAI,0CAA0C,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;QACrE,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,aAAa,GAAG,oBAAoB,CACxC,OAAkB,EAClB,SAAS,EACT,WAAW,CACZ,CAAC;IACF,IAAI,aAAa,KAAK,mBAAmB,EAAE,CAAC;QAC1C,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,WAAW,EAAE;gBACX,GAAG,WAAW;gBACd;oBACE,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,4BAA4B;oBACrC,QAAQ,EAAE,OAAgB;iBAC3B;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,qBAAqB,CAAC,aAAa,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC7E,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,KAAK,GAAwC,EAAE,CAAC;IACtD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5D,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAC5D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,yBAAyB,KAAK,wBAAwB,MAAM,IAAI;gBACzE,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;YAEH,SAAS;QACX,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAExB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;QACvE,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,qBAAqB,CACxC,IAAI,EACJ,KAAK,EACL,MAAM,EACN,QAAQ,IAAI,OAAO,EACnB,OAAO,CAAC,aAAa,EACrB,WAAW,CACZ,CAAC;QAEF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC,EAAE,WAAW,EAAE;QACjB,CAAC,CAAC;YACE,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC;YACzD,WAAW;SACZ,CAAC;AACR,CAAC;AAED,SAAS,qBAAqB,CAC5B,aAA6C,EAC7C,KAAmD;IAEnD,OAAO,aAAa,KAAK,yBAAyB;QAChD,CAAC,CAAC;YACE,aAAa;YACb,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;SACpE;QACH,CAAC,CAAC;YACE,KAAK,EAAE,KAA2D;SACnE,CAAC;AACR,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAuC,EACvC,aAA+C;IAE/C,OAAO,MAAM,IAAI,IAAI;QACnB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,IAAI,EAAE,MAAM;YACZ,aAAa;YACb,GAAG,IAAI;SACR,CAAC;AACR,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAA6B,EAC7B,SAAiB,EACjB,MAAc,EACd,QAAuC,EACvC,aAA6C,EAC7C,WAAiC;IAEjC,IAAI,aAAa,KAAK,yBAAyB,EAAE,CAAC;QAChD,OAAO,2BAA2B,CAChC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,EACX,MAAM,EACN,QAAQ,EACR,aAAa,EACb,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;IACjF,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,aAAa,GACjB,IAAI,CAAC,IAAI,KAAK,SAAS;QACrB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,kCAAkC,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC,GAAG,WAAW,CAAC,MAAM,CAC/D,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,EACzD,CAAC,CACF,CAAC;IAEF,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,oBAAoB,SAAS,8DAA8D,EAC3F,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,0BAA0B,CAC1C,IAAI,CAAC,SAAS,CAAC,EACf,SAAS,EACT,MAAM,EACN,QAAQ,EACR,WAAW,CACZ,CAAC;QAEF,OAAO,SAAS,KAAK,SAAS;YAC5B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC;gBACE,GAAG,SAAS;gBACZ,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1D,CAAC;IACR,CAAC;IAED,MAAM,MAAM,GAAG,2BAA2B,CACxC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,EACX,MAAM,EACN,QAAQ,EACR,aAAa,EACb,WAAW,CACZ,CAAC;IAEF,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,IAAI,EAAE,MAAM;YACZ,aAAa,EAAE,yBAAyB;YACxC,GAAG,MAAM;YACT,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1D,CAAC;AACR,CAAC;AAED,SAAS,iBAAiB,CACxB,IAA6B;IAE7B,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAc,EACd,WAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,iCAAiC;YAC1C,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAc,EAAE,CAAC;IAE5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAEzE,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC;YACzD,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,sCAAsC;gBAC/C,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;YAEH,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,KAAc,EACd,KAAa,EACb,WAAiC;IAEjC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,yBAAyB,KAAK,qBAAqB;YAC5D,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,oBAAoB,CACrC,KAAK,EACL,yBAAyB,KAAK,EAAE,EAChC,WAAW,CACZ,CAAC;IAEF,OAAO,UAAU,KAAK,mBAAmB,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC;QACrE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,UAAU,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,KAAa,EACb,WAAiC;IAEjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,IAAI,CAAC;QACf,IAAI,EAAE,6BAA6B;QACnC,OAAO,EAAE,yBAAyB,KAAK,4BAA4B;QACnE,QAAQ,EAAE,OAAO;KAClB,CAAC,CAAC;IAEH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,UAAU,CAAC,GAAG,CAAC,KAAsC,CAAC,EACtD,CAAC;QACD,OAAO,KAAsC,CAAC;IAChD,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,oEAAoE,EACpE,MAAM,CACP,CACF,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC"}
@@ -1,17 +1,69 @@
1
1
  import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
2
- import type { DeclarativeSelector, DeclarativeValidationSeverity } from "../profile/index.js";
2
+ import type { DeclarativeFrontmatterFieldShape, DeclarativeFrontmatterPresence, DeclarativeSelector, DeclarativeValidationSeverity } from "../profile/index.js";
3
+ import type { PROFILE_SYNTAX_VERSION_V2 } from "../profile/syntax-version.js";
3
4
  /** @internal Private compiled plans must not be exported from the package root. */
4
- export interface CompiledDeclarativeValidationPlan {
5
- rules: readonly CompiledDeclarativeValidationRule[];
5
+ export type CompiledDeclarativeValidationPlan = CompiledDeclarativeValidationPlanV1 | CompiledDeclarativeValidationPlanV2;
6
+ /** @internal */
7
+ export interface CompiledDeclarativeValidationPlanV1 {
8
+ rules: readonly CompiledDeclarativeValidationRuleV1[];
9
+ }
10
+ /** @internal */
11
+ export interface CompiledDeclarativeValidationPlanV2 {
12
+ syntaxVersion: typeof PROFILE_SYNTAX_VERSION_V2;
13
+ rules: readonly CompiledDeclarativeValidationRuleV2[];
6
14
  }
7
15
  /** @internal Private rule-plan records are owned by the compiler package. */
8
- export interface CompiledDeclarativeValidationRule {
16
+ export type CompiledDeclarativeValidationRule = CompiledDeclarativeValidationExecutableRule | CompiledDeclarativeValidationGroupRuleV2;
17
+ /** @internal */
18
+ export type CompiledDeclarativeValidationExecutableRule = CompiledDeclarativeValidationRuleV1 | CompiledDeclarativeValidationFlatRuleV2;
19
+ /** @internal */
20
+ export type CompiledDeclarativeValidationRuleV2 = CompiledDeclarativeValidationFlatRuleV2 | CompiledDeclarativeValidationGroupRuleV2;
21
+ /** @internal */
22
+ export type CompiledDeclarativeValidationRuleV1 = CompiledDeclarativeValidationRuleFields;
23
+ /** @internal */
24
+ export interface CompiledDeclarativeValidationFlatRuleV2 extends CompiledDeclarativeValidationRuleFields, CompiledDeclarativeValidationApplicabilityOwnerV2 {
25
+ kind: "flat";
26
+ syntaxVersion: typeof PROFILE_SYNTAX_VERSION_V2;
27
+ }
28
+ /** @internal */
29
+ export type CompiledDeclarativeValidationGroupRuleV2 = CompiledDeclarativeValidationAnyOfRuleV2 | CompiledDeclarativeValidationAllOfRuleV2;
30
+ /** @internal */
31
+ export interface CompiledDeclarativeValidationAnyOfRuleV2 extends CompiledDeclarativeValidationGroupRuleFields {
32
+ kind: "anyOf";
33
+ }
34
+ /** @internal */
35
+ export interface CompiledDeclarativeValidationAllOfRuleV2 extends CompiledDeclarativeValidationGroupRuleFields {
36
+ kind: "allOf";
37
+ }
38
+ /** @internal */
39
+ export interface CompiledDeclarativeValidationGroupRuleFields extends CompiledDeclarativeValidationApplicabilityOwnerV2 {
40
+ syntaxVersion: typeof PROFILE_SYNTAX_VERSION_V2;
41
+ ruleId: string;
42
+ severity: DeclarativeValidationSeverity;
43
+ branches: readonly CompiledDeclarativeValidationBranchV2[];
44
+ }
45
+ /** @internal */
46
+ export interface CompiledDeclarativeValidationBranchV2 extends CompiledDeclarativeValidationRuleFields {
47
+ branchIndex: number;
48
+ label?: string;
49
+ }
50
+ /** @internal */
51
+ export interface CompiledDeclarativeValidationRuleFields {
9
52
  ruleId: string;
10
53
  severity: DeclarativeValidationSeverity;
11
54
  selector: DeclarativeSelector;
12
55
  assertions: readonly CompiledDeclarativeAssertion[];
13
56
  }
14
57
  /** @internal */
58
+ export interface CompiledDeclarativeValidationApplicabilityOwnerV2 {
59
+ applicability?: CompiledDeclarativeValidationApplicabilityPlan;
60
+ }
61
+ /** @internal */
62
+ export interface CompiledDeclarativeValidationApplicabilityPlan {
63
+ selector: DeclarativeSelector;
64
+ assertions: readonly CompiledDeclarativeAssertion[];
65
+ }
66
+ /** @internal */
15
67
  export interface DeclarativeValidationCompileResult {
16
68
  plan?: CompiledDeclarativeValidationPlan;
17
69
  diagnostics: readonly MarkdownDiagnostic[];
@@ -28,9 +80,11 @@ export type CompiledDeclarativeAssertion = {
28
80
  columns: readonly string[];
29
81
  } | {
30
82
  kind: "ids";
31
- unique: true;
83
+ unique?: true;
32
84
  caseSensitive: boolean;
33
85
  prefix?: string;
86
+ minCount?: number;
87
+ maxCount?: number;
34
88
  } | {
35
89
  kind: "references";
36
90
  idsFrom: {
@@ -39,6 +93,24 @@ export type CompiledDeclarativeAssertion = {
39
93
  prefix?: string;
40
94
  };
41
95
  mustAppearIn: readonly string[];
96
+ } | {
97
+ kind: "tableColumnCoverage";
98
+ source: {
99
+ section: string;
100
+ column: string;
101
+ prefix?: string;
102
+ caseSensitive: boolean;
103
+ };
104
+ target: {
105
+ section: string;
106
+ tableHeader?: readonly string[];
107
+ column: string;
108
+ };
109
+ require: "everySourceId";
110
+ } | {
111
+ kind: "frontmatterShape";
112
+ presence?: DeclarativeFrontmatterPresence;
113
+ fields?: readonly DeclarativeFrontmatterFieldShape[];
42
114
  } | {
43
115
  kind: "text";
44
116
  contains?: string;
@@ -51,6 +123,9 @@ export type CompiledDeclarativeAssertion = {
51
123
  kind: "textLength";
52
124
  min?: number;
53
125
  max?: number;
126
+ } | {
127
+ kind: "textFormat";
128
+ format: "isoDate";
54
129
  } | {
55
130
  kind: "frontmatterRequired";
56
131
  fields: readonly string[];
@@ -1 +1 @@
1
- {"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/plan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EACV,mBAAmB,EACnB,6BAA6B,EAC9B,MAAM,qBAAqB,CAAC;AAE7B,mFAAmF;AACnF,MAAM,WAAW,iCAAiC;IAChD,KAAK,EAAE,SAAS,iCAAiC,EAAE,CAAC;CACrD;AAED,6EAA6E;AAC7E,MAAM,WAAW,iCAAiC;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,6BAA6B,CAAC;IACxC,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACrD;AAED,gBAAgB;AAChB,MAAM,WAAW,kCAAkC;IACjD,IAAI,CAAC,EAAE,iCAAiC,CAAC;IACzC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC5C;AAED,gBAAgB;AAChB,MAAM,MAAM,4BAA4B,GACpC;IACE,IAAI,EAAE,QAAQ,CAAC;CAChB,GACD;IACE,IAAI,EAAE,kBAAkB,CAAC;IACzB,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAC;CAC1B,GACD;IACE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,EAAE,IAAI,CAAC;IACb,aAAa,EAAE,OAAO,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE;QACP,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,GACD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3B,CAAC"}
1
+ {"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/plan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EACV,gCAAgC,EAChC,8BAA8B,EAC9B,mBAAmB,EACnB,6BAA6B,EAC9B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAE9E,mFAAmF;AACnF,MAAM,MAAM,iCAAiC,GACzC,mCAAmC,GACnC,mCAAmC,CAAC;AAExC,gBAAgB;AAChB,MAAM,WAAW,mCAAmC;IAClD,KAAK,EAAE,SAAS,mCAAmC,EAAE,CAAC;CACvD;AAED,gBAAgB;AAChB,MAAM,WAAW,mCAAmC;IAClD,aAAa,EAAE,OAAO,yBAAyB,CAAC;IAChD,KAAK,EAAE,SAAS,mCAAmC,EAAE,CAAC;CACvD;AAED,6EAA6E;AAC7E,MAAM,MAAM,iCAAiC,GACzC,2CAA2C,GAC3C,wCAAwC,CAAC;AAE7C,gBAAgB;AAChB,MAAM,MAAM,2CAA2C,GACnD,mCAAmC,GACnC,uCAAuC,CAAC;AAE5C,gBAAgB;AAChB,MAAM,MAAM,mCAAmC,GAC3C,uCAAuC,GACvC,wCAAwC,CAAC;AAE7C,gBAAgB;AAChB,MAAM,MAAM,mCAAmC,GAC7C,uCAAuC,CAAC;AAE1C,gBAAgB;AAChB,MAAM,WAAW,uCACf,SAAQ,uCAAuC,EAC7C,iDAAiD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,OAAO,yBAAyB,CAAC;CACjD;AAED,gBAAgB;AAChB,MAAM,MAAM,wCAAwC,GAChD,wCAAwC,GACxC,wCAAwC,CAAC;AAE7C,gBAAgB;AAChB,MAAM,WAAW,wCACf,SAAQ,4CAA4C;IACpD,IAAI,EAAE,OAAO,CAAC;CACf;AAED,gBAAgB;AAChB,MAAM,WAAW,wCACf,SAAQ,4CAA4C;IACpD,IAAI,EAAE,OAAO,CAAC;CACf;AAED,gBAAgB;AAChB,MAAM,WAAW,4CACf,SAAQ,iDAAiD;IACzD,aAAa,EAAE,OAAO,yBAAyB,CAAC;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,6BAA6B,CAAC;IACxC,QAAQ,EAAE,SAAS,qCAAqC,EAAE,CAAC;CAC5D;AAED,gBAAgB;AAChB,MAAM,WAAW,qCACf,SAAQ,uCAAuC;IAC/C,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,gBAAgB;AAChB,MAAM,WAAW,uCAAuC;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,6BAA6B,CAAC;IACxC,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACrD;AAED,gBAAgB;AAChB,MAAM,WAAW,iDAAiD;IAChE,aAAa,CAAC,EAAE,8CAA8C,CAAC;CAChE;AAED,gBAAgB;AAChB,MAAM,WAAW,8CAA8C;IAC7D,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACrD;AAED,gBAAgB;AAChB,MAAM,WAAW,kCAAkC;IACjD,IAAI,CAAC,EAAE,iCAAiC,CAAC;IACzC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC5C;AAED,gBAAgB;AAChB,MAAM,MAAM,4BAA4B,GACpC;IACE,IAAI,EAAE,QAAQ,CAAC;CAChB,GACD;IACE,IAAI,EAAE,kBAAkB,CAAC;IACzB,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAC;CAC1B,GACD;IACE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,CAAC,EAAE,IAAI,CAAC;IACd,aAAa,EAAE,OAAO,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE;QACP,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,aAAa,EAAE,OAAO,CAAC;KACxB,CAAC;IACF,MAAM,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAChC,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,OAAO,EAAE,eAAe,CAAC;CAC1B,GACD;IACE,IAAI,EAAE,kBAAkB,CAAC;IACzB,QAAQ,CAAC,EAAE,8BAA8B,CAAC;IAC1C,MAAM,CAAC,EAAE,SAAS,gCAAgC,EAAE,CAAC;CACtD,GACD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,SAAS,CAAC;CACnB,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3B,CAAC"}
@@ -0,0 +1,6 @@
1
+ import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
2
+ import type { DeclarativeValidationSeverity } from "../profile/index.js";
3
+ import type { ValidationProfileSyntaxVersion } from "../profile/syntax-version.js";
4
+ import type { CompiledDeclarativeValidationRuleFields } from "./plan.js";
5
+ export declare function compiledRuleFieldsFromValue(selectValue: unknown, assertValue: unknown, ruleId: string, severity: DeclarativeValidationSeverity, syntaxVersion: ValidationProfileSyntaxVersion, diagnostics: MarkdownDiagnostic[]): CompiledDeclarativeValidationRuleFields | undefined;
6
+ //# sourceMappingURL=rule-fields.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"rule-fields.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/rule-fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EAEV,6BAA6B,EAC9B,MAAM,qBAAqB,CAAC;AAM7B,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAGnF,OAAO,KAAK,EAAE,uCAAuC,EAAE,MAAM,WAAW,CAAC;AAEzE,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,OAAO,EACpB,WAAW,EAAE,OAAO,EACpB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,6BAA6B,EACvC,aAAa,EAAE,8BAA8B,EAC7C,WAAW,EAAE,kBAAkB,EAAE,GAChC,uCAAuC,GAAG,SAAS,CAuErD"}
@@ -0,0 +1,40 @@
1
+ import { isPlainRecord } from "../../internal/plain-record.js";
2
+ import { closeProfileDataTree, DATA_CLOSURE_FAILED, } from "../profile/data-closure.js";
3
+ import { selectorFromValue } from "../profile/selector-schema.js";
4
+ import { compiledAssertionsFromValue } from "./assertions.js";
5
+ import { compileDiagnostic } from "./diagnostics.js";
6
+ export function compiledRuleFieldsFromValue(selectValue, assertValue, ruleId, severity, syntaxVersion, diagnostics) {
7
+ const selectorInput = closeProfileDataTree(selectValue, "Rule select", diagnostics, ruleId);
8
+ if (selectorInput === DATA_CLOSURE_FAILED) {
9
+ return undefined;
10
+ }
11
+ const diagnosticCountBeforeSelector = diagnostics.length;
12
+ const selector = selectorFromValue(selectorInput, diagnostics);
13
+ if (selector === undefined ||
14
+ diagnostics.length > diagnosticCountBeforeSelector) {
15
+ return undefined;
16
+ }
17
+ const assertionInput = closeProfileDataTree(assertValue, "Rule assert", diagnostics, ruleId);
18
+ if (assertionInput === DATA_CLOSURE_FAILED) {
19
+ return undefined;
20
+ }
21
+ const diagnosticCountBeforeAssertions = diagnostics.length;
22
+ if (!isPlainRecord(assertionInput)) {
23
+ diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must be an object.", ruleId));
24
+ return undefined;
25
+ }
26
+ const assertions = compiledAssertionsFromValue(assertionInput, selector, ruleId, syntaxVersion, diagnostics);
27
+ if (assertions.length === 0) {
28
+ if (diagnostics.length === diagnosticCountBeforeAssertions) {
29
+ diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must include at least one supported assertion.", ruleId));
30
+ }
31
+ return undefined;
32
+ }
33
+ return {
34
+ ruleId,
35
+ severity,
36
+ selector,
37
+ assertions,
38
+ };
39
+ }
40
+ //# sourceMappingURL=rule-fields.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"rule-fields.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/rule-fields.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAK/D,OAAO,EACL,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGrD,MAAM,UAAU,2BAA2B,CACzC,WAAoB,EACpB,WAAoB,EACpB,MAAc,EACd,QAAuC,EACvC,aAA6C,EAC7C,WAAiC;IAEjC,MAAM,aAAa,GAAG,oBAAoB,CACxC,WAAW,EACX,aAAa,EACb,WAAW,EACX,MAAM,CACP,CAAC;IACF,IAAI,aAAa,KAAK,mBAAmB,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,6BAA6B,GAAG,WAAW,CAAC,MAAM,CAAC;IACzD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IAC/D,IACE,QAAQ,KAAK,SAAS;QACtB,WAAW,CAAC,MAAM,GAAG,6BAA6B,EAClD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,oBAAoB,CACzC,WAAW,EACX,aAAa,EACb,WAAW,EACX,MAAM,CACP,CAAC;IACF,IAAI,cAAc,KAAK,mBAAmB,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,+BAA+B,GAAG,WAAW,CAAC,MAAM,CAAC;IAC3D,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,CAAC;QACnC,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,gCAAgC,EAChC,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,2BAA2B,CAC5C,cAAsC,EACtC,QAAQ,EACR,MAAM,EACN,aAAa,EACb,WAAW,CACZ,CAAC;IAEF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,IAAI,WAAW,CAAC,MAAM,KAAK,+BAA+B,EAAE,CAAC;YAC3D,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,4DAA4D,EAC5D,MAAM,CACP,CACF,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,UAAU;KACX,CAAC;AACJ,CAAC"}
@@ -1,5 +1,4 @@
1
1
  import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
2
- export declare const PROFILE_SYNTAX_VERSION = "markdown-engine.validation@v1";
3
2
  export declare const REGEX_LIKE_PROFILE_KEYS: readonly ["matches", "pattern", "regex", "regexp"];
4
3
  export declare const UNSAFE_PROFILE_KEYS: readonly ["callback", "eval", "execute", "expression", "function", "import", "imports", "plugin", "script"];
5
4
  export declare function profileDiagnostic(code: string, message: string): MarkdownDiagnostic;
@@ -1 +1 @@
1
- {"version":3,"file":"profile-config-diagnostics.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/diagnostics/profile-config-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,eAAO,MAAM,sBAAsB,kCAAkC,CAAC;AAEtE,eAAO,MAAM,uBAAuB,oDAK1B,CAAC;AAEX,eAAO,MAAM,mBAAmB,6GAUtB,CAAC;AAOX,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,kBAAkB,CAEpB;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,kBAAkB,CAEvE;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB,CAKrE;AAED,wBAAgB,wBAAwB,IAAI,kBAAkB,CAK7D;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,WAAW,EAAE,kBAAkB,EAAE,GAChC,IAAI,CAMN;AAED,wBAAgB,iCAAiC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAEtE"}
1
+ {"version":3,"file":"profile-config-diagnostics.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/diagnostics/profile-config-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAGnE,eAAO,MAAM,uBAAuB,oDAK1B,CAAC;AAEX,eAAO,MAAM,mBAAmB,6GAUtB,CAAC;AAOX,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,kBAAkB,CAEpB;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,kBAAkB,CAEvE;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB,CAKrE;AAED,wBAAgB,wBAAwB,IAAI,kBAAkB,CAK7D;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,WAAW,EAAE,kBAAkB,EAAE,GAChC,IAAI,CAMN;AAED,wBAAgB,iCAAiC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAEtE"}
@@ -1,4 +1,4 @@
1
- export const PROFILE_SYNTAX_VERSION = "markdown-engine.validation@v1";
1
+ import { SUPPORTED_PROFILE_SYNTAX_VERSIONS } from "../profile/syntax-version.js";
2
2
  export const REGEX_LIKE_PROFILE_KEYS = [
3
3
  "matches",
4
4
  "pattern",
@@ -30,7 +30,7 @@ export function unsupportedProfileKey(key) {
30
30
  return profileDiagnostic("profile.config.unsupportedKey", `Unsupported validation profile key "${key}".`);
31
31
  }
32
32
  export function unsupportedSyntaxVersion() {
33
- return profileDiagnostic("profile.config.unsupportedSyntaxVersion", `Profile syntaxVersion must be "${PROFILE_SYNTAX_VERSION}".`);
33
+ return profileDiagnostic("profile.config.unsupportedSyntaxVersion", `Profile syntaxVersion must be ${quotedList(SUPPORTED_PROFILE_SYNTAX_VERSIONS)}`);
34
34
  }
35
35
  export function unsupportedProfileKeys(record, allowedKeys, diagnostics) {
36
36
  for (const key of Object.keys(record)) {
@@ -42,4 +42,10 @@ export function unsupportedProfileKeys(record, allowedKeys, diagnostics) {
42
42
  export function hasConfigUnsupportedKeyPrecedence(key) {
43
43
  return CONFIG_UNSUPPORTED_KEY_PRECEDENCE.has(key);
44
44
  }
45
+ function quotedList(values) {
46
+ const quotedValues = values.map((value) => `"${value}"`);
47
+ const finalValue = quotedValues.at(-1) ?? "";
48
+ const prefix = quotedValues.slice(0, -1).join(", ");
49
+ return prefix.length === 0 ? `${finalValue}.` : `${prefix} or ${finalValue}.`;
50
+ }
45
51
  //# sourceMappingURL=profile-config-diagnostics.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"profile-config-diagnostics.js","sourceRoot":"","sources":["../../../src/declarative-validation/diagnostics/profile-config-diagnostics.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,sBAAsB,GAAG,+BAA+B,CAAC;AAEtE,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,SAAS;IACT,SAAS;IACT,OAAO;IACP,QAAQ;CACA,CAAC;AAEX,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,UAAU;IACV,MAAM;IACN,SAAS;IACT,YAAY;IACZ,UAAU;IACV,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,QAAQ;CACA,CAAC;AAEX,MAAM,iCAAiC,GAAG,IAAI,GAAG,CAAS;IACxD,GAAG,uBAAuB;IAC1B,GAAG,mBAAmB;CACvB,CAAC,CAAC;AAEH,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,OAAe;IAEf,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,OAAO,iBAAiB,CAAC,6BAA6B,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,GAAW;IAC/C,OAAO,iBAAiB,CACtB,+BAA+B,EAC/B,uCAAuC,GAAG,IAAI,CAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO,iBAAiB,CACtB,yCAAyC,EACzC,kCAAkC,sBAAsB,IAAI,CAC7D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAA+B,EAC/B,WAA8B,EAC9B,WAAiC;IAEjC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,GAAW;IAC3D,OAAO,iCAAiC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACpD,CAAC"}
1
+ {"version":3,"file":"profile-config-diagnostics.js","sourceRoot":"","sources":["../../../src/declarative-validation/diagnostics/profile-config-diagnostics.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iCAAiC,EAAE,MAAM,8BAA8B,CAAC;AAEjF,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,SAAS;IACT,SAAS;IACT,OAAO;IACP,QAAQ;CACA,CAAC;AAEX,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,UAAU;IACV,MAAM;IACN,SAAS;IACT,YAAY;IACZ,UAAU;IACV,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,QAAQ;CACA,CAAC;AAEX,MAAM,iCAAiC,GAAG,IAAI,GAAG,CAAS;IACxD,GAAG,uBAAuB;IAC1B,GAAG,mBAAmB;CACvB,CAAC,CAAC;AAEH,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,OAAe;IAEf,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,OAAO,iBAAiB,CAAC,6BAA6B,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,GAAW;IAC/C,OAAO,iBAAiB,CACtB,+BAA+B,EAC/B,uCAAuC,GAAG,IAAI,CAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO,iBAAiB,CACtB,yCAAyC,EACzC,iCAAiC,UAAU,CAAC,iCAAiC,CAAC,EAAE,CACjF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAA+B,EAC/B,WAA8B,EAC9B,WAAiC;IAEjC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,GAAW;IAC3D,OAAO,iCAAiC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,UAAU,CAAC,MAAyB;IAC3C,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEpD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,OAAO,UAAU,GAAG,CAAC;AAChF,CAAC"}
@@ -2,13 +2,13 @@ import type { EngineDocument } from "../../api/document.js";
2
2
  import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
3
3
  import type { ValidationRuleResult } from "../../api/validate.js";
4
4
  import type { ValidationProfile } from "../profile/index.js";
5
- export interface DeclarativeValidationEvidence {
5
+ export interface DeclarativeValidationEvidence<RuleResult extends ValidationRuleResult = ValidationRuleResult> {
6
6
  inputHash: string;
7
7
  profileHash: string;
8
8
  engineVersion: string;
9
9
  runtimeVersion: string;
10
- ruleResults: readonly ValidationRuleResult[];
10
+ ruleResults: readonly RuleResult[];
11
11
  diagnostics: readonly MarkdownDiagnostic[];
12
12
  }
13
- export declare function createDeclarativeValidationEvidence(document: EngineDocument, profile: ValidationProfile, ruleResults: readonly ValidationRuleResult[], diagnostics: readonly MarkdownDiagnostic[]): DeclarativeValidationEvidence;
13
+ export declare function createDeclarativeValidationEvidence<RuleResult extends ValidationRuleResult>(document: EngineDocument, profile: ValidationProfile, ruleResults: readonly RuleResult[], diagnostics: readonly MarkdownDiagnostic[]): DeclarativeValidationEvidence<RuleResult>;
14
14
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/evidence/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAGlE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,MAAM,WAAW,6BAA6B;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC7C,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC5C;AAED,wBAAgB,mCAAmC,CACjD,QAAQ,EAAE,cAAc,EACxB,OAAO,EAAE,iBAAiB,EAC1B,WAAW,EAAE,SAAS,oBAAoB,EAAE,EAC5C,WAAW,EAAE,SAAS,kBAAkB,EAAE,GACzC,6BAA6B,CAS/B"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/evidence/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAGlE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAG7D,MAAM,WAAW,6BAA6B,CAC5C,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IACnC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC5C;AAED,wBAAgB,mCAAmC,CACjD,UAAU,SAAS,oBAAoB,EAEvC,QAAQ,EAAE,cAAc,EACxB,OAAO,EAAE,iBAAiB,EAC1B,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,WAAW,EAAE,SAAS,kBAAkB,EAAE,GACzC,6BAA6B,CAAC,UAAU,CAAC,CAS3C"}
@@ -1,11 +1,12 @@
1
1
  import { createHash } from "node:crypto";
2
2
  import { cloneDiagnostics } from "../../diagnostics/index.js";
3
3
  import { stringifyStableJson } from "../../internal/stable-json.js";
4
+ import { cloneValidationRuleResult } from "../results/clone-rule-result.js";
4
5
  export function createDeclarativeValidationEvidence(document, profile, ruleResults, diagnostics) {
5
6
  return {
6
7
  inputHash: sha256(stringifyStableJson(documentWithoutPath(document))),
7
8
  profileHash: sha256(stringifyStableJson(resolvedProfile(profile, document))),
8
- engineVersion: "2.0.0",
9
+ engineVersion: "3.0.0",
9
10
  runtimeVersion: process.version,
10
11
  ruleResults: cloneRuleResults(ruleResults),
11
12
  diagnostics: cloneDiagnostics(diagnostics),
@@ -26,11 +27,10 @@ function documentWithoutPath(document) {
26
27
  return withoutPath;
27
28
  }
28
29
  function cloneRuleResults(ruleResults) {
29
- return ruleResults.map((result) => ({
30
- ruleId: result.ruleId,
31
- passed: result.passed,
32
- diagnostics: cloneDiagnostics(result.diagnostics),
33
- }));
30
+ return ruleResults.map((result) => cloneRuleResult(result));
31
+ }
32
+ function cloneRuleResult(result) {
33
+ return cloneValidationRuleResult(result);
34
34
  }
35
35
  function sha256(value) {
36
36
  return createHash("sha256").update(value, "utf8").digest("hex");
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/declarative-validation/evidence/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAKzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAYpE,MAAM,UAAU,mCAAmC,CACjD,QAAwB,EACxB,OAA0B,EAC1B,WAA4C,EAC5C,WAA0C;IAE1C,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrE,WAAW,EAAE,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC5E,aAAa,EAAE,OAAO;QACtB,cAAc,EAAE,OAAO,CAAC,OAAO;QAC/B,WAAW,EAAE,gBAAgB,CAAC,WAAW,CAAC;QAC1C,WAAW,EAAE,gBAAgB,CAAC,WAAW,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,OAA0B,EAC1B,QAAwB;IAExB,OAAO;QACL,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,QAAQ,CAAC,OAAO;QAC5D,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClC,GAAG,IAAI;YACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,OAAO;SACnC,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAwB;IACnD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,WAAW,EAAE,GAAG,QAAQ,CAAC;IAEjD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,gBAAgB,CACvB,WAA4C;IAE5C,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,WAAW,EAAE,gBAAgB,CAAC,MAAM,CAAC,WAAW,CAAC;KAClD,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/declarative-validation/evidence/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAKzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEpE,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAa5E,MAAM,UAAU,mCAAmC,CAGjD,QAAwB,EACxB,OAA0B,EAC1B,WAAkC,EAClC,WAA0C;IAE1C,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrE,WAAW,EAAE,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC5E,aAAa,EAAE,OAAO;QACtB,cAAc,EAAE,OAAO,CAAC,OAAO;QAC/B,WAAW,EAAE,gBAAgB,CAAC,WAAW,CAAC;QAC1C,WAAW,EAAE,gBAAgB,CAAC,WAAW,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,OAA0B,EAC1B,QAAwB;IAExB,OAAO;QACL,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,QAAQ,CAAC,OAAO;QAC5D,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClC,GAAG,IAAI;YACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,OAAO;SACnC,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAwB;IACnD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,WAAW,EAAE,GAAG,QAAQ,CAAC;IAEjD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAkC;IAElC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,eAAe,CACtB,MAAkB;IAElB,OAAO,yBAAyB,CAAC,MAAM,CAAe,CAAC;AACzD,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC"}
@@ -0,0 +1,4 @@
1
+ import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
2
+ import type { DeclarativeValidationApplicability, ValidationProfile } from "./index.js";
3
+ export declare function applicabilityFromValue(value: unknown, syntaxVersion: ValidationProfile["syntaxVersion"], diagnostics: MarkdownDiagnostic[]): DeclarativeValidationApplicability | undefined;
4
+ //# sourceMappingURL=applicability-schema.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"applicability-schema.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/profile/applicability-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EACV,kCAAkC,EAClC,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAOpB,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,OAAO,EACd,aAAa,EAAE,iBAAiB,CAAC,eAAe,CAAC,EACjD,WAAW,EAAE,kBAAkB,EAAE,GAChC,kCAAkC,GAAG,SAAS,CAqBhD"}
@@ -0,0 +1,24 @@
1
+ import { isPlainRecord } from "../../internal/plain-record.js";
2
+ import { assertionFromValue } from "./assertion-schema.js";
3
+ import { selectorFromValue } from "./selector-schema.js";
4
+ import { invalidShape, unsupportedKeys } from "./schema-values.js";
5
+ const APPLICABILITY_KEYS = ["select", "assert"];
6
+ export function applicabilityFromValue(value, syntaxVersion, diagnostics) {
7
+ if (!isPlainRecord(value)) {
8
+ diagnostics.push(invalidShape("Rule when must be an object."));
9
+ return undefined;
10
+ }
11
+ const diagnosticCountBefore = diagnostics.length;
12
+ unsupportedKeys(value, APPLICABILITY_KEYS, diagnostics);
13
+ const select = selectorFromValue(value.select, diagnostics);
14
+ const assert = assertionFromValue(value.assert, syntaxVersion, diagnostics);
15
+ return select !== undefined &&
16
+ assert !== undefined &&
17
+ diagnostics.length === diagnosticCountBefore
18
+ ? {
19
+ select,
20
+ assert,
21
+ }
22
+ : undefined;
23
+ }
24
+ //# sourceMappingURL=applicability-schema.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"applicability-schema.js","sourceRoot":"","sources":["../../../src/declarative-validation/profile/applicability-schema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAK/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEnE,MAAM,kBAAkB,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAU,CAAC;AAEzD,MAAM,UAAU,sBAAsB,CACpC,KAAc,EACd,aAAiD,EACjD,WAAiC;IAEjC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,8BAA8B,CAAC,CAAC,CAAC;QAE/D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,qBAAqB,GAAG,WAAW,CAAC,MAAM,CAAC;IACjD,eAAe,CAAC,KAAK,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAExD,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IAE5E,OAAO,MAAM,KAAK,SAAS;QACzB,MAAM,KAAK,SAAS;QACpB,WAAW,CAAC,MAAM,KAAK,qBAAqB;QAC5C,CAAC,CAAC;YACE,MAAM;YACN,MAAM;SACP;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}
@@ -1,4 +1,5 @@
1
1
  import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
2
2
  import type { DeclarativeAssertion } from "./index.js";
3
- export declare function assertionFromValue(value: unknown, diagnostics: MarkdownDiagnostic[]): DeclarativeAssertion | undefined;
3
+ import { type ValidationProfileSyntaxVersion } from "./syntax-version.js";
4
+ export declare function assertionFromValue(value: unknown, syntaxVersion: ValidationProfileSyntaxVersion, diagnostics: MarkdownDiagnostic[]): DeclarativeAssertion | undefined;
4
5
  //# sourceMappingURL=assertion-schema.d.ts.map