@0disoft/mensor-compiler 0.1.0

package/dist/src/html-forms.js

@@ -0,0 +1,275 @@
+import { parse, } from "parse5";
+import { createContentDigest, parseFormIndex, serializeFormIndex, verifyFormIndexContent, } from "./form-index.js";
+import { compareText } from "./paths.js";
+const staticHtmlSourceKind = "mensor/static-html";
+const formControlTagNames = ["button", "input", "select", "textarea"];
+export function createStaticHtmlFormIndexProvider(options) {
+    const documents = new Map();
+    const sources = new Map();
+    async function getDocument(documentPath) {
+        let document = documents.get(documentPath);
+        if (document === undefined) {
+            const extract = async () => {
+                const source = options.timing === undefined
+                    ? await options.readSource(documentPath)
+                    : await options.timing.measure("templateRead", () => options.readSource(documentPath));
+                sources.set(documentPath, source);
+                options.timing?.recordTemplateSource(source);
+                return options.timing === undefined
+                    ? extractStaticHtmlFormDocument(documentPath, source)
+                    : options.timing.measureSync("templateExtraction", () => extractStaticHtmlFormDocument(documentPath, source));
+            };
+            document = extract();
+            documents.set(documentPath, document);
+        }
+        return document;
+    }
+    return {
+        async getIndex(documentPaths) {
+            const uniquePaths = [...new Set(documentPaths)].sort(compareText);
+            const indexedDocuments = [];
+            for (const documentPath of uniquePaths) {
+                indexedDocuments.push(await getDocument(documentPath));
+            }
+            const validate = () => {
+                const serialized = serializeFormIndex({
+                    schemaVersion: 1,
+                    producer: {
+                        name: staticHtmlSourceKind,
+                        version: options.producerVersion,
+                    },
+                    documents: indexedDocuments,
+                });
+                const parsed = parseFormIndex(serialized);
+                return verifyFormIndexContent(parsed, (documentPath) => sources.get(documentPath));
+            };
+            return options.timing === undefined
+                ? validate()
+                : options.timing.measureSync("formIndexValidation", validate);
+        },
+    };
+}
+export function extractStaticHtmlFormDocument(documentPath, html) {
+    const document = parse(html, { sourceCodeLocationInfo: true });
+    const elements = [];
+    collectElements(document.childNodes, elements);
+    const forms = elements.filter((element) => element.tagName === "form");
+    const controls = elements.filter(isFormControl);
+    return {
+        path: documentPath,
+        contentDigest: createContentDigest(html),
+        sourceKind: staticHtmlSourceKind,
+        inspection: { state: "complete" },
+        forms: forms.map((form) => indexedFormFact(form, forms, controls)),
+    };
+}
+function indexedFormFact(form, forms, controls) {
+    const ownedControls = controls.filter((control) => associatedForm(control, forms) === form);
+    return {
+        identity: stringAttributeEvidence(form, "id"),
+        method: methodEvidence(form),
+        action: actionEvidence(form),
+        range: elementStartTagRange(form),
+        controls: ownedControls.map((control) => indexedControlFact(control, ownedControls)),
+    };
+}
+function indexedControlFact(control, ownedControls) {
+    const range = elementStartTagRange(control);
+    const inputType = controlInputType(control);
+    return {
+        name: stringAttributeEvidence(control, "name"),
+        controlKind: known(control.tagName, range),
+        inputType: known(inputType, range),
+        multiple: known(attribute(control, "multiple") !== null, range),
+        multiplicity: known(controlMultiplicity(control, ownedControls), range),
+        successful: successfulEvidence(control, inputType, range),
+        range,
+    };
+}
+function methodEvidence(form) {
+    const value = attribute(form, "method");
+    const range = elementAttributeRange(form, "method");
+    return value === null
+        ? { state: "absent", range }
+        : known(asciiLowercase(value), range);
+}
+function actionEvidence(form) {
+    const value = attribute(form, "action");
+    const range = elementAttributeRange(form, "action");
+    return value === null || value.length === 0
+        ? { state: "current-document", range }
+        : known(value, range);
+}
+function stringAttributeEvidence(element, name) {
+    const value = attribute(element, name);
+    const range = elementAttributeRange(element, name);
+    return value === null || value.length === 0
+        ? { state: "absent", range }
+        : known(value, range);
+}
+function successfulEvidence(control, inputType, range) {
+    if (isEffectivelyDisabled(control)) {
+        return known(false, range);
+    }
+    const unsupportedReason = unsupportedControlReason(control, inputType);
+    if (unsupportedReason !== undefined) {
+        return {
+            state: "unsupported",
+            reason: unsupportedReason,
+            range,
+        };
+    }
+    return known(isSuccessfulFieldCandidate(control), range);
+}
+function unsupportedControlReason(control, inputType) {
+    const name = attribute(control, "name") ?? "";
+    const isSubmitter = control.tagName === "button" ||
+        (control.tagName === "input" && ["image", "submit"].includes(inputType));
+    if (isSubmitter &&
+        (attribute(control, "formaction") !== null ||
+            attribute(control, "formmethod") !== null)) {
+        return "submitter-route-override";
+    }
+    if (isSubmitter && name.length > 0) {
+        return "named-submitter";
+    }
+    if (control.tagName === "input" && inputType === "file" && name.length > 0) {
+        return "file-input";
+    }
+    return undefined;
+}
+function controlMultiplicity(control, ownedControls) {
+    const name = attribute(control, "name");
+    if (name === null || name.length === 0 || !isSuccessfulFieldCandidate(control)) {
+        return "scalar";
+    }
+    const group = ownedControls.filter((candidate) => attribute(candidate, "name") === name &&
+        isSuccessfulFieldCandidate(candidate));
+    if (group.length > 0 &&
+        group.every((candidate) => candidate.tagName === "input" && controlInputType(candidate) === "radio")) {
+        return "mutually-exclusive";
+    }
+    if ((control.tagName === "select" && attribute(control, "multiple") !== null) ||
+        group.length > 1) {
+        return "repeated";
+    }
+    return "scalar";
+}
+function known(value, range) {
+    return { state: "known", value, range };
+}
+function controlInputType(element) {
+    if (element.tagName === "input") {
+        return asciiLowercase(attribute(element, "type") ?? "text");
+    }
+    if (element.tagName === "button") {
+        return asciiLowercase(attribute(element, "type") ?? "submit");
+    }
+    return "";
+}
+function asciiLowercase(value) {
+    return value.replace(/[A-Z]/gu, (character) => String.fromCharCode(character.charCodeAt(0) + 32));
+}
+function collectElements(nodes, result) {
+    for (const node of nodes) {
+        if (!("tagName" in node)) {
+            continue;
+        }
+        result.push(node);
+        collectElements(node.childNodes, result);
+    }
+}
+function isFormControl(element) {
+    return formControlTagNames.some((tagName) => tagName === element.tagName);
+}
+function isSuccessfulFieldCandidate(element) {
+    if (isEffectivelyDisabled(element) || element.tagName === "button") {
+        return false;
+    }
+    if (element.tagName !== "input") {
+        return true;
+    }
+    const type = controlInputType(element);
+    return !["button", "file", "image", "reset", "submit"].includes(type);
+}
+function isEffectivelyDisabled(element) {
+    if (attribute(element, "disabled") !== null) {
+        return true;
+    }
+    let parent = element.parentNode;
+    while (parent !== null) {
+        if ("tagName" in parent &&
+            parent.tagName === "fieldset" &&
+            attribute(parent, "disabled") !== null) {
+            const firstLegend = parent.childNodes.find((child) => "tagName" in child && child.tagName === "legend");
+            if (firstLegend === undefined || !isDescendantOf(element, firstLegend)) {
+                return true;
+            }
+        }
+        parent = "parentNode" in parent ? parent.parentNode : null;
+    }
+    return false;
+}
+function isDescendantOf(element, ancestor) {
+    let parent = element.parentNode;
+    while (parent !== null) {
+        if (parent === ancestor) {
+            return true;
+        }
+        parent = "parentNode" in parent ? parent.parentNode : null;
+    }
+    return false;
+}
+function associatedForm(control, forms) {
+    const explicitForm = attribute(control, "form");
+    if (explicitForm !== null) {
+        return forms.find((form) => attribute(form, "id") === explicitForm);
+    }
+    let parent = control.parentNode;
+    while (parent !== null) {
+        if ("tagName" in parent && parent.tagName === "form") {
+            return parent;
+        }
+        parent = "parentNode" in parent ? parent.parentNode : null;
+    }
+    return undefined;
+}
+function attribute(element, name) {
+    return element.attrs.find((entry) => entry.name === name)?.value ?? null;
+}
+function elementStartTagRange(element) {
+    const location = element.sourceCodeLocation?.startTag ?? element.sourceCodeLocation;
+    if (location === undefined || location === null) {
+        return {
+            start: { line: 0, character: 0 },
+            end: { line: 0, character: 0 },
+        };
+    }
+    return {
+        start: {
+            line: location.startLine - 1,
+            character: location.startCol - 1,
+        },
+        end: {
+            line: location.endLine - 1,
+            character: location.endCol - 1,
+        },
+    };
+}
+function elementAttributeRange(element, name) {
+    const location = element.sourceCodeLocation?.attrs?.[name];
+    if (location === undefined) {
+        return elementStartTagRange(element);
+    }
+    return {
+        start: {
+            line: location.startLine - 1,
+            character: location.startCol - 1,
+        },
+        end: {
+            line: location.endLine - 1,
+            character: location.endCol - 1,
+        },
+    };
+}
+//# sourceMappingURL=html-forms.js.map

