@0disoft/mensor-contract 0.1.0

package/dist/src/route-index.js

@@ -0,0 +1,120 @@
+import { parseJsonc } from "./jsonc.js";
+import { schemaIssues, validateRouteIndex } from "./schemas.js";
+const windowsReservedName = /^(?:aux|con|nul|prn|com[1-9]|lpt[1-9])(?:\..*)?$/iu;
+export function parseRouteIndex(text) {
+    const parsed = parseJsonc(text);
+    if (!parsed.ok) {
+        return parsed;
+    }
+    if (!validateRouteIndex(parsed.value)) {
+        return { ok: false, issues: schemaIssues(validateRouteIndex) };
+    }
+    const issues = routeIndexSemanticIssues(parsed.value);
+    if (issues.length > 0) {
+        return { ok: false, issues };
+    }
+    const canonical = canonicalRouteIndex(parsed.value);
+    if (serializeRouteIndex(canonical) !== text) {
+        return {
+            ok: false,
+            issues: [semanticIssue("", "RouteIndex must use canonical JSON encoding.")],
+        };
+    }
+    return { ok: true, value: canonical };
+}
+export function serializeRouteIndex(value) {
+    if (!validateRouteIndex(value)) {
+        const issue = schemaIssues(validateRouteIndex)[0];
+        throw new TypeError(`RouteIndex cannot be serialized: ${issue?.message ?? "schema validation failed"}`);
+    }
+    const issues = routeIndexSemanticIssues(value);
+    if (issues.length > 0) {
+        throw new TypeError(`RouteIndex cannot be serialized: ${issues[0]?.message}`);
+    }
+    return `${JSON.stringify(canonicalRouteIndex(value), null, 2)}\n`;
+}
+function canonicalRouteIndex(value) {
+    return {
+        schemaVersion: 1,
+        producer: {
+            name: value.producer.name,
+            version: value.producer.version,
+        },
+        routes: [...value.routes]
+            .sort(compareRoutes)
+            .map((route) => ({
+            method: route.method,
+            path: route.path,
+            source: {
+                file: route.source.file,
+                contentDigest: route.source.contentDigest,
+                range: {
+                    start: {
+                        line: route.source.range.start.line,
+                        character: route.source.range.start.character,
+                    },
+                    end: {
+                        line: route.source.range.end.line,
+                        character: route.source.range.end.character,
+                    },
+                },
+            },
+        })),
+    };
+}
+function routeIndexSemanticIssues(value) {
+    const issues = [];
+    const routeKeys = new Set();
+    value.routes.forEach((route, index) => {
+        if (!portableSourcePath(route.source.file)) {
+            issues.push(semanticIssue(`/routes/${index}/source/file`, "Route source file must be a portable project-relative POSIX path."));
+        }
+        if (!rangeIsOrdered(route.source.range)) {
+            issues.push(semanticIssue(`/routes/${index}/source/range`, "Route source range start must not follow its end."));
+        }
+        const key = `${route.method}\u0000${route.path}`;
+        if (routeKeys.has(key)) {
+            issues.push(semanticIssue(`/routes/${index}`, "Route method and path pairs must be unique."));
+        }
+        routeKeys.add(key);
+    });
+    return issues;
+}
+function portableSourcePath(value) {
+    return value.split("/").every((segment) => segment.length > 0
+        && segment !== "."
+        && segment !== ".."
+        && !segment.includes(":")
+        && !segment.endsWith(".")
+        && !segment.endsWith(" ")
+        && !windowsReservedName.test(segment));
+}
+function compareRoutes(left, right) {
+    return compareText(left.method, right.method)
+        || compareText(left.path, right.path)
+        || compareText(left.source.file, right.source.file)
+        || compareRanges(left.source.range, right.source.range);
+}
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function compareRanges(left, right) {
+    return comparePositions(left.start, right.start)
+        || comparePositions(left.end, right.end);
+}
+function comparePositions(left, right) {
+    return left.line - right.line || left.character - right.character;
+}
+function rangeIsOrdered(range) {
+    return comparePositions(range.start, range.end) <= 0;
+}
+function semanticIssue(instancePath, message) {
+    return {
+        code: "schema.violation",
+        message,
+        instancePath,
+        schemaPath: "#/$semantic",
+        keyword: "semantic",
+    };
+}
+//# sourceMappingURL=route-index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"route-index.js","sourceRoot":"","sources":["../../src/route-index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAUhE,MAAM,mBAAmB,GAAG,oDAAoD,CAAC;AAEjF,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,kBAAkB,CAAC,EAAE,CAAC;IACjE,CAAC;IAED,MAAM,MAAM,GAAG,wBAAwB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/B,CAAC;IACD,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,mBAAmB,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,8CAA8C,CAAC,CAAC;SAC5E,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,YAAY,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,IAAI,SAAS,CACjB,oCAAoC,KAAK,EAAE,OAAO,IAAI,0BAA0B,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,SAAS,CAAC,oCAAoC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AACpE,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAiB;IAC5C,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE;YACR,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI;YACzB,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;SAChC;QACD,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;aACtB,IAAI,CAAC,aAAa,CAAC;aACnB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACf,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE;gBACN,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI;gBACvB,aAAa,EAAE,KAAK,CAAC,MAAM,CAAC,aAAa;gBACzC,KAAK,EAAE;oBACL,KAAK,EAAE;wBACL,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI;wBACnC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS;qBAC9C;oBACD,GAAG,EAAE;wBACH,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI;wBACjC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS;qBAC5C;iBACF;aACF;SACF,CAAC,CAAC;KACN,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAiB;IACjD,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACpC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,WAAW,KAAK,cAAc,EAC9B,mEAAmE,CACpE,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACxC,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,WAAW,KAAK,eAAe,EAC/B,mDAAmD,CACpD,CAAC,CAAC;QACL,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,MAAM,SAAS,KAAK,CAAC,IAAI,EAAE,CAAC;QACjD,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,WAAW,KAAK,EAAE,EAClB,6CAA6C,CAC9C,CAAC,CAAC;QACL,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CACxC,OAAO,CAAC,MAAM,GAAG,CAAC;WACf,OAAO,KAAK,GAAG;WACf,OAAO,KAAK,IAAI;WAChB,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;WACtB,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;WACtB,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;WACtB,CAAC,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CACtC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAkB,EAAE,KAAmB;IAC5D,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;WACxC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;WAClC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;WAChD,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5D,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,aAAa,CAAC,IAAiB,EAAE,KAAkB;IAC1D,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;WAC3C,gBAAgB,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAoB,EAAE,KAAqB;IACnE,OAAO,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,cAAc,CAAC,KAAkB;IACxC,OAAO,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,aAAa,CAAC,YAAoB,EAAE,OAAe;IAC1D,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,OAAO;QACP,YAAY;QACZ,UAAU,EAAE,aAAa;QACzB,OAAO,EAAE,UAAU;KACpB,CAAC;AACJ,CAAC"}

