@0disoft/mensor-compiler 0.1.0

package/dist/src/form-index-validation.js

@@ -0,0 +1,360 @@
+import * as path from "node:path";
+import { compareText } from "./paths.js";
+import { FormIndexFailure, } from "./form-index-types.js";
+const dynamicReasons = new Set([
+    "computed-attribute",
+    "conditional-presence",
+    "custom-helper-semantics",
+    "dynamic-interpolation",
+    "repeated-generation",
+]);
+const unsupportedReasons = new Set([
+    "file-input",
+    "named-submitter",
+    "provider-resource-limit",
+    "submitter-route-override",
+    "unsupported-control-kind",
+]);
+const windowsReservedName = /^(?:aux|con|nul|prn|com[1-9]|lpt[1-9])(?:\..*)?$/iu;
+export function canonicalizeFormIndex(value) {
+    const root = objectValue(value, "");
+    exactKeys(root, "", ["schemaVersion", "producer", "documents"]);
+    if (root["schemaVersion"] !== 1) {
+        fail("form_index.shape_invalid", "/schemaVersion", "schemaVersion must be 1.");
+    }
+    const producer = objectValue(root["producer"], "/producer");
+    exactKeys(producer, "/producer", ["name", "version"]);
+    const producerName = identifierValue(producer["name"], "/producer/name");
+    const producerVersion = versionValue(producer["version"], "/producer/version");
+    const rawDocuments = arrayValue(root["documents"], "/documents");
+    const documents = rawDocuments
+        .map((document, index) => documentValue(document, `/documents/${index}`))
+        .sort((left, right) => compareText(left.path, right.path));
+    rejectDuplicateDocuments(documents);
+    return {
+        schemaVersion: 1,
+        producer: {
+            name: producerName,
+            version: producerVersion,
+        },
+        documents,
+    };
+}
+function documentValue(value, instancePath) {
+    const document = objectValue(value, instancePath);
+    exactKeys(document, instancePath, [
+        "path",
+        "contentDigest",
+        "sourceKind",
+        "inspection",
+        "forms",
+    ]);
+    const documentPath = relativePosixPathValue(document["path"], `${instancePath}/path`);
+    const contentDigest = digestValue(document["contentDigest"], `${instancePath}/contentDigest`);
+    const sourceKind = identifierValue(document["sourceKind"], `${instancePath}/sourceKind`);
+    const inspection = inspectionValue(document["inspection"], `${instancePath}/inspection`);
+    const rawForms = arrayValue(document["forms"], `${instancePath}/forms`);
+    const forms = rawForms
+        .map((form, index) => formValue(form, `${instancePath}/forms/${index}`))
+        .sort((left, right) => compareRanges(left.range, right.range));
+    rejectDuplicateRanges(forms, `${instancePath}/forms`, "form");
+    return {
+        path: documentPath,
+        contentDigest,
+        sourceKind,
+        inspection,
+        forms,
+    };
+}
+function inspectionValue(value, instancePath) {
+    const inspection = objectValue(value, instancePath);
+    const state = stringValue(inspection["state"], `${instancePath}/state`);
+    if (state === "complete") {
+        exactKeys(inspection, instancePath, ["state"]);
+        return { state: "complete" };
+    }
+    if (state !== "incomplete") {
+        fail("form_index.shape_invalid", `${instancePath}/state`, "inspection state must be complete or incomplete.");
+    }
+    exactKeys(inspection, instancePath, ["state", "reason"], ["range"]);
+    const reason = unresolvedReasonValue(inspection["reason"], `${instancePath}/reason`);
+    const range = optionalRangeValue(inspection["range"], `${instancePath}/range`);
+    return range === undefined
+        ? { state: "incomplete", reason }
+        : { state: "incomplete", reason, range };
+}
+function formValue(value, instancePath) {
+    const form = objectValue(value, instancePath);
+    exactKeys(form, instancePath, [
+        "identity",
+        "method",
+        "action",
+        "range",
+        "controls",
+    ]);
+    const range = rangeValue(form["range"], `${instancePath}/range`);
+    const rawControls = arrayValue(form["controls"], `${instancePath}/controls`);
+    const controls = rawControls
+        .map((control, index) => controlValue(control, `${instancePath}/controls/${index}`))
+        .sort((left, right) => compareRanges(left.range, right.range));
+    rejectDuplicateRanges(controls, `${instancePath}/controls`, "control");
+    return {
+        identity: evidenceValue(form["identity"], `${instancePath}/identity`, nonEmptyStringValue),
+        method: evidenceValue(form["method"], `${instancePath}/method`, stringValue),
+        action: actionValue(form["action"], `${instancePath}/action`),
+        range,
+        controls,
+    };
+}
+function controlValue(value, instancePath) {
+    const control = objectValue(value, instancePath);
+    exactKeys(control, instancePath, [
+        "name",
+        "controlKind",
+        "inputType",
+        "multiple",
+        "multiplicity",
+        "successful",
+        "range",
+    ]);
+    return {
+        name: evidenceValue(control["name"], `${instancePath}/name`, nonEmptyStringValue),
+        controlKind: evidenceValue(control["controlKind"], `${instancePath}/controlKind`, (entry, entryPath) => enumValue(entry, entryPath, ["button", "input", "select", "textarea"])),
+        inputType: evidenceValue(control["inputType"], `${instancePath}/inputType`, stringValue),
+        multiple: evidenceValue(control["multiple"], `${instancePath}/multiple`, booleanValue),
+        multiplicity: evidenceValue(control["multiplicity"], `${instancePath}/multiplicity`, (entry, entryPath) => enumValue(entry, entryPath, [
+            "mutually-exclusive",
+            "repeated",
+            "scalar",
+        ])),
+        successful: evidenceValue(control["successful"], `${instancePath}/successful`, booleanValue),
+        range: rangeValue(control["range"], `${instancePath}/range`),
+    };
+}
+function actionValue(value, instancePath) {
+    const action = objectValue(value, instancePath);
+    if (action["state"] === "current-document") {
+        exactKeys(action, instancePath, ["state", "range"]);
+        return {
+            state: "current-document",
+            range: rangeValue(action["range"], `${instancePath}/range`),
+        };
+    }
+    return evidenceValue(value, instancePath, nonEmptyStringValue);
+}
+function evidenceValue(value, instancePath, knownValue) {
+    const evidence = objectValue(value, instancePath);
+    const state = stringValue(evidence["state"], `${instancePath}/state`);
+    if (state === "known") {
+        exactKeys(evidence, instancePath, ["state", "value", "range"]);
+        return {
+            state: "known",
+            value: knownValue(evidence["value"], `${instancePath}/value`),
+            range: rangeValue(evidence["range"], `${instancePath}/range`),
+        };
+    }
+    if (state === "absent") {
+        exactKeys(evidence, instancePath, ["state"], ["range"]);
+        const range = optionalRangeValue(evidence["range"], `${instancePath}/range`);
+        return range === undefined
+            ? { state: "absent" }
+            : { state: "absent", range };
+    }
+    if (state === "dynamic") {
+        exactKeys(evidence, instancePath, ["state", "reason", "range"]);
+        return {
+            state: "dynamic",
+            reason: dynamicReasonValue(evidence["reason"], `${instancePath}/reason`),
+            range: rangeValue(evidence["range"], `${instancePath}/range`),
+        };
+    }
+    if (state === "unsupported") {
+        exactKeys(evidence, instancePath, ["state", "reason", "range"]);
+        return {
+            state: "unsupported",
+            reason: unsupportedReasonValue(evidence["reason"], `${instancePath}/reason`),
+            range: rangeValue(evidence["range"], `${instancePath}/range`),
+        };
+    }
+    fail("form_index.shape_invalid", `${instancePath}/state`, "evidence state is not supported.");
+}
+function rangeValue(value, instancePath) {
+    const range = objectValue(value, instancePath);
+    exactKeys(range, instancePath, ["start", "end"]);
+    const start = positionValue(range["start"], `${instancePath}/start`);
+    const end = positionValue(range["end"], `${instancePath}/end`);
+    if (comparePositions(start, end) > 0) {
+        fail("form_index.range_invalid", instancePath, "range start must not follow range end.");
+    }
+    return { start, end };
+}
+function optionalRangeValue(value, instancePath) {
+    return value === undefined ? undefined : rangeValue(value, instancePath);
+}
+function positionValue(value, instancePath) {
+    const position = objectValue(value, instancePath);
+    exactKeys(position, instancePath, ["line", "character"]);
+    return {
+        line: nonNegativeIntegerValue(position["line"], `${instancePath}/line`),
+        character: nonNegativeIntegerValue(position["character"], `${instancePath}/character`),
+    };
+}
+function relativePosixPathValue(value, instancePath) {
+    const candidate = stringValue(value, instancePath);
+    if (candidate.length === 0 ||
+        candidate.includes("\\") ||
+        path.posix.isAbsolute(candidate) ||
+        /^[a-z]:/iu.test(candidate) ||
+        /[\u0000-\u001f\u007f]/u.test(candidate)) {
+        fail("form_index.path_invalid", instancePath, "path must be a non-empty project-relative POSIX path.");
+    }
+    const segments = candidate.split("/");
+    if (segments.some((segment) => segment.length === 0 ||
+        segment === "." ||
+        segment === ".." ||
+        segment.includes(":") ||
+        segment.endsWith(".") ||
+        segment.endsWith(" ") ||
+        windowsReservedName.test(segment))) {
+        fail("form_index.path_invalid", instancePath, "path contains a non-portable or root-escaping segment.");
+    }
+    return candidate;
+}
+function digestValue(value, instancePath) {
+    const digest = stringValue(value, instancePath);
+    if (!/^sha256:[0-9a-f]{64}$/u.test(digest)) {
+        fail("form_index.digest_invalid", instancePath, "contentDigest must be a lowercase SHA-256 digest.");
+    }
+    return digest;
+}
+function identifierValue(value, instancePath) {
+    const identifier = stringValue(value, instancePath);
+    if (!/^[a-z0-9](?:[a-z0-9._/-]{0,127})$/u.test(identifier)) {
+        fail("form_index.shape_invalid", instancePath, "identifier must use lowercase ASCII letters, digits, dot, underscore, slash, or hyphen.");
+    }
+    return identifier;
+}
+function versionValue(value, instancePath) {
+    const version = stringValue(value, instancePath);
+    if (!/^[A-Za-z0-9](?:[A-Za-z0-9._+-]{0,127})$/u.test(version)) {
+        fail("form_index.shape_invalid", instancePath, "producer version is not a stable printable identifier.");
+    }
+    return version;
+}
+function dynamicReasonValue(value, instancePath) {
+    const reason = stringValue(value, instancePath);
+    if (!dynamicReasons.has(reason)) {
+        fail("form_index.shape_invalid", instancePath, "dynamic reason is not supported.");
+    }
+    return reason;
+}
+function unsupportedReasonValue(value, instancePath) {
+    const reason = stringValue(value, instancePath);
+    if (!unsupportedReasons.has(reason)) {
+        fail("form_index.shape_invalid", instancePath, "unsupported reason is not supported.");
+    }
+    return reason;
+}
+function unresolvedReasonValue(value, instancePath) {
+    const reason = stringValue(value, instancePath);
+    if (!dynamicReasons.has(reason) &&
+        !unsupportedReasons.has(reason)) {
+        fail("form_index.shape_invalid", instancePath, "incomplete inspection reason is not supported.");
+    }
+    return reason;
+}
+function objectValue(value, instancePath) {
+    if (typeof value !== "object" ||
+        value === null ||
+        Array.isArray(value) ||
+        (Object.getPrototypeOf(value) !== Object.prototype &&
+            Object.getPrototypeOf(value) !== null)) {
+        fail("form_index.shape_invalid", instancePath, "value must be a plain object.");
+    }
+    return value;
+}
+function arrayValue(value, instancePath) {
+    if (!Array.isArray(value)) {
+        fail("form_index.shape_invalid", instancePath, "value must be an array.");
+    }
+    return value;
+}
+function stringValue(value, instancePath) {
+    if (typeof value !== "string") {
+        fail("form_index.shape_invalid", instancePath, "value must be a string.");
+    }
+    return value;
+}
+function nonEmptyStringValue(value, instancePath) {
+    const text = stringValue(value, instancePath);
+    if (text.length === 0) {
+        fail("form_index.shape_invalid", instancePath, "value must not be empty.");
+    }
+    return text;
+}
+function booleanValue(value, instancePath) {
+    if (typeof value !== "boolean") {
+        fail("form_index.shape_invalid", instancePath, "value must be a boolean.");
+    }
+    return value;
+}
+function nonNegativeIntegerValue(value, instancePath) {
+    if (!Number.isSafeInteger(value) || value < 0) {
+        fail("form_index.range_invalid", instancePath, "position component must be a non-negative safe integer.");
+    }
+    return value;
+}
+function enumValue(value, instancePath, allowed) {
+    const text = stringValue(value, instancePath);
+    if (!allowed.includes(text)) {
+        fail("form_index.shape_invalid", instancePath, "value is not supported.");
+    }
+    return text;
+}
+function exactKeys(value, instancePath, required, optional = []) {
+    const allowed = new Set([...required, ...optional]);
+    for (const key of Object.keys(value)) {
+        if (!allowed.has(key)) {
+            fail("form_index.shape_invalid", `${instancePath}/${key}`, "property is not allowed.");
+        }
+    }
+    for (const key of required) {
+        if (!Object.hasOwn(value, key)) {
+            fail("form_index.shape_invalid", `${instancePath}/${key}`, "required property is missing.");
+        }
+    }
+}
+function rejectDuplicateDocuments(documents) {
+    const exact = new Set();
+    const folded = new Map();
+    for (const [index, document] of documents.entries()) {
+        const key = document.path.toLocaleLowerCase("en-US");
+        if (exact.has(document.path) || folded.has(key)) {
+            fail("form_index.duplicate", `/documents/${index}/path`, `document path collides with ${folded.get(key) ?? document.path}.`);
+        }
+        exact.add(document.path);
+        folded.set(key, document.path);
+    }
+}
+function rejectDuplicateRanges(values, instancePath, label) {
+    for (let index = 1; index < values.length; index += 1) {
+        const previous = values[index - 1];
+        const current = values[index];
+        if (previous !== undefined &&
+            current !== undefined &&
+            compareRanges(previous.range, current.range) === 0) {
+            fail("form_index.duplicate", `${instancePath}/${index}/range`, `${label} range is duplicated.`);
+        }
+    }
+}
+function compareRanges(left, right) {
+    return comparePositions(left.start, right.start) ||
+        comparePositions(left.end, right.end);
+}
+function comparePositions(left, right) {
+    return left.line - right.line || left.character - right.character;
+}
+function fail(code, instancePath, message) {
+    throw new FormIndexFailure(code, instancePath, message);
+}
+//# sourceMappingURL=form-index-validation.js.map

