@jasonbelmonti/markdown-engine 0.1.0 → 2.0.0

package/dist/declarative-validation/assertions/sections-required.js

@@ -0,0 +1,49 @@
+import { documentQueries } from "../../api/document-queries.js";
+import { validationDiagnostic } from "./diagnostics.js";
+export function evaluateSectionsRequired(assertion, context) {
+    const sections = documentQueries.sections(context.selection.document);
+    const sectionTitles = sections.map((section) => section.title);
+    const missingDiagnostics = assertion.headings
+        .filter((heading) => !sectionTitles.includes(heading))
+        .map((heading, diagnosticOrder) => validationDiagnostic("profile.validation.sectionMissing", `Required section "${heading}" is missing.`, context.rule, {
+        assertionIndex: context.assertionIndex,
+        targetKey: `section:${heading}`,
+        diagnosticOrder,
+    }));
+    return assertion.order === "strict"
+        ? [
+            ...missingDiagnostics,
+            ...strictSectionOrderDiagnostics(context, assertion.headings, sections),
+        ]
+        : missingDiagnostics;
+}
+function strictSectionOrderDiagnostics(context, expectedHeadings, actualSections) {
+    const actualHeadings = actualSections.map((section) => section.title);
+    let cursor = -1;
+    for (const [diagnosticOrder, heading] of expectedHeadings.entries()) {
+        const nextIndex = actualHeadings.findIndex((actualHeading, index) => index > cursor && actualHeading === heading);
+        if (nextIndex === -1) {
+            const fallbackSection = firstSectionByTitle(actualSections, heading);
+            const sourceRange = sectionHeadingSourceRange(context.selection.document, fallbackSection);
+            return [
+                validationDiagnostic("profile.validation.sectionOrder", `Required section "${heading}" is not present after the previous required section.`, context.rule, {
+                    assertionIndex: context.assertionIndex,
+                    targetKey: `section:${heading}`,
+                    diagnosticOrder,
+                    ...(sourceRange !== undefined ? { sourceRange } : {}),
+                }),
+            ];
+        }
+        cursor = nextIndex;
+    }
+    return [];
+}
+function firstSectionByTitle(sections, heading) {
+    return sections.find((section) => section.title === heading);
+}
+function sectionHeadingSourceRange(document, section) {
+    return section === undefined
+        ? undefined
+        : documentQueries.sourceSlice(document, section.headingTarget)?.range;
+}
+//# sourceMappingURL=sections-required.js.map

package/dist/declarative-validation/assertions/sections-required.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sections-required.js","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/sections-required.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAShE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAOxD,MAAM,UAAU,wBAAwB,CACtC,SAAoC,EACpC,OAAmC;IAEnC,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtE,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,kBAAkB,GAAG,SAAS,CAAC,QAAQ;SAC1C,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;SACrD,GAAG,CAAC,CAAC,OAAO,EAAE,eAAe,EAAE,EAAE,CAChC,oBAAoB,CAClB,mCAAmC,EACnC,qBAAqB,OAAO,eAAe,EAC3C,OAAO,CAAC,IAAI,EACZ;QACE,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,SAAS,EAAE,WAAW,OAAO,EAAE;QAC/B,eAAe;KAChB,CACF,CACF,CAAC;IAEJ,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ;QACjC,CAAC,CAAC;YACE,GAAG,kBAAkB;YACrB,GAAG,6BAA6B,CAAC,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC;SACxE;QACH,CAAC,CAAC,kBAAkB,CAAC;AACzB,CAAC;AAED,SAAS,6BAA6B,CACpC,OAAmC,EACnC,gBAAmC,EACnC,cAAwC;IAExC,MAAM,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtE,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAEhB,KAAK,MAAM,CAAC,eAAe,EAAE,OAAO,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,EAAE,CAAC;QACpE,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,CACxC,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,MAAM,IAAI,aAAa,KAAK,OAAO,CACtE,CAAC;QAEF,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;YACrB,MAAM,eAAe,GAAG,mBAAmB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;YACrE,MAAM,WAAW,GAAG,yBAAyB,CAC3C,OAAO,CAAC,SAAS,CAAC,QAAQ,EAC1B,eAAe,CAChB,CAAC;YAEF,OAAO;gBACL,oBAAoB,CAClB,iCAAiC,EACjC,qBAAqB,OAAO,uDAAuD,EACnF,OAAO,CAAC,IAAI,EACZ;oBACE,cAAc,EAAE,OAAO,CAAC,cAAc;oBACtC,SAAS,EAAE,WAAW,OAAO,EAAE;oBAC/B,eAAe;oBACf,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACtD,CACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,GAAG,SAAS,CAAC;IACrB,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAkC,EAClC,OAAe;IAEf,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,yBAAyB,CAChC,QAAwB,EACxB,OAAkC;IAElC,OAAO,OAAO,KAAK,SAAS;QAC1B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,eAAe,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC;AAC1E,CAAC"}

package/dist/declarative-validation/assertions/table-columns-required.d.ts

@@ -0,0 +1,9 @@
+import type { CompiledDeclarativeAssertion } from "../compiler/plan.js";
+import type { AssertionEvaluationContext } from "./context.js";
+import type { AssertionDiagnostic } from "./diagnostics.js";
+type TableColumnsRequiredAssertion = Extract<CompiledDeclarativeAssertion, {
+    kind: "tableColumnsRequired";
+}>;
+export declare function evaluateTableColumnsRequired(assertion: TableColumnsRequiredAssertion, context: AssertionEvaluationContext): AssertionDiagnostic[];
+export {};
+//# sourceMappingURL=table-columns-required.d.ts.map

package/dist/declarative-validation/assertions/table-columns-required.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-columns-required.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/table-columns-required.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAExE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAM5D,KAAK,6BAA6B,GAAG,OAAO,CAC1C,4BAA4B,EAC5B;IAAE,IAAI,EAAE,sBAAsB,CAAA;CAAE,CACjC,CAAC;AAOF,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,6BAA6B,EACxC,OAAO,EAAE,0BAA0B,GAClC,mBAAmB,EAAE,CAUvB"}