package/dist/src/schemas.d.ts

@@ -0,0 +1,8 @@
+import { type ValidateFunction } from "ajv/dist/2020.js";
+import type { ContractIssue, DiagnosticReport, FeatureContract, ProjectContract, RouteIndex } from "./types.js";
+export declare const validateProjectContract: ValidateFunction<ProjectContract>;
+export declare const validateFeatureContract: ValidateFunction<FeatureContract>;
+export declare const validateDiagnosticReport: ValidateFunction<DiagnosticReport>;
+export declare const validateRouteIndex: ValidateFunction<RouteIndex>;
+export declare function schemaIssues(validator: ValidateFunction): readonly ContractIssue[];
+//# sourceMappingURL=schemas.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../src/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,gBAAgB,EACtB,MAAM,kBAAkB,CAAC;AAO1B,OAAO,KAAK,EACV,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,UAAU,EACX,MAAM,YAAY,CAAC;AAYpB,eAAO,MAAM,uBAAuB,mCAEnC,CAAC;AAEF,eAAO,MAAM,uBAAuB,mCAEnC,CAAC;AAEF,eAAO,MAAM,wBAAwB,oCAEpC,CAAC;AAEF,eAAO,MAAM,kBAAkB,8BAA4C,CAAC;AAE5E,wBAAgB,YAAY,CAC1B,SAAS,EAAE,gBAAgB,GAC1B,SAAS,aAAa,EAAE,CAU1B"}

package/dist/src/schemas.js

