@jasonbelmonti/markdown-engine 1.0.0 → 2.0.0

package/dist/declarative-validation/compiler/assertion-shapes.js

@@ -0,0 +1,129 @@
+import { isPlainRecord } from "../../internal/plain-record.js";
+import { unsupportedProfileKey } from "../diagnostics/profile-config-diagnostics.js";
+import { stringArray } from "../profile/schema-values.js";
+import { compileDiagnostic } from "./diagnostics.js";
+export function pushUnsupportedKeyDiagnostics(record, allowedKeys, diagnostics) {
+    const diagnosticCountBefore = diagnostics.length;
+    for (const key of Object.keys(record)) {
+        if (!allowedKeys.includes(key)) {
+            diagnostics.push(unsupportedProfileKey(key));
+        }
+    }
+    return diagnostics.length === diagnosticCountBefore;
+}
+export function pushObjectDiagnostic(fieldName, value, ruleId, diagnostics) {
+    if (isPlainRecord(value)) {
+        return true;
+    }
+    diagnostics.push(compileDiagnostic("profile.config.invalidShape", `${fieldName} must be an object.`, ruleId));
+    return false;
+}
+export function pushTextShapeDiagnostics(assertion, ruleId, diagnostics) {
+    let valid = true;
+    if (assertion?.contains !== undefined &&
+        !pushNonEmptyStringDiagnostic("contains", assertion.contains, ruleId, diagnostics)) {
+        valid = false;
+    }
+    if (assertion?.excludes !== undefined &&
+        closedStringArray("excludes", assertion.excludes, ruleId, diagnostics) ===
+            undefined) {
+        valid = false;
+    }
+    return valid;
+}
+export function pushSectionsRequiredOrderDiagnostic(value, ruleId, diagnostics) {
+    if (value === undefined || value === "none" || value === "strict") {
+        return true;
+    }
+    diagnostics.push(compileDiagnostic("profile.config.invalidShape", 'sectionsRequired.order must be "none" or "strict" when provided.', ruleId));
+    return false;
+}
+export function pushTextOccurrenceCountDiagnostic(value, ruleId, diagnostics) {
+    return pushNumberDiagnostic(value, ruleId, diagnostics, "textOccurrenceCount.count must be a number.");
+}
+export function pushTextLengthShapeDiagnostics(assertion, ruleId, diagnostics) {
+    let valid = true;
+    const min = assertion?.min;
+    const max = assertion?.max;
+    if (min !== undefined &&
+        !pushTextLengthNumberDiagnostic("textLength.min", min, ruleId, diagnostics)) {
+        valid = false;
+    }
+    if (max !== undefined &&
+        !pushTextLengthNumberDiagnostic("textLength.max", max, ruleId, diagnostics)) {
+        valid = false;
+    }
+    if (valid && min !== undefined && max !== undefined && min > max) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", "textLength.min must be less than or equal to textLength.max.", ruleId));
+        valid = false;
+    }
+    return valid;
+}
+export function pushOptionalNonEmptyStringDiagnostic(fieldName, value, ruleId, diagnostics) {
+    return value === undefined
+        ? true
+        : pushNonEmptyStringDiagnostic(fieldName, value, ruleId, diagnostics);
+}
+export function pushOptionalBooleanDiagnostic(fieldName, value, ruleId, diagnostics) {
+    if (value === undefined || typeof value === "boolean") {
+        return true;
+    }
+    diagnostics.push(compileDiagnostic("profile.config.invalidShape", `${fieldName} must be a boolean when provided.`, ruleId));
+    return false;
+}
+export function pushNonEmptyStringDiagnostic(fieldName, value, ruleId, diagnostics) {
+    if (typeof value === "string" && value.length > 0) {
+        return true;
+    }
+    diagnostics.push(compileDiagnostic("profile.config.invalidShape", `${fieldName} must be a non-empty string when provided.`, ruleId));
+    return false;
+}
+function pushTextLengthNumberDiagnostic(fieldName, value, ruleId, diagnostics) {
+    if (typeof value !== "number" || !Number.isFinite(value)) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", `${fieldName} must be a number when provided.`, ruleId));
+        return false;
+    }
+    if (!Number.isInteger(value) || value < 0) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", `${fieldName} must be a non-negative integer when provided.`, ruleId));
+        return false;
+    }
+    return true;
+}
+function pushNumberDiagnostic(value, ruleId, diagnostics, message) {
+    if (typeof value === "number" && Number.isFinite(value)) {
+        return true;
+    }
+    diagnostics.push(compileDiagnostic("profile.config.invalidShape", message, ruleId));
+    return false;
+}
+export function closedStringArray(fieldName, value, ruleId, diagnostics) {
+    const values = stringArray(value);
+    if (values !== undefined) {
+        return values;
+    }
+    diagnostics.push(compileDiagnostic("profile.config.invalidShape", `${fieldName} must be an array of non-empty strings.`, ruleId));
+    return undefined;
+}
+export function optionalString(key, value) {
+    return value === undefined ? {} : { [key]: value };
+}
+export function optionalStringArray(key, value) {
+    if (value === undefined) {
+        return {};
+    }
+    const values = stringArray(value);
+    return values === undefined
+        ? {}
+        : { [key]: values };
+}
+export function optionalNumber(key, value) {
+    return value === undefined ? {} : { [key]: value };
+}
+export function hasTextPredicate(assertion) {
+    return (assertion?.contains !== undefined ||
+        (assertion?.excludes !== undefined && assertion.excludes.length > 0));
+}
+export function hasTextLengthBound(assertion) {
+    return assertion?.min !== undefined || assertion?.max !== undefined;
+}
+//# sourceMappingURL=assertion-shapes.js.map

