@jasonbelmonti/markdown-engine 1.0.0 → 3.0.0

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/group-plans.d.ts

@@ -0,0 +1,6 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+import type { DeclarativeValidationSeverity } from "../profile/index.js";
+import type { CompiledDeclarativeValidationGroupRuleV2 } from "./plan.js";
+export type CompiledGroupKind = "anyOf" | "allOf";
+export declare function compiledGroupRuleFromValue(value: unknown, kind: CompiledGroupKind, ruleId: string, severity: DeclarativeValidationSeverity, diagnostics: MarkdownDiagnostic[]): CompiledDeclarativeValidationGroupRuleV2 | undefined;
+//# sourceMappingURL=group-plans.d.ts.map

package/dist/declarative-validation/compiler/group-plans.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"group-plans.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/group-plans.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,qBAAqB,CAAC;AAIzE,OAAO,KAAK,EAEV,wCAAwC,EACzC,MAAM,WAAW,CAAC;AAGnB,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,OAAO,CAAC;AAIlD,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,6BAA6B,EACvC,WAAW,EAAE,kBAAkB,EAAE,GAChC,wCAAwC,GAAG,SAAS,CAkBtD"}

package/dist/declarative-validation/compiler/group-plans.js

@@ -0,0 +1,67 @@
+import { isPlainRecord } from "../../internal/plain-record.js";
+import { PROFILE_SYNTAX_VERSION_V2 } from "../profile/syntax-version.js";
+import { pushUnsupportedKeyDiagnostics } from "./assertion-shapes.js";
+import { compileDiagnostic } from "./diagnostics.js";
+import { compiledRuleFieldsFromValue } from "./rule-fields.js";
+const BRANCH_KEYS = ["label", "select", "assert"];
+export function compiledGroupRuleFromValue(value, kind, ruleId, severity, diagnostics) {
+    const branches = compiledBranchesFromValue(value, kind, ruleId, severity, diagnostics);
+    return branches === undefined
+        ? undefined
+        : {
+            kind,
+            syntaxVersion: PROFILE_SYNTAX_VERSION_V2,
+            ruleId,
+            severity,
+            branches,
+        };
+}
+function compiledBranchesFromValue(value, kind, ruleId, severity, diagnostics) {
+    if (!Array.isArray(value) || value.length === 0) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} must be a non-empty array.`, ruleId));
+        return undefined;
+    }
+    const branches = [];
+    const seenLabels = new Set();
+    for (let branchIndex = 0; branchIndex < value.length; branchIndex += 1) {
+        const branch = compiledBranchFromValue(value[branchIndex], kind, branchIndex, ruleId, severity, diagnostics);
+        if (branch === undefined) {
+            continue;
+        }
+        if (branch.label !== undefined) {
+            if (seenLabels.has(branch.label)) {
+                diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} branch label "${branch.label}" must be unique.`, ruleId));
+            }
+            seenLabels.add(branch.label);
+        }
+        branches.push(branch);
+    }
+    return branches;
+}
+function compiledBranchFromValue(value, kind, branchIndex, ruleId, severity, diagnostics) {
+    if (!isPlainRecord(value)) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} branch at index ${branchIndex} must be an object.`, ruleId));
+        return undefined;
+    }
+    pushUnsupportedKeyDiagnostics(value, BRANCH_KEYS, diagnostics);
+    const label = branchLabelFromValue(value.label, kind, branchIndex, ruleId, diagnostics);
+    const branchFields = compiledRuleFieldsFromValue(value.select, value.assert, ruleId, severity, PROFILE_SYNTAX_VERSION_V2, diagnostics);
+    return branchFields === undefined
+        ? undefined
+        : {
+            branchIndex,
+            ...(label !== undefined ? { label } : {}),
+            ...branchFields,
+        };
+}
+function branchLabelFromValue(value, kind, branchIndex, ruleId, diagnostics) {
+    if (value === undefined) {
+        return undefined;
+    }
+    if (typeof value === "string" && value.length > 0) {
+        return value;
+    }
+    diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} branch at index ${branchIndex} label must be a non-empty string when provided.`, ruleId));
+    return undefined;
+}
+//# sourceMappingURL=group-plans.js.map