package/dist/src/form-index-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"form-index-validation.js","sourceRoot":"","sources":["../../src/form-index-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAIlC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EACL,gBAAgB,GAUjB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAgB;IAC5C,oBAAoB;IACpB,sBAAsB;IACtB,yBAAyB;IACzB,uBAAuB;IACvB,qBAAqB;CACtB,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAoB;IACpD,YAAY;IACZ,iBAAiB;IACjB,yBAAyB;IACzB,0BAA0B;IAC1B,0BAA0B;CAC3B,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,oDAAoD,CAAC;AAEjF,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpC,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,eAAe,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;IAChE,IAAI,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,0BAA0B,CAAC,CAAC;IACjF,CAAC;IAED,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;IAC5D,SAAS,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACzE,MAAM,eAAe,GAAG,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAE/E,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC,CAAC;IACjE,MAAM,SAAS,GAAG,YAAY;SAC3B,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,cAAc,KAAK,EAAE,CAAC,CAAC;SACxE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAEpC,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE;YACR,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,eAAe;SACzB;QACD,SAAS;KACV,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,YAAoB;IACzD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAClD,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE;QAChC,MAAM;QACN,eAAe;QACf,YAAY;QACZ,YAAY;QACZ,OAAO;KACR,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,sBAAsB,CACzC,QAAQ,CAAC,MAAM,CAAC,EAChB,GAAG,YAAY,OAAO,CACvB,CAAC;IACF,MAAM,aAAa,GAAG,WAAW,CAC/B,QAAQ,CAAC,eAAe,CAAC,EACzB,GAAG,YAAY,gBAAgB,CAChC,CAAC;IACF,MAAM,UAAU,GAAG,eAAe,CAChC,QAAQ,CAAC,YAAY,CAAC,EACtB,GAAG,YAAY,aAAa,CAC7B,CAAC;IACF,MAAM,UAAU,GAAG,eAAe,CAChC,QAAQ,CAAC,YAAY,CAAC,EACtB,GAAG,YAAY,aAAa,CAC7B,CAAC;IACF,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,QAAQ;SACnB,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,YAAY,UAAU,KAAK,EAAE,CAAC,CAAC;SACvE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,qBAAqB,CAAC,KAAK,EAAE,GAAG,YAAY,QAAQ,EAAE,MAAM,CAAC,CAAC;IAE9D,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,aAAa;QACb,UAAU;QACV,UAAU;QACV,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,YAAoB;IAEpB,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC,CAAC;IACxE,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,SAAS,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/C,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAC/B,CAAC;IACD,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;QAC3B,IAAI,CACF,0BAA0B,EAC1B,GAAG,YAAY,QAAQ,EACvB,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,SAAS,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,qBAAqB,CAClC,UAAU,CAAC,QAAQ,CAAC,EACpB,GAAG,YAAY,SAAS,CACzB,CAAC;IACF,MAAM,KAAK,GAAG,kBAAkB,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC,CAAC;IAC/E,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE;QACjC,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,YAAoB;IACrD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC9C,SAAS,CAAC,IAAI,EAAE,YAAY,EAAE;QAC5B,UAAU;QACV,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,UAAU;KACX,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC,CAAC;IACjE,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,YAAY,WAAW,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,WAAW;SACzB,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACtB,YAAY,CAAC,OAAO,EAAE,GAAG,YAAY,aAAa,KAAK,EAAE,CAAC,CAC3D;SACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,qBAAqB,CAAC,QAAQ,EAAE,GAAG,YAAY,WAAW,EAAE,SAAS,CAAC,CAAC;IAEvE,OAAO;QACL,QAAQ,EAAE,aAAa,CACrB,IAAI,CAAC,UAAU,CAAC,EAChB,GAAG,YAAY,WAAW,EAC1B,mBAAmB,CACpB;QACD,MAAM,EAAE,aAAa,CACnB,IAAI,CAAC,QAAQ,CAAC,EACd,GAAG,YAAY,SAAS,EACxB,WAAW,CACZ;QACD,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,YAAY,SAAS,CAAC;QAC7D,KAAK;QACL,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,KAAc,EACd,YAAoB;IAEpB,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACjD,SAAS,CAAC,OAAO,EAAE,YAAY,EAAE;QAC/B,MAAM;QACN,aAAa;QACb,WAAW;QACX,UAAU;QACV,cAAc;QACd,YAAY;QACZ,OAAO;KACR,CAAC,CAAC;IACH,OAAO;QACL,IAAI,EAAE,aAAa,CACjB,OAAO,CAAC,MAAM,CAAC,EACf,GAAG,YAAY,OAAO,EACtB,mBAAmB,CACpB;QACD,WAAW,EAAE,aAAa,CACxB,OAAO,CAAC,aAAa,CAAC,EACtB,GAAG,YAAY,cAAc,EAC7B,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CACnB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CACzE;QACD,SAAS,EAAE,aAAa,CACtB,OAAO,CAAC,WAAW,CAAC,EACpB,GAAG,YAAY,YAAY,EAC3B,WAAW,CACZ;QACD,QAAQ,EAAE,aAAa,CACrB,OAAO,CAAC,UAAU,CAAC,EACnB,GAAG,YAAY,WAAW,EAC1B,YAAY,CACb;QACD,YAAY,EAAE,aAAa,CACzB,OAAO,CAAC,cAAc,CAAC,EACvB,GAAG,YAAY,eAAe,EAC9B,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CACnB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE;YAC1B,oBAAoB;YACpB,UAAU;YACV,QAAQ;SACT,CAAC,CACL;QACD,UAAU,EAAE,aAAa,CACvB,OAAO,CAAC,YAAY,CAAC,EACrB,GAAG,YAAY,aAAa,EAC5B,YAAY,CACb;QACD,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,YAAoB;IACvD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAChD,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,kBAAkB,EAAE,CAAC;QAC3C,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACpD,OAAO;YACL,KAAK,EAAE,kBAAkB;YACzB,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC;SAC5D,CAAC;IACJ,CAAC;IACD,OAAO,aAAa,CAAC,KAAK,EAAE,YAAY,EAAE,mBAAmB,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,aAAa,CACpB,KAAc,EACd,YAAoB,EACpB,UAAuD;IAEvD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC,CAAC;IACtE,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;QACtB,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/D,OAAO;YACL,KAAK,EAAE,OAAO;YACd,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC;YAC7D,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC;SAC9D,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC,CAAC;QAC7E,OAAO,KAAK,KAAK,SAAS;YACxB,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;YACrB,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACjC,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;QAChE,OAAO;YACL,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,GAAG,YAAY,SAAS,CAAC;YACxE,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC;SAC9D,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;QAC5B,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;QAChE,OAAO;YACL,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,sBAAsB,CAC5B,QAAQ,CAAC,QAAQ,CAAC,EAClB,GAAG,YAAY,SAAS,CACzB;YACD,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC;SAC9D,CAAC;IACJ,CAAC;IACD,IAAI,CACF,0BAA0B,EAC1B,GAAG,YAAY,QAAQ,EACvB,kCAAkC,CACnC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,YAAoB;IACtD,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC/C,SAAS,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,QAAQ,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,YAAY,MAAM,CAAC,CAAC;IAC/D,IAAI,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,IAAI,CACF,0BAA0B,EAC1B,YAAY,EACZ,wCAAwC,CACzC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AACxB,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAc,EACd,YAAoB;IAEpB,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,YAAoB;IACzD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAClD,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACzD,OAAO;QACL,IAAI,EAAE,uBAAuB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,YAAY,OAAO,CAAC;QACvE,SAAS,EAAE,uBAAuB,CAChC,QAAQ,CAAC,WAAW,CAAC,EACrB,GAAG,YAAY,YAAY,CAC5B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc,EAAE,YAAoB;IAClE,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACnD,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC;QAChC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC;QAC3B,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,EACxC,CAAC;QACD,IAAI,CACF,yBAAyB,EACzB,YAAY,EACZ,uDAAuD,CACxD,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtC,IACE,QAAQ,CAAC,IAAI,CACX,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,MAAM,KAAK,CAAC;QACpB,OAAO,KAAK,GAAG;QACf,OAAO,KAAK,IAAI;QAChB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CACpC,EACD,CAAC;QACD,IAAI,CACF,yBAAyB,EACzB,YAAY,EACZ,wDAAwD,CACzD,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,YAAoB;IACvD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAChD,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,IAAI,CACF,2BAA2B,EAC3B,YAAY,EACZ,mDAAmD,CACpD,CAAC;IACJ,CAAC;IACD,OAAO,MAA2C,CAAC;AACrD,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,YAAoB;IAC3D,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACpD,IAAI,CAAC,oCAAoC,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3D,IAAI,CACF,0BAA0B,EAC1B,YAAY,EACZ,yFAAyF,CAC1F,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,YAAoB;IACxD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,0CAA0C,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9D,IAAI,CACF,0BAA0B,EAC1B,YAAY,EACZ,wDAAwD,CACzD,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,YAAoB;IAC9D,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAChD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAuB,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,0BAA0B,EAAE,YAAY,EAAE,kCAAkC,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,MAAuB,CAAC;AACjC,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAc,EACd,YAAoB;IAEpB,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAChD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAA2B,CAAC,EAAE,CAAC;QACzD,IAAI,CACF,0BAA0B,EAC1B,YAAY,EACZ,sCAAsC,CACvC,CAAC;IACJ,CAAC;IACD,OAAO,MAA2B,CAAC;AACrC,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAc,EACd,YAAoB;IAEpB,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAChD,IACE,CAAC,cAAc,CAAC,GAAG,CAAC,MAAuB,CAAC;QAC5C,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAA2B,CAAC,EACpD,CAAC;QACD,IAAI,CACF,0BAA0B,EAC1B,YAAY,EACZ,gDAAgD,CACjD,CAAC;IACJ,CAAC;IACD,OAAO,MAA2C,CAAC;AACrD,CAAC;AAED,SAAS,WAAW,CAClB,KAAc,EACd,YAAoB;IAEpB,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS;YAChD,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,EACxC,CAAC;QACD,IAAI,CAAC,0BAA0B,EAAE,YAAY,EAAE,+BAA+B,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,YAAoB;IACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC,0BAA0B,EAAE,YAAY,EAAE,yBAAyB,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,YAAoB;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,0BAA0B,EAAE,YAAY,EAAE,yBAAyB,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,YAAoB;IAC/D,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC9C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,IAAI,CAAC,0BAA0B,EAAE,YAAY,EAAE,0BAA0B,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,YAAoB;IACxD,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,0BAA0B,EAAE,YAAY,EAAE,0BAA0B,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAc,EAAE,YAAoB;IACnE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,CAAC,EAAE,CAAC;QAC1D,IAAI,CACF,0BAA0B,EAC1B,YAAY,EACZ,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,OAAO,KAAe,CAAC;AACzB,CAAC;AAED,SAAS,SAAS,CAChB,KAAc,EACd,YAAoB,EACpB,OAAqB;IAErB,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAS,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,0BAA0B,EAAE,YAAY,EAAE,yBAAyB,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,IAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAChB,KAAwC,EACxC,YAAoB,EACpB,QAA2B,EAC3B,WAA8B,EAAE;IAEhC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,IAAI,CACF,0BAA0B,EAC1B,GAAG,YAAY,IAAI,GAAG,EAAE,EACxB,0BAA0B,CAC3B,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;YAC/B,IAAI,CACF,0BAA0B,EAC1B,GAAG,YAAY,IAAI,GAAG,EAAE,EACxB,+BAA+B,CAChC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,SAAsC;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACrD,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAChD,IAAI,CACF,sBAAsB,EACtB,cAAc,KAAK,OAAO,EAC1B,+BAA+B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,GAAG,CACnE,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAoB,EACpB,YAAoB,EACpB,KAAa;IAEb,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9B,IACE,QAAQ,KAAK,SAAS;YACtB,OAAO,KAAK,SAAS;YACrB,aAAa,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAClD,CAAC;YACD,IAAI,CACF,sBAAsB,EACtB,GAAG,YAAY,IAAI,KAAK,QAAQ,EAChC,GAAG,KAAK,uBAAuB,CAChC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,IAAiB,EAAE,KAAkB;IAC1D,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC9C,gBAAgB,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAoB,EAAE,KAAqB;IACnE,OAAO,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,IAAI,CACX,IAA8B,EAC9B,YAAoB,EACpB,OAAe;IAEf,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;AAC1D,CAAC"}

