@0disoft/mensor-contract 0.1.0

package/dist/src/validate.js

@@ -0,0 +1,102 @@
+import { parseJsonc } from "./jsonc.js";
+import { schemaIssues, validateDiagnosticReport, validateFeatureContract, validateProjectContract, } from "./schemas.js";
+export function parseProjectContract(text) {
+    return parseAndValidate(text, validateProjectContract);
+}
+export function parseFeatureContract(text) {
+    const result = parseAndValidate(text, validateFeatureContract);
+    return result.ok ? applySemanticIssues(result.value, featureSemanticIssues(result.value)) : result;
+}
+export function parseDiagnosticReport(text) {
+    const result = parseAndValidate(text, validateDiagnosticReport);
+    return result.ok ? applySemanticIssues(result.value, reportSemanticIssues(result.value)) : result;
+}
+function parseAndValidate(text, validate) {
+    const parsed = parseJsonc(text);
+    if (!parsed.ok) {
+        return parsed;
+    }
+    if (!validate(parsed.value)) {
+        return { ok: false, issues: schemaIssues(validate) };
+    }
+    return { ok: true, value: parsed.value };
+}
+function applySemanticIssues(value, issues) {
+    return issues.length === 0 ? { ok: true, value } : { ok: false, issues };
+}
+function featureSemanticIssues(feature) {
+    const issues = [];
+    feature.actions.forEach((action, actionIndex) => {
+        const bindingNames = new Set();
+        const bindingPaths = new Set();
+        action.input.formCodec.bindings.forEach((binding, bindingIndex) => {
+            const base = `/actions/${actionIndex}/input/formCodec/bindings/${bindingIndex}`;
+            const pathKey = binding.path.join("\u0000");
+            if (binding.path.length !== 1 ||
+                !Object.hasOwn(action.input.schema.properties, binding.path[0] ?? "")) {
+                issues.push(semanticIssue(`${base}/path`, "Form binding path must identify exactly one declared input schema property."));
+            }
+            if (bindingNames.has(binding.name)) {
+                issues.push(semanticIssue(`${base}/name`, "Form binding names must be unique."));
+            }
+            if (bindingPaths.has(pathKey)) {
+                issues.push(semanticIssue(`${base}/path`, "Form binding paths must be unique."));
+            }
+            bindingNames.add(binding.name);
+            bindingPaths.add(pathKey);
+        });
+        const ignoredNames = new Set();
+        (action.input.formCodec.ignoredFields ?? []).forEach((field, fieldIndex) => {
+            const instancePath = `/actions/${actionIndex}/input/formCodec/ignoredFields/${fieldIndex}/name`;
+            if (bindingNames.has(field.name)) {
+                issues.push(semanticIssue(instancePath, "A form field name cannot be both bound and ignored."));
+            }
+            if (ignoredNames.has(field.name)) {
+                issues.push(semanticIssue(instancePath, "Ignored form field names must be unique."));
+            }
+            ignoredNames.add(field.name);
+        });
+    });
+    return issues;
+}
+function reportSemanticIssues(report) {
+    const issues = [];
+    const severities = report.diagnostics.map((item) => item.severity);
+    const errorCount = severities.filter((severity) => severity === "error").length;
+    const warningCount = severities.filter((severity) => severity === "warning").length;
+    const expectedStatus = errorCount === 0 ? "passed" : "failed";
+    if (report.status !== expectedStatus) {
+        issues.push(semanticIssue("/status", "Diagnostic report status must be derived from errors."));
+    }
+    if (report.summary.errorCount !== errorCount) {
+        issues.push(semanticIssue("/summary/errorCount", "Diagnostic report errorCount must equal the number of error diagnostics."));
+    }
+    if (report.summary.warningCount !== warningCount) {
+        issues.push(semanticIssue("/summary/warningCount", "Diagnostic report warningCount must equal the number of warning diagnostics."));
+    }
+    report.diagnostics.forEach((diagnostic, diagnosticIndex) => {
+        if (!rangeIsOrdered(diagnostic.range)) {
+            issues.push(semanticIssue(`/diagnostics/${diagnosticIndex}/range`, "Diagnostic range start must not follow its end."));
+        }
+        diagnostic.related.forEach((related, relatedIndex) => {
+            if (!rangeIsOrdered(related.range)) {
+                issues.push(semanticIssue(`/diagnostics/${diagnosticIndex}/related/${relatedIndex}/range`, "Related range start must not follow its end."));
+            }
+        });
+    });
+    return issues;
+}
+function rangeIsOrdered(range) {
+    return range.start.line < range.end.line || (range.start.line === range.end.line &&
+        range.start.character <= range.end.character);
+}
+function semanticIssue(instancePath, message) {
+    return {
+        code: "schema.violation",
+        message,
+        instancePath,
+        schemaPath: "#/$semantic",
+        keyword: "semantic",
+    };
+}
+//# sourceMappingURL=validate.js.map