package/dist/declarative-validation/compiler/group-plans.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"group-plans.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/group-plans.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAKrD,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAI/D,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAU,CAAC;AAE3D,MAAM,UAAU,0BAA0B,CACxC,KAAc,EACd,IAAuB,EACvB,MAAc,EACd,QAAuC,EACvC,WAAiC;IAEjC,MAAM,QAAQ,GAAG,yBAAyB,CACxC,KAAK,EACL,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,CACZ,CAAC;IAEF,OAAO,QAAQ,KAAK,SAAS;QAC3B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,IAAI;YACJ,aAAa,EAAE,yBAAyB;YACxC,MAAM;YACN,QAAQ;YACR,QAAQ;SACT,CAAC;AACR,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAc,EACd,IAAuB,EACvB,MAAc,EACd,QAAuC,EACvC,WAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,6BAA6B,EACzC,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAA4C,EAAE,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,MAAM,EAAE,WAAW,IAAI,CAAC,EAAE,CAAC;QACvE,MAAM,MAAM,GAAG,uBAAuB,CACpC,KAAK,CAAC,WAAW,CAAC,EAClB,IAAI,EACJ,WAAW,EACX,MAAM,EACN,QAAQ,EACR,WAAW,CACZ,CAAC;QAEF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,kBAAkB,MAAM,CAAC,KAAK,mBAAmB,EAC7D,MAAM,CACP,CACF,CAAC;YACJ,CAAC;YAED,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAc,EACd,IAAuB,EACvB,WAAmB,EACnB,MAAc,EACd,QAAuC,EACvC,WAAiC;IAEjC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,oBAAoB,WAAW,qBAAqB,EAChE,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,6BAA6B,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAE/D,MAAM,KAAK,GAAG,oBAAoB,CAChC,KAAK,CAAC,KAAK,EACX,IAAI,EACJ,WAAW,EACX,MAAM,EACN,WAAW,CACZ,CAAC;IACF,MAAM,YAAY,GAAG,2BAA2B,CAC9C,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,MAAM,EACZ,MAAM,EACN,QAAQ,EACR,yBAAyB,EACzB,WAAW,CACZ,CAAC;IAEF,OAAO,YAAY,KAAK,SAAS;QAC/B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,WAAW;YACX,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,YAAY;SAChB,CAAC;AACR,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,IAAuB,EACvB,WAAmB,EACnB,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,oBAAoB,WAAW,kDAAkD,EAC7F,MAAM,CACP,CACF,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC"}

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 { CompiledDeclarativeValidationPlan, CompiledDeclarativeValidationPlanV1, CompiledDeclarativeValidationPlanV2, CompiledDeclarativeValidationAnyOfRuleV2, CompiledDeclarativeValidationAllOfRuleV2, CompiledDeclarativeValidationBranchV2, CompiledDeclarativeValidationExecutableRule, CompiledDeclarativeValidationRule, CompiledDeclarativeValidationRuleFields, CompiledDeclarativeValidationRuleV2, CompiledDeclarativeValidationRuleV1, CompiledDeclarativeValidationFlatRuleV2, CompiledDeclarativeValidationGroupRuleV2, CompiledDeclarativeValidationGroupRuleFields, CompiledDeclarativeValidationApplicabilityPlan, CompiledDeclarativeAssertion, 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,EAEV,iBAAiB,EAClB,MAAM,qBAAqB,CAAC;AAiB7B,OAAO,KAAK,EAKV,kCAAkC,EACnC,MAAM,WAAW,CAAC;AAGnB,YAAY,EACV,iCAAiC,EACjC,mCAAmC,EACnC,mCAAmC,EACnC,wCAAwC,EACxC,wCAAwC,EACxC,qCAAqC,EACrC,2CAA2C,EAC3C,iCAAiC,EACjC,uCAAuC,EACvC,mCAAmC,EACnC,mCAAmC,EACnC,uCAAuC,EACvC,wCAAwC,EACxC,4CAA4C,EAC5C,8CAA8C,EAC9C,4BAA4B,EAC5B,kCAAkC,GACnC,MAAM,WAAW,CAAC;AASnB,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,iBAAiB,GACzB,kCAAkC,CAmFpC"}

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

@@ -0,0 +1,199 @@
+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 { PROFILE_SYNTAX_VERSION_V2, } from "../profile/syntax-version.js";
+import { compiledApplicabilityPlanFromValue } from "./applicability-plan.js";
+import { compileDiagnostic } from "./diagnostics.js";
+import { compiledGroupRuleFromValue, } from "./group-plans.js";
+import { compiledRuleFieldsFromValue } from "./rule-fields.js";
+const SEVERITIES = new Set([
+    "error",
+    "warning",
+    "info",
+]);
+const GROUP_KINDS = ["anyOf", "allOf"];
+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 compiledRule = compiledRuleFromValue(rule, index, ruleId, severity ?? "error", profile.syntaxVersion, diagnostics);
+        if (compiledRule !== undefined) {
+            rules.push(compiledRule);
+        }
+    }
+    return diagnostics.length > 0
+        ? { diagnostics }
+        : {
+            plan: compiledPlanFromRules(profile.syntaxVersion, rules),
+            diagnostics,
+        };
+}
+function compiledPlanFromRules(syntaxVersion, rules) {
+    return syntaxVersion === PROFILE_SYNTAX_VERSION_V2
+        ? {
+            syntaxVersion,
+            rules: rules.map((rule) => v2RulePlanFromRule(rule, syntaxVersion)),
+        }
+        : {
+            rules: rules,
+        };
+}
+function v2RulePlanFromRule(rule, syntaxVersion) {
+    return "kind" in rule
+        ? rule
+        : {
+            kind: "flat",
+            syntaxVersion,
+            ...rule,
+        };
+}
+function compiledRuleFromValue(rule, ruleIndex, ruleId, severity, syntaxVersion, diagnostics) {
+    if (syntaxVersion !== PROFILE_SYNTAX_VERSION_V2) {
+        return compiledRuleFieldsFromValue(rule.select, rule.assert, ruleId, severity, syntaxVersion, diagnostics);
+    }
+    const hasFlatShapeInput = rule.select !== undefined || rule.assert !== undefined;
+    const groupKind = groupKindFromRule(rule);
+    const applicability = rule.when === undefined
+        ? undefined
+        : compiledApplicabilityPlanFromValue(rule.when, ruleId, severity, diagnostics);
+    if (rule.when !== undefined && applicability === undefined) {
+        return undefined;
+    }
+    const shapeCount = Number(hasFlatShapeInput) + GROUP_KINDS.reduce((count, kind) => count + Number(rule[kind] !== undefined), 0);
+    if (shapeCount !== 1) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", `V2 rule at index ${ruleIndex} must declare exactly one of select/assert, anyOf, or allOf.`, ruleId));
+        return undefined;
+    }
+    if (groupKind !== undefined) {
+        const groupRule = compiledGroupRuleFromValue(rule[groupKind], groupKind, ruleId, severity, diagnostics);
+        return groupRule === undefined
+            ? undefined
+            : {
+                ...groupRule,
+                ...(applicability !== undefined ? { applicability } : {}),
+            };
+    }
+    const fields = compiledRuleFieldsFromValue(rule.select, rule.assert, ruleId, severity, syntaxVersion, diagnostics);
+    return fields === undefined
+        ? undefined
+        : {
+            kind: "flat",
+            syntaxVersion: PROFILE_SYNTAX_VERSION_V2,
+            ...fields,
+            ...(applicability !== undefined ? { applicability } : {}),
+        };
+}
+function groupKindFromRule(rule) {
+    if (rule.anyOf !== undefined) {
+        return "anyOf";
+    }
+    return rule.allOf !== undefined ? "allOf" : undefined;
+}
+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;AAK/D,OAAO,EACL,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,0CAA0C,EAAE,MAAM,0CAA0C,CAAC;AACtG,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EACL,yBAAyB,GAE1B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,kCAAkC,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EACL,0BAA0B,GAE3B,MAAM,kBAAkB,CAAC;AAQ1B,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAsB/D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAgC;IACxD,OAAO;IACP,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,OAAO,CAAU,CAAC;AAEhD,MAAM,UAAU,wBAAwB,CACtC,OAA0B;IAE1B,MAAM,WAAW,GAAyB,EAAE,CAAC;IAC7C,IAAI,0CAA0C,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;QACrE,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,aAAa,GAAG,oBAAoB,CACxC,OAAkB,EAClB,SAAS,EACT,WAAW,CACZ,CAAC;IACF,IAAI,aAAa,KAAK,mBAAmB,EAAE,CAAC;QAC1C,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,WAAW,EAAE;gBACX,GAAG,WAAW;gBACd;oBACE,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,4BAA4B;oBACrC,QAAQ,EAAE,OAAgB;iBAC3B;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,qBAAqB,CAAC,aAAa,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC7E,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,KAAK,GAAwC,EAAE,CAAC;IACtD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5D,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAC5D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,yBAAyB,KAAK,wBAAwB,MAAM,IAAI;gBACzE,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;YAEH,SAAS;QACX,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAExB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;QACvE,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,qBAAqB,CACxC,IAAI,EACJ,KAAK,EACL,MAAM,EACN,QAAQ,IAAI,OAAO,EACnB,OAAO,CAAC,aAAa,EACrB,WAAW,CACZ,CAAC;QAEF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC,EAAE,WAAW,EAAE;QACjB,CAAC,CAAC;YACE,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC;YACzD,WAAW;SACZ,CAAC;AACR,CAAC;AAED,SAAS,qBAAqB,CAC5B,aAA6C,EAC7C,KAAmD;IAEnD,OAAO,aAAa,KAAK,yBAAyB;QAChD,CAAC,CAAC;YACE,aAAa;YACb,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;SACpE;QACH,CAAC,CAAC;YACE,KAAK,EAAE,KAA2D;SACnE,CAAC;AACR,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAuC,EACvC,aAA+C;IAE/C,OAAO,MAAM,IAAI,IAAI;QACnB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,IAAI,EAAE,MAAM;YACZ,aAAa;YACb,GAAG,IAAI;SACR,CAAC;AACR,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAA6B,EAC7B,SAAiB,EACjB,MAAc,EACd,QAAuC,EACvC,aAA6C,EAC7C,WAAiC;IAEjC,IAAI,aAAa,KAAK,yBAAyB,EAAE,CAAC;QAChD,OAAO,2BAA2B,CAChC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,EACX,MAAM,EACN,QAAQ,EACR,aAAa,EACb,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;IACjF,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,aAAa,GACjB,IAAI,CAAC,IAAI,KAAK,SAAS;QACrB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,kCAAkC,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC,GAAG,WAAW,CAAC,MAAM,CAC/D,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,EACzD,CAAC,CACF,CAAC;IAEF,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,oBAAoB,SAAS,8DAA8D,EAC3F,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,0BAA0B,CAC1C,IAAI,CAAC,SAAS,CAAC,EACf,SAAS,EACT,MAAM,EACN,QAAQ,EACR,WAAW,CACZ,CAAC;QAEF,OAAO,SAAS,KAAK,SAAS;YAC5B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC;gBACE,GAAG,SAAS;gBACZ,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1D,CAAC;IACR,CAAC;IAED,MAAM,MAAM,GAAG,2BAA2B,CACxC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,EACX,MAAM,EACN,QAAQ,EACR,aAAa,EACb,WAAW,CACZ,CAAC;IAEF,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,IAAI,EAAE,MAAM;YACZ,aAAa,EAAE,yBAAyB;YACxC,GAAG,MAAM;YACT,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1D,CAAC;AACR,CAAC;AAED,SAAS,iBAAiB,CACxB,IAA6B;IAE7B,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAc,EACd,WAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,iCAAiC;YAC1C,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAc,EAAE,CAAC;IAE5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAEzE,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC;YACzD,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,sCAAsC;gBAC/C,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;YAEH,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,KAAc,EACd,KAAa,EACb,WAAiC;IAEjC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,yBAAyB,KAAK,qBAAqB;YAC5D,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,oBAAoB,CACrC,KAAK,EACL,yBAAyB,KAAK,EAAE,EAChC,WAAW,CACZ,CAAC;IAEF,OAAO,UAAU,KAAK,mBAAmB,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC;QACrE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,UAAU,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,KAAa,EACb,WAAiC;IAEjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,IAAI,CAAC;QACf,IAAI,EAAE,6BAA6B;QACnC,OAAO,EAAE,yBAAyB,KAAK,4BAA4B;QACnE,QAAQ,EAAE,OAAO;KAClB,CAAC,CAAC;IAEH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,UAAU,CAAC,GAAG,CAAC,KAAsC,CAAC,EACtD,CAAC;QACD,OAAO,KAAsC,CAAC;IAChD,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,oEAAoE,EACpE,MAAM,CACP,CACF,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC"}

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

