@0disoft/mensor-compiler 0.1.0

package/dist/src/form-rule.js

@@ -0,0 +1,399 @@
+import * as path from "node:path";
+import { formFactsForLinkedForm } from "./form-index-semantics.js";
+import { actionFormPropertyRange, actionFormCodecPropertyRange, actionBindingDecoderKindRange, actionRoutePropertyRange, actionSchemaPropertyRange, } from "./locations.js";
+import { assertRelativePosixPath, compareText, InputFailure, joinProjectPath, } from "./paths.js";
+export function checkFeatureForms(options) {
+    const featureRoot = path.posix.dirname(options.featureContractPath);
+    const diagnostics = [];
+    for (let actionIndex = 0; actionIndex < options.feature.actions.length; actionIndex += 1) {
+        const action = options.feature.actions[actionIndex];
+        if (action === undefined) {
+            continue;
+        }
+        const templateFile = assertRelativePosixPath(action.form.template, "form template");
+        const projectTemplate = joinProjectPath(featureRoot, templateFile);
+        const matchingForms = formFactsForLinkedForm(options.formIndex, projectTemplate, action.form.id);
+        if (matchingForms.length !== 1) {
+            throw new InputFailure("configuration", matchingForms.length === 0 ? "form.not_found" : "form.id_duplicate", matchingForms.length === 0
+                ? `Form ${JSON.stringify(action.form.id)} was not found in ${JSON.stringify(projectTemplate)}.`
+                : `Form id ${JSON.stringify(action.form.id)} appears more than once in ${JSON.stringify(projectTemplate)}.`, projectTemplate);
+        }
+        const form = matchingForms[0];
+        if (form === undefined) {
+            continue;
+        }
+        if (form.method !== action.route.method) {
+            diagnostics.push(methodMismatchDiagnostic({
+                actionId: action.id,
+                actionIndex,
+                actualMethod: form.method,
+                expectedMethod: action.route.method,
+                form,
+                templateFile: projectTemplate,
+                featureContractPath: options.featureContractPath,
+                featureText: options.featureText,
+            }));
+        }
+        const resolvedAction = resolveFormAction({
+            actionId: action.id,
+            documentPath: action.form.documentPath,
+            featureContractPath: options.featureContractPath,
+            form,
+        });
+        if (resolvedAction.path !== action.route.path) {
+            diagnostics.push(actionMismatchDiagnostic({
+                actionId: action.id,
+                actionIndex,
+                actualAction: resolvedAction.path,
+                actualActionSource: resolvedAction.source,
+                expectedAction: action.route.path,
+                form,
+                templateFile: projectTemplate,
+                featureContractPath: options.featureContractPath,
+                featureText: options.featureText,
+            }));
+        }
+        for (const control of form.unsupportedControls) {
+            diagnostics.push(unsupportedControlDiagnostic({
+                actionId: action.id,
+                form,
+                control,
+                templateFile: projectTemplate,
+                featureContractPath: options.featureContractPath,
+                featureText: options.featureText,
+                actionIndex,
+            }));
+        }
+        for (const fieldName of [...action.input.schema.required].sort(compareText)) {
+            if (!Object.hasOwn(action.input.schema.properties, fieldName)) {
+                throw new InputFailure("configuration", "schema.required_property_missing", `Required action field ${JSON.stringify(fieldName)} has no schema property.`, options.featureContractPath);
+            }
+            const binding = action.input.formCodec.bindings.find((candidate) => candidate.path.length === 1 && candidate.path[0] === fieldName);
+            if (binding === undefined) {
+                throw new InputFailure("configuration", "form.binding_missing", `Required action field ${JSON.stringify(fieldName)} has no form codec binding.`, options.featureContractPath);
+            }
+            if (form.fields.some((field) => field.name === binding.name)) {
+                continue;
+            }
+            diagnostics.push(missingFieldDiagnostic({
+                actionId: action.id,
+                actionIndex,
+                fieldName,
+                form,
+                templateFile: projectTemplate,
+                featureContractPath: options.featureContractPath,
+                featureText: options.featureText,
+            }));
+        }
+        const acceptedFieldNames = new Set([
+            ...action.input.formCodec.bindings.map((binding) => binding.name),
+            ...(action.input.formCodec.ignoredFields ?? []).map((field) => field.name),
+        ]);
+        for (const field of form.fields) {
+            if (acceptedFieldNames.has(field.name)) {
+                continue;
+            }
+            diagnostics.push(unexpectedFieldDiagnostic({
+                actionId: action.id,
+                actionIndex,
+                fieldName: field.name,
+                fieldRange: field.range,
+                form,
+                templateFile: projectTemplate,
+                featureContractPath: options.featureContractPath,
+                featureText: options.featureText,
+            }));
+        }
+        action.input.formCodec.bindings.forEach((binding, bindingIndex) => {
+            const field = form.fields.find((candidate) => candidate.name === binding.name);
+            if (field === undefined) {
+                return;
+            }
+            const repeatedControlsAreOneRadioGroup = field.controls.length > 1 &&
+                field.controls.every((control) => control.kind === "input" && control.inputType === "radio");
+            const incompatibleControl = field.controls.length > 1 && !repeatedControlsAreOneRadioGroup
+                ? field.controls[1]
+                : field.controls.find((control) => (control.kind === "input" && control.inputType === "checkbox") ||
+                    (control.kind === "select" && control.multiple));
+            if (incompatibleControl === undefined) {
+                return;
+            }
+            diagnostics.push(controlCodecMismatchDiagnostic({
+                actionId: action.id,
+                actionIndex,
+                bindingIndex,
+                controlCount: field.controls.length,
+                fieldName: binding.name,
+                form,
+                control: incompatibleControl,
+                templateFile: projectTemplate,
+                featureContractPath: options.featureContractPath,
+                featureText: options.featureText,
+            }));
+        });
+    }
+    return diagnostics;
+}
+function unsupportedControlDiagnostic(options) {
+    const description = options.control.reason === "file-input"
+        ? "file input"
+        : options.control.reason === "named-submitter"
+            ? "named submitter"
+            : "submitter route override";
+    return {
+        code: "form.control_unsupported",
+        severity: "error",
+        category: "form-contract",
+        message: `Form ${JSON.stringify(options.form.id)} contains unsupported ${description}.`,
+        file: options.templateFile,
+        range: options.control.range,
+        facts: {
+            actionId: options.actionId,
+            controlKind: options.control.kind,
+            controlType: options.control.inputType,
+            fieldName: options.control.name,
+            formId: options.form.id,
+            reason: options.control.reason,
+            template: options.templateFile,
+        },
+        related: [
+            {
+                role: "linked-action-route",
+                message: "This form is linked to a static action route contract.",
+                file: options.featureContractPath,
+                range: actionRoutePropertyRange(options.featureText, options.actionIndex, "path"),
+            },
+        ],
+        repair: {
+            strategy: "remove-or-model-unsupported-control",
+            hint: `Remove the ${description}, or add an explicit serializable contract before relying on it.`,
+            mustPreserve: [
+                `action ${options.actionId}`,
+                "static form-to-action linkage",
+            ],
+            mustNot: [
+                "silently ignore the unsupported control",
+                "weaken the action contract",
+            ],
+        },
+    };
+}
+function controlCodecMismatchDiagnostic(options) {
+    const controlShape = options.controlCount > 1
+        ? `${options.controlCount} successful controls with the same wire name`
+        : options.control.kind === "input"
+            ? `input[type=${options.control.inputType}]`
+            : "select[multiple]";
+    return {
+        code: "form.control_codec_mismatch",
+        severity: "error",
+        category: "form-contract",
+        message: `Form field ${JSON.stringify(options.fieldName)} uses ${controlShape}, which is incompatible with the text decoder.`,
+        file: options.templateFile,
+        range: options.control.range,
+        facts: {
+            actionId: options.actionId,
+            controlKind: options.control.kind === "select" ? "select" : "input",
+            ...(options.controlCount > 1 ? { controlCount: options.controlCount } : {}),
+            controlType: options.control.inputType,
+            decoderKind: "text",
+            fieldName: options.fieldName,
+            formId: options.form.id,
+            multiple: options.control.multiple,
+            template: options.templateFile,
+        },
+        related: [
+            {
+                role: "form-decoder-kind",
+                message: "The form codec declares a scalar text decoder for this field.",
+                file: options.featureContractPath,
+                range: actionBindingDecoderKindRange(options.featureText, options.actionIndex, options.bindingIndex),
+            },
+        ],
+        repair: {
+            strategy: "align-control-and-decoder",
+            hint: `Use a scalar text control for ${options.fieldName}, or introduce a codec that explicitly models ${controlShape}.`,
+            mustPreserve: [
+                `action ${options.actionId}`,
+                `field binding ${options.fieldName}`,
+                "form-to-action linkage",
+            ],
+            mustNot: [
+                "coerce repeated or missing form values through the text decoder",
+                "remove the field binding to hide the mismatch",
+            ],
+        },
+    };
+}
+function methodMismatchDiagnostic(options) {
+    return {
+        code: "form.method_mismatch",
+        severity: "error",
+        category: "form-contract",
+        message: `Form ${JSON.stringify(options.form.id)} uses method ${JSON.stringify(options.actualMethod)}, but action ${JSON.stringify(options.actionId)} requires ${JSON.stringify(options.expectedMethod)}.`,
+        file: options.templateFile,
+        range: options.form.methodRange,
+        facts: {
+            actionId: options.actionId,
+            actualMethod: options.actualMethod,
+            expectedMethod: options.expectedMethod,
+            formId: options.form.id,
+            template: options.templateFile,
+        },
+        related: [
+            {
+                role: "action-route-method",
+                message: "The action contract declares the required HTTP method.",
+                file: options.featureContractPath,
+                range: actionRoutePropertyRange(options.featureText, options.actionIndex, "method"),
+            },
+        ],
+        repair: {
+            strategy: "align-form-method",
+            hint: `Set form ${options.form.id} method to ${options.expectedMethod}.`,
+            mustPreserve: [
+                `action ${options.actionId}`,
+                `route method ${options.expectedMethod}`,
+                "form-to-action linkage",
+            ],
+            mustNot: [
+                "change the action route to match an accidental form method",
+                "remove the form-to-action linkage",
+            ],
+        },
+    };
+}
+function actionMismatchDiagnostic(options) {
+    return {
+        code: "form.action_mismatch",
+        severity: "error",
+        category: "form-contract",
+        message: `Form ${JSON.stringify(options.form.id)} submits to ${JSON.stringify(options.actualAction)}, but action ${JSON.stringify(options.actionId)} requires ${JSON.stringify(options.expectedAction)}.`,
+        file: options.templateFile,
+        range: options.form.action.range,
+        facts: {
+            actionId: options.actionId,
+            actualAction: options.actualAction,
+            actualActionSource: options.actualActionSource,
+            expectedAction: options.expectedAction,
+            formId: options.form.id,
+            template: options.templateFile,
+        },
+        related: [
+            ...(options.actualActionSource === "current-document"
+                ? [{
+                        role: "form-document-path",
+                        message: "The form contract declares the current document path.",
+                        file: options.featureContractPath,
+                        range: actionFormPropertyRange(options.featureText, options.actionIndex, "documentPath"),
+                    }]
+                : []),
+            {
+                role: "action-route-path",
+                message: "The action contract declares the required submission path.",
+                file: options.featureContractPath,
+                range: actionRoutePropertyRange(options.featureText, options.actionIndex, "path"),
+            },
+        ],
+        repair: {
+            strategy: "align-form-action",
+            hint: options.actualActionSource === "current-document"
+                ? `Set form ${options.form.id} action to ${options.expectedAction}, or align its documentPath with the real page route.`
+                : `Set form ${options.form.id} action to ${options.expectedAction}.`,
+            mustPreserve: [
+                `action ${options.actionId}`,
+                `route path ${options.expectedAction}`,
+                "form-to-action linkage",
+            ],
+            mustNot: [
+                "change the action route to match an accidental form target",
+                "remove the form-to-action linkage",
+            ],
+        },
+    };
+}
+function resolveFormAction(options) {
+    if (options.form.action.kind === "literal") {
+        return { path: options.form.action.value, source: "literal" };
+    }
+    if (options.documentPath === undefined) {
+        throw new InputFailure("configuration", "form.document_path_missing", `Action ${JSON.stringify(options.actionId)} links a current-document form but does not declare form.documentPath.`, options.featureContractPath);
+    }
+    return { path: options.documentPath, source: "current-document" };
+}
+function unexpectedFieldDiagnostic(options) {
+    return {
+        code: "form.field_unexpected",
+        severity: "error",
+        category: "form-contract",
+        message: `Form ${JSON.stringify(options.form.id)} contains unexpected field ${JSON.stringify(options.fieldName)}.`,
+        file: options.templateFile,
+        range: options.fieldRange,
+        facts: {
+            actionId: options.actionId,
+            fieldName: options.fieldName,
+            formId: options.form.id,
+            template: options.templateFile,
+            unknownFieldsPolicy: "reject",
+        },
+        related: [
+            {
+                role: "unknown-fields-policy",
+                message: "The form codec rejects fields that are neither bound nor explicitly ignored.",
+                file: options.featureContractPath,
+                range: actionFormCodecPropertyRange(options.featureText, options.actionIndex, "unknownFields"),
+            },
+        ],
+        repair: {
+            strategy: "declare-or-remove-unexpected-form-field",
+            hint: `Bind field ${options.fieldName}, declare it as ignored with its consumer, or remove the control.`,
+            mustPreserve: [
+                "unknown field rejection",
+                `action ${options.actionId}`,
+                "form-to-action linkage",
+            ],
+            mustNot: [
+                "weaken the unknown field policy",
+                `silently discard ${options.fieldName} at runtime`,
+            ],
+        },
+    };
+}
+function missingFieldDiagnostic(options) {
+    return {
+        code: "form.field_missing",
+        severity: "error",
+        category: "form-contract",
+        message: `Form ${JSON.stringify(options.form.id)} is missing required field ${JSON.stringify(options.fieldName)}.`,
+        file: options.templateFile,
+        range: options.form.range,
+        facts: {
+            actionId: options.actionId,
+            fieldName: options.fieldName,
+            formId: options.form.id,
+            schemaPath: [options.fieldName],
+            template: options.templateFile,
+        },
+        related: [
+            {
+                role: "action-input-field",
+                message: "The action input requires this field.",
+                file: options.featureContractPath,
+                range: actionSchemaPropertyRange(options.featureText, options.actionIndex, options.fieldName),
+            },
+        ],
+        repair: {
+            strategy: "add-missing-form-control",
+            hint: `Add a named control bound to ${options.fieldName} in form ${options.form.id}.`,
+            mustPreserve: [
+                `action input requirement for ${options.fieldName}`,
+                "form-to-action linkage",
+            ],
+            mustNot: [
+                `make ${options.fieldName} optional`,
+                `remove ${options.fieldName} from the action input contract`,
+            ],
+        },
+    };
+}
+//# sourceMappingURL=form-rule.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"form-rule.js","sourceRoot":"","sources":["../../src/form-rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAclC,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAEnE,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,6BAA6B,EAC7B,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,YAAY,EACZ,eAAe,GAChB,MAAM,YAAY,CAAC;AAEpB,MAAM,UAAU,iBAAiB,CAAC,OAKjC;IACC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACpE,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,IAAI,CAAC,EAAE,CAAC;QACzF,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,uBAAuB,CAC1C,MAAM,CAAC,IAAI,CAAC,QAAQ,EACpB,eAAe,CAChB,CAAC;QACF,MAAM,eAAe,GAAG,eAAe,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;QACnE,MAAM,aAAa,GAAG,sBAAsB,CAC1C,OAAO,CAAC,SAAS,EACjB,eAAe,EACf,MAAM,CAAC,IAAI,CAAC,EAAE,CACf,CAAC;QACF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,mBAAmB,EACnE,aAAa,CAAC,MAAM,KAAK,CAAC;gBACxB,CAAC,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,qBAAqB,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,GAAG;gBAC/F,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,GAAG,EAC7G,eAAe,CAChB,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACxC,WAAW,CAAC,IAAI,CACd,wBAAwB,CAAC;gBACvB,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,WAAW;gBACX,YAAY,EAAE,IAAI,CAAC,MAAM;gBACzB,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;gBACnC,IAAI;gBACJ,YAAY,EAAE,eAAe;gBAC7B,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;gBAChD,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CACH,CAAC;QACJ,CAAC;QACD,MAAM,cAAc,GAAG,iBAAiB,CAAC;YACvC,QAAQ,EAAE,MAAM,CAAC,EAAE;YACnB,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,YAAY;YACtC,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;YAChD,IAAI;SACL,CAAC,CAAC;QACH,IAAI,cAAc,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC9C,WAAW,CAAC,IAAI,CACd,wBAAwB,CAAC;gBACvB,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,WAAW;gBACX,YAAY,EAAE,cAAc,CAAC,IAAI;gBACjC,kBAAkB,EAAE,cAAc,CAAC,MAAM;gBACzC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI;gBACjC,IAAI;gBACJ,YAAY,EAAE,eAAe;gBAC7B,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;gBAChD,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CACH,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC/C,WAAW,CAAC,IAAI,CACd,4BAA4B,CAAC;gBAC3B,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,IAAI;gBACJ,OAAO;gBACP,YAAY,EAAE,eAAe;gBAC7B,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;gBAChD,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,WAAW;aACZ,CAAC,CACH,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5E,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC9D,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,kCAAkC,EAClC,yBAAyB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,0BAA0B,EAC5E,OAAO,CAAC,mBAAmB,CAC5B,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAClD,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,CACjE,CAAC;YACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,sBAAsB,EACtB,yBAAyB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,6BAA6B,EAC/E,OAAO,CAAC,mBAAmB,CAC5B,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7D,SAAS;YACX,CAAC;YACD,WAAW,CAAC,IAAI,CACd,sBAAsB,CAAC;gBACrB,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,WAAW;gBACX,SAAS;gBACT,IAAI;gBACJ,YAAY,EAAE,eAAe;gBAC7B,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;gBAChD,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CACH,CAAC;QACJ,CAAC;QAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;YACjC,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;YACjE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SAC3E,CAAC,CAAC;QACH,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,IAAI,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvC,SAAS;YACX,CAAC;YACD,WAAW,CAAC,IAAI,CACd,yBAAyB,CAAC;gBACxB,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,WAAW;gBACX,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,UAAU,EAAE,KAAK,CAAC,KAAK;gBACvB,IAAI;gBACJ,YAAY,EAAE,eAAe;gBAC7B,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;gBAChD,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CACH,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE;YAChE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO;YACT,CAAC;YACD,MAAM,gCAAgC,GACpC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACzB,KAAK,CAAC,QAAQ,CAAC,KAAK,CAClB,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,SAAS,KAAK,OAAO,CACvE,CAAC;YACJ,MAAM,mBAAmB,GACvB,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,gCAAgC;gBAC5D,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACnB,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CACjB,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,SAAS,KAAK,UAAU,CAAC;oBAC9D,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,CAClD,CAAC;YACR,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;gBACtC,OAAO;YACT,CAAC;YACD,WAAW,CAAC,IAAI,CACd,8BAA8B,CAAC;gBAC7B,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,WAAW;gBACX,YAAY;gBACZ,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;gBACnC,SAAS,EAAE,OAAO,CAAC,IAAI;gBACvB,IAAI;gBACJ,OAAO,EAAE,mBAAmB;gBAC5B,YAAY,EAAE,eAAe;gBAC7B,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;gBAChD,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,4BAA4B,CAAC,OAQrC;IACC,MAAM,WAAW,GACf,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,YAAY;QACrC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,iBAAiB;YAC5C,CAAC,CAAC,iBAAiB;YACnB,CAAC,CAAC,0BAA0B,CAAC;IACnC,OAAO;QACL,IAAI,EAAE,0BAA0B;QAChC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,QAAQ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,WAAW,GAAG;QACvF,IAAI,EAAE,OAAO,CAAC,YAAY;QAC1B,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK;QAC5B,KAAK,EAAE;YACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI;YACjC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS;YACtC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI;YAC/B,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;YACvB,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM;YAC9B,QAAQ,EAAE,OAAO,CAAC,YAAY;SAC/B;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,wDAAwD;gBACjE,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,KAAK,EAAE,wBAAwB,CAC7B,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,WAAW,EACnB,MAAM,CACP;aACF;SACF;QACD,MAAM,EAAE;YACN,QAAQ,EAAE,qCAAqC;YAC/C,IAAI,EAAE,cAAc,WAAW,kEAAkE;YACjG,YAAY,EAAE;gBACZ,UAAU,OAAO,CAAC,QAAQ,EAAE;gBAC5B,+BAA+B;aAChC;YACD,OAAO,EAAE;gBACP,yCAAyC;gBACzC,4BAA4B;aAC7B;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CAAC,OAWvC;IACC,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,GAAG,CAAC;QAC3C,CAAC,CAAC,GAAG,OAAO,CAAC,YAAY,8CAA8C;QACvE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;YAChC,CAAC,CAAC,cAAc,OAAO,CAAC,OAAO,CAAC,SAAS,GAAG;YAC5C,CAAC,CAAC,kBAAkB,CAAC;IACzB,OAAO;QACL,IAAI,EAAE,6BAA6B;QACnC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,cAAc,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,YAAY,gDAAgD;QAC7H,IAAI,EAAE,OAAO,CAAC,YAAY;QAC1B,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK;QAC5B,KAAK,EAAE;YACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;YACnE,GAAG,CAAC,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS;YACtC,WAAW,EAAE,MAAM;YACnB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;YACvB,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ;YAClC,QAAQ,EAAE,OAAO,CAAC,YAAY;SAC/B;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,+DAA+D;gBACxE,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,KAAK,EAAE,6BAA6B,CAClC,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,YAAY,CACrB;aACF;SACF;QACD,MAAM,EAAE;YACN,QAAQ,EAAE,2BAA2B;YACrC,IAAI,EAAE,iCAAiC,OAAO,CAAC,SAAS,iDAAiD,YAAY,GAAG;YACxH,YAAY,EAAE;gBACZ,UAAU,OAAO,CAAC,QAAQ,EAAE;gBAC5B,iBAAiB,OAAO,CAAC,SAAS,EAAE;gBACpC,wBAAwB;aACzB;YACD,OAAO,EAAE;gBACP,iEAAiE;gBACjE,+CAA+C;aAChD;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,OASjC;IACC,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,QAAQ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,YAAY,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG;QAC1M,IAAI,EAAE,OAAO,CAAC,YAAY;QAC1B,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW;QAC/B,KAAK,EAAE;YACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;YACvB,QAAQ,EAAE,OAAO,CAAC,YAAY;SAC/B;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,wDAAwD;gBACjE,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,KAAK,EAAE,wBAAwB,CAC7B,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,WAAW,EACnB,QAAQ,CACT;aACF;SACF;QACD,MAAM,EAAE;YACN,QAAQ,EAAE,mBAAmB;YAC7B,IAAI,EAAE,YAAY,OAAO,CAAC,IAAI,CAAC,EAAE,cAAc,OAAO,CAAC,cAAc,GAAG;YACxE,YAAY,EAAE;gBACZ,UAAU,OAAO,CAAC,QAAQ,EAAE;gBAC5B,gBAAgB,OAAO,CAAC,cAAc,EAAE;gBACxC,wBAAwB;aACzB;YACD,OAAO,EAAE;gBACP,4DAA4D;gBAC5D,mCAAmC;aACpC;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,OAUjC;IACC,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,QAAQ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,YAAY,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG;QACzM,IAAI,EAAE,OAAO,CAAC,YAAY;QAC1B,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK;QAChC,KAAK,EAAE;YACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;YAC9C,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;YACvB,QAAQ,EAAE,OAAO,CAAC,YAAY;SAC/B;QACD,OAAO,EAAE;YACP,GAAG,CAAC,OAAO,CAAC,kBAAkB,KAAK,kBAAkB;gBACnD,CAAC,CAAC,CAAC;wBACC,IAAI,EAAE,oBAAoB;wBAC1B,OAAO,EAAE,uDAAuD;wBAChE,IAAI,EAAE,OAAO,CAAC,mBAAmB;wBACjC,KAAK,EAAE,uBAAuB,CAC5B,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,WAAW,EACnB,cAAc,CACf;qBACF,CAAC;gBACJ,CAAC,CAAC,EAAE,CAAC;YACP;gBACE,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,4DAA4D;gBACrE,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,KAAK,EAAE,wBAAwB,CAC7B,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,WAAW,EACnB,MAAM,CACP;aACF;SACF;QACD,MAAM,EAAE;YACN,QAAQ,EAAE,mBAAmB;YAC7B,IAAI,EAAE,OAAO,CAAC,kBAAkB,KAAK,kBAAkB;gBACrD,CAAC,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,EAAE,cAAc,OAAO,CAAC,cAAc,uDAAuD;gBACxH,CAAC,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,EAAE,cAAc,OAAO,CAAC,cAAc,GAAG;YACtE,YAAY,EAAE;gBACZ,UAAU,OAAO,CAAC,QAAQ,EAAE;gBAC5B,cAAc,OAAO,CAAC,cAAc,EAAE;gBACtC,wBAAwB;aACzB;YACD,OAAO,EAAE;gBACP,4DAA4D;gBAC5D,mCAAmC;aACpC;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,OAK1B;IACC,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAChE,CAAC;IACD,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,4BAA4B,EAC5B,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,wEAAwE,EAClH,OAAO,CAAC,mBAAmB,CAC5B,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,yBAAyB,CAAC,OASlC;IACC,OAAO;QACL,IAAI,EAAE,uBAAuB;QAC7B,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,QAAQ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG;QAClH,IAAI,EAAE,OAAO,CAAC,YAAY;QAC1B,KAAK,EAAE,OAAO,CAAC,UAAU;QACzB,KAAK,EAAE;YACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;YACvB,QAAQ,EAAE,OAAO,CAAC,YAAY;YAC9B,mBAAmB,EAAE,QAAQ;SAC9B;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,8EAA8E;gBACvF,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,KAAK,EAAE,4BAA4B,CACjC,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,WAAW,EACnB,eAAe,CAChB;aACF;SACF;QACD,MAAM,EAAE;YACN,QAAQ,EAAE,yCAAyC;YACnD,IAAI,EAAE,cAAc,OAAO,CAAC,SAAS,mEAAmE;YACxG,YAAY,EAAE;gBACZ,yBAAyB;gBACzB,UAAU,OAAO,CAAC,QAAQ,EAAE;gBAC5B,wBAAwB;aACzB;YACD,OAAO,EAAE;gBACP,iCAAiC;gBACjC,oBAAoB,OAAO,CAAC,SAAS,aAAa;aACnD;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,OAQ/B;IACC,OAAO;QACL,IAAI,EAAE,oBAAoB;QAC1B,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,QAAQ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG;QAClH,IAAI,EAAE,OAAO,CAAC,YAAY;QAC1B,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK;QACzB,KAAK,EAAE;YACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;YACvB,UAAU,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC;YAC/B,QAAQ,EAAE,OAAO,CAAC,YAAY;SAC/B;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,uCAAuC;gBAChD,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,KAAK,EAAE,yBAAyB,CAC9B,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,SAAS,CAClB;aACF;SACF;QACD,MAAM,EAAE;YACN,QAAQ,EAAE,0BAA0B;YACpC,IAAI,EAAE,gCAAgC,OAAO,CAAC,SAAS,YAAY,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG;YACrF,YAAY,EAAE;gBACZ,gCAAgC,OAAO,CAAC,SAAS,EAAE;gBACnD,wBAAwB;aACzB;YACD,OAAO,EAAE;gBACP,QAAQ,OAAO,CAAC,SAAS,WAAW;gBACpC,UAAU,OAAO,CAAC,SAAS,iCAAiC;aAC7D;SACF;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,10 @@
+import type { Diagnostic, FeatureContract } from "@0disoft/mensor-contract";
+import type { SourceFactIndex } from "./source-fact-index.js";
+export declare function checkFeatureHandlers(options: {
+    readonly featureContractPath: string;
+    readonly featureText: string;
+    readonly feature: FeatureContract;
+    readonly discovered: ReadonlySet<string>;
+    readonly sourceFacts: SourceFactIndex;
+}): Promise<readonly Diagnostic[]>;
+//# sourceMappingURL=handler-rule.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"handler-rule.d.ts","sourceRoot":"","sources":["../../src/handler-rule.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,UAAU,EACV,eAAe,EAEhB,MAAM,0BAA0B,CAAC;AAQlC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,wBAAsB,oBAAoB,CAAC,OAAO,EAAE;IAClD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;CACvC,GAAG,OAAO,CAAC,SAAS,UAAU,EAAE,CAAC,CAyCjC"}