@@ -0,0 +1,40 @@
+import { Ajv2020, } from "ajv/dist/2020.js";
+import diagnosticReportSchema from "../spec/diagnostic-report-v1.schema.json" with { type: "json" };
+import featureContractSchema from "../spec/feature-contract-v1.schema.json" with { type: "json" };
+import projectContractSchema from "../spec/project-contract-v1.schema.json" with { type: "json" };
+import routeIndexSchema from "../spec/route-index-v1.schema.json" with { type: "json" };
+const ajv = new Ajv2020({
+    allErrors: true,
+    coerceTypes: false,
+    messages: true,
+    removeAdditional: false,
+    strict: true,
+    useDefaults: false,
+    validateFormats: false,
+});
+export const validateProjectContract = ajv.compile(projectContractSchema);
+export const validateFeatureContract = ajv.compile(featureContractSchema);
+export const validateDiagnosticReport = ajv.compile(diagnosticReportSchema);
+export const validateRouteIndex = ajv.compile(routeIndexSchema);
+export function schemaIssues(validator) {
+    return [...(validator.errors ?? [])]
+        .sort(compareSchemaErrors)
+        .map((error) => ({
+        code: "schema.violation",
+        message: schemaErrorMessage(error),
+        instancePath: error.instancePath,
+        schemaPath: error.schemaPath,
+        keyword: error.keyword,
+    }));
+}
+function compareSchemaErrors(left, right) {
+    return (left.instancePath.localeCompare(right.instancePath) ||
+        left.schemaPath.localeCompare(right.schemaPath) ||
+        left.keyword.localeCompare(right.keyword) ||
+        (left.message ?? "").localeCompare(right.message ?? ""));
+}
+function schemaErrorMessage(error) {
+    const location = error.instancePath === "" ? "/" : error.instancePath;
+    return `${location} ${error.message ?? "does not satisfy the schema"}.`;
+}
+//# sourceMappingURL=schemas.js.map

package/dist/src/schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../src/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,GAGR,MAAM,kBAAkB,CAAC;AAE1B,OAAO,sBAAsB,MAAM,0CAA0C,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AACpG,OAAO,qBAAqB,MAAM,yCAAyC,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AAClG,OAAO,qBAAqB,MAAM,yCAAyC,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AAClG,OAAO,gBAAgB,MAAM,oCAAoC,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AAUxF,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC;IACtB,SAAS,EAAE,IAAI;IACf,WAAW,EAAE,KAAK;IAClB,QAAQ,EAAE,IAAI;IACd,gBAAgB,EAAE,KAAK;IACvB,MAAM,EAAE,IAAI;IACZ,WAAW,EAAE,KAAK;IAClB,eAAe,EAAE,KAAK;CACvB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,CAAC,OAAO,CAChD,qBAAqB,CACtB,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,CAAC,OAAO,CAChD,qBAAqB,CACtB,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,GAAG,CAAC,OAAO,CACjD,sBAAsB,CACvB,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAC,OAAO,CAAa,gBAAgB,CAAC,CAAC;AAE5E,MAAM,UAAU,YAAY,CAC1B,SAA2B;IAE3B,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;SACjC,IAAI,CAAC,mBAAmB,CAAC;SACzB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACf,IAAI,EAAE,kBAA2B;QACjC,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC;QAClC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAiB,EAAE,KAAkB;IAChE,OAAO,CACL,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC;QACnD,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/C,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC;QACzC,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CACxD,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAkB;IAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;IACtE,OAAO,GAAG,QAAQ,IAAI,KAAK,CAAC,OAAO,IAAI,6BAA6B,GAAG,CAAC;AAC1E,CAAC"}

package/dist/src/types.d.ts