package/dist/src/form-index.d.ts

@@ -0,0 +1,8 @@
+import { type ContentDigest, type FormIndex } from "./form-index-types.js";
+export type { ContentDigest, DocumentInspection, DynamicReason, FormActionEvidence, FormDocumentFact, FormIndex, FormIndexFailureCode, IndexedControlFact, IndexedEvidence, IndexedFormFact, UnsupportedReason, } from "./form-index-types.js";
+export { FormIndexFailure } from "./form-index-types.js";
+export declare function createContentDigest(source: string | Uint8Array): ContentDigest;
+export declare function serializeFormIndex(value: unknown): string;
+export declare function parseFormIndex(text: string): FormIndex;
+export declare function verifyFormIndexContent(value: unknown, sourceForPath: (path: string) => string | Uint8Array | undefined): FormIndex;
+//# sourceMappingURL=form-index.d.ts.map

package/dist/src/form-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"form-index.d.ts","sourceRoot":"","sources":["../../src/form-index.ts"],"names":[],"mappings":"AAIA,OAAO,EAEL,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,uBAAuB,CAAC;AAG/B,YAAY,EACV,aAAa,EACb,kBAAkB,EAClB,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,SAAS,EACT,oBAAoB,EACpB,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,iBAAiB,GAClB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,GAAG,UAAU,GAC1B,aAAa,CAEf;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAGzD;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAqBtD;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,OAAO,EACd,aAAa,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,UAAU,GAAG,SAAS,GAC/D,SAAS,CAqBX"}

