@0disoft/mensor-compiler 0.1.0

package/dist/src/compiler-timing.js

@@ -0,0 +1,72 @@
+import { performance } from "node:perf_hooks";
+export class CompilerTiming {
+    #durations = {
+        discovery: 0,
+        formIndexValidation: 0,
+        ruleEvaluation: 0,
+        sourceRead: 0,
+        templateRead: 0,
+        templateExtraction: 0,
+        typescriptExtraction: 0,
+    };
+    #frames = [];
+    #templateDocumentCount = 0;
+    #templateBytes = 0;
+    async measure(phase, operation) {
+        const frame = { childDurationMs: 0 };
+        const startedAt = performance.now();
+        this.#frames.push(frame);
+        try {
+            return await operation();
+        }
+        finally {
+            this.finishMeasurement(phase, startedAt, frame);
+        }
+    }
+    measureSync(phase, operation) {
+        const frame = { childDurationMs: 0 };
+        const startedAt = performance.now();
+        this.#frames.push(frame);
+        try {
+            return operation();
+        }
+        finally {
+            this.finishMeasurement(phase, startedAt, frame);
+        }
+    }
+    recordTemplateSource(source) {
+        this.#templateDocumentCount += 1;
+        this.#templateBytes += Buffer.byteLength(source);
+    }
+    snapshot(totalDurationMs) {
+        const measuredDurationMs = Object.values(this.#durations).reduce((total, duration) => total + duration, 0);
+        return {
+            totalDurationMs,
+            phaseDurationMs: {
+                discovery: this.#durations.discovery,
+                sourceRead: this.#durations.sourceRead,
+                typescriptExtraction: this.#durations.typescriptExtraction,
+                templateRead: this.#durations.templateRead,
+                templateExtraction: this.#durations.templateExtraction,
+                formIndexValidation: this.#durations.formIndexValidation,
+                ruleEvaluation: this.#durations.ruleEvaluation,
+                other: Math.max(0, totalDurationMs - measuredDurationMs),
+            },
+            templateDocumentCount: this.#templateDocumentCount,
+            templateBytes: this.#templateBytes,
+        };
+    }
+    finishMeasurement(phase, startedAt, frame) {
+        const elapsedMs = performance.now() - startedAt;
+        const active = this.#frames.pop();
+        if (active !== frame) {
+            throw new Error("Compiler timing measurements must be nested serially.");
+        }
+        this.#durations[phase] += Math.max(0, elapsedMs - frame.childDurationMs);
+        const parent = this.#frames.at(-1);
+        if (parent !== undefined) {
+            parent.childDurationMs += elapsedMs;
+        }
+    }
+}
+//# sourceMappingURL=compiler-timing.js.map

package/dist/src/compiler-timing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler-timing.js","sourceRoot":"","sources":["../../src/compiler-timing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AA2B9C,MAAM,OAAO,cAAc;IAChB,UAAU,GAAkC;QACnD,SAAS,EAAE,CAAC;QACZ,mBAAmB,EAAE,CAAC;QACtB,cAAc,EAAE,CAAC;QACjB,UAAU,EAAE,CAAC;QACb,YAAY,EAAE,CAAC;QACf,kBAAkB,EAAE,CAAC;QACrB,oBAAoB,EAAE,CAAC;KACxB,CAAC;IAEO,OAAO,GAAuC,EAAE,CAAC;IAE1D,sBAAsB,GAAG,CAAC,CAAC;IAC3B,cAAc,GAAG,CAAC,CAAC;IAEnB,KAAK,CAAC,OAAO,CACX,KAAoB,EACpB,SAA2B;QAE3B,MAAM,KAAK,GAAG,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC;YACH,OAAO,MAAM,SAAS,EAAE,CAAC;QAC3B,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,WAAW,CAAI,KAAoB,EAAE,SAAkB;QACrD,MAAM,KAAK,GAAG,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC;YACH,OAAO,SAAS,EAAE,CAAC;QACrB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,oBAAoB,CAAC,MAAc;QACjC,IAAI,CAAC,sBAAsB,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,cAAc,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;IAED,QAAQ,CAAC,eAAuB;QAC9B,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAC9D,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,KAAK,GAAG,QAAQ,EACrC,CAAC,CACF,CAAC;QACF,OAAO;YACL,eAAe;YACf,eAAe,EAAE;gBACf,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,SAAS;gBACpC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,UAAU;gBACtC,oBAAoB,EAAE,IAAI,CAAC,UAAU,CAAC,oBAAoB;gBAC1D,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,YAAY;gBAC1C,kBAAkB,EAAE,IAAI,CAAC,UAAU,CAAC,kBAAkB;gBACtD,mBAAmB,EAAE,IAAI,CAAC,UAAU,CAAC,mBAAmB;gBACxD,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,cAAc;gBAC9C,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,eAAe,GAAG,kBAAkB,CAAC;aACzD;YACD,qBAAqB,EAAE,IAAI,CAAC,sBAAsB;YAClD,aAAa,EAAE,IAAI,CAAC,cAAc;SACnC,CAAC;IACJ,CAAC;IAEO,iBAAiB,CACvB,KAAoB,EACpB,SAAiB,EACjB,KAAkC;QAElC,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QAClC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,eAAe,IAAI,SAAS,CAAC;QACtC,CAAC;IACH,CAAC;CACF"}