package/dist/src/handler-rule.js

@@ -0,0 +1,75 @@
+import * as path from "node:path";
+import { handlerExportRange } from "./locations.js";
+import { assertRelativePosixPath, InputFailure, joinProjectPath, } from "./paths.js";
+export async function checkFeatureHandlers(options) {
+    const featureRoot = path.posix.dirname(options.featureContractPath);
+    const diagnostics = [];
+    for (let actionIndex = 0; actionIndex < options.feature.actions.length; actionIndex += 1) {
+        const action = options.feature.actions[actionIndex];
+        if (action === undefined) {
+            continue;
+        }
+        const handlerFile = assertRelativePosixPath(action.handler.file, "handler file");
+        const projectFile = joinProjectPath(featureRoot, handlerFile);
+        if (!options.discovered.has(projectFile)) {
+            continue;
+        }
+        const module = await options.sourceFacts.get(projectFile);
+        if (module.exports.some((entry) => entry.kind === "value" && entry.name === action.handler.export)) {
+            continue;
+        }
+        if (module.hasExportStar) {
+            throw new InputFailure("configuration", "typescript.export_star_unsupported", `Handler source ${JSON.stringify(projectFile)} must explicitly re-export ${JSON.stringify(action.handler.export)} instead of relying on export *.`, projectFile);
+        }
+        diagnostics.push(missingExportDiagnostic({
+            actionId: action.id,
+            actionIndex,
+            exportName: action.handler.export,
+            handlerFile,
+            projectFile,
+            featureContractPath: options.featureContractPath,
+            featureText: options.featureText,
+        }));
+    }
+    return diagnostics;
+}
+function missingExportDiagnostic(options) {
+    return {
+        code: "handler.export_missing",
+        severity: "error",
+        category: "project-structure",
+        message: `Handler file ${JSON.stringify(options.handlerFile)} does not export ${JSON.stringify(options.exportName)}.`,
+        file: options.projectFile,
+        range: {
+            start: { line: 0, character: 0 },
+            end: { line: 0, character: 0 },
+        },
+        facts: {
+            actionId: options.actionId,
+            exportName: options.exportName,
+            handlerFile: options.handlerFile,
+        },
+        related: [
+            {
+                role: "handler-export-declaration",
+                message: "The action contract requires this named export.",
+                file: options.featureContractPath,
+                range: handlerExportRange(options.featureText, options.actionIndex),
+            },
+        ],
+        repair: {
+            strategy: "export-declared-handler",
+            hint: `Export ${options.exportName} from ${options.handlerFile}.`,
+            mustPreserve: [
+                `action ${options.actionId}`,
+                `handler file ${options.handlerFile}`,
+                `handler export ${options.exportName}`,
+            ],
+            mustNot: [
+                "change the contract to an unrelated export",
+                "execute the handler during checking",
+            ],
+        },
+    };
+}
+//# sourceMappingURL=handler-rule.js.map

