@jasonbelmonti/markdown-engine 2.0.0 → 3.0.0

package/CHANGELOG.md

@@ -2,10 +2,35 @@
 
 ## Unreleased
 
+No unreleased changes.
+
+## 3.0.0 - 2026-06-05
+
 ### Added
 
 - Added a GitHub Pages consumer site under `docs/` with value proposition,
-  workflow examples, and quickstart material for package 2.0 users.
+  workflow examples, and quickstart material for package users.
+- Added Conditional V2 release-readiness notes for MS-4 review, summarizing the
+  explicit `markdown-engine.validation@v2` opt-in, retained v1 profile
+  compatibility, v2 grouped-rule and `when` behavior, ID count and table-column
+  coverage evidence, downstream false-acceptance proof, and BEL-1121 release
+  verification handoff. This is documentation readiness only and does not claim
+  a tag, npm publication, npm dist-tag mutation, GitHub Release, downstream
+  adoption, release completion, or MS-4 approval.
+- Added Conditional V2 public validation support behind explicit
+  `markdown-engine.validation@v2` profile opt-in, including ID count bounds,
+  table column coverage, non-recursive `anyOf` / `allOf` grouped rules,
+  rule-level `when` applicability, skipped-rule result metadata, downstream
+  false-acceptance proof, repeatability evidence, and boundary-audit coverage.
+
+### Changed
+
+- Promoted package metadata to `@jasonbelmonti/markdown-engine@3.0.0` while
+  retaining the serialized rich IR document contract at
+  `documentVersion: "1.0.0"`.
+- Preserved v1 declarative validation profile behavior and result shape;
+  Conditional V2 behavior is selected only by
+  `syntaxVersion: markdown-engine.validation@v2`.
 
 ## 2.0.0 - 2026-05-13
 

package/README.md

@@ -3,14 +3,17 @@
 Deterministic Markdown parsing and validation engine package for downstream
 profile and runtime work.
 
-Current package release:
+Package release state:
 
 - package name: `@jasonbelmonti/markdown-engine`
-- version: `2.0.0`
+- package metadata version: `3.0.0`
+- published npm versions before this release: `0.1.0`, `1.0.0`, `2.0.0`
+- npm release target: `3.0.0` on `latest`
 - website: <https://jasonbelmonti.github.io/markdown-engine/>
-- release focus: package-level 2.0 hardening with the existing
-  `documentVersion: "1.0.0"` rich IR contract as the default API and CLI
-  document shape
+- release focus: Conditional V2 explicit validation-profile syntax while
+  retaining the existing `documentVersion: "1.0.0"` rich IR contract as the
+  default API and CLI document shape
+- maintainer documentation map: [docs/README.md](docs/README.md)
 - design reference:
   [Markdown Engine 1.0 Rich IR design](docs/design/markdown-engine-1.0-rich-ir-operational-design-spec.md)
 
