arkgate 2.13.0 → 3.0.0

package/dist/eslint/index.js

@@ -475,6 +475,63 @@ function parseArkConfigJson(json, source = "ark.config.json") {
   return loadArkConfigContract(input, source);
 }
 
+// src/domain/adapterContract.ts
+function text(value) {
+  return typeof value === "string" && value.length > 0 ? value : void 0;
+}
+function positiveInteger(value, fallback) {
+  return Number.isInteger(value) && Number(value) > 0 ? Number(value) : fallback;
+}
+function toAdapterDiagnostic(violation, fallbackSeverity = "error") {
+  const ruleId = text(violation.ruleId) ?? text(violation.code) ?? "ARK_UNKNOWN";
+  const severity = violation.severity === "warning" ? "warning" : fallbackSeverity;
+  const evidence = {
+    ...text(violation.target) ? { target: text(violation.target) } : {},
+    ...text(violation.fromLayer) ? { fromLayer: text(violation.fromLayer) } : {},
+    ...text(violation.toLayer) ? { toLayer: text(violation.toLayer) } : {},
+    ...typeof violation.typeOnly === "boolean" ? { typeOnly: violation.typeOnly } : {}
+  };
+  return {
+    ruleId,
+    severity,
+    message: text(violation.message) ?? ruleId,
+    location: {
+      file: text(violation.file) ?? "<unknown>",
+      line: positiveInteger(violation.line, 1),
+      column: positiveInteger(violation.column, 1)
+    },
+    evidence
+  };
+}
+
+// src/domain/sourcePolicy.ts
+var SOURCE_POLICY_MESSAGES = {
+  RAW_EVENT_PUBLISH: "Publish through a registered intent creator; raw event objects or intent strings bypass Ark contracts and tooling.",
+  PUBLISH_MISSING_SOURCE: "Strict Ark publish calls must include metadata.source."
+};
+function looksLikeArkIntent(value) {
+  return /^(Domain|Application|Adapter|Workflow|Job|Presentation|Reporting|Metadata|Security|Audit|Observability|Kernel)\.[A-Za-z0-9_.]+$/.test(
+    value
+  );
+}
+function classifyPublishFacts(facts) {
+  if (!facts.publishCall) return [];
+  const findings = [];
+  if (facts.rawIntentName !== void 0 && looksLikeArkIntent(facts.rawIntentName) || facts.objectHasIntent) {
+    findings.push({
+      ruleId: "RAW_EVENT_PUBLISH",
+      message: SOURCE_POLICY_MESSAGES.RAW_EVENT_PUBLISH
+    });
+  }
+  if (facts.arkPublishCandidate && !facts.hasSource) {
+    findings.push({
+      ruleId: "PUBLISH_MISSING_SOURCE",
+      message: SOURCE_POLICY_MESSAGES.PUBLISH_MISSING_SOURCE
+    });
+  }
+  return findings;
+}
+
 // src/eslint/index.ts
 function lintedFilename(context) {
   if (typeof context.physicalFilename === "string" && context.physicalFilename.length > 0) {
@@ -492,6 +549,15 @@ function lintedFilename(context) {
   }
   return "";
 }
+function reportAdapterDiagnostic(context, node, messageId, violation, data) {
+  const diagnostic = toAdapterDiagnostic({
+    ...violation,
+    line: violation.line ?? node.loc?.start?.line,
+    column: violation.column ?? (typeof node.loc?.start?.column === "number" ? node.loc.start.column + 1 : void 0)
+  });
+  context.report({ node, messageId, ...data ? { data } : {}, diagnostic });
+  return diagnostic;
+}
 function findConfigPath(startFile) {
   if (!startFile || startFile === "<input>" || startFile.startsWith("stdin")) return null;
   let dir = path.dirname(path.resolve(startFile));
@@ -593,38 +659,14 @@ function objectHasMetadataSource(node) {
   const metadata = objectProperty(node, "metadata")?.value;
   return objectHasProperty(metadata, "source");
 }
-function looksLikeIntent(value) {
-  return /^(Domain|Application|Adapter|Workflow|Job|Presentation|Reporting|Metadata|Security|Audit|Observability|Kernel)\.[A-Za-z0-9_.]+$/.test(
-    value
-  );
-}
 function isPublishCall(node) {
   return calleePropertyName(node) === "publish";
 }
-function isDomainFileHeuristic(filename) {
-  const normalized = filename.split("\\").join("/").toLowerCase();
-  return normalized.includes("/domain/") || normalized.endsWith("/domain.ts");
-}
-function isInfraImportHeuristic(specifier) {
-  const normalized = specifier.toLowerCase();
-  return [
-    "adapter",
-    "adapters",
-    "infrastructure",
-    "persistence",
-    "repository",
-    "repositories",
-    "integration",
-    "database",
-    "db"
-  ].some((token) => normalized.includes(token));
-}
-var DEFAULT_FORBIDDEN_GLOBALS = ["fetch", "process", "Date.now", "Math.random"];
 var noDomainInfraImports = {
   meta: {
     type: "problem",
     docs: {
-      description: "Disallow imports that violate ark.config.json layer rules (same contract as arkgate-check). Falls back to domain\u2192infra path heuristics when no config is found."
+      description: "Disallow imports that violate ark.config.json layer rules (same contract as arkgate-check)."
     },
     messages: {
       forbiddenImport: "Architecture: {{fromLayer}} must not import {{toLayer}} (ark.config.json). Specifier: {{specifier}}",
@@ -656,17 +698,24 @@ var noDomainInfraImports = {
           toPath: relTarget,
           layers: config.layers
         })) {
-          context.report({
+          reportAdapterDiagnostic(
+            context,
             node,
-            messageId: "forbiddenImport",
-            data: { fromLayer, toLayer, specifier: source }
-          });
+            "forbiddenImport",
+            {
+              ruleId: "LAYER_IMPORT_VIOLATION",
+              file: relFile,
+              fromLayer,
+              toLayer,
+              target: relTarget,
+              ...node.importKind === "type" ? { typeOnly: true } : {},
+              message: `${fromLayer} must not import ${toLayer}.`
+            },
+            { fromLayer, toLayer, specifier: source }
+          );
         }
         return;
       }
-      if (isDomainFileHeuristic(filename) && isInfraImportHeuristic(source)) {
-        context.report({ node, messageId: "forbiddenImportHeuristic" });
-      }
     };
     return {
       ImportDeclaration: check,
@@ -689,11 +738,21 @@ var noRawEventPublish = {
   create(context) {
     return {
       CallExpression(node) {
-        if (!isPublishCall(node)) return;
         const firstArg = node.arguments?.[0];
         const firstValue = stringValue(firstArg);
-        if (firstValue && looksLikeIntent(firstValue) || objectHasProperty(firstArg, "intent")) {
-          context.report({ node, messageId: "rawPublish" });
+        const findings = classifyPublishFacts({
+          publishCall: isPublishCall(node),
+          rawIntentName: firstValue,
+          objectHasIntent: objectHasProperty(firstArg, "intent"),
+          arkPublishCandidate: false,
+          hasSource: true
+        });
+        if (findings.some((finding) => finding.ruleId === "RAW_EVENT_PUBLISH")) {
+          const finding = findings.find((item) => item.ruleId === "RAW_EVENT_PUBLISH");
+          reportAdapterDiagnostic(context, node, "rawPublish", {
+            ...finding,
+            file: lintedFilename(context)
+          });
         }
       }
     };
@@ -713,13 +772,22 @@ var requirePublishSource = {
   create(context) {
     return {
       CallExpression(node) {
-        if (!isPublishCall(node)) return;
         const firstArg = node.arguments?.[0];
         const metadataArg = node.arguments?.[2];
-        if (objectHasMetadataSource(firstArg) || objectHasProperty(metadataArg, "source")) {
-          return;
+        const findings = classifyPublishFacts({
+          publishCall: isPublishCall(node),
+          rawIntentName: stringValue(firstArg),
+          objectHasIntent: objectHasProperty(firstArg, "intent"),
+          arkPublishCandidate: true,
+          hasSource: objectHasMetadataSource(firstArg) || objectHasProperty(metadataArg, "source")
+        });
+        const finding = findings.find((item) => item.ruleId === "PUBLISH_MISSING_SOURCE");
+        if (finding) {
+          reportAdapterDiagnostic(context, node, "missingSource", {
+            ...finding,
+            file: lintedFilename(context)
+          });
         }
-        context.report({ node, messageId: "missingSource" });
       }
     };
   }
@@ -728,7 +796,7 @@ var noForbiddenGlobals = {
   meta: {
     type: "problem",
     docs: {
-      description: "Disallow ambient globals from the layer\u2019s forbiddenGlobals in ark.config.json (same purity surface as arkgate-check). Option `globals` overrides. Without config, defaults apply only on domain-like paths."
+      description: "Disallow ambient globals from the layer\u2019s forbiddenGlobals in ark.config.json (same purity surface as ark-check). Option `globals` explicitly overrides."
     },
     messages: {
       forbiddenGlobal: 'Ambient global "{{name}}" is forbidden in {{layer}} (ark.config.json); inject the capability through a port instead.',
@@ -766,18 +834,28 @@ var noForbiddenGlobals = {
       } else {
         globals = null;
       }
-    } else if (isDomainFileHeuristic(filename)) {
-      globals = new Set(DEFAULT_FORBIDDEN_GLOBALS);
     }
     if (!globals) {
       return {};
     }
     const scopeAware = typeof sourceCodeFor(context)?.getScope === "function";
-    const report = (node, name) => context.report({
-      node,
-      messageId: config ? "forbiddenGlobal" : "forbiddenGlobalDefault",
-      data: { name, layer: layerName }
-    });
+    const report = (node, name) => {
+      const absFile = path.isAbsolute(filename) ? filename : path.resolve(filename);
+      const reportFile = root ? path.relative(root, absFile).split(path.sep).join("/") : filename;
+      reportAdapterDiagnostic(
+        context,
+        node,
+        config ? "forbiddenGlobal" : "forbiddenGlobalDefault",
+        {
+          ruleId: "FORBIDDEN_GLOBAL",
+          file: reportFile,
+          fromLayer: layerName,
+          target: name,
+          message: `${layerName} must not use the ambient global "${name}".`
+        },
+        { name, layer: layerName }
+      );
+    };
     return {
       MemberExpression(node) {
         if (node.parent?.type === "MemberExpression" && node.parent.object === node) return;
@@ -851,4 +929,3 @@ export {
   requirePublishSource,
   resolveRelativeImport
 };
-//# sourceMappingURL=index.js.map