package/dist/src/handler-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"handler-rule.js","sourceRoot":"","sources":["../../src/handler-rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAQlC,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EACL,uBAAuB,EACvB,YAAY,EACZ,eAAe,GAChB,MAAM,YAAY,CAAC;AAGpB,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,OAM1C;IACC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACpE,MAAM,WAAW,GAAqC,EAAE,CAAC;IAEzD,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,IAAI,CAAC,EAAE,CAAC;QACzF,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,uBAAuB,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACjF,MAAM,WAAW,GAAG,eAAe,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QAC9D,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;YACzC,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC1D,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CACrB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM,CAC1E,EAAE,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACzB,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,oCAAoC,EACpC,kBAAkB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,kCAAkC,EAClJ,WAAW,CACZ,CAAC;QACJ,CAAC;QACD,WAAW,CAAC,IAAI,CACd,uBAAuB,CAAC;YACtB,QAAQ,EAAE,MAAM,CAAC,EAAE;YACnB,WAAW;YACX,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;YACjC,WAAW;YACX,WAAW;YACX,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;YAChD,WAAW,EAAE,OAAO,CAAC,WAAW;SACjC,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,uBAAuB,CAAC,OAQhC;IACC,OAAO;QACL,IAAI,EAAE,wBAAwB;QAC9B,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,gBAAgB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG;QACrH,IAAI,EAAE,OAAO,CAAC,WAAW;QACzB,KAAK,EAAE;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;QACD,KAAK,EAAE;YACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;SACjC;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,iDAAiD;gBAC1D,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC;aACpE;SACF;QACD,MAAM,EAAE;YACN,QAAQ,EAAE,yBAAyB;YACnC,IAAI,EAAE,UAAU,OAAO,CAAC,UAAU,SAAS,OAAO,CAAC,WAAW,GAAG;YACjE,YAAY,EAAE;gBACZ,UAAU,OAAO,CAAC,QAAQ,EAAE;gBAC5B,gBAAgB,OAAO,CAAC,WAAW,EAAE;gBACrC,kBAAkB,OAAO,CAAC,UAAU,EAAE;aACvC;YACD,OAAO,EAAE;gBACP,4CAA4C;gBAC5C,qCAAqC;aACtC;SACF;KACF,CAAC;AACJ,CAAC"}