package/dist/declarative-validation/assertions/table-columns-required.js

@@ -0,0 +1,31 @@
+import { emptySelectionDiagnostic, validationDiagnostic, } from "./diagnostics.js";
+export function evaluateTableColumnsRequired(assertion, context) {
+    if (context.selection.targets.length === 0) {
+        return [emptySelectionDiagnostic(context.rule, context.assertionIndex)];
+    }
+    return context.selection.targets.flatMap((target, targetOrder) => target.kind === "table"
+        ? missingColumnDiagnostics(assertion, context, target, targetOrder)
+        : []);
+}
+function missingColumnDiagnostics(assertion, context, target, targetOrder) {
+    const availableColumns = new Set(headerCells(target.table).map((cell) => cell.text));
+    return assertion.columns
+        .filter((column) => !availableColumns.has(column))
+        .map((column, diagnosticOrder) => validationDiagnostic("profile.validation.assertionFailed", `Selected table must include column "${column}".`, context.rule, {
+        assertionIndex: context.assertionIndex,
+        target,
+        targetOrder,
+        targetKey: tableColumnSortKey(target.table, diagnosticOrder, column),
+        diagnosticOrder,
+    }));
+}
+function headerCells(table) {
+    return [...table.cells]
+        .filter((cell) => cell.header)
+        .sort((left, right) => left.columnIndex - right.columnIndex);
+}
+function tableColumnSortKey(table, diagnosticOrder, column) {
+    const paddedDiagnosticOrder = String(diagnosticOrder).padStart(6, "0");
+    return `table:${table.target.id}:column:${paddedDiagnosticOrder}:${column}`;
+}
+//# sourceMappingURL=table-columns-required.js.map

package/dist/declarative-validation/assertions/table-columns-required.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-columns-required.js","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/table-columns-required.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAY1B,MAAM,UAAU,4BAA4B,CAC1C,SAAwC,EACxC,OAAmC;IAEnC,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAC/D,MAAM,CAAC,IAAI,KAAK,OAAO;QACrB,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC;QACnE,CAAC,CAAC,EAAE,CACP,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAAwC,EACxC,OAAmC,EACnC,MAA4B,EAC5B,WAAmB;IAEnB,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CACnD,CAAC;IAEF,OAAO,SAAS,CAAC,OAAO;SACrB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SACjD,GAAG,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,CAC/B,oBAAoB,CAClB,oCAAoC,EACpC,uCAAuC,MAAM,IAAI,EACjD,OAAO,CAAC,IAAI,EACZ;QACE,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,MAAM;QACN,WAAW;QACX,SAAS,EAAE,kBAAkB,CAAC,MAAM,CAAC,KAAK,EAAE,eAAe,EAAE,MAAM,CAAC;QACpE,eAAe;KAChB,CACF,CACF,CAAC;AACN,CAAC;AAED,SAAS,WAAW,CAAC,KAAkB;IACrC,OAAO,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;SACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;SAC7B,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAkB,EAClB,eAAuB,EACvB,MAAc;IAEd,MAAM,qBAAqB,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAEvE,OAAO,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,WAAW,qBAAqB,IAAI,MAAM,EAAE,CAAC;AAC9E,CAAC"}

package/dist/declarative-validation/assertions/text-length.d.ts

@@ -0,0 +1,9 @@
+import type { CompiledDeclarativeAssertion } from "../compiler/plan.js";
+import type { AssertionEvaluationContext } from "./context.js";
+import type { AssertionDiagnostic } from "./diagnostics.js";
+type TextLengthAssertion = Extract<CompiledDeclarativeAssertion, {
+    kind: "textLength";
+}>;
+export declare function evaluateTextLength(assertion: TextLengthAssertion, context: AssertionEvaluationContext): AssertionDiagnostic[];
+export {};
+//# sourceMappingURL=text-length.d.ts.map

package/dist/declarative-validation/assertions/text-length.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-length.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/text-length.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAExE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAM5D,KAAK,mBAAmB,GAAG,OAAO,CAChC,4BAA4B,EAC5B;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CACvB,CAAC;AAEF,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,mBAAmB,EAC9B,OAAO,EAAE,0BAA0B,GAClC,mBAAmB,EAAE,CAQvB"}

package/dist/declarative-validation/assertions/text-length.js

@@ -0,0 +1,40 @@
+import { emptySelectionDiagnostic, validationDiagnostic, } from "./diagnostics.js";
+export function evaluateTextLength(assertion, context) {
+    if (context.selection.targets.length === 0) {
+        return [emptySelectionDiagnostic(context.rule, context.assertionIndex)];
+    }
+    return context.selection.targets.flatMap((target, targetOrder) => evaluateTextLengthTarget(assertion, context, target, targetOrder));
+}
+function evaluateTextLengthTarget(assertion, context, target, targetOrder) {
+    const actualLength = target.text.length;
+    if (isLengthWithinBounds(actualLength, assertion)) {
+        return [];
+    }
+    return [
+        validationDiagnostic("profile.validation.assertionFailed", textLengthMessage(target.kind, actualLength, assertion), context.rule, {
+            assertionIndex: context.assertionIndex,
+            target,
+            targetOrder,
+        }),
+    ];
+}
+function isLengthWithinBounds(actualLength, assertion) {
+    return ((assertion.min === undefined || actualLength >= assertion.min) &&
+        (assertion.max === undefined || actualLength <= assertion.max));
+}
+function textLengthMessage(targetKind, actualLength, assertion) {
+    return `Selected ${targetKind} text length must be ${textLengthRequirement(assertion)}; found ${actualLength}.`;
+}
+function textLengthRequirement(assertion) {
+    if (assertion.min !== undefined && assertion.max !== undefined) {
+        return `between ${assertion.min} and ${assertion.max}`;
+    }
+    if (assertion.min !== undefined) {
+        return `at least ${assertion.min}`;
+    }
+    if (assertion.max !== undefined) {
+        return `at most ${assertion.max}`;
+    }
+    return "within configured bounds";
+}
+//# sourceMappingURL=text-length.js.map