@@ -0,0 +1,126 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+import type { DeclarativeSelector, DeclarativeValidationSeverity } from "../profile/index.js";
+import type { PROFILE_SYNTAX_VERSION_V2 } from "../profile/syntax-version.js";
+/** @internal Private compiled plans must not be exported from the package root. */
+export type CompiledDeclarativeValidationPlan = CompiledDeclarativeValidationPlanV1 | CompiledDeclarativeValidationPlanV2;
+/** @internal */
+export interface CompiledDeclarativeValidationPlanV1 {
+    rules: readonly CompiledDeclarativeValidationRuleV1[];
+}
+/** @internal */
+export interface CompiledDeclarativeValidationPlanV2 {
+    syntaxVersion: typeof PROFILE_SYNTAX_VERSION_V2;
+    rules: readonly CompiledDeclarativeValidationRuleV2[];
+}
+/** @internal Private rule-plan records are owned by the compiler package. */
+export type CompiledDeclarativeValidationRule = CompiledDeclarativeValidationExecutableRule | CompiledDeclarativeValidationGroupRuleV2;
+/** @internal */
+export type CompiledDeclarativeValidationExecutableRule = CompiledDeclarativeValidationRuleV1 | CompiledDeclarativeValidationFlatRuleV2;
+/** @internal */
+export type CompiledDeclarativeValidationRuleV2 = CompiledDeclarativeValidationFlatRuleV2 | CompiledDeclarativeValidationGroupRuleV2;
+/** @internal */
+export type CompiledDeclarativeValidationRuleV1 = CompiledDeclarativeValidationRuleFields;
+/** @internal */
+export interface CompiledDeclarativeValidationFlatRuleV2 extends CompiledDeclarativeValidationRuleFields, CompiledDeclarativeValidationApplicabilityOwnerV2 {
+    kind: "flat";
+    syntaxVersion: typeof PROFILE_SYNTAX_VERSION_V2;
+}
+/** @internal */
+export type CompiledDeclarativeValidationGroupRuleV2 = CompiledDeclarativeValidationAnyOfRuleV2 | CompiledDeclarativeValidationAllOfRuleV2;
+/** @internal */
+export interface CompiledDeclarativeValidationAnyOfRuleV2 extends CompiledDeclarativeValidationGroupRuleFields {
+    kind: "anyOf";
+}
+/** @internal */
+export interface CompiledDeclarativeValidationAllOfRuleV2 extends CompiledDeclarativeValidationGroupRuleFields {
+    kind: "allOf";
+}
+/** @internal */
+export interface CompiledDeclarativeValidationGroupRuleFields extends CompiledDeclarativeValidationApplicabilityOwnerV2 {
+    syntaxVersion: typeof PROFILE_SYNTAX_VERSION_V2;
+    ruleId: string;
+    severity: DeclarativeValidationSeverity;
+    branches: readonly CompiledDeclarativeValidationBranchV2[];
+}
+/** @internal */
+export interface CompiledDeclarativeValidationBranchV2 extends CompiledDeclarativeValidationRuleFields {
+    branchIndex: number;
+    label?: string;
+}
+/** @internal */
+export interface CompiledDeclarativeValidationRuleFields {
+    ruleId: string;
+    severity: DeclarativeValidationSeverity;
+    selector: DeclarativeSelector;
+    assertions: readonly CompiledDeclarativeAssertion[];
+}
+/** @internal */
+export interface CompiledDeclarativeValidationApplicabilityOwnerV2 {
+    applicability?: CompiledDeclarativeValidationApplicabilityPlan;
+}
+/** @internal */
+export interface CompiledDeclarativeValidationApplicabilityPlan {
+    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;
+    minCount?: number;
+    maxCount?: number;
+} | {
+    kind: "references";
+    idsFrom: {
+        section?: string;
+        column?: string;
+        prefix?: string;
+    };
+    mustAppearIn: readonly string[];
+} | {
+    kind: "tableColumnCoverage";
+    source: {
+        section: string;
+        column: string;
+        prefix?: string;
+        caseSensitive: boolean;
+    };
+    target: {
+        section: string;
+        tableHeader?: readonly string[];
+        column: string;
+    };
+    require: "everySourceId";
+} | {
+    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;AAC7B,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAE9E,mFAAmF;AACnF,MAAM,MAAM,iCAAiC,GACzC,mCAAmC,GACnC,mCAAmC,CAAC;AAExC,gBAAgB;AAChB,MAAM,WAAW,mCAAmC;IAClD,KAAK,EAAE,SAAS,mCAAmC,EAAE,CAAC;CACvD;AAED,gBAAgB;AAChB,MAAM,WAAW,mCAAmC;IAClD,aAAa,EAAE,OAAO,yBAAyB,CAAC;IAChD,KAAK,EAAE,SAAS,mCAAmC,EAAE,CAAC;CACvD;AAED,6EAA6E;AAC7E,MAAM,MAAM,iCAAiC,GACzC,2CAA2C,GAC3C,wCAAwC,CAAC;AAE7C,gBAAgB;AAChB,MAAM,MAAM,2CAA2C,GACnD,mCAAmC,GACnC,uCAAuC,CAAC;AAE5C,gBAAgB;AAChB,MAAM,MAAM,mCAAmC,GAC3C,uCAAuC,GACvC,wCAAwC,CAAC;AAE7C,gBAAgB;AAChB,MAAM,MAAM,mCAAmC,GAC7C,uCAAuC,CAAC;AAE1C,gBAAgB;AAChB,MAAM,WAAW,uCACf,SAAQ,uCAAuC,EAC7C,iDAAiD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,OAAO,yBAAyB,CAAC;CACjD;AAED,gBAAgB;AAChB,MAAM,MAAM,wCAAwC,GAChD,wCAAwC,GACxC,wCAAwC,CAAC;AAE7C,gBAAgB;AAChB,MAAM,WAAW,wCACf,SAAQ,4CAA4C;IACpD,IAAI,EAAE,OAAO,CAAC;CACf;AAED,gBAAgB;AAChB,MAAM,WAAW,wCACf,SAAQ,4CAA4C;IACpD,IAAI,EAAE,OAAO,CAAC;CACf;AAED,gBAAgB;AAChB,MAAM,WAAW,4CACf,SAAQ,iDAAiD;IACzD,aAAa,EAAE,OAAO,yBAAyB,CAAC;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,6BAA6B,CAAC;IACxC,QAAQ,EAAE,SAAS,qCAAqC,EAAE,CAAC;CAC5D;AAED,gBAAgB;AAChB,MAAM,WAAW,qCACf,SAAQ,uCAAuC;IAC/C,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,gBAAgB;AAChB,MAAM,WAAW,uCAAuC;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,6BAA6B,CAAC;IACxC,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACrD;AAED,gBAAgB;AAChB,MAAM,WAAW,iDAAiD;IAChE,aAAa,CAAC,EAAE,8CAA8C,CAAC;CAChE;AAED,gBAAgB;AAChB,MAAM,WAAW,8CAA8C;IAC7D,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACrD;AAED,gBAAgB;AAChB,MAAM,WAAW,kCAAkC;IACjD,IAAI,CAAC,EAAE,iCAAiC,CAAC;IACzC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC5C;AAED,gBAAgB;AAChB,MAAM,MAAM,4BAA4B,GACpC;IACE,IAAI,EAAE,QAAQ,CAAC;CAChB,GACD;IACE,IAAI,EAAE,kBAAkB,CAAC;IACzB,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAC;CAC1B,GACD;IACE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,CAAC,EAAE,IAAI,CAAC;IACd,aAAa,EAAE,OAAO,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE;QACP,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,aAAa,EAAE,OAAO,CAAC;KACxB,CAAC;IACF,MAAM,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAChC,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,OAAO,EAAE,eAAe,CAAC;CAC1B,GACD;IACE,IAAI,EAAE,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/compiler/rule-fields.d.ts

@@ -0,0 +1,6 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+import type { DeclarativeValidationSeverity } from "../profile/index.js";
+import type { ValidationProfileSyntaxVersion } from "../profile/syntax-version.js";
+import type { CompiledDeclarativeValidationRuleFields } from "./plan.js";
+export declare function compiledRuleFieldsFromValue(selectValue: unknown, assertValue: unknown, ruleId: string, severity: DeclarativeValidationSeverity, syntaxVersion: ValidationProfileSyntaxVersion, diagnostics: MarkdownDiagnostic[]): CompiledDeclarativeValidationRuleFields | undefined;
+//# sourceMappingURL=rule-fields.d.ts.map

package/dist/declarative-validation/compiler/rule-fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-fields.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/rule-fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EAEV,6BAA6B,EAC9B,MAAM,qBAAqB,CAAC;AAM7B,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAGnF,OAAO,KAAK,EAAE,uCAAuC,EAAE,MAAM,WAAW,CAAC;AAEzE,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,OAAO,EACpB,WAAW,EAAE,OAAO,EACpB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,6BAA6B,EACvC,aAAa,EAAE,8BAA8B,EAC7C,WAAW,EAAE,kBAAkB,EAAE,GAChC,uCAAuC,GAAG,SAAS,CAuErD"}

package/dist/declarative-validation/compiler/rule-fields.js

@@ -0,0 +1,40 @@
+import { isPlainRecord } from "../../internal/plain-record.js";
+import { closeProfileDataTree, DATA_CLOSURE_FAILED, } from "../profile/data-closure.js";
+import { selectorFromValue } from "../profile/selector-schema.js";
+import { compiledAssertionsFromValue } from "./assertions.js";
+import { compileDiagnostic } from "./diagnostics.js";
+export function compiledRuleFieldsFromValue(selectValue, assertValue, ruleId, severity, syntaxVersion, diagnostics) {
+    const selectorInput = closeProfileDataTree(selectValue, "Rule select", diagnostics, ruleId);
+    if (selectorInput === DATA_CLOSURE_FAILED) {
+        return undefined;
+    }
+    const diagnosticCountBeforeSelector = diagnostics.length;
+    const selector = selectorFromValue(selectorInput, diagnostics);
+    if (selector === undefined ||
+        diagnostics.length > diagnosticCountBeforeSelector) {
+        return undefined;
+    }
+    const assertionInput = closeProfileDataTree(assertValue, "Rule assert", diagnostics, ruleId);
+    if (assertionInput === DATA_CLOSURE_FAILED) {
+        return undefined;
+    }
+    const diagnosticCountBeforeAssertions = diagnostics.length;
+    if (!isPlainRecord(assertionInput)) {
+        diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must be an object.", ruleId));
+        return undefined;
+    }
+    const assertions = compiledAssertionsFromValue(assertionInput, selector, ruleId, syntaxVersion, 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));
+        }
+        return undefined;
+    }
+    return {
+        ruleId,
+        severity,
+        selector,
+        assertions,
+    };
+}
+//# sourceMappingURL=rule-fields.js.map