package/dist/src/form-index.js

@@ -0,0 +1,94 @@
+import { createHash } from "node:crypto";
+import { FormIndexFailure, } from "./form-index-types.js";
+import { canonicalizeFormIndex } from "./form-index-validation.js";
+export { FormIndexFailure } from "./form-index-types.js";
+export function createContentDigest(source) {
+    return `sha256:${createHash("sha256").update(source).digest("hex")}`;
+}
+export function serializeFormIndex(value) {
+    const canonical = canonicalizeFormIndex(value);
+    return `${JSON.stringify(canonical, null, 2)}\n`;
+}
+export function parseFormIndex(text) {
+    let value;
+    try {
+        value = JSON.parse(text);
+    }
+    catch {
+        throw new FormIndexFailure("form_index.json_invalid", "", "FormIndex must be strict JSON.");
+    }
+    const canonical = canonicalizeFormIndex(value);
+    if (serializeFormIndex(canonical) !== text) {
+        throw new FormIndexFailure("form_index.noncanonical", "", "FormIndex JSON is not in canonical form.");
+    }
+    return canonical;
+}
+export function verifyFormIndexContent(value, sourceForPath) {
+    const canonical = canonicalizeFormIndex(value);
+    for (const [index, document] of canonical.documents.entries()) {
+        const source = sourceForPath(document.path);
+        if (source === undefined) {
+            throw new FormIndexFailure("form_index.source_missing", `/documents/${index}/path`, "Indexed source document is missing.");
+        }
+        if (createContentDigest(source) !== document.contentDigest) {
+            throw new FormIndexFailure("form_index.digest_mismatch", `/documents/${index}/contentDigest`, "Indexed source digest does not match the current source bytes.");
+        }
+        verifyDocumentRanges(document, source, `/documents/${index}`);
+    }
+    return canonical;
+}
+function verifyDocumentRanges(document, source, instancePath) {
+    const text = sourceText(source, instancePath);
+    const lines = text.split(/\r\n|\n|\r/u);
+    const ranges = [];
+    if (document.inspection.state === "incomplete" && document.inspection.range !== undefined) {
+        ranges.push({
+            instancePath: `${instancePath}/inspection/range`,
+            range: document.inspection.range,
+        });
+    }
+    document.forms.forEach((form, formIndex) => {
+        const formPath = `${instancePath}/forms/${formIndex}`;
+        ranges.push({ instancePath: `${formPath}/range`, range: form.range });
+        pushEvidenceRange(ranges, `${formPath}/identity`, form.identity);
+        pushEvidenceRange(ranges, `${formPath}/method`, form.method);
+        pushEvidenceRange(ranges, `${formPath}/action`, form.action);
+        form.controls.forEach((control, controlIndex) => {
+            const controlPath = `${formPath}/controls/${controlIndex}`;
+            ranges.push({ instancePath: `${controlPath}/range`, range: control.range });
+            pushEvidenceRange(ranges, `${controlPath}/name`, control.name);
+            pushEvidenceRange(ranges, `${controlPath}/controlKind`, control.controlKind);
+            pushEvidenceRange(ranges, `${controlPath}/inputType`, control.inputType);
+            pushEvidenceRange(ranges, `${controlPath}/multiple`, control.multiple);
+            pushEvidenceRange(ranges, `${controlPath}/multiplicity`, control.multiplicity);
+            pushEvidenceRange(ranges, `${controlPath}/successful`, control.successful);
+        });
+    });
+    for (const entry of ranges) {
+        assertPositionWithinSource(entry.range.start, lines, `${entry.instancePath}/start`);
+        assertPositionWithinSource(entry.range.end, lines, `${entry.instancePath}/end`);
+    }
+}
+function pushEvidenceRange(ranges, instancePath, evidence) {
+    if (evidence.range !== undefined) {
+        ranges.push({ instancePath: `${instancePath}/range`, range: evidence.range });
+    }
+}
+function assertPositionWithinSource(position, lines, instancePath) {
+    const line = lines[position.line];
+    if (line === undefined || position.character > line.length) {
+        throw new FormIndexFailure("form_index.range_invalid", instancePath, "Indexed range falls outside the bound source document.");
+    }
+}
+function sourceText(source, instancePath) {
+    if (typeof source === "string") {
+        return source;
+    }
+    try {
+        return new TextDecoder("utf-8", { fatal: true }).decode(source);
+    }
+    catch {
+        throw new FormIndexFailure("form_index.source_encoding_invalid", instancePath, "Indexed source bytes must be valid UTF-8.");
+    }
+}
+//# sourceMappingURL=form-index.js.map