package/dist/declarative-validation/assertions/text-length.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-length.js","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/text-length.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAO1B,MAAM,UAAU,kBAAkB,CAChC,SAA8B,EAC9B,OAAmC;IAEnC,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAC/D,wBAAwB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAClE,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAA8B,EAC9B,OAAmC,EACnC,MAAkC,EAClC,WAAmB;IAEnB,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;IAExC,IAAI,oBAAoB,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE,CAAC;QAClD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;QACL,oBAAoB,CAClB,oCAAoC,EACpC,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,EACvD,OAAO,CAAC,IAAI,EACZ;YACE,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,MAAM;YACN,WAAW;SACZ,CACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,YAAoB,EACpB,SAA8B;IAE9B,OAAO,CACL,CAAC,SAAS,CAAC,GAAG,KAAK,SAAS,IAAI,YAAY,IAAI,SAAS,CAAC,GAAG,CAAC;QAC9D,CAAC,SAAS,CAAC,GAAG,KAAK,SAAS,IAAI,YAAY,IAAI,SAAS,CAAC,GAAG,CAAC,CAC/D,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,UAA8C,EAC9C,YAAoB,EACpB,SAA8B;IAE9B,OAAO,YAAY,UAAU,wBAAwB,qBAAqB,CAAC,SAAS,CAAC,WAAW,YAAY,GAAG,CAAC;AAClH,CAAC;AAED,SAAS,qBAAqB,CAAC,SAA8B;IAC3D,IAAI,SAAS,CAAC,GAAG,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC/D,OAAO,WAAW,SAAS,CAAC,GAAG,QAAQ,SAAS,CAAC,GAAG,EAAE,CAAC;IACzD,CAAC;IAED,IAAI,SAAS,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,YAAY,SAAS,CAAC,GAAG,EAAE,CAAC;IACrC,CAAC;IAED,IAAI,SAAS,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,WAAW,SAAS,CAAC,GAAG,EAAE,CAAC;IACpC,CAAC;IAED,OAAO,0BAA0B,CAAC;AACpC,CAAC"}

package/dist/declarative-validation/assertions/text-occurrence-count.d.ts

@@ -0,0 +1,9 @@
+import type { CompiledDeclarativeAssertion } from "../compiler/plan.js";
+import type { AssertionEvaluationContext } from "./context.js";
+import type { AssertionDiagnostic } from "./diagnostics.js";
+type TextOccurrenceCountAssertion = Extract<CompiledDeclarativeAssertion, {
+    kind: "textOccurrenceCount";
+}>;
+export declare function evaluateTextOccurrenceCount(assertion: TextOccurrenceCountAssertion, context: AssertionEvaluationContext): AssertionDiagnostic[];
+export {};
+//# sourceMappingURL=text-occurrence-count.d.ts.map

package/dist/declarative-validation/assertions/text-occurrence-count.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-occurrence-count.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/text-occurrence-count.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAExE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAO5D,KAAK,4BAA4B,GAAG,OAAO,CACzC,4BAA4B,EAC5B;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAChC,CAAC;AAEF,wBAAgB,2BAA2B,CACzC,SAAS,EAAE,4BAA4B,EACvC,OAAO,EAAE,0BAA0B,GAClC,mBAAmB,EAAE,CAQvB"}

package/dist/declarative-validation/assertions/text-occurrence-count.js

@@ -0,0 +1,22 @@
+import { emptySelectionDiagnostic, validationDiagnostic, } from "./diagnostics.js";
+import { countNonOverlappingLiteralOccurrences } from "./literal-text.js";
+export function evaluateTextOccurrenceCount(assertion, context) {
+    if (context.selection.targets.length === 0) {
+        return [emptySelectionDiagnostic(context.rule, context.assertionIndex)];
+    }
+    return context.selection.targets.flatMap((target, targetOrder) => evaluateTextOccurrenceCountTarget(assertion, context, target, targetOrder));
+}
+function evaluateTextOccurrenceCountTarget(assertion, context, target, targetOrder) {
+    const actualCount = countNonOverlappingLiteralOccurrences(target.text, assertion.text);
+    if (actualCount === assertion.count) {
+        return [];
+    }
+    return [
+        validationDiagnostic("profile.validation.assertionFailed", `Selected ${target.kind} text must contain "${assertion.text}" exactly ${assertion.count} time(s); found ${actualCount}.`, context.rule, {
+            assertionIndex: context.assertionIndex,
+            target,
+            targetOrder,
+        }),
+    ];
+}
+//# sourceMappingURL=text-occurrence-count.js.map

package/dist/declarative-validation/assertions/text-occurrence-count.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-occurrence-count.js","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/text-occurrence-count.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,qCAAqC,EAAE,MAAM,mBAAmB,CAAC;AAO1E,MAAM,UAAU,2BAA2B,CACzC,SAAuC,EACvC,OAAmC;IAEnC,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAC/D,iCAAiC,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CACxC,SAAuC,EACvC,OAAmC,EACnC,MAAkC,EAClC,WAAmB;IAEnB,MAAM,WAAW,GAAG,qCAAqC,CACvD,MAAM,CAAC,IAAI,EACX,SAAS,CAAC,IAAI,CACf,CAAC;IAEF,IAAI,WAAW,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC;QACpC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;QACL,oBAAoB,CAClB,oCAAoC,EACpC,YAAY,MAAM,CAAC,IAAI,uBAAuB,SAAS,CAAC,IAAI,aAAa,SAAS,CAAC,KAAK,mBAAmB,WAAW,GAAG,EACzH,OAAO,CAAC,IAAI,EACZ;YACE,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,MAAM;YACN,WAAW;SACZ,CACF;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { CompiledDeclarativeAssertion } from "../compiler/plan.js";
+import type { AssertionEvaluationContext } from "./context.js";
+import type { AssertionDiagnostic } from "./diagnostics.js";
+type TextAssertion = Extract<CompiledDeclarativeAssertion, {
+    kind: "text";
+}>;
+export declare function evaluateText(assertion: TextAssertion, context: AssertionEvaluationContext): AssertionDiagnostic[];
+export {};
+//# sourceMappingURL=text.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/text.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAExE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAO5D,KAAK,aAAa,GAAG,OAAO,CAAC,4BAA4B,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE7E,wBAAgB,YAAY,CAC1B,SAAS,EAAE,aAAa,EACxB,OAAO,EAAE,0BAA0B,GAClC,mBAAmB,EAAE,CAQvB"}

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