package/dist/src/html-forms.d.ts

@@ -0,0 +1,12 @@
+import type { CompilerTiming } from "./compiler-timing.js";
+import { type FormDocumentFact, type FormIndex } from "./form-index.js";
+export interface StaticHtmlFormIndexProvider {
+    readonly getIndex: (documentPaths: readonly string[]) => Promise<FormIndex>;
+}
+export declare function createStaticHtmlFormIndexProvider(options: {
+    readonly producerVersion: string;
+    readonly readSource: (documentPath: string) => Promise<string>;
+    readonly timing?: CompilerTiming;
+}): StaticHtmlFormIndexProvider;
+export declare function extractStaticHtmlFormDocument(documentPath: string, html: string): FormDocumentFact;
+//# sourceMappingURL=html-forms.d.ts.map

package/dist/src/html-forms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"html-forms.d.ts","sourceRoot":"","sources":["../../src/html-forms.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAKL,KAAK,gBAAgB,EACrB,KAAK,SAAS,EAKf,MAAM,iBAAiB,CAAC;AAUzB,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,QAAQ,EAAE,CACjB,aAAa,EAAE,SAAS,MAAM,EAAE,KAC7B,OAAO,CAAC,SAAS,CAAC,CAAC;CACzB;AAED,wBAAgB,iCAAiC,CAAC,OAAO,EAAE;IACzD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/D,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC;CAClC,GAAG,2BAA2B,CAuD9B;AAED,wBAAgB,6BAA6B,CAC3C,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,GACX,gBAAgB,CAclB"}