package/dist/declarative-validation/compiler/assertion-shapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-shapes.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/assertion-shapes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AAErF,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAErD,MAAM,UAAU,6BAA6B,CAC3C,MAAc,EACd,WAA8B,EAC9B,WAAiC;IAEjC,MAAM,qBAAqB,GAAG,WAAW,CAAC,MAAM,CAAC;IAEjD,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;IAED,OAAO,WAAW,CAAC,MAAM,KAAK,qBAAqB,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,SAAiB,EACjB,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,GAAG,SAAS,qBAAqB,EACjC,MAAM,CACP,CACF,CAAC;IAEF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAAuC,EACvC,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,GAAG,IAAI,CAAC;IAEjB,IACE,SAAS,EAAE,QAAQ,KAAK,SAAS;QACjC,CAAC,4BAA4B,CAAC,UAAU,EAAE,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,EAClF,CAAC;QACD,KAAK,GAAG,KAAK,CAAC;IAChB,CAAC;IAED,IACE,SAAS,EAAE,QAAQ,KAAK,SAAS;QACjC,iBAAiB,CAAC,UAAU,EAAE,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC;YACpE,SAAS,EACX,CAAC;QACD,KAAK,GAAG,KAAK,CAAC;IAChB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,kEAAkE,EAClE,MAAM,CACP,CACF,CAAC;IAEF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,OAAO,oBAAoB,CACzB,KAAK,EACL,MAAM,EACN,WAAW,EACX,6CAA6C,CAC9C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,SAA6C,EAC7C,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,MAAM,GAAG,GAAG,SAAS,EAAE,GAAG,CAAC;IAC3B,MAAM,GAAG,GAAG,SAAS,EAAE,GAAG,CAAC;IAE3B,IACE,GAAG,KAAK,SAAS;QACjB,CAAC,8BAA8B,CAC7B,gBAAgB,EAChB,GAAG,EACH,MAAM,EACN,WAAW,CACZ,EACD,CAAC;QACD,KAAK,GAAG,KAAK,CAAC;IAChB,CAAC;IAED,IACE,GAAG,KAAK,SAAS;QACjB,CAAC,8BAA8B,CAC7B,gBAAgB,EAChB,GAAG,EACH,MAAM,EACN,WAAW,CACZ,EACD,CAAC;QACD,KAAK,GAAG,KAAK,CAAC;IAChB,CAAC;IAED,IAAI,KAAK,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,GAAG,GAAG,EAAE,CAAC;QACjE,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,8DAA8D,EAC9D,MAAM,CACP,CACF,CAAC;QAEF,KAAK,GAAG,KAAK,CAAC;IAChB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,SAAiB,EACjB,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,4BAA4B,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,SAAiB,EACjB,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,GAAG,SAAS,mCAAmC,EAC/C,MAAM,CACP,CACF,CAAC;IAEF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,SAAiB,EACjB,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,GAAG,SAAS,4CAA4C,EACxD,MAAM,CACP,CACF,CAAC;IAEF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,8BAA8B,CACrC,SAAiB,EACjB,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,GAAG,SAAS,kCAAkC,EAC9C,MAAM,CACP,CACF,CAAC;QAEF,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC1C,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,GAAG,SAAS,gDAAgD,EAC5D,MAAM,CACP,CACF,CAAC;QAEF,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,MAAc,EACd,WAAiC,EACjC,OAAe;IAEf,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CAAC,6BAA6B,EAAE,OAAO,EAAE,MAAM,CAAC,CAClE,CAAC;IAEF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,SAAiB,EACjB,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAElC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,GAAG,SAAS,yCAAyC,EACrD,MAAM,CACP,CACF,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,GAAS,EACT,KAAyB;IAEzB,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAA2B,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,GAAS,EACT,KAAc;IAEd,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAElC,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAE,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAiD,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,GAAS,EACT,KAAyB;IAEzB,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAA2B,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,SAAuC;IACtE,OAAO,CACL,SAAS,EAAE,QAAQ,KAAK,SAAS;QACjC,CAAC,SAAS,EAAE,QAAQ,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CACrE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAA6C;IAE7C,OAAO,SAAS,EAAE,GAAG,KAAK,SAAS,IAAI,SAAS,EAAE,GAAG,KAAK,SAAS,CAAC;AACtE,CAAC"}

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