@@ -0,0 +1,32 @@
+import { emptySelectionDiagnostic, validationDiagnostic, } from "./diagnostics.js";
+import { countNonOverlappingLiteralOccurrences } from "./literal-text.js";
+export function evaluateText(assertion, context) {
+    if (context.selection.targets.length === 0) {
+        return [emptySelectionDiagnostic(context.rule, context.assertionIndex)];
+    }
+    return context.selection.targets.flatMap((target, targetOrder) => evaluateTextTarget(assertion, context, target, targetOrder));
+}
+function evaluateTextTarget(assertion, context, target, targetOrder) {
+    const diagnostics = [];
+    if (assertion.contains !== undefined &&
+        !target.text.includes(assertion.contains)) {
+        diagnostics.push(validationDiagnostic("profile.validation.textMissing", `Selected ${target.kind} text must contain "${assertion.contains}".`, context.rule, {
+            assertionIndex: context.assertionIndex,
+            target,
+            targetOrder,
+        }));
+    }
+    diagnostics.push(...excludedTextDiagnostics(assertion, context, target, targetOrder));
+    return diagnostics;
+}
+function excludedTextDiagnostics(assertion, context, target, targetOrder) {
+    return (assertion.excludes ?? [])
+        .filter((excludedText) => countNonOverlappingLiteralOccurrences(target.text, excludedText) > 0)
+        .map((excludedText, excludedIndex) => validationDiagnostic("profile.validation.textExcluded", `Selected ${target.kind} text must not contain "${excludedText}".`, context.rule, {
+        assertionIndex: context.assertionIndex,
+        target,
+        targetOrder,
+        diagnosticOrder: excludedIndex + 1,
+    }));
+}
+//# sourceMappingURL=text.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"text.js","sourceRoot":"","sources":["../../../src/declarative-validation/assertions/text.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,qCAAqC,EAAE,MAAM,mBAAmB,CAAC;AAI1E,MAAM,UAAU,YAAY,CAC1B,SAAwB,EACxB,OAAmC;IAEnC,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAC/D,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,SAAwB,EACxB,OAAmC,EACnC,MAAkC,EAClC,WAAmB;IAEnB,MAAM,WAAW,GAA0B,EAAE,CAAC;IAE9C,IACE,SAAS,CAAC,QAAQ,KAAK,SAAS;QAChC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,EACzC,CAAC;QACD,WAAW,CAAC,IAAI,CACd,oBAAoB,CAClB,gCAAgC,EAChC,YAAY,MAAM,CAAC,IAAI,uBAAuB,SAAS,CAAC,QAAQ,IAAI,EACpE,OAAO,CAAC,IAAI,EACZ;YACE,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,MAAM;YACN,WAAW;SACZ,CACF,CACF,CAAC;IACJ,CAAC;IAED,WAAW,CAAC,IAAI,CACd,GAAG,uBAAuB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CACpE,CAAC;IAEF,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,uBAAuB,CAC9B,SAAwB,EACxB,OAAmC,EACnC,MAAkC,EAClC,WAAmB;IAEnB,OAAO,CAAC,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC;SAC9B,MAAM,CACL,CAAC,YAAY,EAAE,EAAE,CACf,qCAAqC,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,CACvE;SACA,GAAG,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,EAAE,CACnC,oBAAoB,CAClB,iCAAiC,EACjC,YAAY,MAAM,CAAC,IAAI,2BAA2B,YAAY,IAAI,EAClE,OAAO,CAAC,IAAI,EACZ;QACE,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,MAAM;QACN,WAAW;QACX,eAAe,EAAE,aAAa,GAAG,CAAC;KACnC,CACF,CACF,CAAC;AACN,CAAC"}

package/dist/declarative-validation/compiler/assertion-builders.d.ts

@@ -0,0 +1,6 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+import type { DeclarativeAssertion, DeclarativeSelector } from "../profile/index.js";
+import type { CompiledDeclarativeAssertion } from "./plan.js";
+export type AssertionBuilder = (assertion: DeclarativeAssertion, selector: DeclarativeSelector, ruleId: string, diagnostics: MarkdownDiagnostic[]) => CompiledDeclarativeAssertion | undefined;
+export declare const ASSERTION_BUILDERS: readonly AssertionBuilder[];
+//# sourceMappingURL=assertion-builders.d.ts.map

package/dist/declarative-validation/compiler/assertion-builders.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-builders.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/assertion-builders.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EACV,oBAAoB,EACpB,mBAAmB,EACpB,MAAM,qBAAqB,CAAC;AAM7B,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,WAAW,CAAC;AAmB9D,MAAM,MAAM,gBAAgB,GAAG,CAC7B,SAAS,EAAE,oBAAoB,EAC/B,QAAQ,EAAE,mBAAmB,EAC7B,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,KAC9B,4BAA4B,GAAG,SAAS,CAAC;AAE9C,eAAO,MAAM,kBAAkB,EAAE,SAAS,gBAAgB,EAUzD,CAAC"}

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