package/dist/src/form-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"form-index.js","sourceRoot":"","sources":["../../src/form-index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAIzC,OAAO,EACL,gBAAgB,GAGjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAenE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,MAAM,UAAU,mBAAmB,CACjC,MAA2B;IAE3B,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,gBAAgB,CACxB,yBAAyB,EACzB,EAAE,EACF,gCAAgC,CACjC,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,kBAAkB,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,MAAM,IAAI,gBAAgB,CACxB,yBAAyB,EACzB,EAAE,EACF,0CAA0C,CAC3C,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAAc,EACd,aAAgE;IAEhE,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC/C,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,gBAAgB,CACxB,2BAA2B,EAC3B,cAAc,KAAK,OAAO,EAC1B,qCAAqC,CACtC,CAAC;QACJ,CAAC;QACD,IAAI,mBAAmB,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,aAAa,EAAE,CAAC;YAC3D,MAAM,IAAI,gBAAgB,CACxB,4BAA4B,EAC5B,cAAc,KAAK,gBAAgB,EACnC,gEAAgE,CACjE,CAAC;QACJ,CAAC;QACD,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,KAAK,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAwC,EACxC,MAA2B,EAC3B,YAAoB;IAEpB,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACxC,MAAM,MAAM,GAGP,EAAE,CAAC;IAER,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,KAAK,YAAY,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1F,MAAM,CAAC,IAAI,CAAC;YACV,YAAY,EAAE,GAAG,YAAY,mBAAmB;YAChD,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK;SACjC,CAAC,CAAC;IACL,CAAC;IACD,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;QACzC,MAAM,QAAQ,GAAG,GAAG,YAAY,UAAU,SAAS,EAAE,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,GAAG,QAAQ,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACtE,iBAAiB,CAAC,MAAM,EAAE,GAAG,QAAQ,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjE,iBAAiB,CAAC,MAAM,EAAE,GAAG,QAAQ,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7D,iBAAiB,CAAC,MAAM,EAAE,GAAG,QAAQ,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7D,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE;YAC9C,MAAM,WAAW,GAAG,GAAG,QAAQ,aAAa,YAAY,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,GAAG,WAAW,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5E,iBAAiB,CAAC,MAAM,EAAE,GAAG,WAAW,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/D,iBAAiB,CAAC,MAAM,EAAE,GAAG,WAAW,cAAc,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;YAC7E,iBAAiB,CAAC,MAAM,EAAE,GAAG,WAAW,YAAY,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YACzE,iBAAiB,CAAC,MAAM,EAAE,GAAG,WAAW,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;YACvE,iBAAiB,CAAC,MAAM,EAAE,GAAG,WAAW,eAAe,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;YAC/E,iBAAiB,CAAC,MAAM,EAAE,GAAG,WAAW,aAAa,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,0BAA0B,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,YAAY,QAAQ,CAAC,CAAC;QACpF,0BAA0B,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,YAAY,MAAM,CAAC,CAAC;IAClF,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,MAA6E,EAC7E,YAAoB,EACpB,QAA0C;IAE1C,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,GAAG,YAAY,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,QAAwB,EACxB,KAAwB,EACxB,YAAoB;IAEpB,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3D,MAAM,IAAI,gBAAgB,CACxB,0BAA0B,EAC1B,YAAY,EACZ,wDAAwD,CACzD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAA2B,EAAE,YAAoB;IACnE,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC;QACH,OAAO,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAClE,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,gBAAgB,CACxB,oCAAoC,EACpC,YAAY,EACZ,2CAA2C,CAC5C,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/src/form-rule.d.ts

@@ -0,0 +1,9 @@
+import type { Diagnostic, FeatureContract } from "@0disoft/mensor-contract";
+import type { FormIndex } from "./form-index.js";
+export declare function checkFeatureForms(options: {
+    readonly featureContractPath: string;
+    readonly featureText: string;
+    readonly feature: FeatureContract;
+    readonly formIndex: FormIndex;
+}): readonly Diagnostic[];
+//# sourceMappingURL=form-rule.d.ts.map

package/dist/src/form-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"form-rule.d.ts","sourceRoot":"","sources":["../../src/form-rule.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,UAAU,EACV,eAAe,EAOhB,MAAM,0BAA0B,CAAC;AAIlC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAejD,wBAAgB,iBAAiB,CAAC,OAAO,EAAE;IACzC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B,GAAG,SAAS,UAAU,EAAE,CAsLxB"}