package/dist/src/feature-roots.d.ts

@@ -0,0 +1,6 @@
+export interface FeatureRootFact {
+    readonly root: string;
+}
+export declare function sortFeatureRoots<T extends FeatureRootFact>(features: readonly T[]): readonly T[];
+export declare function findFeatureOwner<T extends FeatureRootFact>(file: string, sortedFeatures: readonly T[]): T | undefined;
+//# sourceMappingURL=feature-roots.d.ts.map

package/dist/src/feature-roots.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"feature-roots.d.ts","sourceRoot":"","sources":["../../src/feature-roots.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,eAAe,EACxD,QAAQ,EAAE,SAAS,CAAC,EAAE,GACrB,SAAS,CAAC,EAAE,CAKd;AAED,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,eAAe,EACxD,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,SAAS,CAAC,EAAE,GAC3B,CAAC,GAAG,SAAS,CAEf"}

package/dist/src/feature-roots.js

@@ -0,0 +1,8 @@
+import { compareText } from "./paths.js";
+export function sortFeatureRoots(features) {
+    return [...features].sort((left, right) => right.root.length - left.root.length || compareText(left.root, right.root));
+}
+export function findFeatureOwner(file, sortedFeatures) {
+    return sortedFeatures.find((feature) => file.startsWith(`${feature.root}/`));
+}
+//# sourceMappingURL=feature-roots.js.map

package/dist/src/feature-roots.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"feature-roots.js","sourceRoot":"","sources":["../../src/feature-roots.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAMzC,MAAM,UAAU,gBAAgB,CAC9B,QAAsB;IAEtB,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CACvB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAC7E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,cAA4B;IAE5B,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;AAC/E,CAAC"}

package/dist/src/filesystem.d.ts

@@ -0,0 +1,4 @@
+export declare function assertProjectRoot(root: string): Promise<string>;
+export declare function readProjectFile(root: string, relativePath: string, maxFileBytes: number): Promise<string>;
+export declare function discoverProjectFiles(root: string, sourceRoot: string, maxFiles: number, maxTotalBytes: number, maxDepth: number): Promise<readonly string[]>;
+//# sourceMappingURL=filesystem.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"filesystem.d.ts","sourceRoot":"","sources":["../../src/filesystem.ts"],"names":[],"mappings":"AAWA,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAkBrE;AAED,wBAAsB,eAAe,CACnC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,CAAC,CAsCjB;AAED,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAyE5B"}

package/dist/src/filesystem.js