@@ -0,0 +1,199 @@
+import { selectorAssertionCompatibilityError, } from "./compatibility.js";
+import { compileDiagnostic } from "./diagnostics.js";
+import { closedStringArray, hasTextPredicate, hasTextLengthBound, optionalNumber, optionalString, optionalStringArray, pushNonEmptyStringDiagnostic, pushObjectDiagnostic, pushOptionalBooleanDiagnostic, pushOptionalNonEmptyStringDiagnostic, pushSectionsRequiredOrderDiagnostic, pushTextLengthShapeDiagnostics, pushTextOccurrenceCountDiagnostic, pushTextShapeDiagnostics, pushUnsupportedKeyDiagnostics, } from "./assertion-shapes.js";
+export const ASSERTION_BUILDERS = [
+    buildExistsAssertion,
+    buildSectionsRequiredAssertion,
+    buildTableColumnsRequiredAssertion,
+    buildIdsAssertion,
+    buildReferencesAssertion,
+    buildTextAssertion,
+    buildTextOccurrenceCountAssertion,
+    buildTextLengthAssertion,
+    buildFrontmatterRequiredAssertion,
+];
+function buildExistsAssertion(assertion, selector, ruleId, diagnostics) {
+    if (assertion.exists === undefined) {
+        return undefined;
+    }
+    if (assertion.exists !== true) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", "exists must be true.", ruleId));
+        return undefined;
+    }
+    if (pushCompatibilityDiagnostic("exists", selector, ruleId, diagnostics)) {
+        return { kind: "exists" };
+    }
+    return undefined;
+}
+function buildSectionsRequiredAssertion(assertion, selector, ruleId, diagnostics) {
+    if (assertion.sectionsRequired === undefined) {
+        return undefined;
+    }
+    let headings;
+    if (pushObjectDiagnostic("sectionsRequired", assertion.sectionsRequired, ruleId, diagnostics) &&
+        pushUnsupportedKeyDiagnostics(assertion.sectionsRequired, ["headings", "order"], diagnostics) &&
+        (headings = closedStringArray("sectionsRequired.headings", assertion.sectionsRequired.headings, ruleId, diagnostics)) !== undefined &&
+        pushSectionsRequiredOrderDiagnostic(assertion.sectionsRequired.order, ruleId, diagnostics) &&
+        pushCompatibilityDiagnostic("sectionsRequired", selector, ruleId, diagnostics)) {
+        return {
+            kind: "sectionsRequired",
+            headings,
+            order: assertion.sectionsRequired.order ?? "none",
+        };
+    }
+    return undefined;
+}
+function buildTableColumnsRequiredAssertion(assertion, selector, ruleId, diagnostics) {
+    if (assertion.tableColumnsRequired === undefined) {
+        return undefined;
+    }
+    let columns;
+    if (pushObjectDiagnostic("tableColumnsRequired", assertion.tableColumnsRequired, ruleId, diagnostics) &&
+        pushUnsupportedKeyDiagnostics(assertion.tableColumnsRequired, ["columns"], diagnostics) &&
+        pushCompatibilityDiagnostic("tableColumnsRequired", selector, ruleId, diagnostics) &&
+        (columns = closedStringArray("tableColumnsRequired.columns", assertion.tableColumnsRequired.columns, ruleId, diagnostics)) !== undefined) {
+        return {
+            kind: "tableColumnsRequired",
+            columns,
+        };
+    }
+    return undefined;
+}
+function buildIdsAssertion(assertion, selector, ruleId, diagnostics) {
+    if (assertion.ids === undefined) {
+        return undefined;
+    }
+    if (!pushObjectDiagnostic("ids", assertion.ids, ruleId, diagnostics)) {
+        return undefined;
+    }
+    const hasSupportedKeys = pushUnsupportedKeyDiagnostics(assertion.ids, ["prefix", "unique", "caseSensitive"], diagnostics);
+    if (assertion.ids.unique !== true) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", "ids.unique must be true.", ruleId));
+        return undefined;
+    }
+    if (hasSupportedKeys &&
+        pushOptionalNonEmptyStringDiagnostic("prefix", assertion.ids.prefix, ruleId, diagnostics) &&
+        pushOptionalBooleanDiagnostic("caseSensitive", assertion.ids.caseSensitive, ruleId, diagnostics) &&
+        pushCompatibilityDiagnostic("ids", selector, ruleId, diagnostics)) {
+        return {
+            kind: "ids",
+            unique: true,
+            caseSensitive: assertion.ids.caseSensitive ?? true,
+            ...optionalString("prefix", assertion.ids.prefix),
+        };
+    }
+    return undefined;
+}
+function buildReferencesAssertion(assertion, selector, ruleId, diagnostics) {
+    if (assertion.references === undefined) {
+        return undefined;
+    }
+    let mustAppearIn;
+    if (pushObjectDiagnostic("references", assertion.references, ruleId, diagnostics) &&
+        pushUnsupportedKeyDiagnostics(assertion.references, ["idsFrom", "mustAppearIn"], diagnostics) &&
+        pushObjectDiagnostic("references.idsFrom", assertion.references.idsFrom, ruleId, diagnostics) &&
+        pushUnsupportedKeyDiagnostics(assertion.references.idsFrom, ["section", "column", "prefix"], diagnostics) &&
+        (mustAppearIn = closedStringArray("references.mustAppearIn", assertion.references.mustAppearIn, ruleId, diagnostics)) !== undefined &&
+        pushOptionalNonEmptyStringDiagnostic("section", assertion.references.idsFrom.section, ruleId, diagnostics) &&
+        pushOptionalNonEmptyStringDiagnostic("column", assertion.references.idsFrom.column, ruleId, diagnostics) &&
+        pushOptionalNonEmptyStringDiagnostic("prefix", assertion.references.idsFrom.prefix, ruleId, diagnostics) &&
+        pushCompatibilityDiagnostic("references", selector, ruleId, diagnostics)) {
+        return {
+            kind: "references",
+            idsFrom: {
+                ...optionalString("section", assertion.references.idsFrom.section),
+                ...optionalString("column", assertion.references.idsFrom.column),
+                ...optionalString("prefix", assertion.references.idsFrom.prefix),
+            },
+            mustAppearIn,
+        };
+    }
+    return undefined;
+}
+function buildTextAssertion(assertion, selector, ruleId, diagnostics) {
+    if (assertion.text === undefined) {
+        return undefined;
+    }
+    if (!pushObjectDiagnostic("text", assertion.text, ruleId, diagnostics) ||
+        !pushUnsupportedKeyDiagnostics(assertion.text, ["contains", "excludes"], diagnostics) ||
+        !pushTextShapeDiagnostics(assertion.text, ruleId, diagnostics)) {
+        return undefined;
+    }
+    if (!hasTextPredicate(assertion.text)) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", "text must include contains or a non-empty excludes array.", ruleId));
+        return undefined;
+    }
+    if (pushCompatibilityDiagnostic("text", selector, ruleId, diagnostics)) {
+        return {
+            kind: "text",
+            ...optionalString("contains", assertion.text.contains),
+            ...optionalStringArray("excludes", assertion.text.excludes),
+        };
+    }
+    return undefined;
+}
+function buildTextOccurrenceCountAssertion(assertion, selector, ruleId, diagnostics) {
+    if (assertion.textOccurrenceCount === undefined) {
+        return undefined;
+    }
+    if (pushObjectDiagnostic("textOccurrenceCount", assertion.textOccurrenceCount, ruleId, diagnostics) &&
+        pushUnsupportedKeyDiagnostics(assertion.textOccurrenceCount, ["text", "count"], diagnostics) &&
+        pushCompatibilityDiagnostic("textOccurrenceCount", selector, ruleId, diagnostics) &&
+        pushNonEmptyStringDiagnostic("textOccurrenceCount.text", assertion.textOccurrenceCount.text, ruleId, diagnostics) &&
+        pushTextOccurrenceCountDiagnostic(assertion.textOccurrenceCount.count, ruleId, diagnostics)) {
+        return {
+            kind: "textOccurrenceCount",
+            text: assertion.textOccurrenceCount.text,
+            count: assertion.textOccurrenceCount.count,
+        };
+    }
+    return undefined;
+}
+function buildTextLengthAssertion(assertion, selector, ruleId, diagnostics) {
+    if (assertion.textLength === undefined) {
+        return undefined;
+    }
+    if (!pushObjectDiagnostic("textLength", assertion.textLength, ruleId, diagnostics) ||
+        !pushUnsupportedKeyDiagnostics(assertion.textLength, ["min", "max"], diagnostics) ||
+        !pushTextLengthShapeDiagnostics(assertion.textLength, ruleId, diagnostics)) {
+        return undefined;
+    }
+    if (!hasTextLengthBound(assertion.textLength)) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", "textLength must include min, max, or both.", ruleId));
+        return undefined;
+    }
+    if (pushCompatibilityDiagnostic("textLength", selector, ruleId, diagnostics)) {
+        return {
+            kind: "textLength",
+            ...optionalNumber("min", assertion.textLength.min),
+            ...optionalNumber("max", assertion.textLength.max),
+        };
+    }
+    return undefined;
+}
+function buildFrontmatterRequiredAssertion(assertion, selector, ruleId, diagnostics) {
+    if (assertion.frontmatterRequired === undefined) {
+        return undefined;
+    }
+    if (pushObjectDiagnostic("frontmatterRequired", assertion.frontmatterRequired, ruleId, diagnostics) &&
+        pushUnsupportedKeyDiagnostics(assertion.frontmatterRequired, ["fields"], diagnostics) &&
+        pushCompatibilityDiagnostic("frontmatterRequired", selector, ruleId, diagnostics)) {
+        let fields;
+        if ((fields = closedStringArray("frontmatterRequired.fields", assertion.frontmatterRequired.fields, ruleId, diagnostics)) !== undefined) {
+            return {
+                kind: "frontmatterRequired",
+                fields,
+            };
+        }
+    }
+    return undefined;
+}
+function pushCompatibilityDiagnostic(assertionName, selector, ruleId, diagnostics) {
+    const message = selectorAssertionCompatibilityError(assertionName, selector);
+    if (message !== undefined) {
+        diagnostics.push(compileDiagnostic("profile.compile.incompatibleSelectorAssertion", message, ruleId));
+        return false;
+    }
+    return true;
+}
+//# sourceMappingURL=assertion-builders.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-builders.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/assertion-builders.ts"],"names":[],"mappings":"AAKA,OAAO,EAEL,mCAAmC,GACpC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAErD,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,4BAA4B,EAC5B,oBAAoB,EACpB,6BAA6B,EAC7B,oCAAoC,EACpC,mCAAmC,EACnC,8BAA8B,EAC9B,iCAAiC,EACjC,wBAAwB,EACxB,6BAA6B,GAC9B,MAAM,uBAAuB,CAAC;AAS/B,MAAM,CAAC,MAAM,kBAAkB,GAAgC;IAC7D,oBAAoB;IACpB,8BAA8B;IAC9B,kCAAkC;IAClC,iBAAiB;IACjB,wBAAwB;IACxB,kBAAkB;IAClB,iCAAiC;IACjC,wBAAwB;IACxB,iCAAiC;CAClC,CAAC;AAEF,SAAS,oBAAoB,CAC3B,SAA+B,EAC/B,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC9B,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,sBAAsB,EACtB,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,2BAA2B,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QACzE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC5B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,8BAA8B,CACrC,SAA+B,EAC/B,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,IAAI,SAAS,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAuC,CAAC;IAC5C,IACE,oBAAoB,CAClB,kBAAkB,EAClB,SAAS,CAAC,gBAAgB,EAC1B,MAAM,EACN,WAAW,CACZ;QACD,6BAA6B,CAC3B,SAAS,CAAC,gBAAgB,EAC1B,CAAC,UAAU,EAAE,OAAO,CAAC,EACrB,WAAW,CACZ;QACD,CAAC,QAAQ,GAAG,iBAAiB,CAC3B,2BAA2B,EAC3B,SAAS,CAAC,gBAAgB,CAAC,QAAQ,EACnC,MAAM,EACN,WAAW,CACZ,CAAC,KAAK,SAAS;QAChB,mCAAmC,CACjC,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAChC,MAAM,EACN,WAAW,CACZ;QACD,2BAA2B,CACzB,kBAAkB,EAClB,QAAQ,EACR,MAAM,EACN,WAAW,CACZ,EACD,CAAC;QACD,OAAO;YACL,IAAI,EAAE,kBAAkB;YACxB,QAAQ;YACR,KAAK,EAAE,SAAS,CAAC,gBAAgB,CAAC,KAAK,IAAI,MAAM;SAClD,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kCAAkC,CACzC,SAA+B,EAC/B,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,IAAI,SAAS,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;QACjD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAsC,CAAC;IAC3C,IACE,oBAAoB,CAClB,sBAAsB,EACtB,SAAS,CAAC,oBAAoB,EAC9B,MAAM,EACN,WAAW,CACZ;QACD,6BAA6B,CAC3B,SAAS,CAAC,oBAAoB,EAC9B,CAAC,SAAS,CAAC,EACX,WAAW,CACZ;QACD,2BAA2B,CACzB,sBAAsB,EACtB,QAAQ,EACR,MAAM,EACN,WAAW,CACZ;QACD,CAAC,OAAO,GAAG,iBAAiB,CAC1B,8BAA8B,EAC9B,SAAS,CAAC,oBAAoB,CAAC,OAAO,EACtC,MAAM,EACN,WAAW,CACZ,CAAC,KAAK,SAAS,EAChB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,sBAAsB;YAC5B,OAAO;SACR,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,SAA+B,EAC/B,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,IAAI,SAAS,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,6BAA6B,CACpD,SAAS,CAAC,GAAG,EACb,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,CAAC,EACrC,WAAW,CACZ,CAAC;IAEF,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAClC,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,0BAA0B,EAC1B,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,gBAAgB;QAChB,oCAAoC,CAClC,QAAQ,EACR,SAAS,CAAC,GAAG,CAAC,MAAM,EACpB,MAAM,EACN,WAAW,CACZ;QACD,6BAA6B,CAC3B,eAAe,EACf,SAAS,CAAC,GAAG,CAAC,aAAa,EAC3B,MAAM,EACN,WAAW,CACZ;QACD,2BAA2B,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,EACjE,CAAC;QACD,OAAO;YACL,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,IAAI;YACZ,aAAa,EAAE,SAAS,CAAC,GAAG,CAAC,aAAa,IAAI,IAAI;YAClD,GAAG,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC;SAClD,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAA+B,EAC/B,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,YAA2C,CAAC;IAChD,IACE,oBAAoB,CAAC,YAAY,EAAE,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC;QAC7E,6BAA6B,CAC3B,SAAS,CAAC,UAAU,EACpB,CAAC,SAAS,EAAE,cAAc,CAAC,EAC3B,WAAW,CACZ;QACD,oBAAoB,CAClB,oBAAoB,EACpB,SAAS,CAAC,UAAU,CAAC,OAAO,EAC5B,MAAM,EACN,WAAW,CACZ;QACD,6BAA6B,CAC3B,SAAS,CAAC,UAAU,CAAC,OAAO,EAC5B,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAC/B,WAAW,CACZ;QACD,CAAC,YAAY,GAAG,iBAAiB,CAC/B,yBAAyB,EACzB,SAAS,CAAC,UAAU,CAAC,YAAY,EACjC,MAAM,EACN,WAAW,CACZ,CAAC,KAAK,SAAS;QAChB,oCAAoC,CAClC,SAAS,EACT,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,EACpC,MAAM,EACN,WAAW,CACZ;QACD,oCAAoC,CAClC,QAAQ,EACR,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EACnC,MAAM,EACN,WAAW,CACZ;QACD,oCAAoC,CAClC,QAAQ,EACR,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EACnC,MAAM,EACN,WAAW,CACZ;QACD,2BAA2B,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,EACxE,CAAC;QACD,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP,GAAG,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC;gBAClE,GAAG,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC;gBAChE,GAAG,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC;aACjE;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CACzB,SAA+B,EAC/B,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,CAAC,oBAAoB,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC;QAClE,CAAC,6BAA6B,CAC5B,SAAS,CAAC,IAAI,EACd,CAAC,UAAU,EAAE,UAAU,CAAC,EACxB,WAAW,CACZ;QACD,CAAC,wBAAwB,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,EAC9D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,2DAA2D,EAC3D,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,2BAA2B,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QACvE,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC;YACtD,GAAG,mBAAmB,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC;SAC5D,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iCAAiC,CACxC,SAA+B,EAC/B,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,IAAI,SAAS,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QAChD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,oBAAoB,CAClB,qBAAqB,EACrB,SAAS,CAAC,mBAAmB,EAC7B,MAAM,EACN,WAAW,CACZ;QACD,6BAA6B,CAC3B,SAAS,CAAC,mBAAmB,EAC7B,CAAC,MAAM,EAAE,OAAO,CAAC,EACjB,WAAW,CACZ;QACD,2BAA2B,CACzB,qBAAqB,EACrB,QAAQ,EACR,MAAM,EACN,WAAW,CACZ;QACD,4BAA4B,CAC1B,0BAA0B,EAC1B,SAAS,CAAC,mBAAmB,CAAC,IAAI,EAClC,MAAM,EACN,WAAW,CACZ;QACD,iCAAiC,CAC/B,SAAS,CAAC,mBAAmB,CAAC,KAAK,EACnC,MAAM,EACN,WAAW,CACZ,EACD,CAAC;QACD,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,IAAI,EAAE,SAAS,CAAC,mBAAmB,CAAC,IAAI;YACxC,KAAK,EAAE,SAAS,CAAC,mBAAmB,CAAC,KAAK;SAC3C,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAA+B,EAC/B,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,CAAC,oBAAoB,CAAC,YAAY,EAAE,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC;QAC9E,CAAC,6BAA6B,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC;QACjF,CAAC,8BAA8B,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC,EAC1E,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9C,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,4CAA4C,EAC5C,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,2BAA2B,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QAC7E,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,GAAG,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;YAClD,GAAG,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iCAAiC,CACxC,SAA+B,EAC/B,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,IAAI,SAAS,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QAChD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,oBAAoB,CAClB,qBAAqB,EACrB,SAAS,CAAC,mBAAmB,EAC7B,MAAM,EACN,WAAW,CACZ;QACD,6BAA6B,CAC3B,SAAS,CAAC,mBAAmB,EAC7B,CAAC,QAAQ,CAAC,EACV,WAAW,CACZ;QACD,2BAA2B,CACzB,qBAAqB,EACrB,QAAQ,EACR,MAAM,EACN,WAAW,CACZ,EACD,CAAC;QACD,IAAI,MAAqC,CAAC;QAC1C,IACE,CAAC,MAAM,GAAG,iBAAiB,CACzB,4BAA4B,EAC5B,SAAS,CAAC,mBAAmB,CAAC,MAAM,EACpC,MAAM,EACN,WAAW,CACZ,CAAC,KAAK,SAAS,EAChB,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,qBAAqB;gBAC3B,MAAM;aACP,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,2BAA2B,CAClC,aAAuC,EACvC,QAA6B,EAC7B,MAAc,EACd,WAAiC;IAEjC,MAAM,OAAO,GAAG,mCAAmC,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IAE7E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,+CAA+C,EAC/C,OAAO,EACP,MAAM,CACP,CACF,CAAC;QAEF,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/declarative-validation/compiler/assertion-shapes.d.ts