@@ -0,0 +1,5 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+import type { DeclarativeAssertion, DeclarativeSelector } from "../profile/index.js";
+import type { CompiledDeclarativeAssertion } from "./plan.js";
+export declare function compiledAssertionsFromValue(assertion: DeclarativeAssertion, selector: DeclarativeSelector, ruleId: string, diagnostics: MarkdownDiagnostic[]): CompiledDeclarativeAssertion[];
+//# sourceMappingURL=assertions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assertions.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/assertions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EACV,oBAAoB,EACpB,mBAAmB,EACpB,MAAM,qBAAqB,CAAC;AAG7B,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,WAAW,CAAC;AAc9D,wBAAgB,2BAA2B,CACzC,SAAS,EAAE,oBAAoB,EAC/B,QAAQ,EAAE,mBAAmB,EAC7B,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,GAChC,4BAA4B,EAAE,CAmBhC"}

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

@@ -0,0 +1,25 @@
+import { ASSERTION_BUILDERS } from "./assertion-builders.js";
+import { pushUnsupportedKeyDiagnostics } from "./assertion-shapes.js";
+const ASSERTION_KEYS = [
+    "exists",
+    "sectionsRequired",
+    "tableColumnsRequired",
+    "ids",
+    "references",
+    "text",
+    "textOccurrenceCount",
+    "textLength",
+    "frontmatterRequired",
+];
+export function compiledAssertionsFromValue(assertion, selector, ruleId, diagnostics) {
+    const compiled = [];
+    pushUnsupportedKeyDiagnostics(assertion, ASSERTION_KEYS, diagnostics);
+    for (const buildAssertion of ASSERTION_BUILDERS) {
+        const compiledAssertion = buildAssertion(assertion, selector, ruleId, diagnostics);
+        if (compiledAssertion !== undefined) {
+            compiled.push(compiledAssertion);
+        }
+    }
+    return compiled;
+}
+//# sourceMappingURL=assertions.js.map

package/dist/declarative-validation/compiler/assertions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertions.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/assertions.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAGtE,MAAM,cAAc,GAAG;IACrB,QAAQ;IACR,kBAAkB;IAClB,sBAAsB;IACtB,KAAK;IACL,YAAY;IACZ,MAAM;IACN,qBAAqB;IACrB,YAAY;IACZ,qBAAqB;CACtB,CAAC;AAEF,MAAM,UAAU,2BAA2B,CACzC,SAA+B,EAC/B,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,MAAM,QAAQ,GAAmC,EAAE,CAAC;IAEpD,6BAA6B,CAAC,SAAS,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC;IAEtE,KAAK,MAAM,cAAc,IAAI,kBAAkB,EAAE,CAAC;QAChD,MAAM,iBAAiB,GAAG,cAAc,CACtC,SAAS,EACT,QAAQ,EACR,MAAM,EACN,WAAW,CACZ,CAAC;QAEF,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/declarative-validation/compiler/compatibility.d.ts