@@ -0,0 +1,127 @@
+import { lstat, readFile, readdir } from "node:fs/promises";
+import * as path from "node:path";
+import { assertRelativePosixPath, compareText, fromProjectPath, InputFailure, joinProjectPath, } from "./paths.js";
+export async function assertProjectRoot(root) {
+    const absoluteRoot = path.resolve(root);
+    try {
+        const stats = await lstat(absoluteRoot);
+        if (stats.isSymbolicLink() || !stats.isDirectory()) {
+            throw new InputFailure("filesystem", "root.invalid", "The project root must be a real directory, not a symlink.");
+        }
+    }
+    catch (error) {
+        if (error instanceof InputFailure) {
+            throw error;
+        }
+        throw filesystemFailure(error, "root.unreadable", "The project root cannot be read.");
+    }
+    return absoluteRoot;
+}
+export async function readProjectFile(root, relativePath, maxFileBytes) {
+    const safePath = assertRelativePosixPath(relativePath, "File path");
+    await assertPathHasNoSymlink(root, safePath, false);
+    try {
+        const stats = await lstat(fromProjectPath(root, safePath));
+        if (stats.size > maxFileBytes) {
+            throw new InputFailure("filesystem", "file.size_limit_exceeded", `Project file ${JSON.stringify(safePath)} exceeds the configured limit of ${maxFileBytes} bytes.`, safePath);
+        }
+        const bytes = await readFile(fromProjectPath(root, safePath));
+        try {
+            return new TextDecoder("utf-8", {
+                fatal: true,
+                ignoreBOM: true,
+            }).decode(bytes);
+        }
+        catch {
+            throw new InputFailure("filesystem", "file.encoding_invalid", `Project file ${JSON.stringify(safePath)} must be valid UTF-8.`, safePath);
+        }
+    }
+    catch (error) {
+        if (error instanceof InputFailure) {
+            throw error;
+        }
+        throw filesystemFailure(error, "file.unreadable", `Cannot read project file ${JSON.stringify(safePath)}.`, safePath);
+    }
+}
+export async function discoverProjectFiles(root, sourceRoot, maxFiles, maxTotalBytes, maxDepth) {
+    const safeSourceRoot = assertRelativePosixPath(sourceRoot, "sourceRoot");
+    await assertPathHasNoSymlink(root, safeSourceRoot, true);
+    const files = [];
+    let totalBytes = 0;
+    async function visit(relativeDirectory, depth) {
+        if (depth > maxDepth) {
+            throw new InputFailure("filesystem", "discovery.depth_limit_exceeded", `Source discovery exceeded the configured directory depth limit of ${maxDepth}.`, relativeDirectory);
+        }
+        let entries;
+        try {
+            entries = await readdir(fromProjectPath(root, relativeDirectory), {
+                withFileTypes: true,
+            });
+        }
+        catch (error) {
+            throw filesystemFailure(error, "directory.unreadable", `Cannot read source directory ${JSON.stringify(relativeDirectory)}.`, relativeDirectory);
+        }
+        entries.sort((left, right) => compareText(left.name, right.name));
+        for (const entry of entries) {
+            const relativeEntry = joinProjectPath(relativeDirectory, entry.name);
+            if (entry.isSymbolicLink()) {
+                continue;
+            }
+            if (entry.isDirectory()) {
+                await visit(relativeEntry, depth + 1);
+            }
+            else if (entry.isFile()) {
+                files.push(relativeEntry);
+                if (files.length > maxFiles) {
+                    throw new InputFailure("filesystem", "discovery.file_limit_exceeded", `Source discovery exceeded the configured limit of ${maxFiles} files.`, safeSourceRoot);
+                }
+                let stats;
+                try {
+                    stats = await lstat(fromProjectPath(root, relativeEntry));
+                }
+                catch (error) {
+                    throw filesystemFailure(error, "file.unreadable", `Cannot inspect project file ${JSON.stringify(relativeEntry)}.`, relativeEntry);
+                }
+                totalBytes += stats.size;
+                if (totalBytes > maxTotalBytes) {
+                    throw new InputFailure("filesystem", "discovery.total_bytes_limit_exceeded", `Source discovery exceeded the configured total byte limit of ${maxTotalBytes}.`, safeSourceRoot);
+                }
+            }
+        }
+    }
+    await visit(safeSourceRoot, 0);
+    return files;
+}
+async function assertPathHasNoSymlink(root, relativePath, requireDirectory) {
+    const segments = relativePath.split("/");
+    for (let index = 0; index < segments.length; index += 1) {
+        const current = segments.slice(0, index + 1).join("/");
+        let stats;
+        try {
+            stats = await lstat(fromProjectPath(root, current));
+        }
+        catch (error) {
+            throw filesystemFailure(error, "path.unreadable", `Cannot inspect project path ${JSON.stringify(current)}.`, current);
+        }
+        if (stats.isSymbolicLink()) {
+            throw new InputFailure("filesystem", "path.symlink_forbidden", `Project path ${JSON.stringify(current)} is a symlink.`, current);
+        }
+        if (index < segments.length - 1 && !stats.isDirectory()) {
+            throw new InputFailure("filesystem", "path.not_directory", `Project path ${JSON.stringify(current)} must be a directory.`, current);
+        }
+        if (index === segments.length - 1) {
+            const valid = requireDirectory ? stats.isDirectory() : stats.isFile();
+            if (!valid) {
+                throw new InputFailure("filesystem", requireDirectory ? "path.not_directory" : "path.not_file", `Project path ${JSON.stringify(current)} has the wrong filesystem type.`, current);
+            }
+        }
+    }
+}
+function filesystemFailure(error, fallbackCode, message, file) {
+    const code = isNodeError(error) && error.code === "ENOENT" ? "path.missing" : fallbackCode;
+    return new InputFailure("filesystem", code, message, file);
+}
+function isNodeError(error) {
+    return error instanceof Error && "code" in error;
+}
+//# sourceMappingURL=filesystem.js.map