@@ -0,0 +1,18 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+import type { DeclarativeAssertion } from "../profile/index.js";
+export declare function pushUnsupportedKeyDiagnostics(record: object, allowedKeys: readonly string[], diagnostics: MarkdownDiagnostic[]): boolean;
+export declare function pushObjectDiagnostic(fieldName: string, value: unknown, ruleId: string, diagnostics: MarkdownDiagnostic[]): boolean;
+export declare function pushTextShapeDiagnostics(assertion: DeclarativeAssertion["text"], ruleId: string, diagnostics: MarkdownDiagnostic[]): boolean;
+export declare function pushSectionsRequiredOrderDiagnostic(value: unknown, ruleId: string, diagnostics: MarkdownDiagnostic[]): boolean;
+export declare function pushTextOccurrenceCountDiagnostic(value: unknown, ruleId: string, diagnostics: MarkdownDiagnostic[]): boolean;
+export declare function pushTextLengthShapeDiagnostics(assertion: DeclarativeAssertion["textLength"], ruleId: string, diagnostics: MarkdownDiagnostic[]): boolean;
+export declare function pushOptionalNonEmptyStringDiagnostic(fieldName: string, value: unknown, ruleId: string, diagnostics: MarkdownDiagnostic[]): boolean;
+export declare function pushOptionalBooleanDiagnostic(fieldName: string, value: unknown, ruleId: string, diagnostics: MarkdownDiagnostic[]): boolean;
+export declare function pushNonEmptyStringDiagnostic(fieldName: string, value: unknown, ruleId: string, diagnostics: MarkdownDiagnostic[]): boolean;
+export declare function closedStringArray(fieldName: string, value: unknown, ruleId: string, diagnostics: MarkdownDiagnostic[]): readonly string[] | undefined;
+export declare function optionalString<TKey extends string>(key: TKey, value: string | undefined): Record<TKey, string> | Record<string, never>;
+export declare function optionalStringArray<TKey extends string>(key: TKey, value: unknown): Record<TKey, readonly string[]> | Record<string, never>;
+export declare function optionalNumber<TKey extends string>(key: TKey, value: number | undefined): Record<TKey, number> | Record<string, never>;
+export declare function hasTextPredicate(assertion: DeclarativeAssertion["text"]): boolean;
+export declare function hasTextLengthBound(assertion: DeclarativeAssertion["textLength"]): boolean;
+//# sourceMappingURL=assertion-shapes.d.ts.map

