@0disoft/mensor-cli 0.2.0 → 0.9.0

package/dist/src/typescript-template-form-index.js

@@ -0,0 +1,301 @@
+import { createHash } from "node:crypto";
+import { lstat, open, realpath } from "node:fs/promises";
+import * as path from "node:path";
+import { extractStaticHtmlFormDocument } from "@0disoft/mensor-compiler";
+import { serializeFormIndex, } from "@0disoft/mensor-contract";
+import ts from "@typescript/typescript6";
+const maxSourceBytes = 1_048_576;
+const identifierPattern = /^[A-Za-z_$][A-Za-z0-9_$]*$/u;
+export class TypeScriptTemplateFormIndexError extends Error {
+    code;
+    file;
+    constructor(code, message, file) {
+        super(message);
+        this.code = code;
+        this.file = file;
+        this.name = "TypeScriptTemplateFormIndexError";
+    }
+}
+export async function produceTypeScriptTemplateFormIndex(options) {
+    if (options.sources.length === 0) {
+        throw new TypeScriptTemplateFormIndexError("form_indexer.source_required", "At least one root-relative TypeScript template source is required.");
+    }
+    if (options.tags.length === 0) {
+        throw new TypeScriptTemplateFormIndexError("form_indexer.tag_required", "At least one tagged-template identifier is required.");
+    }
+    const tags = new Set();
+    for (const tag of options.tags) {
+        if (!identifierPattern.test(tag)) {
+            throw new TypeScriptTemplateFormIndexError("form_indexer.tag_invalid", `Template tag ${JSON.stringify(tag)} must be a JavaScript identifier.`);
+        }
+        tags.add(tag);
+    }
+    const root = await realpath(options.root).catch(() => {
+        throw new TypeScriptTemplateFormIndexError("form_indexer.root_invalid", "The selected project root could not be resolved.");
+    });
+    const documents = [];
+    for (const sourcePath of [...new Set(options.sources.map(normalizeSourcePath))].sort(compareText)) {
+        const source = await readSource(root, sourcePath);
+        const extracted = extractDocument(sourcePath, source.text, source.digest, tags);
+        if (extracted.templateCount === 0) {
+            throw new TypeScriptTemplateFormIndexError("form_indexer.no_templates", "No selected tagged template was found in the explicit source file.", sourcePath);
+        }
+        documents.push(extracted.document);
+    }
+    const value = {
+        schemaVersion: 1,
+        producer: {
+            name: "mensor-typescript-template-form-indexer",
+            version: options.producerVersion,
+        },
+        documents,
+    };
+    try {
+        return { value, text: serializeFormIndex(value) };
+    }
+    catch (error) {
+        throw new TypeScriptTemplateFormIndexError("form_indexer.output_invalid", error instanceof Error ? error.message : "The produced FormIndex is invalid.");
+    }
+}
+function extractDocument(file, sourceText, digest, tags) {
+    const sourceFile = ts.createSourceFile(file, sourceText, ts.ScriptTarget.ES2022, true, scriptKind(file));
+    const diagnostics = sourceFileSyntaxDiagnostics(sourceFile, sourceText, file)
+        .filter((diagnostic) => diagnostic.category === ts.DiagnosticCategory.Error);
+    if (diagnostics.length > 0) {
+        throw new TypeScriptTemplateFormIndexError("form_indexer.source_syntax_invalid", "TypeScript template source contains syntax errors and cannot be indexed.", file);
+    }
+    const forms = [];
+    const dynamicRanges = [];
+    let templateCount = 0;
+    const nodes = [sourceFile];
+    while (nodes.length > 0) {
+        const node = nodes.pop();
+        if (node === undefined)
+            continue;
+        if (ts.isTaggedTemplateExpression(node)
+            && ts.isIdentifier(node.tag)
+            && tags.has(node.tag.text)) {
+            templateCount += 1;
+            const template = node.template;
+            if (!ts.isNoSubstitutionTemplateLiteral(template)) {
+                dynamicRanges.push(nodeRange(template, sourceFile));
+            }
+            else {
+                const contentStart = template.getStart(sourceFile) + 1;
+                const contentEnd = template.getEnd() - 1;
+                const html = sourceText.slice(contentStart, contentEnd);
+                const base = sourceFile.getLineAndCharacterOfPosition(contentStart);
+                const extracted = extractStaticHtmlFormDocument(file, html);
+                forms.push(...extracted.forms.map((form) => offsetForm(form, base)));
+            }
+        }
+        node.forEachChild((child) => {
+            nodes.push(child);
+        });
+    }
+    forms.sort((left, right) => compareRange(left.range, right.range));
+    dynamicRanges.sort(compareRange);
+    const dynamicRange = dynamicRanges[0];
+    return {
+        templateCount,
+        document: {
+            path: file,
+            contentDigest: digest,
+            sourceKind: "mensor/typescript-tagged-html",
+            inspection: dynamicRange === undefined
+                ? { state: "complete" }
+                : {
+                    state: "incomplete",
+                    reason: "dynamic-interpolation",
+                    range: dynamicRange,
+                },
+            forms,
+        },
+    };
+}
+function offsetForm(form, base) {
+    return {
+        identity: offsetEvidence(form.identity, base),
+        method: offsetEvidence(form.method, base),
+        action: form.action.state === "current-document"
+            ? { state: "current-document", range: offsetRange(form.action.range, base) }
+            : offsetEvidence(form.action, base),
+        range: offsetRange(form.range, base),
+        controls: form.controls.map((control) => offsetControl(control, base)),
+    };
+}
+function offsetControl(control, base) {
+    return {
+        name: offsetEvidence(control.name, base),
+        controlKind: offsetEvidence(control.controlKind, base),
+        inputType: offsetEvidence(control.inputType, base),
+        multiple: offsetEvidence(control.multiple, base),
+        multiplicity: offsetEvidence(control.multiplicity, base),
+        successful: offsetEvidence(control.successful, base),
+        range: offsetRange(control.range, base),
+    };
+}
+function offsetEvidence(evidence, base) {
+    if (evidence.state === "absent") {
+        return evidence.range === undefined
+            ? { state: "absent" }
+            : { state: "absent", range: offsetRange(evidence.range, base) };
+    }
+    if (evidence.state === "known") {
+        return {
+            state: "known",
+            value: evidence.value,
+            range: offsetRange(evidence.range, base),
+        };
+    }
+    return evidence.state === "dynamic"
+        ? {
+            state: "dynamic",
+            reason: evidence.reason,
+            range: offsetRange(evidence.range, base),
+        }
+        : {
+            state: "unsupported",
+            reason: evidence.reason,
+            range: offsetRange(evidence.range, base),
+        };
+}
+function offsetRange(range, base) {
+    return {
+        start: offsetPosition(range.start, base),
+        end: offsetPosition(range.end, base),
+    };
+}
+function offsetPosition(position, base) {
+    return {
+        line: base.line + position.line,
+        character: position.line === 0
+            ? base.character + position.character
+            : position.character,
+    };
+}
+function nodeRange(node, sourceFile) {
+    const start = sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile));
+    const end = sourceFile.getLineAndCharacterOfPosition(node.getEnd());
+    return {
+        start: { line: start.line, character: start.character },
+        end: { line: end.line, character: end.character },
+    };
+}
+async function readSource(root, relativePath) {
+    const absolutePath = path.resolve(root, relativePath);
+    if (!isWithin(root, absolutePath)) {
+        throw new TypeScriptTemplateFormIndexError("form_indexer.source_outside_root", "Template source resolves outside the selected project root.", relativePath);
+    }
+    await rejectSymbolicLinkComponents(root, absolutePath, relativePath);
+    let handle;
+    try {
+        handle = await open(absolutePath, "r");
+        const before = await handle.stat();
+        if (!before.isFile()) {
+            throw sourceFailure("form_indexer.source_not_file", "Template source must be a regular file.", relativePath);
+        }
+        if (before.size > maxSourceBytes) {
+            throw sourceFailure("form_indexer.source_too_large", `Template source exceeds ${maxSourceBytes} bytes.`, relativePath);
+        }
+        const bytes = Buffer.alloc(before.size + 1);
+        const { bytesRead } = await handle.read(bytes, 0, bytes.length, 0);
+        const after = await handle.stat();
+        if (bytesRead > maxSourceBytes || !sameFile(before, after)) {
+            throw sourceFailure("form_indexer.source_changed", "Template source changed while it was read.", relativePath);
+        }
+        const sourceBytes = bytes.subarray(0, bytesRead);
+        let text;
+        try {
+            text = new TextDecoder("utf-8", { fatal: true }).decode(sourceBytes);
+        }
+        catch {
+            throw sourceFailure("form_indexer.source_encoding_invalid", "Template source must be valid UTF-8.", relativePath);
+        }
+        return {
+            text,
+            digest: `sha256:${createHash("sha256").update(sourceBytes).digest("hex")}`,
+        };
+    }
+    catch (error) {
+        if (error instanceof TypeScriptTemplateFormIndexError)
+            throw error;
+        throw sourceFailure("form_indexer.source_read_failed", "Template source could not be read.", relativePath);
+    }
+    finally {
+        await handle?.close().catch(() => undefined);
+    }
+}
+async function rejectSymbolicLinkComponents(root, absolutePath, relativePath) {
+    const relative = path.relative(root, absolutePath);
+    let current = root;
+    for (const segment of relative.split(path.sep).filter(Boolean)) {
+        current = path.join(current, segment);
+        const stats = await lstat(current).catch(() => undefined);
+        if (stats === undefined) {
+            throw sourceFailure("form_indexer.source_read_failed", "Template source could not be read.", relativePath);
+        }
+        if (stats.isSymbolicLink()) {
+            throw sourceFailure("form_indexer.source_symlink", "Template source must not use symbolic-link components.", relativePath);
+        }
+    }
+}
+function normalizeSourcePath(value) {
+    if (value.length === 0
+        || path.isAbsolute(value)
+        || path.win32.isAbsolute(value)
+        || value.includes("\\")) {
+        throw sourceFailure("form_indexer.source_path_invalid", "Template source must be a root-relative POSIX path.", value);
+    }
+    const segments = value.split("/");
+    if (segments.some((segment) => segment === "" || segment === "." || segment === "..")) {
+        throw sourceFailure("form_indexer.source_path_invalid", "Template source path is not canonical.", value);
+    }
+    return value;
+}
+function sourceFailure(code, message, file) {
+    return new TypeScriptTemplateFormIndexError(code, message, file);
+}
+function sameFile(left, right) {
+    return left.dev === right.dev
+        && left.ino === right.ino
+        && left.size === right.size
+        && left.mtimeMs === right.mtimeMs
+        && left.ctimeMs === right.ctimeMs;
+}
+function isWithin(root, candidate) {
+    const relative = path.relative(root, candidate);
+    return relative === "" || (relative !== ".."
+        && !relative.startsWith(`..${path.sep}`)
+        && !path.isAbsolute(relative));
+}
+function scriptKind(fileName) {
+    const extension = path.extname(fileName).toLowerCase();
+    if (extension === ".tsx")
+        return ts.ScriptKind.TSX;
+    if (extension === ".jsx")
+        return ts.ScriptKind.JSX;
+    if ([".js", ".mjs", ".cjs"].includes(extension))
+        return ts.ScriptKind.JS;
+    return ts.ScriptKind.TS;
+}
+function sourceFileSyntaxDiagnostics(sourceFile, sourceText, fileName) {
+    const parserDiagnostics = sourceFile.parseDiagnostics;
+    if (parserDiagnostics !== undefined)
+        return parserDiagnostics;
+    return ts.transpileModule(sourceText, {
+        fileName,
+        reportDiagnostics: true,
+        compilerOptions: { noEmit: true, target: ts.ScriptTarget.ES2022 },
+    }).diagnostics ?? [];
+}
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function compareRange(left, right) {
+    return left.start.line - right.start.line
+        || left.start.character - right.start.character
+        || left.end.line - right.end.line
+        || left.end.character - right.end.character;
+}
+//# sourceMappingURL=typescript-template-form-index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"typescript-template-form-index.js","sourceRoot":"","sources":["../../src/typescript-template-form-index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEzD,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EACL,kBAAkB,GAOnB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAEzC,MAAM,cAAc,GAAG,SAAS,CAAC;AACjC,MAAM,iBAAiB,GAAG,6BAA6B,CAAC;AAExD,MAAM,OAAO,gCAAiC,SAAQ,KAAK;IAEvC;IAEA;IAHlB,YACkB,IAAY,EAC5B,OAAe,EACC,IAAa;QAE7B,KAAK,CAAC,OAAO,CAAC,CAAC;QAJC,SAAI,GAAJ,IAAI,CAAQ;QAEZ,SAAI,GAAJ,IAAI,CAAS;QAG7B,IAAI,CAAC,IAAI,GAAG,kCAAkC,CAAC;IACjD,CAAC;CACF;AAcD,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,OAAkD;IAElD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,gCAAgC,CACxC,8BAA8B,EAC9B,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,gCAAgC,CACxC,2BAA2B,EAC3B,sDAAsD,CACvD,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,gCAAgC,CACxC,0BAA0B,EAC1B,gBAAgB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,mCAAmC,CACvE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QACnD,MAAM,IAAI,gCAAgC,CACxC,2BAA2B,EAC3B,kDAAkD,CACnD,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAqC,EAAE,CAAC;IACvD,KAAK,MAAM,UAAU,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAClG,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,eAAe,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAChF,IAAI,SAAS,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,gCAAgC,CACxC,2BAA2B,EAC3B,oEAAoE,EACpE,UAAU,CACX,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,KAAK,GAAc;QACvB,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE;YACR,IAAI,EAAE,yCAAyC;YAC/C,OAAO,EAAE,OAAO,CAAC,eAAe;SACjC;QACD,SAAS;KACV,CAAC;IACF,IAAI,CAAC;QACH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;IACpD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,gCAAgC,CACxC,6BAA6B,EAC7B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,oCAAoC,CAC9E,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,IAAY,EACZ,UAAkB,EAClB,MAA0B,EAC1B,IAAyB;IAKzB,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,IAAI,EACJ,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,UAAU,CAAC,IAAI,CAAC,CACjB,CAAC;IACF,MAAM,WAAW,GAAG,2BAA2B,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC;SAC1E,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,gCAAgC,CACxC,oCAAoC,EACpC,0EAA0E,EAC1E,IAAI,CACL,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,aAAa,GAAkB,EAAE,CAAC;IACxC,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,MAAM,KAAK,GAAc,CAAC,UAAU,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;eAChC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;eACzB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,aAAa,IAAI,CAAC,CAAC;YACnB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;YAC/B,IAAI,CAAC,EAAE,CAAC,+BAA+B,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClD,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;YACtD,CAAC;iBAAM,CAAC;gBACN,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;gBACvD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;gBACxD,MAAM,IAAI,GAAG,UAAU,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAC;gBACpE,MAAM,SAAS,GAAG,6BAA6B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC5D,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE;YAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACnE,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACjC,MAAM,YAAY,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO;QACL,aAAa;QACb,QAAQ,EAAE;YACR,IAAI,EAAE,IAAI;YACV,aAAa,EAAE,MAAM;YACrB,UAAU,EAAE,+BAA+B;YAC3C,UAAU,EAAE,YAAY,KAAK,SAAS;gBACpC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE;gBACvB,CAAC,CAAC;oBACE,KAAK,EAAE,YAAY;oBACnB,MAAM,EAAE,uBAAuB;oBAC/B,KAAK,EAAE,YAAY;iBACpB;YACL,KAAK;SACN;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAmB,EAAE,IAAoB;IAC3D,OAAO;QACL,QAAQ,EAAE,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;QAC7C,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;QACzC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,kBAAkB;YAC9C,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE;YAC5E,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;QACrC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;QACpC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,OAAyB,EACzB,IAAoB;IAEpB,OAAO;QACL,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;QACxC,WAAW,EAAE,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC;QACtD,SAAS,EAAE,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC;QAClD,QAAQ,EAAE,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC;QAChD,YAAY,EAAE,cAAc,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC;QACxD,UAAU,EAAE,cAAc,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC;QACpD,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC;KACxC,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,QAA8B,EAC9B,IAAoB;IAEpB,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS;YACjC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;YACrB,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;IACpE,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QAC/B,OAAO;YACL,KAAK,EAAE,OAAO;YACd,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;SACzC,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS;QACjC,CAAC,CAAC;YACE,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;SACzC;QACH,CAAC,CAAC;YACE,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;SACzC,CAAC;AACR,CAAC;AAED,SAAS,WAAW,CAAC,KAAkB,EAAE,IAAoB;IAC3D,OAAO;QACL,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;QACxC,GAAG,EAAE,cAAc,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC;KACrC,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,QAAwB,EACxB,IAAoB;IAEpB,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI;QAC/B,SAAS,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC;YAC5B,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS;YACrC,CAAC,CAAC,QAAQ,CAAC,SAAS;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,IAAa,EAAE,UAAyB;IACzD,MAAM,KAAK,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAClF,MAAM,GAAG,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACpE,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE;QACvD,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE;KAClD,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,UAAU,CACvB,IAAY,EACZ,YAAoB;IAEpB,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,gCAAgC,CACxC,kCAAkC,EAClC,6DAA6D,EAC7D,YAAY,CACb,CAAC;IACJ,CAAC;IACD,MAAM,4BAA4B,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACrE,IAAI,MAA8B,CAAC;IACnC,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACrB,MAAM,aAAa,CAAC,8BAA8B,EAAE,yCAAyC,EAAE,YAAY,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,GAAG,cAAc,EAAE,CAAC;YACjC,MAAM,aAAa,CAAC,+BAA+B,EAAE,2BAA2B,cAAc,SAAS,EAAE,YAAY,CAAC,CAAC;QACzH,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QAC5C,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;QAClC,IAAI,SAAS,GAAG,cAAc,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;YAC3D,MAAM,aAAa,CAAC,6BAA6B,EAAE,4CAA4C,EAAE,YAAY,CAAC,CAAC;QACjH,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACjD,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACvE,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,aAAa,CAAC,sCAAsC,EAAE,sCAAsC,EAAE,YAAY,CAAC,CAAC;QACpH,CAAC;QACD,OAAO;YACL,IAAI;YACJ,MAAM,EAAE,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SAC3E,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,gCAAgC;YAAE,MAAM,KAAK,CAAC;QACnE,MAAM,aAAa,CAAC,iCAAiC,EAAE,oCAAoC,EAAE,YAAY,CAAC,CAAC;IAC7G,CAAC;YAAS,CAAC;QACT,MAAM,MAAM,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC;AAED,KAAK,UAAU,4BAA4B,CACzC,IAAY,EACZ,YAAoB,EACpB,YAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACnD,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/D,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC1D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,aAAa,CAAC,iCAAiC,EAAE,oCAAoC,EAAE,YAAY,CAAC,CAAC;QAC7G,CAAC;QACD,IAAI,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC;YAC3B,MAAM,aAAa,CAAC,6BAA6B,EAAE,wDAAwD,EAAE,YAAY,CAAC,CAAC;QAC7H,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa;IACxC,IACE,KAAK,CAAC,MAAM,KAAK,CAAC;WACf,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;WACtB,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC;WAC5B,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EACvB,CAAC;QACD,MAAM,aAAa,CAAC,kCAAkC,EAAE,qDAAqD,EAAE,KAAK,CAAC,CAAC;IACxH,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,EAAE,CAAC;QACtF,MAAM,aAAa,CAAC,kCAAkC,EAAE,wCAAwC,EAAE,KAAK,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,OAAe,EAAE,IAAY;IAChE,OAAO,IAAI,gCAAgC,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,QAAQ,CAAC,IAAW,EAAE,KAAY;IACzC,OAAO,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG;WACxB,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG;WACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;WACxB,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;WAC9B,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC;AACtC,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,SAAiB;IAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,OAAO,QAAQ,KAAK,EAAE,IAAI,CACxB,QAAQ,KAAK,IAAI;WACd,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;WACrC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAC9B,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAAgB;IAClC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IACvD,IAAI,SAAS,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;IACnD,IAAI,SAAS,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;IACnD,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;IACzE,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,2BAA2B,CAClC,UAAyB,EACzB,UAAkB,EAClB,QAAgB;IAEhB,MAAM,iBAAiB,GAAI,UAEzB,CAAC,gBAAgB,CAAC;IACpB,IAAI,iBAAiB,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAC;IAC9D,OAAO,EAAE,CAAC,eAAe,CAAC,UAAU,EAAE;QACpC,QAAQ;QACR,iBAAiB,EAAE,IAAI;QACvB,eAAe,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE;KAClE,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,YAAY,CAAC,IAAiB,EAAE,KAAkB;IACzD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI;WACpC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS;WAC5C,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI;WAC9B,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;AAChD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@0disoft/mensor-cli",
-  "version": "0.2.0",
+  "version": "0.9.0",
   "description": "CLI for checking Mensor project contracts.",
   "license": "Apache-2.0",
   "publishConfig": {
@@ -43,6 +43,8 @@
     }
   },
   "dependencies": {
-    "@0disoft/mensor-compiler": "0.2.0"
+    "@typescript/typescript6": "6.0.2",
+    "@0disoft/mensor-compiler": "0.9.0",
+    "@0disoft/mensor-contract": "0.9.0"
   }
 }