package/dist/declarative-validation/compiler/rule-fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-fields.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/rule-fields.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAK/D,OAAO,EACL,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGrD,MAAM,UAAU,2BAA2B,CACzC,WAAoB,EACpB,WAAoB,EACpB,MAAc,EACd,QAAuC,EACvC,aAA6C,EAC7C,WAAiC;IAEjC,MAAM,aAAa,GAAG,oBAAoB,CACxC,WAAW,EACX,aAAa,EACb,WAAW,EACX,MAAM,CACP,CAAC;IACF,IAAI,aAAa,KAAK,mBAAmB,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,6BAA6B,GAAG,WAAW,CAAC,MAAM,CAAC;IACzD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IAC/D,IACE,QAAQ,KAAK,SAAS;QACtB,WAAW,CAAC,MAAM,GAAG,6BAA6B,EAClD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,oBAAoB,CACzC,WAAW,EACX,aAAa,EACb,WAAW,EACX,MAAM,CACP,CAAC;IACF,IAAI,cAAc,KAAK,mBAAmB,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,+BAA+B,GAAG,WAAW,CAAC,MAAM,CAAC;IAC3D,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,CAAC;QACnC,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,gCAAgC,EAChC,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,2BAA2B,CAC5C,cAAsC,EACtC,QAAQ,EACR,MAAM,EACN,aAAa,EACb,WAAW,CACZ,CAAC;IAEF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,IAAI,WAAW,CAAC,MAAM,KAAK,+BAA+B,EAAE,CAAC;YAC3D,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,4DAA4D,EAC5D,MAAM,CACP,CACF,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,UAAU;KACX,CAAC;AACJ,CAAC"}

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,10 @@
+import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
+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;AAGnE,eAAO,MAAM,uBAAuB,oDAK1B,CAAC;AAEX,eAAO,MAAM,mBAAmB,6GAUtB,CAAC;AAOX,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,kBAAkB,CAEpB;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,kBAAkB,CAEvE;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB,CAKrE;AAED,wBAAgB,wBAAwB,IAAI,kBAAkB,CAK7D;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,WAAW,EAAE,kBAAkB,EAAE,GAChC,IAAI,CAMN;AAED,wBAAgB,iCAAiC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAEtE"}

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