package/dist/src/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC,OAAO,EACL,YAAY,EACZ,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,cAAc,CAAC;AAStB,MAAM,UAAU,oBAAoB,CAClC,IAAY;IAEZ,OAAO,gBAAgB,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAY;IAEZ,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IAC/D,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,EAAE,qBAAqB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACrG,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAY;IAEZ,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACpG,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAY,EACZ,QAA6B;IAE7B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;IACvD,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAQ,EACR,MAAgC;IAEhC,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAwB;IACrD,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE;QAC9C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QACvC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE;YAChE,MAAM,IAAI,GAAG,YAAY,WAAW,6BAA6B,YAAY,EAAE,CAAC;YAChF,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC5C,IACE,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBACzB,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EACrE,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,GAAG,IAAI,OAAO,EACd,6EAA6E,CAC9E,CAAC,CAAC;YACL,CAAC;YACD,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,IAAI,OAAO,EAAE,oCAAoC,CAAC,CAAC,CAAC;YACnF,CAAC;YACD,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,IAAI,OAAO,EAAE,oCAAoC,CAAC,CAAC,CAAC;YACnF,CAAC;YACD,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QACvC,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;YACzE,MAAM,YAAY,GAAG,YAAY,WAAW,kCAAkC,UAAU,OAAO,CAAC;YAChG,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,YAAY,EACZ,qDAAqD,CACtD,CAAC,CAAC;YACL,CAAC;YACD,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,0CAA0C,CAAC,CAAC,CAAC;YACvF,CAAC;YACD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAwB;IACpD,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAU,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3E,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAChF,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IACpF,MAAM,cAAc,GAAG,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC9D,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,uDAAuD,CAAC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,qBAAqB,EACrB,0EAA0E,CAC3E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,uBAAuB,EACvB,8EAA8E,CAC/E,CAAC,CAAC;IACL,CAAC;IACD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,eAAe,EAAE,EAAE;QACzD,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,gBAAgB,eAAe,QAAQ,EACvC,iDAAiD,CAClD,CAAC,CAAC;QACL,CAAC;QACD,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE;YACnD,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,MAAM,CAAC,IAAI,CAAC,aAAa,CACvB,gBAAgB,eAAe,YAAY,YAAY,QAAQ,EAC/D,8CAA8C,CAC/C,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,KAAuD;IAC7E,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,CAC1C,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC,IAAI;QACnC,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAC7C,CAAC;AACJ,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/package.json

@@ -0,0 +1,51 @@
+{
+  "name": "@0disoft/mensor-contract",
+  "version": "0.1.0",
+  "description": "Serializable contracts, schemas, and deterministic diagnostics for Mensor.",
+  "license": "Apache-2.0",
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org",
+    "provenance": true
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/0disoft/mensor.git",
+    "directory": "packages/contract"
+  },
+  "homepage": "https://github.com/0disoft/mensor#readme",
+  "bugs": {
+    "url": "https://github.com/0disoft/mensor/issues"
+  },
+  "keywords": [
+    "mensor",
+    "contracts",
+    "diagnostics",
+    "json-schema",
+    "developer-tools"
+  ],
+  "type": "module",
+  "sideEffects": false,
+  "engines": {
+    "node": ">=22"
+  },
+  "files": [
+    "LICENSE",
+    "dist/src",
+    "dist/spec"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/src/index.d.ts",
+      "import": "./dist/src/index.js"
+    },
+    "./schemas/project-contract-v1.schema.json": "./dist/spec/project-contract-v1.schema.json",
+    "./schemas/feature-contract-v1.schema.json": "./dist/spec/feature-contract-v1.schema.json",
+    "./schemas/diagnostic-report-v1.schema.json": "./dist/spec/diagnostic-report-v1.schema.json",
+    "./schemas/route-index-v1.schema.json": "./dist/spec/route-index-v1.schema.json"
+  },
+  "dependencies": {
+    "ajv": "8.20.0",
+    "jsonc-parser": "3.3.1"
+  }
+}