package/dist/src/html-forms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"html-forms.js","sourceRoot":"","sources":["../../src/html-forms.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,GAEN,MAAM,QAAQ,CAAC;AAKhB,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,kBAAkB,EAClB,sBAAsB,GAOvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,oBAAoB,GAAG,oBAAoB,CAAC;AAClD,MAAM,mBAAmB,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAU,CAAC;AAY/E,MAAM,UAAU,iCAAiC,CAAC,OAIjD;IACC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC/D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE1C,KAAK,UAAU,WAAW,CAAC,YAAoB;QAC7C,IAAI,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,KAAK,IAA+B,EAAE;gBACpD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,SAAS;oBACzC,CAAC,CAAC,MAAM,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC;oBACxC,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,CAAC,OAAO,CAC1B,cAAc,EACd,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CACvC,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;gBAClC,OAAO,CAAC,MAAM,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC;gBAC7C,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS;oBACjC,CAAC,CAAC,6BAA6B,CAAC,YAAY,EAAE,MAAM,CAAC;oBACrD,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CACxB,oBAAoB,EACpB,GAAG,EAAE,CAAC,6BAA6B,CAAC,YAAY,EAAE,MAAM,CAAC,CAC1D,CAAC;YACR,CAAC,CAAC;YACF,QAAQ,GAAG,OAAO,EAAE,CAAC;YACrB,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,OAAO;QACL,KAAK,CAAC,QAAQ,CAAC,aAAa;YAC1B,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAClE,MAAM,gBAAgB,GAAuB,EAAE,CAAC;YAChD,KAAK,MAAM,YAAY,IAAI,WAAW,EAAE,CAAC;gBACvC,gBAAgB,CAAC,IAAI,CAAC,MAAM,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;YACzD,CAAC;YACD,MAAM,QAAQ,GAAG,GAAc,EAAE;gBAC/B,MAAM,UAAU,GAAG,kBAAkB,CAAC;oBACpC,aAAa,EAAE,CAAC;oBAChB,QAAQ,EAAE;wBACR,IAAI,EAAE,oBAAoB;wBAC1B,OAAO,EAAE,OAAO,CAAC,eAAe;qBACjC;oBACD,SAAS,EAAE,gBAAgB;iBAC5B,CAAC,CAAC;gBACH,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;gBAC1C,OAAO,sBAAsB,CAAC,MAAM,EAAE,CAAC,YAAY,EAAE,EAAE,CACrD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAC1B,CAAC;YACJ,CAAC,CAAC;YACF,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS;gBACjC,CAAC,CAAC,QAAQ,EAAE;gBACZ,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,qBAAqB,EAAE,QAAQ,CAAC,CAAC;QAClE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,YAAoB,EACpB,IAAY;IAEZ,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAsC,EAAE,CAAC;IACvD,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAEhD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,aAAa,EAAE,mBAAmB,CAAC,IAAI,CAAC;QACxC,UAAU,EAAE,oBAAoB;QAChC,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE;QACjC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,IAAqC,EACrC,KAAiD,EACjD,QAAuC;IAEvC,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CACnC,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,IAAI,CACrD,CAAC;IACF,OAAO;QACL,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC;QAC7C,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC;QAC5B,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC;QAC5B,KAAK,EAAE,oBAAoB,CAAC,IAAI,CAAC;QACjC,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACtC,kBAAkB,CAAC,OAAO,EAAE,aAAa,CAAC,CAC3C;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,OAA2B,EAC3B,aAA4C;IAE5C,MAAM,KAAK,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO;QACL,IAAI,EAAE,uBAAuB,CAAC,OAAO,EAAE,MAAM,CAAC;QAC9C,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC;QAC1C,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC;QAClC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,KAAK,CAAC;QAC/D,YAAY,EAAE,KAAK,CAAC,mBAAmB,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,KAAK,CAAC;QACvE,UAAU,EAAE,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC;QACzD,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,IAAqC;IAErC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpD,OAAO,KAAK,KAAK,IAAI;QACnB,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;QAC5B,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,cAAc,CACrB,IAAqC;IAErC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpD,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACzC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE;QACtC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAwC,EACxC,IAAY;IAEZ,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACnD,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACzC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;QAC5B,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAwC,EACxC,SAAiB,EACjB,KAAkB;IAElB,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACvE,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO;YACL,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,iBAAiB;YACzB,KAAK;SACN,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAwC,EACxC,SAAiB;IAEjB,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,WAAW,GACf,OAAO,CAAC,OAAO,KAAK,QAAQ;QAC5B,CAAC,OAAO,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IAC3E,IACE,WAAW;QACX,CAAC,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC,KAAK,IAAI;YACxC,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC,KAAK,IAAI,CAAC,EAC5C,CAAC;QACD,OAAO,0BAA0B,CAAC;IACpC,CAAC;IACD,IAAI,WAAW,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,OAAO,IAAI,SAAS,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3E,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAA2B,EAC3B,aAA4C;IAE5C,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/E,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAChC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,IAAI;QACrC,0BAA0B,CAAC,SAAS,CAAC,CACxC,CAAC;IACF,IACE,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,CAAC,KAAK,CACT,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,OAAO,KAAK,OAAO,IAAI,gBAAgB,CAAC,SAAS,CAAC,KAAK,OAAO,CAC3E,EACD,CAAC;QACD,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IACE,CAAC,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,IAAI,CAAC;QACzE,KAAK,CAAC,MAAM,GAAG,CAAC,EAChB,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,KAAK,CAAI,KAAQ,EAAE,KAAkB;IAC5C,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAwC;IAChE,IAAI,OAAO,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO,cAAc,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,cAAc,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,SAAS,EAAE,EAAE,CAC5C,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAClD,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,KAAmD,EACnD,MAAyC;IAEzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,OAAwC;IAExC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAwC;IAExC,IAAI,qBAAqB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACnE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACvC,OAAO,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAwC;IACrE,IAAI,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;IAChC,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;QACvB,IACE,SAAS,IAAI,MAAM;YACnB,MAAM,CAAC,OAAO,KAAK,UAAU;YAC7B,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,IAAI,EACtC,CAAC;YACD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CACxC,CAAC,KAAK,EAA4C,EAAE,CAClD,SAAS,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CACnD,CAAC;YACF,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;gBACvE,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,MAAM,GAAG,YAAY,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CACrB,OAAwC,EACxC,QAAyC;IAEzC,IAAI,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;IAChC,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,GAAG,YAAY,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CACrB,OAAwC,EACxC,KAAiD;IAEjD,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,YAAY,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;IAChC,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,SAAS,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;YACrD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,GAAG,YAAY,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAChB,OAAwC,EACxC,IAAY;IAEZ,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC;AAC3E,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAAwC;IAExC,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,EAAE,QAAQ,IAAI,OAAO,CAAC,kBAAkB,CAAC;IACpF,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO;YACL,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;YAChC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;SAC/B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;YAC5B,SAAS,EAAE,QAAQ,CAAC,QAAQ,GAAG,CAAC;SACjC;QACD,GAAG,EAAE;YACH,IAAI,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC;YAC1B,SAAS,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC;SAC/B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAwC,EACxC,IAAY;IAEZ,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IACD,OAAO;QACL,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;YAC5B,SAAS,EAAE,QAAQ,CAAC,QAAQ,GAAG,CAAC;SACjC;QACD,GAAG,EAAE;YACH,IAAI,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC;YAC1B,SAAS,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC;SAC/B;KACF,CAAC;AACJ,CAAC"}