package/dist/src/filesystem.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filesystem.js","sourceRoot":"","sources":["../../src/filesystem.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,eAAe,EACf,YAAY,EACZ,eAAe,GAChB,MAAM,YAAY,CAAC;AAEpB,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAY;IAClD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACnD,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,cAAc,EACd,2DAA2D,CAC5D,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,YAAY,EAAE,CAAC;YAClC,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,EAAE,kCAAkC,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,IAAY,EACZ,YAAoB,EACpB,YAAoB;IAEpB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACpE,MAAM,sBAAsB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC3D,IAAI,KAAK,CAAC,IAAI,GAAG,YAAY,EAAE,CAAC;YAC9B,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,0BAA0B,EAC1B,gBAAgB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,oCAAoC,YAAY,SAAS,EACjG,QAAQ,CACT,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC;YACH,OAAO,IAAI,WAAW,CAAC,OAAO,EAAE;gBAC9B,KAAK,EAAE,IAAI;gBACX,SAAS,EAAE,IAAI;aAChB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,uBAAuB,EACvB,gBAAgB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,uBAAuB,EAC/D,QAAQ,CACT,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,YAAY,EAAE,CAAC;YAClC,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,iBAAiB,CACrB,KAAK,EACL,iBAAiB,EACjB,4BAA4B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EACvD,QAAQ,CACT,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,IAAY,EACZ,UAAkB,EAClB,QAAgB,EAChB,aAAqB,EACrB,QAAgB;IAEhB,MAAM,cAAc,GAAG,uBAAuB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACzE,MAAM,sBAAsB,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IACzD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,UAAU,KAAK,CAAC,iBAAyB,EAAE,KAAa;QAC3D,IAAI,KAAK,GAAG,QAAQ,EAAE,CAAC;YACrB,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,gCAAgC,EAChC,qEAAqE,QAAQ,GAAG,EAChF,iBAAiB,CAClB,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,CAAC;QACZ,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE;gBAChE,aAAa,EAAE,IAAI;aACpB,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,iBAAiB,CACrB,KAAK,EACL,sBAAsB,EACtB,gCAAgC,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,GAAG,EACpE,iBAAiB,CAClB,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAClE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,aAAa,GAAG,eAAe,CAAC,iBAAiB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACrE,IAAI,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,MAAM,KAAK,CAAC,aAAa,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACxC,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC1B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBAC1B,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;oBAC5B,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,+BAA+B,EAC/B,qDAAqD,QAAQ,SAAS,EACtE,cAAc,CACf,CAAC;gBACJ,CAAC;gBACD,IAAI,KAAK,CAAC;gBACV,IAAI,CAAC;oBACH,KAAK,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;gBAC5D,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,iBAAiB,CACrB,KAAK,EACL,iBAAiB,EACjB,+BAA+B,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,GAAG,EAC/D,aAAa,CACd,CAAC;gBACJ,CAAC;gBACD,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC;gBACzB,IAAI,UAAU,GAAG,aAAa,EAAE,CAAC;oBAC/B,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,sCAAsC,EACtC,gEAAgE,aAAa,GAAG,EAChF,cAAc,CACf,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,IAAY,EACZ,YAAoB,EACpB,gBAAyB;IAEzB,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,KAAK,CAAC;QACV,IAAI,CAAC;YACH,KAAK,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QACtD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,iBAAiB,CACrB,KAAK,EACL,iBAAiB,EACjB,+BAA+B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,EACzD,OAAO,CACR,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC;YAC3B,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,wBAAwB,EACxB,gBAAgB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,gBAAgB,EACvD,OAAO,CACR,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxD,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,uBAAuB,EAC9D,OAAO,CACR,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACtE,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,gBAAgB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,eAAe,EACzD,gBAAgB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,iCAAiC,EACxE,OAAO,CACR,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc,EACd,YAAoB,EACpB,OAAe,EACf,IAAa;IAEb,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC;IAC3F,OAAO,IAAI,YAAY,CAAC,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK,CAAC;AACnD,CAAC"}

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

@@ -0,0 +1,37 @@
+import type { SourceRange } from "@0disoft/mensor-contract";
+export interface FormFact {
+    readonly id: string;
+    readonly method: string;
+    readonly methodRange: SourceRange;
+    readonly action: FormActionFact;
+    readonly fields: readonly FormFieldFact[];
+    readonly unsupportedControls: readonly UnsupportedFormControlFact[];
+    readonly range: SourceRange;
+}
+export type FormActionFact = {
+    readonly kind: "literal";
+    readonly value: string;
+    readonly range: SourceRange;
+} | {
+    readonly kind: "current-document";
+    readonly range: SourceRange;
+};
+export interface FormFieldFact {
+    readonly name: string;
+    readonly controls: readonly FormControlFact[];
+    readonly range: SourceRange;
+}
+export interface FormControlFact {
+    readonly kind: "input" | "select" | "textarea";
+    readonly inputType: string;
+    readonly multiple: boolean;
+    readonly range: SourceRange;
+}
+export interface UnsupportedFormControlFact {
+    readonly kind: "button" | "input";
+    readonly inputType: string;
+    readonly name: string;
+    readonly reason: "file-input" | "named-submitter" | "submitter-route-override";
+    readonly range: SourceRange;
+}
+//# sourceMappingURL=form-facts.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"form-facts.d.ts","sourceRoot":"","sources":["../../src/form-facts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE5D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,QAAQ,CAAC,mBAAmB,EAAE,SAAS,0BAA0B,EAAE,CAAC;IACpE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B;AAED,MAAM,MAAM,cAAc,GACtB;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B,CAAC;AAEN,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,UAAU,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,iBAAiB,GAAG,0BAA0B,CAAC;IAC/E,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B"}