@@ -0,0 +1,4 @@
+import type { DeclarativeAssertion, DeclarativeSelector } from "../profile/index.js";
+export type DeclarativeAssertionName = keyof DeclarativeAssertion;
+export declare function selectorAssertionCompatibilityError(assertionName: DeclarativeAssertionName, selector: DeclarativeSelector): string | undefined;
+//# sourceMappingURL=compatibility.d.ts.map

package/dist/declarative-validation/compiler/compatibility.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compatibility.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/compatibility.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAErF,MAAM,MAAM,wBAAwB,GAAG,MAAM,oBAAoB,CAAC;AAElE,wBAAgB,mCAAmC,CACjD,aAAa,EAAE,wBAAwB,EACvC,QAAQ,EAAE,mBAAmB,GAC5B,MAAM,GAAG,SAAS,CA2BpB"}

package/dist/declarative-validation/compiler/compatibility.js

@@ -0,0 +1,28 @@
+export function selectorAssertionCompatibilityError(assertionName, selector) {
+    switch (assertionName) {
+        case "exists":
+            return undefined;
+        case "sectionsRequired":
+        case "references":
+            return selector.target === "document"
+                ? undefined
+                : selectorCompatibilityMessage(assertionName, "document");
+        case "tableColumnsRequired":
+            return selector.target === "table"
+                ? undefined
+                : selectorCompatibilityMessage(assertionName, "table");
+        case "ids":
+        case "text":
+        case "textOccurrenceCount":
+        case "textLength":
+            return undefined;
+        case "frontmatterRequired":
+            return selector.target === "document"
+                ? undefined
+                : selectorCompatibilityMessage(assertionName, "document");
+    }
+}
+function selectorCompatibilityMessage(assertionName, selectorName) {
+    return `Assertion "${assertionName}" is compatible only with ${selectorName} selectors.`;
+}
+//# sourceMappingURL=compatibility.js.map

package/dist/declarative-validation/compiler/compatibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compatibility.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/compatibility.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,mCAAmC,CACjD,aAAuC,EACvC,QAA6B;IAE7B,QAAQ,aAAa,EAAE,CAAC;QACtB,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;QAEnB,KAAK,kBAAkB,CAAC;QACxB,KAAK,YAAY;YACf,OAAO,QAAQ,CAAC,MAAM,KAAK,UAAU;gBACnC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,4BAA4B,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QAE9D,KAAK,sBAAsB;YACzB,OAAO,QAAQ,CAAC,MAAM,KAAK,OAAO;gBAChC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,4BAA4B,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAE3D,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,qBAAqB,CAAC;QAC3B,KAAK,YAAY;YACf,OAAO,SAAS,CAAC;QAEnB,KAAK,qBAAqB;YACxB,OAAO,QAAQ,CAAC,MAAM,KAAK,UAAU;gBACnC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,4BAA4B,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAChE,CAAC;AACH,CAAC;AAED,SAAS,4BAA4B,CACnC,aAAuC,EACvC,YAA2C;IAE3C,OAAO,cAAc,aAAa,6BAA6B,YAAY,aAAa,CAAC;AAC3F,CAAC"}

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

@@ -0,0 +1,3 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+export declare function compileDiagnostic(code: string, message: string, ruleId: string): MarkdownDiagnostic;
+//# sourceMappingURL=diagnostics.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,GACb,kBAAkB,CAOpB"}

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