package/dist/src/index.d.ts

@@ -0,0 +1,3 @@
+export { checkProject } from "./check-project.js";
+export type { CheckProjectFailure, CheckProjectOptions, CheckProjectResult, CheckProjectSuccess, CompilerFailure, } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,YAAY,EACV,mBAAmB,EACnB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,GAChB,MAAM,YAAY,CAAC"}

package/dist/src/index.js

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

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/src/locations.d.ts

@@ -0,0 +1,12 @@
+import type { SourceRange } from "@0disoft/mensor-contract";
+export declare function handlerFileRange(contractText: string, actionIndex: number): SourceRange;
+export declare function handlerExportRange(contractText: string, actionIndex: number): SourceRange;
+export declare function actionSchemaPropertyRange(contractText: string, actionIndex: number, propertyName: string): SourceRange;
+export declare function actionFormCodecPropertyRange(contractText: string, actionIndex: number, propertyName: string): SourceRange;
+export declare function actionRoutePropertyRange(contractText: string, actionIndex: number, propertyName: "method" | "path"): SourceRange;
+export declare function actionFormPropertyRange(contractText: string, actionIndex: number, propertyName: "documentPath" | "id" | "template"): SourceRange;
+export declare function actionBindingDecoderKindRange(contractText: string, actionIndex: number, bindingIndex: number): SourceRange;
+export declare function projectBoundaryRange(contractText: string, boundaryIndex: number): SourceRange;
+export declare function projectOwnershipRuleRange(contractText: string, ruleIndex: number): SourceRange;
+export declare function projectRouteIndexRange(contractText: string): SourceRange;
+//# sourceMappingURL=locations.d.ts.map