package/dist/declarative-validation/compiler/assertion-shapes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-shapes.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/assertion-shapes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAGnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAIhE,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,WAAW,EAAE,kBAAkB,EAAE,GAChC,OAAO,CAUT;AAED,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,GAChC,OAAO,CAcT;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,oBAAoB,CAAC,MAAM,CAAC,EACvC,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,GAChC,OAAO,CAmBT;AAED,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,GAChC,OAAO,CAcT;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,GAChC,OAAO,CAOT;AAED,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,oBAAoB,CAAC,YAAY,CAAC,EAC7C,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,GAChC,OAAO,CA0CT;AAED,wBAAgB,oCAAoC,CAClD,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,GAChC,OAAO,CAIT;AAED,wBAAgB,6BAA6B,CAC3C,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,GAChC,OAAO,CAcT;AAED,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,GAChC,OAAO,CAcT;AAoDD,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,kBAAkB,EAAE,GAChC,SAAS,MAAM,EAAE,GAAG,SAAS,CAgB/B;AAED,wBAAgB,cAAc,CAAC,IAAI,SAAS,MAAM,EAChD,GAAG,EAAE,IAAI,EACT,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAE9C;AAED,wBAAgB,mBAAmB,CAAC,IAAI,SAAS,MAAM,EACrD,GAAG,EAAE,IAAI,EACT,KAAK,EAAE,OAAO,GACb,MAAM,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAUzD;AAED,wBAAgB,cAAc,CAAC,IAAI,SAAS,MAAM,EAChD,GAAG,EAAE,IAAI,EACT,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAE9C;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,oBAAoB,CAAC,MAAM,CAAC,GAAG,OAAO,CAKjF;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,oBAAoB,CAAC,YAAY,CAAC,GAC5C,OAAO,CAET"}