@@ -0,0 +1,9 @@
+export function compileDiagnostic(code, message, ruleId) {
+    return {
+        code,
+        ruleId,
+        message,
+        severity: "error",
+    };
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/declarative-validation/compiler/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/diagnostics.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,OAAe,EACf,MAAc;IAEd,OAAO;QACL,IAAI;QACJ,MAAM;QACN,OAAO;QACP,QAAQ,EAAE,OAAO;KAClB,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,5 @@
+import type { ValidationProfile } from "../profile/index.js";
+import type { DeclarativeValidationCompileResult } from "./plan.js";
+export type { CompiledDeclarativeAssertion, CompiledDeclarativeValidationPlan, CompiledDeclarativeValidationRule, DeclarativeValidationCompileResult, } from "./plan.js";
+export declare function compileValidationProfile(profile: ValidationProfile): DeclarativeValidationCompileResult;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,164 @@
+import { isPlainRecord } from "../../internal/plain-record.js";
+import { closeProfileDataTree, DATA_CLOSURE_FAILED, } from "../profile/data-closure.js";
+import { pushDirectProfileUnsupportedKeyDiagnostics } from "../profile/direct-profile-diagnostics.js";
+import { selectorFromValue } from "../profile/selector-schema.js";
+import { compiledAssertionsFromValue } from "./assertions.js";
+import { compileDiagnostic } from "./diagnostics.js";
+const SEVERITIES = new Set([
+    "error",
+    "warning",
+    "info",
+]);
+export function compileValidationProfile(profile) {
+    const diagnostics = [];
+    if (pushDirectProfileUnsupportedKeyDiagnostics(profile, diagnostics)) {
+        return { diagnostics };
+    }
+    const closedProfile = closeProfileDataTree(profile, "Profile", diagnostics);
+    if (closedProfile === DATA_CLOSURE_FAILED) {
+        return { diagnostics };
+    }
+    if (!isPlainRecord(closedProfile)) {
+        return {
+            diagnostics: [
+                ...diagnostics,
+                {
+                    code: "profile.config.invalidShape",
+                    message: "Profile must be an object.",
+                    severity: "error",
+                },
+            ],
+        };
+    }
+    const profileRules = profileRulesFromValue(closedProfile.rules, diagnostics);
+    if (profileRules === undefined) {
+        return { diagnostics };
+    }
+    const rules = [];
+    const seenRuleIds = new Set();
+    for (let index = 0; index < profileRules.length; index += 1) {
+        const ruleInput = profileRules[index];
+        const rule = ruleFromValue(ruleInput, index, diagnostics);
+        if (rule === undefined) {
+            continue;
+        }
+        const ruleId = ruleIdFromValue(rule.id, index, diagnostics);
+        if (ruleId === undefined) {
+            continue;
+        }
+        if (seenRuleIds.has(ruleId)) {
+            diagnostics.push({
+                code: "profile.config.invalidShape",
+                message: `Profile rule at index ${index} duplicates rule id "${ruleId}".`,
+                severity: "error",
+            });
+            continue;
+        }
+        seenRuleIds.add(ruleId);
+        const severity = severityFromValue(rule.severity, ruleId, diagnostics);
+        if (severity === undefined && rule.severity !== undefined) {
+            continue;
+        }
+        const selectorInput = closeProfileDataTree(rule.select, "Rule select", diagnostics, ruleId);
+        if (selectorInput === DATA_CLOSURE_FAILED) {
+            continue;
+        }
+        const diagnosticCountBeforeSelector = diagnostics.length;
+        const selector = selectorFromValue(selectorInput, diagnostics);
+        if (selector === undefined ||
+            diagnostics.length > diagnosticCountBeforeSelector) {
+            continue;
+        }
+        const assertionInput = closeProfileDataTree(rule.assert, "Rule assert", diagnostics, ruleId);
+        if (assertionInput === DATA_CLOSURE_FAILED) {
+            continue;
+        }
+        const diagnosticCountBeforeAssertions = diagnostics.length;
+        if (!isPlainRecord(assertionInput)) {
+            diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must be an object.", ruleId));
+            continue;
+        }
+        const assertions = compiledAssertionsFromValue(assertionInput, selector, ruleId, diagnostics);
+        if (assertions.length === 0) {
+            if (diagnostics.length === diagnosticCountBeforeAssertions) {
+                diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must include at least one supported assertion.", ruleId));
+            }
+            continue;
+        }
+        rules.push({
+            ruleId,
+            severity: severity ?? "error",
+            selector,
+            assertions,
+        });
+    }
+    return diagnostics.length > 0
+        ? { diagnostics }
+        : {
+            plan: {
+                rules,
+            },
+            diagnostics,
+        };
+}
+function profileRulesFromValue(value, diagnostics) {
+    if (!Array.isArray(value)) {
+        diagnostics.push({
+            code: "profile.config.invalidShape",
+            message: "Profile rules must be an array.",
+            severity: "error",
+        });
+        return undefined;
+    }
+    const rules = [];
+    for (let index = 0; index < value.length; index += 1) {
+        const descriptor = Object.getOwnPropertyDescriptor(value, String(index));
+        if (descriptor === undefined || !("value" in descriptor)) {
+            diagnostics.push({
+                code: "profile.config.invalidShape",
+                message: "Profile rules must be a dense array.",
+                severity: "error",
+            });
+            return undefined;
+        }
+        rules.push(descriptor.value);
+    }
+    return rules;
+}
+function ruleFromValue(value, index, diagnostics) {
+    if (!isPlainRecord(value)) {
+        diagnostics.push({
+            code: "profile.config.invalidShape",
+            message: `Profile rule at index ${index} must be an object.`,
+            severity: "error",
+        });
+        return undefined;
+    }
+    const closedRule = closeProfileDataTree(value, `Profile rule at index ${index}`, diagnostics);
+    return closedRule === DATA_CLOSURE_FAILED || !isPlainRecord(closedRule)
+        ? undefined
+        : closedRule;
+}
+function ruleIdFromValue(value, index, diagnostics) {
+    if (typeof value === "string" && value.length > 0) {
+        return value;
+    }
+    diagnostics.push({
+        code: "profile.config.invalidShape",
+        message: `Profile rule at index ${index} must have a non-empty id.`,
+        severity: "error",
+    });
+    return undefined;
+}
+function severityFromValue(value, ruleId, diagnostics) {
+    if (value === undefined) {
+        return undefined;
+    }
+    if (typeof value === "string" &&
+        SEVERITIES.has(value)) {
+        return value;
+    }
+    diagnostics.push(compileDiagnostic("profile.config.invalidShape", 'Rule severity must be "error", "warning", or "info" when provided.', ruleId));
+    return undefined;
+}
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +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"}

package/dist/declarative-validation/compiler/plan.d.ts

@@ -0,0 +1,58 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+import type { DeclarativeSelector, DeclarativeValidationSeverity } from "../profile/index.js";
+/** @internal Private compiled plans must not be exported from the package root. */
+export interface CompiledDeclarativeValidationPlan {
+    rules: readonly CompiledDeclarativeValidationRule[];
+}
+/** @internal Private rule-plan records are owned by the compiler package. */
+export interface CompiledDeclarativeValidationRule {
+    ruleId: string;
+    severity: DeclarativeValidationSeverity;
+    selector: DeclarativeSelector;
+    assertions: readonly CompiledDeclarativeAssertion[];
+}
+/** @internal */
+export interface DeclarativeValidationCompileResult {
+    plan?: CompiledDeclarativeValidationPlan;
+    diagnostics: readonly MarkdownDiagnostic[];
+}
+/** @internal */
+export type CompiledDeclarativeAssertion = {
+    kind: "exists";
+} | {
+    kind: "sectionsRequired";
+    headings: readonly string[];
+    order: "none" | "strict";
+} | {
+    kind: "tableColumnsRequired";
+    columns: readonly string[];
+} | {
+    kind: "ids";
+    unique: true;
+    caseSensitive: boolean;
+    prefix?: string;
+} | {
+    kind: "references";
+    idsFrom: {
+        section?: string;
+        column?: string;
+        prefix?: string;
+    };
+    mustAppearIn: readonly string[];
+} | {
+    kind: "text";
+    contains?: string;
+    excludes?: readonly string[];
+} | {
+    kind: "textOccurrenceCount";
+    text: string;
+    count: number;
+} | {
+    kind: "textLength";
+    min?: number;
+    max?: number;
+} | {
+    kind: "frontmatterRequired";
+    fields: readonly string[];
+};
+//# sourceMappingURL=plan.d.ts.map

package/dist/declarative-validation/compiler/plan.d.ts.map

@@ -0,0 +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"}

package/dist/declarative-validation/compiler/plan.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=plan.js.map

package/dist/declarative-validation/compiler/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/plan.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,7 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+export type DeclarativeValidationStage = "profile" | "compile" | "validation";
+/** @internal Diagnostic construction remains centralized for later stages. */
+export interface DeclarativeValidationDiagnostic extends MarkdownDiagnostic {
+    stage: DeclarativeValidationStage;
+}
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/diagnostics/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,MAAM,MAAM,0BAA0B,GAAG,SAAS,GAAG,SAAS,GAAG,YAAY,CAAC;AAE9E,8EAA8E;AAC9E,MAAM,WAAW,+BAAgC,SAAQ,kBAAkB;IACzE,KAAK,EAAE,0BAA0B,CAAC;CACnC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/declarative-validation/diagnostics/index.ts"],"names":[],"mappings":""}

package/dist/declarative-validation/diagnostics/profile-config-diagnostics.d.ts

@@ -0,0 +1,11 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+export declare const PROFILE_SYNTAX_VERSION = "markdown-engine.validation@v1";
+export declare const REGEX_LIKE_PROFILE_KEYS: readonly ["matches", "pattern", "regex", "regexp"];
+export declare const UNSAFE_PROFILE_KEYS: readonly ["callback", "eval", "execute", "expression", "function", "import", "imports", "plugin", "script"];
+export declare function profileDiagnostic(code: string, message: string): MarkdownDiagnostic;
+export declare function invalidProfileShape(message: string): MarkdownDiagnostic;
+export declare function unsupportedProfileKey(key: string): MarkdownDiagnostic;
+export declare function unsupportedSyntaxVersion(): MarkdownDiagnostic;
+export declare function unsupportedProfileKeys(record: Record<string, unknown>, allowedKeys: readonly string[], diagnostics: MarkdownDiagnostic[]): void;
+export declare function hasConfigUnsupportedKeyPrecedence(key: string): boolean;
+//# sourceMappingURL=profile-config-diagnostics.d.ts.map

package/dist/declarative-validation/diagnostics/profile-config-diagnostics.d.ts.map

@@ -0,0 +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"}

package/dist/declarative-validation/diagnostics/profile-config-diagnostics.js

@@ -0,0 +1,45 @@
+export const PROFILE_SYNTAX_VERSION = "markdown-engine.validation@v1";
+export const REGEX_LIKE_PROFILE_KEYS = [
+    "matches",
+    "pattern",
+    "regex",
+    "regexp",
+];
+export const UNSAFE_PROFILE_KEYS = [
+    "callback",
+    "eval",
+    "execute",
+    "expression",
+    "function",
+    "import",
+    "imports",
+    "plugin",
+    "script",
+];
+const CONFIG_UNSUPPORTED_KEY_PRECEDENCE = new Set([
+    ...REGEX_LIKE_PROFILE_KEYS,
+    ...UNSAFE_PROFILE_KEYS,
+]);
+export function profileDiagnostic(code, message) {
+    return { code, message, severity: "error" };
+}
+export function invalidProfileShape(message) {
+    return profileDiagnostic("profile.config.invalidShape", message);
+}
+export function unsupportedProfileKey(key) {
+    return profileDiagnostic("profile.config.unsupportedKey", `Unsupported validation profile key "${key}".`);
+}
+export function unsupportedSyntaxVersion() {
+    return profileDiagnostic("profile.config.unsupportedSyntaxVersion", `Profile syntaxVersion must be "${PROFILE_SYNTAX_VERSION}".`);
+}
+export function unsupportedProfileKeys(record, allowedKeys, diagnostics) {
+    for (const key of Object.keys(record)) {
+        if (!allowedKeys.includes(key)) {
+            diagnostics.push(unsupportedProfileKey(key));
+        }
+    }
+}
+export function hasConfigUnsupportedKeyPrecedence(key) {
+    return CONFIG_UNSUPPORTED_KEY_PRECEDENCE.has(key);
+}
+//# sourceMappingURL=profile-config-diagnostics.js.map

package/dist/declarative-validation/diagnostics/profile-config-diagnostics.js.map

@@ -0,0 +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"}

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

@@ -0,0 +1,14 @@
+import type { EngineDocument } from "../../api/document.js";
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+import type { ValidationRuleResult } from "../../api/validate.js";
+import type { ValidationProfile } from "../profile/index.js";
+export interface DeclarativeValidationEvidence {
+    inputHash: string;
+    profileHash: string;
+    engineVersion: string;
+    runtimeVersion: string;
+    ruleResults: readonly ValidationRuleResult[];
+    diagnostics: readonly MarkdownDiagnostic[];
+}
+export declare function createDeclarativeValidationEvidence(document: EngineDocument, profile: ValidationProfile, ruleResults: readonly ValidationRuleResult[], diagnostics: readonly MarkdownDiagnostic[]): DeclarativeValidationEvidence;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +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"}