package/dist/src/locations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"locations.d.ts","sourceRoot":"","sources":["../../src/locations.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAkB,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAO5E,wBAAgB,gBAAgB,CAC9B,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,GAClB,WAAW,CAOb;AAED,wBAAgB,kBAAkB,CAChC,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,GAClB,WAAW,CAYb;AAED,wBAAgB,yBAAyB,CACvC,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,GACnB,WAAW,CAsBb;AAED,wBAAgB,4BAA4B,CAC1C,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,GACnB,WAAW,CAab;AAED,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,QAAQ,GAAG,MAAM,GAC9B,WAAW,CAYb;AAED,wBAAgB,uBAAuB,CACrC,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,cAAc,GAAG,IAAI,GAAG,UAAU,GAC/C,WAAW,CAYb;AAED,wBAAgB,6BAA6B,CAC3C,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,GACnB,WAAW,CAgBb;AAED,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,MAAM,GACpB,WAAW,CAOb;AAED,wBAAgB,yBAAyB,CACvC,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAChB,WAAW,CAOb;AAED,wBAAgB,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,WAAW,CAOxE"}

package/dist/src/locations.js

@@ -0,0 +1,148 @@
+import { findNodeAtLocation, parseTree, } from "jsonc-parser";
+const zeroRange = {
+    start: { line: 0, character: 0 },
+    end: { line: 0, character: 0 },
+};
+export function handlerFileRange(contractText, actionIndex) {
+    const root = parseTree(contractText);
+    if (root === undefined) {
+        return zeroRange;
+    }
+    const node = findNodeAtLocation(root, ["actions", actionIndex, "handler", "file"]);
+    return node === undefined ? zeroRange : nodeRange(contractText, node);
+}
+export function handlerExportRange(contractText, actionIndex) {
+    const root = parseTree(contractText);
+    if (root === undefined) {
+        return zeroRange;
+    }
+    const node = findNodeAtLocation(root, [
+        "actions",
+        actionIndex,
+        "handler",
+        "export",
+    ]);
+    return node === undefined ? zeroRange : nodeRange(contractText, node);
+}
+export function actionSchemaPropertyRange(contractText, actionIndex, propertyName) {
+    const root = parseTree(contractText);
+    if (root === undefined) {
+        return zeroRange;
+    }
+    const properties = findNodeAtLocation(root, [
+        "actions",
+        actionIndex,
+        "input",
+        "schema",
+        "properties",
+    ]);
+    if (properties?.type !== "object") {
+        return zeroRange;
+    }
+    for (const property of properties.children ?? []) {
+        const key = property.children?.[0];
+        if (key?.type === "string" && key.value === propertyName) {
+            return nodeRange(contractText, key);
+        }
+    }
+    return zeroRange;
+}
+export function actionFormCodecPropertyRange(contractText, actionIndex, propertyName) {
+    const root = parseTree(contractText);
+    if (root === undefined) {
+        return zeroRange;
+    }
+    const node = findNodeAtLocation(root, [
+        "actions",
+        actionIndex,
+        "input",
+        "formCodec",
+        propertyName,
+    ]);
+    return node === undefined ? zeroRange : nodeRange(contractText, node);
+}
+export function actionRoutePropertyRange(contractText, actionIndex, propertyName) {
+    const root = parseTree(contractText);
+    if (root === undefined) {
+        return zeroRange;
+    }
+    const node = findNodeAtLocation(root, [
+        "actions",
+        actionIndex,
+        "route",
+        propertyName,
+    ]);
+    return node === undefined ? zeroRange : nodeRange(contractText, node);
+}
+export function actionFormPropertyRange(contractText, actionIndex, propertyName) {
+    const root = parseTree(contractText);
+    if (root === undefined) {
+        return zeroRange;
+    }
+    const node = findNodeAtLocation(root, [
+        "actions",
+        actionIndex,
+        "form",
+        propertyName,
+    ]);
+    return node === undefined ? zeroRange : nodeRange(contractText, node);
+}
+export function actionBindingDecoderKindRange(contractText, actionIndex, bindingIndex) {
+    const root = parseTree(contractText);
+    if (root === undefined) {
+        return zeroRange;
+    }
+    const node = findNodeAtLocation(root, [
+        "actions",
+        actionIndex,
+        "input",
+        "formCodec",
+        "bindings",
+        bindingIndex,
+        "decode",
+        "kind",
+    ]);
+    return node === undefined ? zeroRange : nodeRange(contractText, node);
+}
+export function projectBoundaryRange(contractText, boundaryIndex) {
+    const root = parseTree(contractText);
+    if (root === undefined) {
+        return zeroRange;
+    }
+    const node = findNodeAtLocation(root, ["boundaries", boundaryIndex]);
+    return node === undefined ? zeroRange : nodeRange(contractText, node);
+}
+export function projectOwnershipRuleRange(contractText, ruleIndex) {
+    const root = parseTree(contractText);
+    if (root === undefined) {
+        return zeroRange;
+    }
+    const node = findNodeAtLocation(root, ["ownershipRules", ruleIndex]);
+    return node === undefined ? zeroRange : nodeRange(contractText, node);
+}
+export function projectRouteIndexRange(contractText) {
+    const root = parseTree(contractText);
+    if (root === undefined) {
+        return zeroRange;
+    }
+    const node = findNodeAtLocation(root, ["routeIndex"]);
+    return node === undefined ? zeroRange : nodeRange(contractText, node);
+}
+function nodeRange(text, node) {
+    return {
+        start: positionAt(text, node.offset),
+        end: positionAt(text, node.offset + node.length),
+    };
+}
+function positionAt(text, offset) {
+    let line = 0;
+    let lineStart = 0;
+    for (let index = 0; index < offset; index += 1) {
+        if (text.charCodeAt(index) === 10) {
+            line += 1;
+            lineStart = index + 1;
+        }
+    }
+    return { line, character: offset - lineStart };
+}
+//# sourceMappingURL=locations.js.map