@@ -80,7 +83,7 @@ console.log(validationResult.valid);
 console.log(serialize(validationResult, { pretty: true }));
 ```
 
-Package 2.0 keeps the serialized document contract at
+Package 3.0 keeps the serialized document contract at
 `documentVersion: "1.0.0"` and makes that rich IR path the default for
 `normalize(parsed)`. Callers may still pass
 `normalize(parsed, { documentVersion: "1.0.0" })` explicitly. That path adds
@@ -153,6 +156,40 @@ Successful validation exits with code `0`; validation or normalization error
 diagnostics exit with code `1`. Validation JSON includes `profile`,
 `ruleResults`, `diagnostics`, and `evidence`.
 
+Declarative validation compatibility is syntax-versioned. Existing v1 profiles
+remain on the v1 result and evidence shape by keeping:
+
+```yaml
+syntaxVersion: markdown-engine.validation@v1
+```
+
+Conditional V2 behavior is selected only by an explicit v2 profile:
+
+```yaml
+syntaxVersion: markdown-engine.validation@v2
+rules:
+  - id: release.docs
+    anyOf:
+      - label: release-section
+        select:
+          target: section
+          title: Release
+        assert:
+          exists: true
+      - label: changelog-link
+        select:
+          target: link
+          text: changelog
+        assert:
+          exists: true
+```
+
+CLI validation output uses `profile.syntaxVersion` as the v1/v2 discriminator.
+V1 rule results keep the existing flat `ruleId`, `passed`, and `diagnostics`
+fields. V2 rule results add `status` and `evaluation`; v2 profile metadata adds
+`evaluatedRuleCount` and `skippedRuleCount` when the profile explicitly opts into
+`markdown-engine.validation@v2`.
+
 Reader-facing declarative validation examples live under
 `fixtures/declarative-validation/examples/**`. From the repository or package
 root after building, run one passing and one intentionally failing example with:
@@ -165,17 +202,18 @@ node dist/cli/index.js validate --file fixtures/declarative-validation/examples/
 The passing example exits `0`; the failing example exits `1` and prints JSON
 diagnostics for review.
 
-Package 2.0 classifies the API normalization default as breaking for consumers
-that call `normalize(parsed)` and expect the legacy `0.0.0` shape. Migration is
-to either consume the rich IR fields (`target`, `sections`, `textSpans`,
-`tables`, `lists`, and `links`) or pin
-`normalize(parsed, { documentVersion: "0.0.0" })` until the downstream consumer
-is ready. The CLI already defaults to the rich IR document contract and keeps
+Package 3.0 keeps the 2.0 API normalization default: callers that invoke
+`normalize(parsed)` receive the rich IR `1.0.0` document shape. Consumers that
+still need the legacy `0.0.0` shape should consume the rich IR fields
+(`target`, `sections`, `textSpans`, `tables`, `lists`, and `links`) or pin
+`normalize(parsed, { documentVersion: "0.0.0" })` until they are ready. The CLI
+continues to default to the rich IR document contract and keeps
 `--document-version 0.0.0` for explicit legacy output.
 
-Contract references:
+Package and contract references:
 
 - [Consumer website](https://jasonbelmonti.github.io/markdown-engine/)
+- [Maintainer documentation map](docs/README.md)
 - [Public API contract](docs/contracts/api.md)
 - [Declarative validation contract](docs/contracts/declarative-validation.md)
 - [Frontmatter contract](docs/contracts/frontmatter.md)
@@ -186,61 +224,31 @@ Contract references:
 
 ## Validation
 
-Run the release-readiness gates from the repository root:
+Run focused contract documentation gates from the repository root:
 
 ```sh
 npm run docs:rich-ir-contract
 npm run docs:declarative-validation-contract
 npm run audit:declarative-validation-boundary
+```
+
+Run full release-readiness and publication dry-run gates only when preparing a
+release, tag, package artifact, or publication decision:
+
+```sh
 npm run release:verify
 npm pack --dry-run
 npm publish --dry-run --access public
 ```
 
-Validation records include:
-
-- [EVD-6 rich IR contract docs](docs/evidence/wp-5-evd-6-rich-ir-contract.md)
-- [EVD-6 declarative validation repeatability](docs/evidence/wp-5-evd-6-declarative-validation-repeatability.md)
-- [EVD-7 declarative validation contract review](docs/evidence/wp-5-evd-7-declarative-validation-contract-review.md)
-- [EVD-8 declarative validation boundary audit](docs/evidence/wp-5-evd-8-declarative-validation-boundary-audit.md)
-- [BEL-986 declarative validation MS-2 approval](docs/evidence/bel-986-ms-2-approval.md)
-- [EVD-8 compatibility and CLI impact](docs/evidence/wp-5-evd-8-compatibility-cli-impact.md)
-- [EVD-9 1.0 downstream exercise](docs/evidence/wp-6-evd-9-downstream-exercise.md)
-- [EVD-10 declarative validation release-readiness handoff](docs/evidence/wp-6-evd-10-declarative-validation-release-readiness.md)
-- [EVD-10 1.0 release readiness](docs/evidence/wp-6-evd-10-release-readiness.md)
-- [EVD-7 release readiness](docs/evidence/wp-6-evd-7-release-readiness.md)
-- [EVD-9 merge readiness](docs/evidence/wp-6-evd-9-merge-readiness.md)
-- [EVD-10 rollback containment](docs/evidence/wp-6-evd-10-rollback-containment.md)
-- [EVD-11 downstream handoff](docs/evidence/wp-6-evd-11-downstream-handoff.md)
-- [BEL-1025 declarative validation example suite](docs/evidence/bel-1025-declarative-validation-example-suite.md)
+The full maintainer and evidence index lives in
+[docs/README.md](docs/README.md). The focused contract documentation gates
+currently check these evidence records:
+
+- [Rich IR contract documentation gate](docs/evidence/wp-5-evd-6-rich-ir-contract.md)
+- [Declarative validation contract review](docs/evidence/wp-5-evd-7-declarative-validation-contract-review.md)
+- [Declarative validation boundary audit](docs/evidence/wp-5-evd-8-declarative-validation-boundary-audit.md)
 
 Snapshot baseline updates are operational changes, not routine test-output
 cleanup. Use the [testing and snapshot operations](docs/testing.md) guide before
 updating files under `snapshots/**`.
-
-## 2.0 Release Gate
-
-Do not tag or publish the 2.0 release until approval is recorded with:
-
-- semver classification distinguishing package version `2.0.0` from document
-  contract version `1.0.0`
-- release/tag decision
-- rollback and containment notes
-- downstream profile/runtime consumer confirmation
-- complete evidence links from EVD-1 through EVD-11
-
-Current release decision: package `2.0.0` retains the public rich IR document
-contract at `documentVersion: "1.0.0"`, makes that contract the default API
-normalization output, and hardens declarative profile ingestion. The `v2.0.0`
-git tag must point only at a commit that passes the validation commands above.
-
-When 2.0 is approved, publish the package as:
-
-```sh
-npm publish --access public
-```
-
-The publish path is guarded by npm lifecycle scripts: `prepublishOnly` and
-`prepack` both run the release verification gate before `npm publish` or
-`npm pack` creates an artifact. The gate rebuilds `dist` and fails if tracked
-files drift from `HEAD`.

package/dist/api/declarative-validation.d.ts

@@ -1,9 +1,9 @@
 import type { EngineDocument } from "./document.js";
 import type { DeclarativeProfileParseOptions, DeclarativeProfileParseResult, JsonSafeValue, ValidationProfile } from "../declarative-validation/profile/index.js";
 import type { DeclarativeValidationOptions, DeclarativeValidationResult } from "../declarative-validation/results/index.js";
-export type { DeclarativeAssertion, DeclarativeIdSource, DeclarativeOutputFormat, DeclarativeProfileParseOptions, DeclarativeProfileParseResult, DeclarativeSectionOrder, DeclarativeSelector, DeclarativeTableCellPredicate, DeclarativeValidationRule, DeclarativeValidationSeverity, JsonSafeValue, ValidationProfile, } from "../declarative-validation/profile/index.js";
+export type { DeclarativeAssertion, DeclarativeValidationApplicability, DeclarativeValidationAllOfRule, DeclarativeValidationAnyOfRule, DeclarativeValidationBranch, DeclarativeValidationFlatRule, DeclarativeValidationGroupRule, DeclarativeValidationRuleFields, DeclarativeIdSource, DeclarativeOutputFormat, DeclarativeProfileParseOptions, DeclarativeProfileParseResult, DeclarativeSectionOrder, DeclarativeSelector, DeclarativeTableCellPredicate, DeclarativeTableColumnCoverage, DeclarativeTableColumnCoverageSource, DeclarativeTableColumnCoverageTarget, DeclarativeValidationRule, DeclarativeValidationSeverity, JsonSafeValue, ValidationProfile, } from "../declarative-validation/profile/index.js";
 export type { DeclarativeValidationEvidence } from "../declarative-validation/evidence/index.js";
-export type { DeclarativeValidationCliJsonResult, DeclarativeValidationConfigErrorResult, DeclarativeValidationOptions, DeclarativeValidationResult, } from "../declarative-validation/results/index.js";
+export type { DeclarativeValidationAllOfEvaluationResult, DeclarativeValidationAnyOfEvaluationResult, DeclarativeValidationApplicabilityResult, DeclarativeValidationAssertionsEvaluationResult, DeclarativeValidationBranchReference, DeclarativeValidationBranchResult, DeclarativeValidationCliJsonResult, DeclarativeValidationConfigErrorResult, DeclarativeValidationOptions, DeclarativeValidationResultV1, DeclarativeValidationResultV2, DeclarativeValidationRuleEvaluationResult, DeclarativeValidationRuleResultV2, DeclarativeValidationRuleStatus, DeclarativeValidationSkippedEvaluationResult, DeclarativeValidationResult, } from "../declarative-validation/results/index.js";
 export interface DeclarativeValidationApi {
     parseValidationProfile(input: string | JsonSafeValue, options?: DeclarativeProfileParseOptions): DeclarativeProfileParseResult;
     validateWithProfile(document: EngineDocument, profile: ValidationProfile, options?: DeclarativeValidationOptions): DeclarativeValidationResult;

package/dist/api/declarative-validation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"declarative-validation.d.ts","sourceRoot":"","sources":["../../src/api/declarative-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAYpD,OAAO,KAAK,EACV,8BAA8B,EAC9B,6BAA6B,EAC7B,aAAa,EACb,iBAAiB,EAClB,MAAM,4CAA4C,CAAC;AACpD,OAAO,KAAK,EACV,4BAA4B,EAC5B,2BAA2B,EAC5B,MAAM,4CAA4C,CAAC;AAGpD,YAAY,EACV,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,EACvB,8BAA8B,EAC9B,6BAA6B,EAC7B,uBAAuB,EACvB,mBAAmB,EACnB,6BAA6B,EAC7B,yBAAyB,EACzB,6BAA6B,EAC7B,aAAa,EACb,iBAAiB,GAClB,MAAM,4CAA4C,CAAC;AACpD,YAAY,EAAE,6BAA6B,EAAE,MAAM,6CAA6C,CAAC;AACjG,YAAY,EACV,kCAAkC,EAClC,sCAAsC,EACtC,4BAA4B,EAC5B,2BAA2B,GAC5B,MAAM,4CAA4C,CAAC;AAEpD,MAAM,WAAW,wBAAwB;IACvC,sBAAsB,CACpB,KAAK,EAAE,MAAM,GAAG,aAAa,EAC7B,OAAO,CAAC,EAAE,8BAA8B,GACvC,6BAA6B,CAAC;IACjC,mBAAmB,CACjB,QAAQ,EAAE,cAAc,EACxB,OAAO,EAAE,iBAAiB,EAC1B,OAAO,CAAC,EAAE,4BAA4B,GACrC,2BAA2B,CAAC;CAChC;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,MAAM,GAAG,aAAa,EAC7B,OAAO,GAAE,8BAAmC,GAC3C,6BAA6B,CAE/B;AAED,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,cAAc,EACxB,OAAO,EAAE,iBAAiB,EAC1B,OAAO,GAAE,4BAAiC,GACzC,2BAA2B,CAoD7B"}
+{"version":3,"file":"declarative-validation.d.ts","sourceRoot":"","sources":["../../src/api/declarative-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAkBpD,OAAO,KAAK,EACV,8BAA8B,EAC9B,6BAA6B,EAC7B,aAAa,EACb,iBAAiB,EAClB,MAAM,4CAA4C,CAAC;AAKpD,OAAO,KAAK,EACV,4BAA4B,EAC5B,2BAA2B,EAC5B,MAAM,4CAA4C,CAAC;AAGpD,YAAY,EACV,oBAAoB,EACpB,kCAAkC,EAClC,8BAA8B,EAC9B,8BAA8B,EAC9B,2BAA2B,EAC3B,6BAA6B,EAC7B,8BAA8B,EAC9B,+BAA+B,EAC/B,mBAAmB,EACnB,uBAAuB,EACvB,8BAA8B,EAC9B,6BAA6B,EAC7B,uBAAuB,EACvB,mBAAmB,EACnB,6BAA6B,EAC7B,8BAA8B,EAC9B,oCAAoC,EACpC,oCAAoC,EACpC,yBAAyB,EACzB,6BAA6B,EAC7B,aAAa,EACb,iBAAiB,GAClB,MAAM,4CAA4C,CAAC;AACpD,YAAY,EAAE,6BAA6B,EAAE,MAAM,6CAA6C,CAAC;AACjG,YAAY,EACV,0CAA0C,EAC1C,0CAA0C,EAC1C,wCAAwC,EACxC,+CAA+C,EAC/C,oCAAoC,EACpC,iCAAiC,EACjC,kCAAkC,EAClC,sCAAsC,EACtC,4BAA4B,EAC5B,6BAA6B,EAC7B,6BAA6B,EAC7B,yCAAyC,EACzC,iCAAiC,EACjC,+BAA+B,EAC/B,4CAA4C,EAC5C,2BAA2B,GAC5B,MAAM,4CAA4C,CAAC;AAEpD,MAAM,WAAW,wBAAwB;IACvC,sBAAsB,CACpB,KAAK,EAAE,MAAM,GAAG,aAAa,EAC7B,OAAO,CAAC,EAAE,8BAA8B,GACvC,6BAA6B,CAAC;IACjC,mBAAmB,CACjB,QAAQ,EAAE,cAAc,EACxB,OAAO,EAAE,iBAAiB,EAC1B,OAAO,CAAC,EAAE,4BAA4B,GACrC,2BAA2B,CAAC;CAChC;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,MAAM,GAAG,aAAa,EAC7B,OAAO,GAAE,8BAAmC,GAC3C,6BAA6B,CAE/B;AAED,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,cAAc,EACxB,OAAO,EAAE,iBAAiB,EAC1B,OAAO,GAAE,4BAAiC,GACzC,2BAA2B,CAgD7B"}

package/dist/api/declarative-validation.js

@@ -1,9 +1,9 @@
-import { cloneDiagnostics, hasErrorDiagnostic } from "../diagnostics/index.js";
-import { evaluateCompiledDeclarativeRule, sortValidationRuleResults, } from "../declarative-validation/assertions/index.js";
+import { classifyCompiledDeclarativeRuleApplicability } from "../declarative-validation/applicability/index.js";
+import { evaluateCompiledDeclarativeAllOfRule, evaluateCompiledDeclarativeAnyOfRule, evaluateCompiledDeclarativeRule, sortValidationRuleResults, } from "../declarative-validation/assertions/index.js";
 import { compileValidationProfile } from "../declarative-validation/compiler/index.js";
-import { createDeclarativeValidationEvidence } from "../declarative-validation/evidence/index.js";
 import { parseValidationProfileInput } from "../declarative-validation/profile/index.js";
 import { materializeValidationProfile } from "../declarative-validation/profile/materialization.js";
+import { createDeclarativeValidationResult, createSkippedDeclarativeValidationRuleResult, } from "../declarative-validation/results/index.js";
 import { resolveDeclarativeSelector } from "../declarative-validation/selectors/index.js";
 export function parseValidationProfile(input, options = {}) {
     return parseValidationProfileInput(input, options);
@@ -11,40 +11,69 @@ export function parseValidationProfile(input, options = {}) {
 export function validateWithProfile(document, profile, options = {}) {
     const materializedProfile = materializeValidationProfile(profile, document.version);
     if (materializedProfile.diagnostics.length > 0) {
-        return validationResult(document, materializedProfile.profile, [], materializedProfile.diagnostics, options);
+        return createDeclarativeValidationResult({
+            document,
+            profile: materializedProfile.profile,
+            ruleResults: [],
+            diagnostics: materializedProfile.diagnostics,
+            options,
+        });
     }
     const profileDocumentVersion = materializedProfile.profile.documentVersion ?? document.version;
     const versionDiagnostics = profileDocumentVersion === document.version
         ? []
         : [documentVersionMismatchDiagnostic(profileDocumentVersion, document.version)];
     if (versionDiagnostics.length > 0) {
-        return validationResult(document, materializedProfile.profile, [], versionDiagnostics, options);
+        return createDeclarativeValidationResult({
+            document,
+            profile: materializedProfile.profile,
+            ruleResults: [],
+            diagnostics: versionDiagnostics,
+            options,
+        });
     }
     const compileResult = compileValidationProfile(materializedProfile.profile);
-    const ruleResults = sortValidationRuleResults(compileResult.plan?.rules.map((rule) => evaluateCompiledDeclarativeRule(rule, resolveDeclarativeSelector(document, rule.selector))) ?? []);
+    const compiledRules = compileResult.plan?.rules ?? [];
+    const ruleResults = sortValidationRuleResults(compiledRules.flatMap((rule) => evaluateApplicableCompiledRule(document, rule)));
     const diagnostics = [
         ...compileResult.diagnostics,
         ...ruleResults.flatMap((result) => result.diagnostics),
     ];
-    return validationResult(document, materializedProfile.profile, ruleResults, diagnostics, options);
+    return createDeclarativeValidationResult({
+        document,
+        profile: materializedProfile.profile,
+        ruleResults,
+        diagnostics,
+        options,
+    });
 }
-function validationResult(document, profile, ruleResults, diagnostics, options) {
-    const result = {
-        valid: !hasErrorDiagnostic(diagnostics),
-        diagnostics: cloneDiagnostics(diagnostics),
-        ruleResults: cloneRuleResults(ruleResults),
-        profile: {
-            syntaxVersion: profile.syntaxVersion,
-            documentVersion: profile.documentVersion ?? document.version,
-            ruleCount: profile.rules.length,
-        },
-    };
-    return options.includeEvidence === true
-        ? {
-            ...result,
-            evidence: createDeclarativeValidationEvidence(document, profile, ruleResults, diagnostics),
-        }
-        : result;
+function evaluateApplicableCompiledRule(document, rule) {
+    const applicability = classifyCompiledDeclarativeRuleApplicability(rule, document);
+    return applicability.status === "notMatched"
+        ? [
+            createSkippedDeclarativeValidationRuleResult({
+                ruleId: rule.ruleId,
+                when: applicability.result,
+            }),
+        ]
+        : evaluateCompiledRule(document, rule);
+}
+function evaluateCompiledRule(document, rule) {
+    if (isCompiledAnyOfRule(rule)) {
+        return [evaluateCompiledDeclarativeAnyOfRule(rule, document)];
+    }
+    if (isCompiledAllOfRule(rule)) {
+        return [evaluateCompiledDeclarativeAllOfRule(rule, document)];
+    }
+    return [
+        evaluateCompiledDeclarativeRule(rule, resolveDeclarativeSelector(document, rule.selector)),
+    ];
+}
+function isCompiledAnyOfRule(rule) {
+    return "kind" in rule && rule.kind === "anyOf";
+}
+function isCompiledAllOfRule(rule) {
+    return "kind" in rule && rule.kind === "allOf";
 }
 function documentVersionMismatchDiagnostic(profileDocumentVersion, documentVersion) {
     return {
@@ -53,11 +82,4 @@ function documentVersionMismatchDiagnostic(profileDocumentVersion, documentVersi
         severity: "error",
     };
 }
-function cloneRuleResults(ruleResults) {
-    return ruleResults.map((result) => ({
-        ruleId: result.ruleId,
-        passed: result.passed,
-        diagnostics: cloneDiagnostics(result.diagnostics),
-    }));
-}
 //# sourceMappingURL=declarative-validation.js.map

package/dist/api/declarative-validation.js.map

@@ -1 +1 @@
-{"version":3,"file":"declarative-validation.js","sourceRoot":"","sources":["../../src/api/declarative-validation.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EACL,+BAA+B,EAC/B,yBAAyB,GAC1B,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,6CAA6C,CAAC;AACvF,OAAO,EAAE,mCAAmC,EAAE,MAAM,6CAA6C,CAAC;AAClG,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,4BAA4B,EAAE,MAAM,sDAAsD,CAAC;AAWpG,OAAO,EAAE,0BAA0B,EAAE,MAAM,8CAA8C,CAAC;AAoC1F,MAAM,UAAU,sBAAsB,CACpC,KAA6B,EAC7B,UAA0C,EAAE;IAE5C,OAAO,2BAA2B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,QAAwB,EACxB,OAA0B,EAC1B,UAAwC,EAAE;IAE1C,MAAM,mBAAmB,GAAG,4BAA4B,CACtD,OAAO,EACP,QAAQ,CAAC,OAAO,CACjB,CAAC;IACF,IAAI,mBAAmB,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,OAAO,gBAAgB,CACrB,QAAQ,EACR,mBAAmB,CAAC,OAAO,EAC3B,EAAE,EACF,mBAAmB,CAAC,WAAW,EAC/B,OAAO,CACR,CAAC;IACJ,CAAC;IAED,MAAM,sBAAsB,GAC1B,mBAAmB,CAAC,OAAO,CAAC,eAAe,IAAI,QAAQ,CAAC,OAAO,CAAC;IAClE,MAAM,kBAAkB,GACtB,sBAAsB,KAAK,QAAQ,CAAC,OAAO;QACzC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,iCAAiC,CAAC,sBAAsB,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IAEpF,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO,gBAAgB,CACrB,QAAQ,EACR,mBAAmB,CAAC,OAAO,EAC3B,EAAE,EACF,kBAAkB,EAClB,OAAO,CACR,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,wBAAwB,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,yBAAyB,CAC3C,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACrC,+BAA+B,CAC7B,IAAI,EACJ,0BAA0B,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CACpD,CACF,IAAI,EAAE,CACR,CAAC;IACF,MAAM,WAAW,GAAG;QAClB,GAAG,aAAa,CAAC,WAAW;QAC5B,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC;KACvD,CAAC;IACF,OAAO,gBAAgB,CACrB,QAAQ,EACR,mBAAmB,CAAC,OAAO,EAC3B,WAAW,EACX,WAAW,EACX,OAAO,CACR,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,QAAwB,EACxB,OAA0B,EAC1B,WAA4C,EAC5C,WAA0C,EAC1C,OAAqC;IAErC,MAAM,MAAM,GAAgC;QAC1C,KAAK,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;QACvC,WAAW,EAAE,gBAAgB,CAAC,WAAW,CAAC;QAC1C,WAAW,EAAE,gBAAgB,CAAC,WAAW,CAAC;QAC1C,OAAO,EAAE;YACP,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,QAAQ,CAAC,OAAO;YAC5D,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM;SAChC;KACF,CAAC;IAEF,OAAO,OAAO,CAAC,eAAe,KAAK,IAAI;QACrC,CAAC,CAAC;YACE,GAAG,MAAM;YACT,QAAQ,EAAE,mCAAmC,CAC3C,QAAQ,EACR,OAAO,EACP,WAAW,EACX,WAAW,CACZ;SACF;QACH,CAAC,CAAC,MAAM,CAAC;AACb,CAAC;AAED,SAAS,iCAAiC,CACxC,sBAAiD,EACjD,eAA0C;IAE1C,OAAO;QACL,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,4BAA4B,sBAAsB,sCAAsC,eAAe,IAAI;QACpH,QAAQ,EAAE,OAAgB;KAC3B,CAAC;AACJ,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"}
+{"version":3,"file":"declarative-validation.js","sourceRoot":"","sources":["../../src/api/declarative-validation.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,4CAA4C,EAAE,MAAM,kDAAkD,CAAC;AAChH,OAAO,EACL,oCAAoC,EACpC,oCAAoC,EACpC,+BAA+B,EAC/B,yBAAyB,GAC1B,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,6CAA6C,CAAC;AAMvF,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,4BAA4B,EAAE,MAAM,sDAAsD,CAAC;AAOpG,OAAO,EACL,iCAAiC,EACjC,4CAA4C,GAC7C,MAAM,4CAA4C,CAAC;AAKpD,OAAO,EAAE,0BAA0B,EAAE,MAAM,8CAA8C,CAAC;AA0D1F,MAAM,UAAU,sBAAsB,CACpC,KAA6B,EAC7B,UAA0C,EAAE;IAE5C,OAAO,2BAA2B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,QAAwB,EACxB,OAA0B,EAC1B,UAAwC,EAAE;IAE1C,MAAM,mBAAmB,GAAG,4BAA4B,CACtD,OAAO,EACP,QAAQ,CAAC,OAAO,CACjB,CAAC;IACF,IAAI,mBAAmB,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,OAAO,iCAAiC,CAAC;YACvC,QAAQ;YACR,OAAO,EAAE,mBAAmB,CAAC,OAAO;YACpC,WAAW,EAAE,EAAE;YACf,WAAW,EAAE,mBAAmB,CAAC,WAAW;YAC5C,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IAED,MAAM,sBAAsB,GAC1B,mBAAmB,CAAC,OAAO,CAAC,eAAe,IAAI,QAAQ,CAAC,OAAO,CAAC;IAClE,MAAM,kBAAkB,GACtB,sBAAsB,KAAK,QAAQ,CAAC,OAAO;QACzC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,iCAAiC,CAAC,sBAAsB,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IAEpF,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO,iCAAiC,CAAC;YACvC,QAAQ;YACR,OAAO,EAAE,mBAAmB,CAAC,OAAO;YACpC,WAAW,EAAE,EAAE;YACf,WAAW,EAAE,kBAAkB;YAC/B,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IAED,MAAM,aAAa,GAAG,wBAAwB,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;IACtD,MAAM,WAAW,GAAG,yBAAyB,CAC3C,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,8BAA8B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAChF,CAAC;IACF,MAAM,WAAW,GAAG;QAClB,GAAG,aAAa,CAAC,WAAW;QAC5B,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC;KACvD,CAAC;IACF,OAAO,iCAAiC,CAAC;QACvC,QAAQ;QACR,OAAO,EAAE,mBAAmB,CAAC,OAAO;QACpC,WAAW;QACX,WAAW;QACX,OAAO;KACR,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,QAAwB,EACxB,IAAuC;IAEvC,MAAM,aAAa,GAAG,4CAA4C,CAChE,IAAI,EACJ,QAAQ,CACT,CAAC;IAEF,OAAO,aAAa,CAAC,MAAM,KAAK,YAAY;QAC1C,CAAC,CAAC;YACE,4CAA4C,CAAC;gBAC3C,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,IAAI,EAAE,aAAa,CAAC,MAAM;aAC3B,CAAC;SACH;QACH,CAAC,CAAC,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAwB,EACxB,IAAuC;IAEvC,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,oCAAoC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,oCAAoC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,OAAO;QACL,+BAA+B,CAC7B,IAAI,EACJ,0BAA0B,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CACpD;KACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAuC;IAEvC,OAAO,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;AACjD,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAuC;IAEvC,OAAO,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;AACjD,CAAC;AAED,SAAS,iCAAiC,CACxC,sBAAiD,EACjD,eAA0C;IAE1C,OAAO;QACL,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,4BAA4B,sBAAsB,sCAAsC,eAAe,IAAI;QACpH,QAAQ,EAAE,OAAgB;KAC3B,CAAC;AACJ,CAAC"}

package/dist/cli/declarative-validation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"declarative-validation.d.ts","sourceRoot":"","sources":["../../src/cli/declarative-validation.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,uBAAuB,EAExB,MAAM,4CAA4C,CAAC;AAWpD,oFAAoF;AACpF,MAAM,WAAW,sCAAsC;IACrD,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,uBAAuB,CAAC;CACjC;AAED,MAAM,MAAM,qCAAqC,GAC7C;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEN,wBAAsB,2BAA2B,CAC/C,KAAK,EAAE,sCAAsC,GAC5C,OAAO,CAAC,qCAAqC,CAAC,CA0EhD"}
+{"version":3,"file":"declarative-validation.d.ts","sourceRoot":"","sources":["../../src/cli/declarative-validation.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,uBAAuB,EAExB,MAAM,4CAA4C,CAAC;AAYpD,oFAAoF;AACpF,MAAM,WAAW,sCAAsC;IACrD,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,uBAAuB,CAAC;CACjC;AAED,MAAM,MAAM,qCAAqC,GAC7C;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEN,wBAAsB,2BAA2B,CAC/C,KAAK,EAAE,sCAAsC,GAC5C,OAAO,CAAC,qCAAqC,CAAC,CA0EhD"}

package/dist/cli/declarative-validation.js

@@ -1,7 +1,7 @@
 import { validateWithProfile } from "../api/declarative-validation.js";
 import { compileValidationProfile } from "../declarative-validation/compiler/index.js";
-import { createDeclarativeValidationEvidence } from "../declarative-validation/evidence/index.js";
 import { parseValidationProfileInput } from "../declarative-validation/profile/index.js";
+import { createDeclarativeValidationResult } from "../declarative-validation/results/index.js";
 import { cloneDiagnostics, hasErrorDiagnostic } from "../diagnostics/index.js";
 import { normalizeStableJsonValue } from "../internal/stable-json.js";
 import { readCliFile } from "./files.js";
@@ -69,18 +69,13 @@ function profileStageResult(diagnostics) {
     };
 }
 function documentDiagnosticsResult(document, profile, diagnostics) {
-    const clonedDiagnostics = cloneDiagnostics(diagnostics);
-    return {
-        valid: !hasErrorDiagnostic(clonedDiagnostics),
-        diagnostics: clonedDiagnostics,
+    return createDeclarativeValidationResult({
+        document,
+        profile,
         ruleResults: [],
-        profile: {
-            syntaxVersion: profile.syntaxVersion,
-            documentVersion: profile.documentVersion ?? document.version,
-            ruleCount: profile.rules.length,
-        },
-        evidence: createDeclarativeValidationEvidence(document, profile, [], clonedDiagnostics),
-    };
+        diagnostics,
+        options: { includeEvidence: true },
+    });
 }
 function mergeDocumentDiagnostics(validationResult, documentDiagnostics) {
     if (documentDiagnostics.length === 0) {

package/dist/cli/declarative-validation.js.map

@@ -1 +1 @@
-{"version":3,"file":"declarative-validation.js","sourceRoot":"","sources":["../../src/cli/declarative-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAGvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6CAA6C,CAAC;AACvF,OAAO,EAAE,mCAAmC,EAAE,MAAM,6CAA6C,CAAC;AAClG,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AAUzF,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAqB5D,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,KAA6C;IAE7C,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAE3E,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrC,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,aAAa,GAAG,2BAA2B,CAAC,WAAW,CAAC,OAAO,EAAE;QACrE,IAAI,EAAE,KAAK,CAAC,WAAW;KACxB,CAAC,CAAC;IAEH,IACE,aAAa,CAAC,OAAO,KAAK,SAAS;QACnC,kBAAkB,CAAC,aAAa,CAAC,WAAW,CAAC,EAC7C,CAAC;QACD,OAAO,YAAY,CAAC,kBAAkB,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAEvE,IAAI,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC3C,OAAO,YAAY,CACjB,kBAAkB,CAAC,CAAC,GAAG,aAAa,CAAC,WAAW,EAAE,GAAG,kBAAkB,CAAC,CAAC,EACzE,CAAC,CACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAErE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,eAAe,GAAG,iBAAiB,CAAC;QACxC,eAAe,EAAE,OAAO;QACxB,QAAQ,EAAE,QAAQ,CAAC,OAAO;QAC1B,IAAI,EAAE,KAAK,CAAC,QAAQ;KACrB,CAAC,CAAC;IACH,MAAM,mBAAmB,GAAG;QAC1B,GAAG,aAAa,CAAC,WAAW;QAC5B,GAAG,eAAe,CAAC,WAAW;KAC/B,CAAC;IAEF,IAAI,kBAAkB,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;QACpD,OAAO,YAAY,CACjB,yBAAyB,CACvB,eAAe,CAAC,QAAQ,EACxB,aAAa,CAAC,OAAO,EACrB;YACE,GAAG,mBAAmB;YACtB,GAAG,0BAA0B,CAC3B,aAAa,CAAC,OAAO,EACrB,eAAe,CAAC,QAAQ,CAAC,OAAO,CACjC;SACF,CACF,EACD,CAAC,CACF,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAG,mBAAmB,CAC1C,eAAe,CAAC,QAAQ,EACxB,aAAa,CAAC,OAAO,EACrB,EAAE,eAAe,EAAE,IAAI,EAAE,CAC1B,CAAC;IACF,MAAM,MAAM,GAAG,wBAAwB,CACrC,gBAAgB,EAChB,mBAAmB,CACpB,CAAC;IAEF,OAAO,YAAY,CACjB,MAAM,EACN,kBAAkB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/C,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAA0B;IAE1B,OAAO,wBAAwB,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC;AACvD,CAAC;AAED,SAAS,0BAA0B,CACjC,OAA0B,EAC1B,eAAsC;IAEtC,MAAM,sBAAsB,GAAG,OAAO,CAAC,eAAe,IAAI,eAAe,CAAC;IAE1E,OAAO,sBAAsB,KAAK,eAAe;QAC/C,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,wCAAwC;gBAC9C,OAAO,EAAE,4BAA4B,sBAAsB,sCAAsC,eAAe,IAAI;gBACpH,QAAQ,EAAE,OAAgB;aAC3B;SACF,CAAC;AACR,CAAC;AAED,SAAS,kBAAkB,CACzB,WAA0C;IAE1C,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,KAAK,EAAE,SAAS;QAChB,WAAW;QACX,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,QAAwB,EACxB,OAA0B,EAC1B,WAA0C;IAE1C,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAExD,OAAO;QACL,KAAK,EAAE,CAAC,kBAAkB,CAAC,iBAAiB,CAAC;QAC7C,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,EAAE;QACf,OAAO,EAAE;YACP,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,QAAQ,CAAC,OAAO;YAC5D,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM;SAChC;QACD,QAAQ,EAAE,mCAAmC,CAC3C,QAAQ,EACR,OAAO,EACP,EAAE,EACF,iBAAiB,CAClB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,gBAA6C,EAC7C,mBAAkD;IAElD,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,WAAW,GAAG,gBAAgB,CAAC;QACnC,GAAG,mBAAmB;QACtB,GAAG,gBAAgB,CAAC,WAAW;KAChC,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,gBAAgB;QACnB,KAAK,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;QACvC,WAAW;QACX,GAAG,CAAC,gBAAgB,CAAC,QAAQ,KAAK,SAAS;YACzC,CAAC,CAAC;gBACE,QAAQ,EAAE;oBACR,GAAG,gBAAgB,CAAC,QAAQ;oBAC5B,WAAW,EAAE,gBAAgB,CAAC,WAAW,CAAC;iBAC3C;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,MAA0C,EAC1C,QAAe;IAEf,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ;QACR,MAAM,EAAE,2CAA2C,CAAC,MAAM,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,SAAS,2CAA2C,CAClD,MAA0C;IAE1C,OAAO,IAAI,CAAC,SAAS,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC;AAC7E,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,IAAY,EACZ,GAAW;IAWX,IAAI,CAAC;QACH,OAAO;YACL,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;SACtC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAChE,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"declarative-validation.js","sourceRoot":"","sources":["../../src/cli/declarative-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAGvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6CAA6C,CAAC;AACvF,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AAKzF,OAAO,EAAE,iCAAiC,EAAE,MAAM,4CAA4C,CAAC;AAM/F,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAqB5D,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,KAA6C;IAE7C,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAE3E,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrC,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,aAAa,GAAG,2BAA2B,CAAC,WAAW,CAAC,OAAO,EAAE;QACrE,IAAI,EAAE,KAAK,CAAC,WAAW;KACxB,CAAC,CAAC;IAEH,IACE,aAAa,CAAC,OAAO,KAAK,SAAS;QACnC,kBAAkB,CAAC,aAAa,CAAC,WAAW,CAAC,EAC7C,CAAC;QACD,OAAO,YAAY,CAAC,kBAAkB,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAEvE,IAAI,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC3C,OAAO,YAAY,CACjB,kBAAkB,CAAC,CAAC,GAAG,aAAa,CAAC,WAAW,EAAE,GAAG,kBAAkB,CAAC,CAAC,EACzE,CAAC,CACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAErE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,eAAe,GAAG,iBAAiB,CAAC;QACxC,eAAe,EAAE,OAAO;QACxB,QAAQ,EAAE,QAAQ,CAAC,OAAO;QAC1B,IAAI,EAAE,KAAK,CAAC,QAAQ;KACrB,CAAC,CAAC;IACH,MAAM,mBAAmB,GAAG;QAC1B,GAAG,aAAa,CAAC,WAAW;QAC5B,GAAG,eAAe,CAAC,WAAW;KAC/B,CAAC;IAEF,IAAI,kBAAkB,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;QACpD,OAAO,YAAY,CACjB,yBAAyB,CACvB,eAAe,CAAC,QAAQ,EACxB,aAAa,CAAC,OAAO,EACrB;YACE,GAAG,mBAAmB;YACtB,GAAG,0BAA0B,CAC3B,aAAa,CAAC,OAAO,EACrB,eAAe,CAAC,QAAQ,CAAC,OAAO,CACjC;SACF,CACF,EACD,CAAC,CACF,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAG,mBAAmB,CAC1C,eAAe,CAAC,QAAQ,EACxB,aAAa,CAAC,OAAO,EACrB,EAAE,eAAe,EAAE,IAAI,EAAE,CAC1B,CAAC;IACF,MAAM,MAAM,GAAG,wBAAwB,CACrC,gBAAgB,EAChB,mBAAmB,CACpB,CAAC;IAEF,OAAO,YAAY,CACjB,MAAM,EACN,kBAAkB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/C,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAA0B;IAE1B,OAAO,wBAAwB,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC;AACvD,CAAC;AAED,SAAS,0BAA0B,CACjC,OAA0B,EAC1B,eAAsC;IAEtC,MAAM,sBAAsB,GAAG,OAAO,CAAC,eAAe,IAAI,eAAe,CAAC;IAE1E,OAAO,sBAAsB,KAAK,eAAe;QAC/C,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,wCAAwC;gBAC9C,OAAO,EAAE,4BAA4B,sBAAsB,sCAAsC,eAAe,IAAI;gBACpH,QAAQ,EAAE,OAAgB;aAC3B;SACF,CAAC;AACR,CAAC;AAED,SAAS,kBAAkB,CACzB,WAA0C;IAE1C,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,KAAK,EAAE,SAAS;QAChB,WAAW;QACX,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,QAAwB,EACxB,OAA0B,EAC1B,WAA0C;IAE1C,OAAO,iCAAiC,CAAC;QACvC,QAAQ;QACR,OAAO;QACP,WAAW,EAAE,EAAE;QACf,WAAW;QACX,OAAO,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;KACnC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAC/B,gBAAmB,EACnB,mBAAkD;IAElD,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,WAAW,GAAG,gBAAgB,CAAC;QACnC,GAAG,mBAAmB;QACtB,GAAG,gBAAgB,CAAC,WAAW;KAChC,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,gBAAgB;QACnB,KAAK,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;QACvC,WAAW;QACX,GAAG,CAAC,gBAAgB,CAAC,QAAQ,KAAK,SAAS;YACzC,CAAC,CAAC;gBACE,QAAQ,EAAE;oBACR,GAAG,gBAAgB,CAAC,QAAQ;oBAC5B,WAAW,EAAE,gBAAgB,CAAC,WAAW,CAAC;iBAC1B;aACnB;YACH,CAAC,CAAC,EAAE,CAAC;KACH,CAAC;AACT,CAAC;AAED,SAAS,YAAY,CACnB,MAA0C,EAC1C,QAAe;IAEf,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ;QACR,MAAM,EAAE,2CAA2C,CAAC,MAAM,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,SAAS,2CAA2C,CAClD,MAA0C;IAE1C,OAAO,IAAI,CAAC,SAAS,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC;AAC7E,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,IAAY,EACZ,GAAW;IAWX,IAAI,CAAC;QACH,OAAO;YACL,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;SACtC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAChE,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/declarative-validation/applicability/classifier.d.ts

@@ -0,0 +1,18 @@
+import type { EngineDocument } from "../../api/document.js";
+import type { CompiledDeclarativeValidationRule } from "../compiler/plan.js";
+import type { DeclarativeValidationApplicabilityResult } from "../results/index.js";
+export type CompiledRuleApplicabilityClassification = {
+    status: "notConfigured";
+} | {
+    status: "matched";
+    result: DeclarativeValidationApplicabilityResult & {
+        status: "matched";
+    };
+} | {
+    status: "notMatched";
+    result: DeclarativeValidationApplicabilityResult & {
+        status: "notMatched";
+    };
+};
+export declare function classifyCompiledDeclarativeRuleApplicability(rule: CompiledDeclarativeValidationRule, document: EngineDocument): CompiledRuleApplicabilityClassification;
+//# sourceMappingURL=classifier.d.ts.map

package/dist/declarative-validation/applicability/classifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"classifier.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/applicability/classifier.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAGV,iCAAiC,EAClC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,wCAAwC,EAAE,MAAM,qBAAqB,CAAC;AAIpF,MAAM,MAAM,uCAAuC,GAC/C;IACE,MAAM,EAAE,eAAe,CAAC;CACzB,GACD;IACE,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,wCAAwC,GAAG;QAAE,MAAM,EAAE,SAAS,CAAA;KAAE,CAAC;CAC1E,GACD;IACE,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,wCAAwC,GAAG;QACjD,MAAM,EAAE,YAAY,CAAC;KACtB,CAAC;CACH,CAAC;AAEN,wBAAgB,4CAA4C,CAC1D,IAAI,EAAE,iCAAiC,EACvC,QAAQ,EAAE,cAAc,GACvB,uCAAuC,CA6BzC"}

package/dist/declarative-validation/applicability/classifier.js

@@ -0,0 +1,37 @@
+import { evaluateCompiledDeclarativeRule } from "../assertions/evaluator.js";
+import { resolveDeclarativeSelector } from "../selectors/index.js";
+export function classifyCompiledDeclarativeRuleApplicability(rule, document) {
+    const applicability = compiledApplicabilityFromRule(rule);
+    if (applicability === undefined) {
+        return { status: "notConfigured" };
+    }
+    const result = evaluateCompiledDeclarativeRule(applicabilityRuleFromPlan(rule, applicability), resolveDeclarativeSelector(document, applicability.selector));
+    if (result.diagnostics.length === 0) {
+        return {
+            status: "matched",
+            result: {
+                status: "matched",
+                diagnostics: [],
+            },
+        };
+    }
+    return {
+        status: "notMatched",
+        result: {
+            status: "notMatched",
+            diagnostics: result.diagnostics,
+        },
+    };
+}
+function compiledApplicabilityFromRule(rule) {
+    return "applicability" in rule ? rule.applicability : undefined;
+}
+function applicabilityRuleFromPlan(rule, applicability) {
+    return {
+        ruleId: rule.ruleId,
+        severity: rule.severity,
+        selector: applicability.selector,
+        assertions: applicability.assertions,
+    };
+}
+//# sourceMappingURL=classifier.js.map

package/dist/declarative-validation/applicability/classifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classifier.js","sourceRoot":"","sources":["../../../src/declarative-validation/applicability/classifier.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,+BAA+B,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAiBnE,MAAM,UAAU,4CAA4C,CAC1D,IAAuC,EACvC,QAAwB;IAExB,MAAM,aAAa,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC;IAE1D,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IACrC,CAAC;IAED,MAAM,MAAM,GAAG,+BAA+B,CAC5C,yBAAyB,CAAC,IAAI,EAAE,aAAa,CAAC,EAC9C,0BAA0B,CAAC,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC,CAC7D,CAAC;IAEF,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE;gBACN,MAAM,EAAE,SAAS;gBACjB,WAAW,EAAE,EAAE;aAChB;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,MAAM,EAAE;YACN,MAAM,EAAE,YAAY;YACpB,WAAW,EAAE,MAAM,CAAC,WAAW;SAChC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAuC;IAEvC,OAAO,eAAe,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;AAClE,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAuC,EACvC,aAA6D;IAE7D,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,aAAa,CAAC,QAAQ;QAChC,UAAU,EAAE,aAAa,CAAC,UAAU;KACrC,CAAC;AACJ,CAAC"}

package/dist/declarative-validation/applicability/index.d.ts

@@ -0,0 +1,2 @@
+export { classifyCompiledDeclarativeRuleApplicability } from "./classifier.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/declarative-validation/applicability/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/applicability/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4CAA4C,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/declarative-validation/applicability/index.js

@@ -0,0 +1,2 @@
+export { classifyCompiledDeclarativeRuleApplicability } from "./classifier.js";
+//# sourceMappingURL=index.js.map

package/dist/declarative-validation/applicability/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/declarative-validation/applicability/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4CAA4C,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/declarative-validation/assertions/context.d.ts

@@ -1,7 +1,7 @@
-import type { CompiledDeclarativeValidationRule } from "../compiler/plan.js";
+import type { CompiledDeclarativeValidationExecutableRule } from "../compiler/plan.js";
 import type { DeclarativeSelection } from "../selectors/index.js";
 export interface AssertionEvaluationContext {
-    rule: CompiledDeclarativeValidationRule;
+    rule: CompiledDeclarativeValidationExecutableRule;
     selection: DeclarativeSelection;
     assertionIndex: number;
 }

package/dist/declarative-validation/assertions/context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iCAAiC,EAAE,MAAM,qBAAqB,CAAC;AAC7E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAElE,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,iCAAiC,CAAC;IACxC,SAAS,EAAE,oBAAoB,CAAC;IAChC,cAAc,EAAE,MAAM,CAAC;CACxB"}
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,2CAA2C,EAAE,MAAM,qBAAqB,CAAC;AACvF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAElE,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,2CAA2C,CAAC;IAClD,SAAS,EAAE,oBAAoB,CAAC;IAChC,cAAc,EAAE,MAAM,CAAC;CACxB"}

package/dist/declarative-validation/assertions/diagnostics.d.ts

@@ -1,5 +1,5 @@
 import type { MarkdownDiagnostic, SourceRange } from "../../api/diagnostics.js";
-import type { CompiledDeclarativeAssertion, CompiledDeclarativeValidationRule } from "../compiler/plan.js";
+import type { CompiledDeclarativeAssertion, CompiledDeclarativeValidationAllOfRuleV2, CompiledDeclarativeValidationAnyOfRuleV2, CompiledDeclarativeValidationExecutableRule } from "../compiler/plan.js";
 import type { DeclarativeSelectionTarget } from "../selectors/index.js";
 export interface AssertionDiagnostic {
     diagnostic: MarkdownDiagnostic;
@@ -16,7 +16,10 @@ export interface AssertionDiagnosticOptions {
     diagnosticOrder?: number;
     sourceRange?: SourceRange;
 }
-export declare function emptySelectionDiagnostic(rule: CompiledDeclarativeValidationRule, assertionIndex: number): AssertionDiagnostic;
-export declare function validationDiagnostic(code: string, message: string, rule: CompiledDeclarativeValidationRule, options: AssertionDiagnosticOptions): AssertionDiagnostic;
-export declare function unsupportedEvaluatorDiagnostic(assertion: CompiledDeclarativeAssertion, rule: CompiledDeclarativeValidationRule, assertionIndex: number): AssertionDiagnostic;
+export declare function noAlternativeMatchedDiagnostic(rule: CompiledDeclarativeValidationAnyOfRuleV2): MarkdownDiagnostic;
+export declare function groupRequirementFailedDiagnostic(rule: CompiledDeclarativeValidationAllOfRuleV2): MarkdownDiagnostic;
+export declare function emptySelectionDiagnostic(rule: CompiledDeclarativeValidationExecutableRule, assertionIndex: number): AssertionDiagnostic;
+export declare function validationDiagnostic(code: string, message: string, rule: CompiledDeclarativeValidationExecutableRule, options: AssertionDiagnosticOptions): AssertionDiagnostic;
+export declare function unsupportedEvaluatorDiagnostic(assertion: CompiledDeclarativeAssertion, rule: CompiledDeclarativeValidationExecutableRule, assertionIndex: number): AssertionDiagnostic;
+export declare function unsupportedEvaluatorFeatureDiagnostic(assertionKind: CompiledDeclarativeAssertion["kind"], featureName: string, rule: CompiledDeclarativeValidationExecutableRule, assertionIndex: number): AssertionDiagnostic;
 //# sourceMappingURL=diagnostics.d.ts.map

package/dist/declarative-validation/assertions/diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAChF,OAAO,KAAK,EACV,4BAA4B,EAC5B,iCAAiC,EAClC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAExE,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,kBAAkB,CAAC;IAC/B,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,0BAA0B;IACzC,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,0BAA0B,CAAC;IACpC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,iCAAiC,EACvC,cAAc,EAAE,MAAM,GACrB,mBAAmB,CAWrB;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,iCAAiC,EACvC,OAAO,EAAE,0BAA0B,GAClC,mBAAmB,CAgBrB;AAED,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,4BAA4B,EACvC,IAAI,EAAE,iCAAiC,EACvC,cAAc,EAAE,MAAM,GACrB,mBAAmB,CAarB"}
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAChF,OAAO,KAAK,EACV,4BAA4B,EAC5B,wCAAwC,EACxC,wCAAwC,EACxC,2CAA2C,EAC5C,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAExE,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,kBAAkB,CAAC;IAC/B,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,0BAA0B;IACzC,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,0BAA0B,CAAC;IACpC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,wCAAwC,GAC7C,kBAAkB,CAOpB;AAED,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,wCAAwC,GAC7C,kBAAkB,CAOpB;AAED,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,2CAA2C,EACjD,cAAc,EAAE,MAAM,GACrB,mBAAmB,CAWrB;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,2CAA2C,EACjD,OAAO,EAAE,0BAA0B,GAClC,mBAAmB,CAgBrB;AAED,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,4BAA4B,EACvC,IAAI,EAAE,2CAA2C,EACjD,cAAc,EAAE,MAAM,GACrB,mBAAmB,CAMrB;AAED,wBAAgB,qCAAqC,CACnD,aAAa,EAAE,4BAA4B,CAAC,MAAM,CAAC,EACnD,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,2CAA2C,EACjD,cAAc,EAAE,MAAM,GACrB,mBAAmB,CAMrB"}

package/dist/declarative-validation/assertions/diagnostics.js

@@ -1,3 +1,19 @@
+export function noAlternativeMatchedDiagnostic(rule) {
+    return {
+        code: "profile.validation.noAlternativeMatched",
+        ruleId: rule.ruleId,
+        message: "No anyOf branch matched the grouped rule.",
+        severity: rule.severity,
+    };
+}
+export function groupRequirementFailedDiagnostic(rule) {
+    return {
+        code: "profile.validation.groupRequirementFailed",
+        ruleId: rule.ruleId,
+        message: "One or more allOf branches failed the grouped rule.",
+        severity: rule.severity,
+    };
+}
 export function emptySelectionDiagnostic(rule, assertionIndex) {
     return validationDiagnostic("profile.validation.emptySelection", "Rule selector did not match any document targets.", rule, {
         assertionIndex,
@@ -22,11 +38,17 @@ export function validationDiagnostic(code, message, rule, options) {
     };
 }
 export function unsupportedEvaluatorDiagnostic(assertion, rule, assertionIndex) {
+    return unsupportedEvaluatorDiagnosticFromMessage(unsupportedEvaluatorMessage(assertion.kind), rule, assertionIndex);
+}
+export function unsupportedEvaluatorFeatureDiagnostic(assertionKind, featureName, rule, assertionIndex) {
+    return unsupportedEvaluatorDiagnosticFromMessage(unsupportedEvaluatorFeatureMessage(assertionKind, featureName), rule, assertionIndex);
+}
+function unsupportedEvaluatorDiagnosticFromMessage(message, rule, assertionIndex) {
     return {
         diagnostic: {
             code: "profile.validation.assertionUnsupported",
             ruleId: rule.ruleId,
-            message: unsupportedEvaluatorMessage(assertion.kind),
+            message,
             severity: "error",
         },
         assertionIndex,
@@ -38,6 +60,9 @@ export function unsupportedEvaluatorDiagnostic(assertion, rule, assertionIndex)
 function unsupportedEvaluatorMessage(assertionKind) {
     return `Assertion "${assertionKind}" is compiled but not implemented by the assertion evaluator yet.`;
 }
+function unsupportedEvaluatorFeatureMessage(assertionKind, featureName) {
+    return `Unsupported assertion feature "${featureName}" for "${assertionKind}" is compiled but not implemented by the assertion evaluator yet.`;
+}
 function targetSourceRange(target) {
     return target !== undefined && "source" in target
         ? target.source?.range