@@ -0,0 +1,51 @@
+import { SUPPORTED_PROFILE_SYNTAX_VERSIONS } from "../profile/syntax-version.js";
+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 ${quotedList(SUPPORTED_PROFILE_SYNTAX_VERSIONS)}`);
+}
+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);
+}
+function quotedList(values) {
+    const quotedValues = values.map((value) => `"${value}"`);
+    const finalValue = quotedValues.at(-1) ?? "";
+    const prefix = quotedValues.slice(0, -1).join(", ");
+    return prefix.length === 0 ? `${finalValue}.` : `${prefix} or ${finalValue}.`;
+}
+//# 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":"AACA,OAAO,EAAE,iCAAiC,EAAE,MAAM,8BAA8B,CAAC;AAEjF,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,SAAS;IACT,SAAS;IACT,OAAO;IACP,QAAQ;CACA,CAAC;AAEX,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,UAAU;IACV,MAAM;IACN,SAAS;IACT,YAAY;IACZ,UAAU;IACV,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,QAAQ;CACA,CAAC;AAEX,MAAM,iCAAiC,GAAG,IAAI,GAAG,CAAS;IACxD,GAAG,uBAAuB;IAC1B,GAAG,mBAAmB;CACvB,CAAC,CAAC;AAEH,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,OAAe;IAEf,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,OAAO,iBAAiB,CAAC,6BAA6B,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,GAAW;IAC/C,OAAO,iBAAiB,CACtB,+BAA+B,EAC/B,uCAAuC,GAAG,IAAI,CAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO,iBAAiB,CACtB,yCAAyC,EACzC,iCAAiC,UAAU,CAAC,iCAAiC,CAAC,EAAE,CACjF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAA+B,EAC/B,WAA8B,EAC9B,WAAiC;IAEjC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,GAAW;IAC3D,OAAO,iCAAiC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,UAAU,CAAC,MAAyB;IAC3C,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEpD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,OAAO,UAAU,GAAG,CAAC;AAChF,CAAC"}

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<RuleResult extends ValidationRuleResult = ValidationRuleResult> {
+    inputHash: string;
+    profileHash: string;
+    engineVersion: string;
+    runtimeVersion: string;
+    ruleResults: readonly RuleResult[];
+    diagnostics: readonly MarkdownDiagnostic[];
+}
+export declare function createDeclarativeValidationEvidence<RuleResult extends ValidationRuleResult>(document: EngineDocument, profile: ValidationProfile, ruleResults: readonly RuleResult[], diagnostics: readonly MarkdownDiagnostic[]): DeclarativeValidationEvidence<RuleResult>;
+//# 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;AAG7D,MAAM,WAAW,6BAA6B,CAC5C,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IACnC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC5C;AAED,wBAAgB,mCAAmC,CACjD,UAAU,SAAS,oBAAoB,EAEvC,QAAQ,EAAE,cAAc,EACxB,OAAO,EAAE,iBAAiB,EAC1B,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,WAAW,EAAE,SAAS,kBAAkB,EAAE,GACzC,6BAA6B,CAAC,UAAU,CAAC,CAS3C"}