@@ -0,0 +1,385 @@
+export type JsonPrimitive = string | number | boolean | null;
+export type JsonValue = JsonPrimitive | JsonObject | readonly JsonValue[];
+export interface JsonObject {
+    readonly [key: string]: JsonValue;
+}
+export type ContractIssueCode = "jsonc.empty" | "jsonc.syntax" | "jsonc.duplicate_key" | "schema.violation";
+export interface ContractIssue {
+    readonly code: ContractIssueCode;
+    readonly message: string;
+    readonly offset?: number;
+    readonly length?: number;
+    readonly instancePath?: string;
+    readonly schemaPath?: string;
+    readonly keyword?: string;
+}
+export interface ContractSuccess<T> {
+    readonly ok: true;
+    readonly value: T;
+}
+export interface ContractFailure {
+    readonly ok: false;
+    readonly issues: readonly ContractIssue[];
+}
+export type ContractResult<T> = ContractSuccess<T> | ContractFailure;
+export interface ProjectContract {
+    readonly $schema?: string;
+    readonly version: 1;
+    readonly sourceRoot: string;
+    readonly featureContracts: readonly string[];
+    readonly fileRoles: readonly FileRoleContract[];
+    readonly boundaries?: readonly BoundaryContract[];
+    readonly ownershipRules?: readonly OwnershipRuleContract[];
+    readonly routeIndex?: string;
+}
+export type ContentDigest = `sha256:${string}`;
+export interface RouteIndex {
+    readonly schemaVersion: 1;
+    readonly producer: {
+        readonly name: string;
+        readonly version: string;
+    };
+    readonly routes: readonly IndexedRoute[];
+}
+export interface IndexedRoute {
+    readonly method: "GET" | "POST";
+    readonly path: string;
+    readonly source: {
+        readonly file: string;
+        readonly contentDigest: ContentDigest;
+        readonly range: SourceRange;
+    };
+}
+export interface BoundaryContract {
+    readonly id: string;
+    readonly mode: "direct" | "transitive";
+    readonly from: readonly string[];
+    readonly deny: readonly string[];
+}
+export interface OwnershipRuleContract {
+    readonly id: string;
+    readonly kind: "i18n" | "test";
+    readonly suffixes: readonly string[];
+    readonly withinFeature: string;
+}
+export interface FileRoleContract {
+    readonly role: string;
+    readonly withinFeature: string;
+}
+export interface StringSchema {
+    readonly kind: "string";
+    readonly minLength?: number;
+    readonly maxLength?: number;
+}
+export interface ObjectSchema {
+    readonly kind: "object";
+    readonly properties: Readonly<Record<string, StringSchema>>;
+    readonly required: readonly string[];
+}
+export interface TextDecoder {
+    readonly kind: "text";
+    readonly trim: boolean;
+    readonly empty: "allow" | "reject";
+}
+export interface FormBinding {
+    readonly name: string;
+    readonly path: readonly string[];
+    readonly decode: TextDecoder;
+}
+export interface IgnoredFormField {
+    readonly name: string;
+    readonly consumer: string;
+}
+export interface FormCodec {
+    readonly encoding: "urlencoded";
+    readonly unknownFields: "reject";
+    readonly bindings: readonly FormBinding[];
+    readonly ignoredFields?: readonly IgnoredFormField[];
+}
+export interface ActionContract {
+    readonly id: string;
+    readonly route: {
+        readonly method: "POST";
+        readonly path: string;
+    };
+    readonly form: {
+        readonly template: string;
+        readonly id: string;
+        readonly documentPath?: string;
+    };
+    readonly handler: {
+        readonly file: string;
+        readonly export: string;
+        readonly role: string;
+    };
+    readonly input: {
+        readonly schema: ObjectSchema;
+        readonly formCodec: FormCodec;
+    };
+}
+export interface FeatureContract {
+    readonly $schema?: string;
+    readonly version: 1;
+    readonly feature: {
+        readonly id: string;
+    };
+    readonly actions: readonly ActionContract[];
+}
+export interface SourcePosition {
+    readonly line: number;
+    readonly character: number;
+}
+export interface SourceRange {
+    readonly start: SourcePosition;
+    readonly end: SourcePosition;
+}
+export interface RelatedLocation {
+    readonly role: string;
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+}
+export interface RepairInstruction {
+    readonly strategy: string;
+    readonly hint: string;
+    readonly mustPreserve: readonly string[];
+    readonly mustNot: readonly string[];
+}
+export interface FormFieldMissingFacts {
+    readonly actionId: string;
+    readonly fieldName: string;
+    readonly formId: string;
+    readonly schemaPath: readonly string[];
+    readonly template: string;
+}
+export interface FormFieldMissingDiagnostic {
+    readonly code: "form.field_missing";
+    readonly severity: "error";
+    readonly category: "form-contract";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: FormFieldMissingFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface FormFieldUnexpectedFacts {
+    readonly actionId: string;
+    readonly fieldName: string;
+    readonly formId: string;
+    readonly template: string;
+    readonly unknownFieldsPolicy: "reject";
+}
+export interface FormFieldUnexpectedDiagnostic {
+    readonly code: "form.field_unexpected";
+    readonly severity: "error";
+    readonly category: "form-contract";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: FormFieldUnexpectedFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface FormMethodMismatchFacts {
+    readonly actionId: string;
+    readonly actualMethod: string;
+    readonly expectedMethod: "POST";
+    readonly formId: string;
+    readonly template: string;
+}
+export interface FormMethodMismatchDiagnostic {
+    readonly code: "form.method_mismatch";
+    readonly severity: "error";
+    readonly category: "form-contract";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: FormMethodMismatchFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface FormActionMismatchFacts {
+    readonly actionId: string;
+    readonly actualAction: string;
+    readonly actualActionSource: "literal" | "current-document";
+    readonly expectedAction: string;
+    readonly formId: string;
+    readonly template: string;
+}
+export interface FormActionMismatchDiagnostic {
+    readonly code: "form.action_mismatch";
+    readonly severity: "error";
+    readonly category: "form-contract";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: FormActionMismatchFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface FormControlCodecMismatchFacts {
+    readonly actionId: string;
+    readonly controlKind: "input" | "select";
+    readonly controlCount?: number;
+    readonly controlType: string;
+    readonly decoderKind: "text";
+    readonly fieldName: string;
+    readonly formId: string;
+    readonly multiple: boolean;
+    readonly template: string;
+}
+export interface FormControlCodecMismatchDiagnostic {
+    readonly code: "form.control_codec_mismatch";
+    readonly severity: "error";
+    readonly category: "form-contract";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: FormControlCodecMismatchFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface FormControlUnsupportedFacts {
+    readonly actionId: string;
+    readonly controlKind: "button" | "input";
+    readonly controlType: string;
+    readonly fieldName: string;
+    readonly formId: string;
+    readonly reason: "file-input" | "named-submitter" | "submitter-route-override";
+    readonly template: string;
+}
+export interface FormControlUnsupportedDiagnostic {
+    readonly code: "form.control_unsupported";
+    readonly severity: "error";
+    readonly category: "form-contract";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: FormControlUnsupportedFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface HandlerExportMissingFacts {
+    readonly actionId: string;
+    readonly exportName: string;
+    readonly handlerFile: string;
+}
+export interface HandlerExportMissingDiagnostic {
+    readonly code: "handler.export_missing";
+    readonly severity: "error";
+    readonly category: "project-structure";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: HandlerExportMissingFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface RouteMissingFacts {
+    readonly actionId: string;
+    readonly expectedMethod: "POST";
+    readonly expectedPath: string;
+    readonly routeIndex: string;
+    readonly sameMethodPaths: readonly string[];
+}
+export interface RouteMissingDiagnostic {
+    readonly code: "route.missing";
+    readonly severity: "error";
+    readonly category: "route-contract";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: RouteMissingFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface ModuleBoundaryViolationFacts {
+    readonly boundaryId: string;
+    readonly edgeKind: "runtime" | "type";
+    readonly importChain: readonly string[];
+    readonly importSpecifier: string;
+    readonly mode: "direct" | "transitive";
+    readonly sourceRole: string;
+    readonly targetFile: string;
+    readonly targetRole: string;
+}
+export interface ModuleBoundaryViolationDiagnostic {
+    readonly code: "module.boundary_violation";
+    readonly severity: "error";
+    readonly category: "environment-boundary";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: ModuleBoundaryViolationFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface ModuleDynamicImportUnsupportedFacts {
+    readonly boundaryId: string;
+    readonly mode: "direct" | "transitive";
+    readonly sourceRole: string;
+}
+export interface ModuleDynamicImportUnsupportedDiagnostic {
+    readonly code: "module.dynamic_import_unsupported";
+    readonly severity: "error";
+    readonly category: "environment-boundary";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: ModuleDynamicImportUnsupportedFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface FileOwnershipMismatchFacts {
+    readonly actualPath: string;
+    readonly expectedWithinFeature: string;
+    readonly featureId: string | null;
+    readonly kind: "i18n" | "test";
+    readonly ruleId: string;
+}
+export interface FileOwnershipMismatchDiagnostic {
+    readonly code: "file.ownership_mismatch";
+    readonly severity: "error";
+    readonly category: "project-structure";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: FileOwnershipMismatchFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export interface FileRoleMismatchFacts {
+    readonly actionId: string;
+    readonly actualRole: string;
+    readonly expectedRole: string;
+    readonly expectedWithinFeature: string;
+    readonly featureId: string;
+    readonly handlerFile: string;
+}
+export interface FileRoleMismatchDiagnostic {
+    readonly code: "file.role_mismatch";
+    readonly severity: "error";
+    readonly category: "project-structure";
+    readonly message: string;
+    readonly file: string;
+    readonly range: SourceRange;
+    readonly facts: FileRoleMismatchFacts;
+    readonly related: readonly RelatedLocation[];
+    readonly repair: RepairInstruction;
+}
+export type Diagnostic = FileOwnershipMismatchDiagnostic | FileRoleMismatchDiagnostic | FormActionMismatchDiagnostic | FormControlCodecMismatchDiagnostic | FormControlUnsupportedDiagnostic | FormFieldMissingDiagnostic | FormFieldUnexpectedDiagnostic | FormMethodMismatchDiagnostic | HandlerExportMissingDiagnostic | RouteMissingDiagnostic | ModuleBoundaryViolationDiagnostic | ModuleDynamicImportUnsupportedDiagnostic;
+export interface DiagnosticReport {
+    readonly schemaVersion: 1;
+    readonly producer: {
+        readonly name: "mensor";
+        readonly version: string;
+    };
+    readonly status: "passed" | "failed";
+    readonly diagnostics: readonly Diagnostic[];
+    readonly summary: {
+        readonly errorCount: number;
+        readonly warningCount: number;
+    };
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE7D,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,UAAU,GAAG,SAAS,SAAS,EAAE,CAAC;AAE1E,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CACnC;AAED,MAAM,MAAM,iBAAiB,GACzB,aAAa,GACb,cAAc,GACd,qBAAqB,GACrB,kBAAkB,CAAC;AAEvB,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe,CAAC,CAAC;IAChC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;CAC3C;AAED,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC;AAErE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC3D,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,MAAM,aAAa,GAAG,UAAU,MAAM,EAAE,CAAC;AAE/C,MAAM,WAAW,UAAU;IACzB,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,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;QACtC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;KAC7B,CAAC;CACH;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,YAAY,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAAC;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAC9B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACtD;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;KAChC,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;QAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;KAC/B,CAAC;CACH;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;KACrB,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;CAC7C;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC;CAC9B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,mBAAmB,EAAE,QAAQ,CAAC;CACxC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,SAAS,GAAG,kBAAkB,CAAC;IAC5D,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,OAAO,GAAG,QAAQ,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,IAAI,EAAE,6BAA6B,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,6BAA6B,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,QAAQ,GAAG,OAAO,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,iBAAiB,GAAG,0BAA0B,CAAC;IAC/E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,yBAAyB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,MAAM,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,YAAY,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,4BAA4B,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,YAAY,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,wCAAwC;IACvD,QAAQ,CAAC,IAAI,EAAE,mCAAmC,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,mCAAmC,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,0BAA0B,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,MAAM,UAAU,GAClB,+BAA+B,GAC/B,0BAA0B,GAC1B,4BAA4B,GAC5B,kCAAkC,GAClC,gCAAgC,GAChC,0BAA0B,GAC1B,6BAA6B,GAC7B,4BAA4B,GAC5B,8BAA8B,GAC9B,sBAAsB,GACtB,iCAAiC,GACjC,wCAAwC,CAAC;AAE7C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;QACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;KAC/B,CAAC;CACH"}

package/dist/src/types.js

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

package/dist/src/types.js.map

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

package/dist/src/validate.d.ts

@@ -0,0 +1,5 @@
+import type { ContractResult, DiagnosticReport, FeatureContract, ProjectContract } from "./types.js";
+export declare function parseProjectContract(text: string): ContractResult<ProjectContract>;
+export declare function parseFeatureContract(text: string): ContractResult<FeatureContract>;
+export declare function parseDiagnosticReport(text: string): ContractResult<DiagnosticReport>;
+//# sourceMappingURL=validate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/validate.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAEV,cAAc,EACd,gBAAgB,EAChB,eAAe,EACf,eAAe,EAChB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,GACX,cAAc,CAAC,eAAe,CAAC,CAEjC;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,GACX,cAAc,CAAC,eAAe,CAAC,CAGjC;AAED,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,GACX,cAAc,CAAC,gBAAgB,CAAC,CAGlC"}