package/dist/src/form-facts.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=form-facts.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"form-facts.js","sourceRoot":"","sources":["../../src/form-facts.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,4 @@
+import type { FormFact } from "./form-facts.js";
+import type { FormIndex } from "./form-index.js";
+export declare function formFactsForLinkedForm(index: FormIndex, documentPath: string, formId: string): readonly FormFact[];
+//# sourceMappingURL=form-index-semantics.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"form-index-semantics.d.ts","sourceRoot":"","sources":["../../src/form-index-semantics.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAEV,QAAQ,EAGT,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAGV,SAAS,EAIV,MAAM,iBAAiB,CAAC;AAGzB,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,EAChB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,GACb,SAAS,QAAQ,EAAE,CA8BrB"}

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

@@ -0,0 +1,149 @@
+import { compareText, InputFailure } from "./paths.js";
+export function formFactsForLinkedForm(index, documentPath, formId) {
+    const document = index.documents.find((entry) => entry.path === documentPath);
+    if (document === undefined) {
+        throw new InputFailure("configuration", "form_index.document_missing", `FormIndex has no document for ${JSON.stringify(documentPath)}.`, documentPath);
+    }
+    assertCompleteInspection(document);
+    const matches = [];
+    for (const form of document.forms) {
+        if (form.identity.state === "absent") {
+            continue;
+        }
+        if (form.identity.state !== "known") {
+            throw unresolvedEvidence(document.path, "form_index.identity_unresolved", "form identity", form.identity);
+        }
+        if (form.identity.value === formId) {
+            matches.push(formFact(document.path, form));
+        }
+    }
+    return matches;
+}
+function assertCompleteInspection(document) {
+    if (document.inspection.state === "complete") {
+        return;
+    }
+    throw new InputFailure("configuration", "form_index.inspection_incomplete", `FormIndex inspection for ${JSON.stringify(document.path)} is incomplete: ${document.inspection.reason}.`, document.path);
+}
+function formFact(documentPath, form) {
+    const fields = [];
+    const unsupportedControls = [];
+    for (const control of form.controls) {
+        if (control.successful.state === "known" && !control.successful.value) {
+            continue;
+        }
+        if (control.successful.state === "unsupported") {
+            unsupportedControls.push(unsupportedControl(documentPath, control));
+            continue;
+        }
+        if (control.successful.state !== "known") {
+            throw unresolvedEvidence(documentPath, "form_index.control_unresolved", "successful-control state", control.successful);
+        }
+        const name = optionalKnownEvidence(documentPath, "control name", control.name);
+        if (name === undefined) {
+            continue;
+        }
+        const controlFactValue = successfulControl(documentPath, control);
+        const existing = fields.find((field) => field.name === name);
+        if (existing === undefined) {
+            fields.push({
+                name,
+                controls: [controlFactValue],
+                range: control.range,
+            });
+        }
+        else {
+            const existingIndex = fields.indexOf(existing);
+            fields[existingIndex] = {
+                ...existing,
+                controls: [...existing.controls, controlFactValue],
+            };
+        }
+    }
+    return {
+        id: knownEvidence(documentPath, "form identity", form.identity),
+        method: methodValue(documentPath, form.method),
+        methodRange: evidenceRange(form.method, form.range),
+        action: actionValue(documentPath, form.action, form.range),
+        fields: fields.sort((left, right) => compareText(left.name, right.name)),
+        unsupportedControls: unsupportedControls.sort((left, right) => compareText(left.name, right.name) || compareText(left.reason, right.reason)),
+        range: form.range,
+    };
+}
+function successfulControl(documentPath, control) {
+    const kind = knownEvidence(documentPath, "control kind", control.controlKind);
+    if (kind === "button") {
+        throw new InputFailure("configuration", "form_index.control_invalid", "A successful field control cannot have button controlKind.", documentPath);
+    }
+    knownEvidence(documentPath, "control multiplicity", control.multiplicity);
+    return {
+        kind,
+        inputType: optionalKnownEvidence(documentPath, "control input type", control.inputType) ?? "",
+        multiple: knownEvidence(documentPath, "control multiple state", control.multiple),
+        range: control.range,
+    };
+}
+function unsupportedControl(documentPath, control) {
+    if (control.successful.state !== "unsupported") {
+        throw new Error("unsupportedControl requires unsupported evidence.");
+    }
+    const reason = control.successful.reason;
+    if (reason !== "file-input" &&
+        reason !== "named-submitter" &&
+        reason !== "submitter-route-override") {
+        throw new InputFailure("configuration", "form_index.control_unresolved", `Unsupported control evidence ${JSON.stringify(reason)} cannot be mapped to a stable form diagnostic.`, documentPath);
+    }
+    const kind = knownEvidence(documentPath, "control kind", control.controlKind);
+    if (kind !== "button" && kind !== "input") {
+        throw new InputFailure("configuration", "form_index.control_invalid", `Unsupported ${JSON.stringify(reason)} evidence requires an input or button control.`, documentPath);
+    }
+    return {
+        kind,
+        inputType: optionalKnownEvidence(documentPath, "control input type", control.inputType) ?? "",
+        name: optionalKnownEvidence(documentPath, "control name", control.name) ?? "",
+        reason,
+        range: control.range,
+    };
+}
+function methodValue(documentPath, method) {
+    if (method.state === "absent") {
+        return "GET";
+    }
+    return asciiUppercase(knownEvidence(documentPath, "form method", method));
+}
+function actionValue(documentPath, action, fallbackRange) {
+    if (action.state === "current-document" || action.state === "absent") {
+        return {
+            kind: "current-document",
+            range: action.range ?? fallbackRange,
+        };
+    }
+    return {
+        kind: "literal",
+        value: knownEvidence(documentPath, "form action", action),
+        range: action.range,
+    };
+}
+function knownEvidence(documentPath, label, evidence) {
+    if (evidence.state === "known") {
+        return evidence.value;
+    }
+    throw unresolvedEvidence(documentPath, "form_index.evidence_unresolved", label, evidence);
+}
+function optionalKnownEvidence(documentPath, label, evidence) {
+    if (evidence.state === "absent") {
+        return undefined;
+    }
+    return knownEvidence(documentPath, label, evidence);
+}
+function evidenceRange(evidence, fallback) {
+    return evidence.range ?? fallback;
+}
+function unresolvedEvidence(documentPath, code, label, evidence) {
+    const reason = evidence.reason === undefined ? evidence.state : evidence.reason;
+    return new InputFailure("configuration", code, `FormIndex cannot prove ${label}: ${reason}.`, documentPath);
+}
+function asciiUppercase(value) {
+    return value.replace(/[a-z]/gu, (character) => String.fromCharCode(character.charCodeAt(0) - 32));
+}
+//# sourceMappingURL=form-index-semantics.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"form-index-semantics.js","sourceRoot":"","sources":["../../src/form-index-semantics.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEvD,MAAM,UAAU,sBAAsB,CACpC,KAAgB,EAChB,YAAoB,EACpB,MAAc;IAEd,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IAC9E,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,6BAA6B,EAC7B,iCAAiC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,EAChE,YAAY,CACb,CAAC;IACJ,CAAC;IACD,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAEnC,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACrC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YACpC,MAAM,kBAAkB,CACtB,QAAQ,CAAC,IAAI,EACb,gCAAgC,EAChC,eAAe,EACf,IAAI,CAAC,QAAQ,CACd,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,wBAAwB,CAAC,QAA0B;IAC1D,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAC7C,OAAO;IACT,CAAC;IACD,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,kCAAkC,EAClC,4BAA4B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,mBAAmB,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,EACzG,QAAQ,CAAC,IAAI,CACd,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,YAAoB,EAAE,IAAqB;IAC3D,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,mBAAmB,GAAiC,EAAE,CAAC;IAE7D,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YACtE,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;YAC/C,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;YACpE,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YACzC,MAAM,kBAAkB,CACtB,YAAY,EACZ,+BAA+B,EAC/B,0BAA0B,EAC1B,OAAO,CAAC,UAAU,CACnB,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,qBAAqB,CAChC,YAAY,EACZ,cAAc,EACd,OAAO,CAAC,IAAI,CACb,CAAC;QACF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QACD,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC7D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,QAAQ,EAAE,CAAC,gBAAgB,CAAC;gBAC5B,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC/C,MAAM,CAAC,aAAa,CAAC,GAAG;gBACtB,GAAG,QAAQ;gBACX,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;aACnD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,aAAa,CAAC,YAAY,EAAE,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC;QAC/D,MAAM,EAAE,WAAW,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QAC9C,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;QACnD,MAAM,EAAE,WAAW,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;QAC1D,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACxE,mBAAmB,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC5D,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAC7E;QACD,KAAK,EAAE,IAAI,CAAC,KAAK;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,YAAoB,EACpB,OAA2B;IAE3B,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,cAAc,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAC9E,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,4BAA4B,EAC5B,4DAA4D,EAC5D,YAAY,CACb,CAAC;IACJ,CAAC;IACD,aAAa,CAAC,YAAY,EAAE,sBAAsB,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAC1E,OAAO;QACL,IAAI;QACJ,SAAS,EAAE,qBAAqB,CAC9B,YAAY,EACZ,oBAAoB,EACpB,OAAO,CAAC,SAAS,CAClB,IAAI,EAAE;QACP,QAAQ,EAAE,aAAa,CAAC,YAAY,EAAE,wBAAwB,EAAE,OAAO,CAAC,QAAQ,CAAC;QACjF,KAAK,EAAE,OAAO,CAAC,KAAK;KACrB,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,YAAoB,EACpB,OAA2B;IAE3B,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC;IACzC,IACE,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,iBAAiB;QAC5B,MAAM,KAAK,0BAA0B,EACrC,CAAC;QACD,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,+BAA+B,EAC/B,gCAAgC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,gDAAgD,EACtG,YAAY,CACb,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,cAAc,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAC9E,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1C,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,4BAA4B,EAC5B,eAAe,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,gDAAgD,EACrF,YAAY,CACb,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI;QACJ,SAAS,EAAE,qBAAqB,CAC9B,YAAY,EACZ,oBAAoB,EACpB,OAAO,CAAC,SAAS,CAClB,IAAI,EAAE;QACP,IAAI,EAAE,qBAAqB,CAAC,YAAY,EAAE,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE;QAC7E,MAAM;QACN,KAAK,EAAE,OAAO,CAAC,KAAK;KACrB,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,YAAoB,EACpB,MAAiC;IAEjC,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,cAAc,CAAC,aAAa,CAAC,YAAY,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,WAAW,CAClB,YAAoB,EACpB,MAA0B,EAC1B,aAA0B;IAE1B,IAAI,MAAM,CAAC,KAAK,KAAK,kBAAkB,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACrE,OAAO;YACL,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,aAAa;SACrC,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,aAAa,CAAC,YAAY,EAAE,aAAa,EAAE,MAAM,CAAC;QACzD,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,YAAoB,EACpB,KAAa,EACb,QAA4B;IAE5B,IAAI,QAAQ,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QAC/B,OAAO,QAAQ,CAAC,KAAK,CAAC;IACxB,CAAC;IACD,MAAM,kBAAkB,CACtB,YAAY,EACZ,gCAAgC,EAChC,KAAK,EACL,QAAQ,CACT,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,YAAoB,EACpB,KAAa,EACb,QAA4B;IAE5B,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,aAAa,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,aAAa,CACpB,QAA4B,EAC5B,QAAqB;IAErB,OAAO,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC;AACpC,CAAC;AAED,SAAS,kBAAkB,CACzB,YAAoB,EACpB,IAAY,EACZ,KAAa,EACb,QAA8D;IAE9D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IAChF,OAAO,IAAI,YAAY,CACrB,eAAe,EACf,IAAI,EACJ,0BAA0B,KAAK,KAAK,MAAM,GAAG,EAC7C,YAAY,CACb,CAAC;AACJ,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"}

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

@@ -0,0 +1,69 @@
+import type { SourceRange } from "@0disoft/mensor-contract";
+export type ContentDigest = `sha256:${string}`;
+export type DynamicReason = "computed-attribute" | "conditional-presence" | "custom-helper-semantics" | "dynamic-interpolation" | "repeated-generation";
+export type UnsupportedReason = "file-input" | "named-submitter" | "provider-resource-limit" | "submitter-route-override" | "unsupported-control-kind";
+export type IndexedEvidence<T> = {
+    readonly state: "known";
+    readonly value: T;
+    readonly range: SourceRange;
+} | {
+    readonly state: "absent";
+    readonly range?: SourceRange;
+} | {
+    readonly state: "dynamic";
+    readonly reason: DynamicReason;
+    readonly range: SourceRange;
+} | {
+    readonly state: "unsupported";
+    readonly reason: UnsupportedReason;
+    readonly range: SourceRange;
+};
+export type FormActionEvidence = IndexedEvidence<string> | {
+    readonly state: "current-document";
+    readonly range: SourceRange;
+};
+export type DocumentInspection = {
+    readonly state: "complete";
+} | {
+    readonly state: "incomplete";
+    readonly reason: DynamicReason | UnsupportedReason;
+    readonly range?: SourceRange;
+};
+export interface FormIndex {
+    readonly schemaVersion: 1;
+    readonly producer: {
+        readonly name: string;
+        readonly version: string;
+    };
+    readonly documents: readonly FormDocumentFact[];
+}
+export interface FormDocumentFact {
+    readonly path: string;
+    readonly contentDigest: ContentDigest;
+    readonly sourceKind: string;
+    readonly inspection: DocumentInspection;
+    readonly forms: readonly IndexedFormFact[];
+}
+export interface IndexedFormFact {
+    readonly identity: IndexedEvidence<string>;
+    readonly method: IndexedEvidence<string>;
+    readonly action: FormActionEvidence;
+    readonly range: SourceRange;
+    readonly controls: readonly IndexedControlFact[];
+}
+export interface IndexedControlFact {
+    readonly name: IndexedEvidence<string>;
+    readonly controlKind: IndexedEvidence<"button" | "input" | "select" | "textarea">;
+    readonly inputType: IndexedEvidence<string>;
+    readonly multiple: IndexedEvidence<boolean>;
+    readonly multiplicity: IndexedEvidence<"mutually-exclusive" | "repeated" | "scalar">;
+    readonly successful: IndexedEvidence<boolean>;
+    readonly range: SourceRange;
+}
+export type FormIndexFailureCode = "form_index.digest_invalid" | "form_index.digest_mismatch" | "form_index.duplicate" | "form_index.json_invalid" | "form_index.noncanonical" | "form_index.path_invalid" | "form_index.range_invalid" | "form_index.shape_invalid" | "form_index.source_encoding_invalid" | "form_index.source_missing";
+export declare class FormIndexFailure extends Error {
+    readonly code: FormIndexFailureCode;
+    readonly instancePath: string;
+    constructor(code: FormIndexFailureCode, instancePath: string, message: string);
+}
+//# sourceMappingURL=form-index-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"form-index-types.d.ts","sourceRoot":"","sources":["../../src/form-index-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE5D,MAAM,MAAM,aAAa,GAAG,UAAU,MAAM,EAAE,CAAC;AAE/C,MAAM,MAAM,aAAa,GACrB,oBAAoB,GACpB,sBAAsB,GACtB,yBAAyB,GACzB,uBAAuB,GACvB,qBAAqB,CAAC;AAE1B,MAAM,MAAM,iBAAiB,GACzB,YAAY,GACZ,iBAAiB,GACjB,yBAAyB,GACzB,0BAA0B,GAC1B,0BAA0B,CAAC;AAE/B,MAAM,MAAM,eAAe,CAAC,CAAC,IACzB;IACE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;CAC9B,GACD;IACE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B,CAAC;AAEN,MAAM,MAAM,kBAAkB,GAC1B,eAAe,CAAC,MAAM,CAAC,GACvB;IACE,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B,CAAC;AAEN,MAAM,MAAM,kBAAkB,GAC1B;IACE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC;IACnD,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;CAC9B,CAAC;AAEN,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACjD;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAClD;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,eAAe,CACnC,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,CAC3C,CAAC;IACF,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,eAAe,CACpC,oBAAoB,GAAG,UAAU,GAAG,QAAQ,CAC7C,CAAC;IACF,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B;AAED,MAAM,MAAM,oBAAoB,GAC5B,2BAA2B,GAC3B,4BAA4B,GAC5B,sBAAsB,GACtB,yBAAyB,GACzB,yBAAyB,GACzB,yBAAyB,GACzB,0BAA0B,GAC1B,0BAA0B,GAC1B,oCAAoC,GACpC,2BAA2B,CAAC;AAEhC,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;gBAG5B,IAAI,EAAE,oBAAoB,EAC1B,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM;CAOlB"}

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

@@ -0,0 +1,11 @@
+export class FormIndexFailure extends Error {
+    code;
+    instancePath;
+    constructor(code, instancePath, message) {
+        super(message);
+        this.name = "FormIndexFailure";
+        this.code = code;
+        this.instancePath = instancePath;
+    }
+}
+//# sourceMappingURL=form-index-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"form-index-types.js","sourceRoot":"","sources":["../../src/form-index-types.ts"],"names":[],"mappings":"AA2GA,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IAChC,IAAI,CAAuB;IAC3B,YAAY,CAAS;IAE9B,YACE,IAA0B,EAC1B,YAAoB,EACpB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;QAC/B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IACnC,CAAC;CACF"}

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

@@ -0,0 +1,3 @@
+import { type FormIndex } from "./form-index-types.js";
+export declare function canonicalizeFormIndex(value: unknown): FormIndex;
+//# sourceMappingURL=form-index-validation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"form-index-validation.d.ts","sourceRoot":"","sources":["../../src/form-index-validation.ts"],"names":[],"mappings":"AAKA,OAAO,EAML,KAAK,SAAS,EAKf,MAAM,uBAAuB,CAAC;AAoB/B,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CA0B/D"}