package/dist/src/locations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"locations.js","sourceRoot":"","sources":["../../src/locations.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,SAAS,GAEV,MAAM,cAAc,CAAC;AAItB,MAAM,SAAS,GAAgB;IAC7B,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;IAChC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;CAC/B,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAC9B,YAAoB,EACpB,WAAmB;IAEnB,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IACnF,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,YAAoB,EACpB,WAAmB;IAEnB,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE;QACpC,SAAS;QACT,WAAW;QACX,SAAS;QACT,QAAQ;KACT,CAAC,CAAC;IACH,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,YAAoB,EACpB,WAAmB,EACnB,YAAoB;IAEpB,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,EAAE;QAC1C,SAAS;QACT,WAAW;QACX,OAAO;QACP,QAAQ;QACR,YAAY;KACb,CAAC,CAAC;IACH,IAAI,UAAU,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YACzD,OAAO,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,YAAoB,EACpB,WAAmB,EACnB,YAAoB;IAEpB,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE;QACpC,SAAS;QACT,WAAW;QACX,OAAO;QACP,WAAW;QACX,YAAY;KACb,CAAC,CAAC;IACH,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,YAAoB,EACpB,WAAmB,EACnB,YAA+B;IAE/B,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE;QACpC,SAAS;QACT,WAAW;QACX,OAAO;QACP,YAAY;KACb,CAAC,CAAC;IACH,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,YAAoB,EACpB,WAAmB,EACnB,YAAgD;IAEhD,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE;QACpC,SAAS;QACT,WAAW;QACX,MAAM;QACN,YAAY;KACb,CAAC,CAAC;IACH,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,YAAoB,EACpB,WAAmB,EACnB,YAAoB;IAEpB,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE;QACpC,SAAS;QACT,WAAW;QACX,OAAO;QACP,WAAW;QACX,UAAU;QACV,YAAY;QACZ,QAAQ;QACR,MAAM;KACP,CAAC,CAAC;IACH,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,YAAoB,EACpB,aAAqB;IAErB,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;IACrE,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,YAAoB,EACpB,SAAiB;IAEjB,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC,CAAC;IACrE,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,YAAoB;IACzD,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;IACtD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,IAAU;IACzC,OAAO;QACL,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;QACpC,GAAG,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;KACjD,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,MAAc;IAC9C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,CAAC;YACV,SAAS,GAAG,KAAK,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,EAAE,CAAC;AACjD,CAAC"}

package/dist/src/module-boundary-rule.d.ts

@@ -0,0 +1,12 @@
+import type { BoundaryContract, Diagnostic, FileRoleContract } from "@0disoft/mensor-contract";
+import type { SourceFactIndex } from "./source-fact-index.js";
+export declare function checkImportBoundaries(options: {
+    readonly projectContractPath: string;
+    readonly projectText: string;
+    readonly featureContractPaths: readonly string[];
+    readonly fileRoles: readonly FileRoleContract[];
+    readonly boundaries: readonly BoundaryContract[];
+    readonly discoveredFiles: readonly string[];
+    readonly sourceFacts: SourceFactIndex;
+}): Promise<readonly Diagnostic[]>;
+//# sourceMappingURL=module-boundary-rule.d.ts.map

package/dist/src/module-boundary-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-boundary-rule.d.ts","sourceRoot":"","sources":["../../src/module-boundary-rule.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACV,gBAAgB,EAIjB,MAAM,0BAA0B,CAAC;AAKlC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAmB9D,wBAAsB,qBAAqB,CAAC,OAAO,EAAE;IACnD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;CACvC,GAAG,OAAO,CAAC,SAAS,UAAU,EAAE,CAAC,CA4EjC"}