arkgate 2.8.3 → 2.9.0

package/dist/runtime/index.d.cts

@@ -1,2 +1,2 @@
 export { AICodeGate, AICodeGateContext, AICodeGateOptions, AICodeGateResult, AICodeGateViolation, AIGateExtension, Adapter, AdapterGovernanceIssue, AdapterGovernanceResult, ArkTestHarness, ArkTestSnapshot, BuildPublishPolicyContextOptions, ContractCheckResult, CreateAdapterOptions, CreateArkManifestOptions, DEFAULT_MAX_HISTORY_SIZE, DefinePolicyOptions, DefinePortOptions, EventContractRegistryImpl, EventContractViolationError, GraphPolicyContext, InMemoryAuditStore, InMemoryOutboxStore, InMemoryReadModelStore, InMemoryWorkflowStore, IntentNameValidation, InvalidIntentNameError, LayerFlowRule, LayerPolicyContextError, LayerPolicyOptions, MANIFEST_SCHEMA_VERSION, ObservedLayerFlowViolationError, PolicyViolationError, Port, PublishPolicyContext, SourceMetadataOverrideError, SyncRegistryOptions, UnknownEventSourceError, UnregisteredIntentError, architecturalPolicies, buildPublishPolicyContext, checkAdapterGovernance, checkContract, createAICodeGate, createAdapter, createArchitectureProfile, createArchitectureProfileFromArkConfig, createArkKernel, createArkKernelFromConfig, createArkManifest, createArkTestHarness, createAuditTrail, createDependencyGraph, createElevenLayerArkConfig, createEventBus, createEventContractRegistry, createIntentRegistry, createLenientArkKernel, createLenientArkKernelFromConfig, createMetadataRegistry, createObservabilityReporter, createProjectionRegistry, createSaga, createStrictArkKernel, createStrictArkKernelFromConfig, createWorkflowEngine, defaultIntentRegistry, defineArchitectureProfilePolicy, defineIntent, defineLayerPolicy, definePolicy, definePort, definePublishPolicy, elevenLayerProfile, isLayerPolicy, syncRegistryToGraph, validateIntentName, version } from '../index.cjs';
-export { _ as ArchitectureLayer, $ as ArchitectureLayerConfig, g as ArchitectureProfile, a0 as ArchitectureRule, h as ArkCheckConfig, A as ArkKernel, U as ArkKernelConfig, J as ArkManifest, a1 as ArkManifestArchitecture, a2 as ArkManifestData, a3 as ArkManifestEntityLink, a4 as ArkManifestGraph, a5 as ArkManifestIntent, a6 as ArkManifestPolicy, a7 as ArkManifestProjection, o as AuditQuery, n as AuditRecord, a8 as AuditRecordInput, a9 as AuditRecordType, m as AuditStore, q as AuditTrail, aa as CorrelationId, i as CreateArchitectureProfileFromArkConfigOptions, f as CreateArchitectureProfileOptions, V as CreateArkKernelFromConfigOptions, C as CreateArkKernelOptions, p as CreateAuditTrailOptions, j as CreateElevenLayerArkConfigOptions, y as CreateObservabilityReporterOptions, B as CreateProjectionRegistryOptions, N as CreateWorkflowEngineOptions, D as DefineIntentOptions, k as DependencyGraph, s as DomainEvent, ab as EntityMeta, x as EventBus, w as EventBusOptions, r as EventContract, ac as EventContractIssue, E as EventContractRegistry, t as EventContractValidationResult, ad as EventHandler, ae as EventInterceptionInfo, af as EventInterceptor, ag as EventInterceptorContext, ah as EventMetadata, ai as EventPayloadPatch, aj as EventPayloadSchema, ak as EventPublisher, al as EventSchemaField, am as EventSchemaFieldType, an as FieldMeta, G as GraphEdge, ao as GraphNode, b as IntentCreator, b as IntentDefinition, a as IntentName, I as IntentRegistry, l as IntentRelationship, ap as IntentRelationshipKind, M as MetadataRegistry, Z as ObservabilityDriftReport, aq as ObservabilityFlow, z as ObservabilityReporter, ar as ObservedLayerFlowMode, u as OutboxRecord, v as OutboxStatus, O as OutboxStore, e as Policy, d as PolicyEnforcementMode, H as PolicyEngine, as as PolicyEvaluationResult, c as PolicySeverity, P as PolicyViolation, at as ProjectionCheckpoint, au as ProjectionDefinition, F as ProjectionRegistry, av as PublishedEventRecord, R as ReadModelStore, aw as RetryPolicy, L as SagaDefinition, Q as SagaInstance, ax as SagaStatus, ay as SagaStep, Y as TraceRecord, X as TraceRecordType, az as TraceSink, aA as Unsubscribe, aB as WorkflowDefinition, T as WorkflowEngine, K as WorkflowSnapshot, aC as WorkflowStatus, aD as WorkflowStep, W as WorkflowStore } from '../types-CSJhEOk2.cjs';
+export { _ as ArchitectureLayer, $ as ArchitectureLayerConfig, g as ArchitectureProfile, a0 as ArchitectureRule, h as ArkCheckConfig, A as ArkKernel, U as ArkKernelConfig, J as ArkManifest, a1 as ArkManifestArchitecture, a2 as ArkManifestData, a3 as ArkManifestEntityLink, a4 as ArkManifestGraph, a5 as ArkManifestIntent, a6 as ArkManifestPolicy, a7 as ArkManifestProjection, o as AuditQuery, n as AuditRecord, a8 as AuditRecordInput, a9 as AuditRecordType, m as AuditStore, q as AuditTrail, aa as CorrelationId, i as CreateArchitectureProfileFromArkConfigOptions, f as CreateArchitectureProfileOptions, V as CreateArkKernelFromConfigOptions, C as CreateArkKernelOptions, p as CreateAuditTrailOptions, j as CreateElevenLayerArkConfigOptions, y as CreateObservabilityReporterOptions, B as CreateProjectionRegistryOptions, N as CreateWorkflowEngineOptions, D as DefineIntentOptions, k as DependencyGraph, s as DomainEvent, ab as EntityMeta, x as EventBus, w as EventBusOptions, r as EventContract, ac as EventContractIssue, E as EventContractRegistry, t as EventContractValidationResult, ad as EventHandler, ae as EventInterceptionInfo, af as EventInterceptor, ag as EventInterceptorContext, ah as EventMetadata, ai as EventPayloadPatch, aj as EventPayloadSchema, ak as EventPublisher, al as EventSchemaField, am as EventSchemaFieldType, an as FieldMeta, G as GraphEdge, ao as GraphNode, b as IntentCreator, b as IntentDefinition, a as IntentName, I as IntentRegistry, l as IntentRelationship, ap as IntentRelationshipKind, M as MetadataRegistry, Z as ObservabilityDriftReport, aq as ObservabilityFlow, z as ObservabilityReporter, ar as ObservedLayerFlowMode, u as OutboxRecord, v as OutboxStatus, O as OutboxStore, e as Policy, d as PolicyEnforcementMode, H as PolicyEngine, as as PolicyEvaluationResult, c as PolicySeverity, P as PolicyViolation, at as ProjectionCheckpoint, au as ProjectionDefinition, F as ProjectionRegistry, av as PublishedEventRecord, R as ReadModelStore, aw as RetryPolicy, L as SagaDefinition, Q as SagaInstance, ax as SagaStatus, ay as SagaStep, Y as TraceRecord, X as TraceRecordType, az as TraceSink, aA as Unsubscribe, aB as WorkflowDefinition, T as WorkflowEngine, K as WorkflowSnapshot, aC as WorkflowStatus, aD as WorkflowStep, W as WorkflowStore } from '../types-D6Q8WHes.cjs';

package/dist/runtime/index.d.ts

@@ -1,2 +1,2 @@
 export { AICodeGate, AICodeGateContext, AICodeGateOptions, AICodeGateResult, AICodeGateViolation, AIGateExtension, Adapter, AdapterGovernanceIssue, AdapterGovernanceResult, ArkTestHarness, ArkTestSnapshot, BuildPublishPolicyContextOptions, ContractCheckResult, CreateAdapterOptions, CreateArkManifestOptions, DEFAULT_MAX_HISTORY_SIZE, DefinePolicyOptions, DefinePortOptions, EventContractRegistryImpl, EventContractViolationError, GraphPolicyContext, InMemoryAuditStore, InMemoryOutboxStore, InMemoryReadModelStore, InMemoryWorkflowStore, IntentNameValidation, InvalidIntentNameError, LayerFlowRule, LayerPolicyContextError, LayerPolicyOptions, MANIFEST_SCHEMA_VERSION, ObservedLayerFlowViolationError, PolicyViolationError, Port, PublishPolicyContext, SourceMetadataOverrideError, SyncRegistryOptions, UnknownEventSourceError, UnregisteredIntentError, architecturalPolicies, buildPublishPolicyContext, checkAdapterGovernance, checkContract, createAICodeGate, createAdapter, createArchitectureProfile, createArchitectureProfileFromArkConfig, createArkKernel, createArkKernelFromConfig, createArkManifest, createArkTestHarness, createAuditTrail, createDependencyGraph, createElevenLayerArkConfig, createEventBus, createEventContractRegistry, createIntentRegistry, createLenientArkKernel, createLenientArkKernelFromConfig, createMetadataRegistry, createObservabilityReporter, createProjectionRegistry, createSaga, createStrictArkKernel, createStrictArkKernelFromConfig, createWorkflowEngine, defaultIntentRegistry, defineArchitectureProfilePolicy, defineIntent, defineLayerPolicy, definePolicy, definePort, definePublishPolicy, elevenLayerProfile, isLayerPolicy, syncRegistryToGraph, validateIntentName, version } from '../index.js';
-export { _ as ArchitectureLayer, $ as ArchitectureLayerConfig, g as ArchitectureProfile, a0 as ArchitectureRule, h as ArkCheckConfig, A as ArkKernel, U as ArkKernelConfig, J as ArkManifest, a1 as ArkManifestArchitecture, a2 as ArkManifestData, a3 as ArkManifestEntityLink, a4 as ArkManifestGraph, a5 as ArkManifestIntent, a6 as ArkManifestPolicy, a7 as ArkManifestProjection, o as AuditQuery, n as AuditRecord, a8 as AuditRecordInput, a9 as AuditRecordType, m as AuditStore, q as AuditTrail, aa as CorrelationId, i as CreateArchitectureProfileFromArkConfigOptions, f as CreateArchitectureProfileOptions, V as CreateArkKernelFromConfigOptions, C as CreateArkKernelOptions, p as CreateAuditTrailOptions, j as CreateElevenLayerArkConfigOptions, y as CreateObservabilityReporterOptions, B as CreateProjectionRegistryOptions, N as CreateWorkflowEngineOptions, D as DefineIntentOptions, k as DependencyGraph, s as DomainEvent, ab as EntityMeta, x as EventBus, w as EventBusOptions, r as EventContract, ac as EventContractIssue, E as EventContractRegistry, t as EventContractValidationResult, ad as EventHandler, ae as EventInterceptionInfo, af as EventInterceptor, ag as EventInterceptorContext, ah as EventMetadata, ai as EventPayloadPatch, aj as EventPayloadSchema, ak as EventPublisher, al as EventSchemaField, am as EventSchemaFieldType, an as FieldMeta, G as GraphEdge, ao as GraphNode, b as IntentCreator, b as IntentDefinition, a as IntentName, I as IntentRegistry, l as IntentRelationship, ap as IntentRelationshipKind, M as MetadataRegistry, Z as ObservabilityDriftReport, aq as ObservabilityFlow, z as ObservabilityReporter, ar as ObservedLayerFlowMode, u as OutboxRecord, v as OutboxStatus, O as OutboxStore, e as Policy, d as PolicyEnforcementMode, H as PolicyEngine, as as PolicyEvaluationResult, c as PolicySeverity, P as PolicyViolation, at as ProjectionCheckpoint, au as ProjectionDefinition, F as ProjectionRegistry, av as PublishedEventRecord, R as ReadModelStore, aw as RetryPolicy, L as SagaDefinition, Q as SagaInstance, ax as SagaStatus, ay as SagaStep, Y as TraceRecord, X as TraceRecordType, az as TraceSink, aA as Unsubscribe, aB as WorkflowDefinition, T as WorkflowEngine, K as WorkflowSnapshot, aC as WorkflowStatus, aD as WorkflowStep, W as WorkflowStore } from '../types-CSJhEOk2.js';
+export { _ as ArchitectureLayer, $ as ArchitectureLayerConfig, g as ArchitectureProfile, a0 as ArchitectureRule, h as ArkCheckConfig, A as ArkKernel, U as ArkKernelConfig, J as ArkManifest, a1 as ArkManifestArchitecture, a2 as ArkManifestData, a3 as ArkManifestEntityLink, a4 as ArkManifestGraph, a5 as ArkManifestIntent, a6 as ArkManifestPolicy, a7 as ArkManifestProjection, o as AuditQuery, n as AuditRecord, a8 as AuditRecordInput, a9 as AuditRecordType, m as AuditStore, q as AuditTrail, aa as CorrelationId, i as CreateArchitectureProfileFromArkConfigOptions, f as CreateArchitectureProfileOptions, V as CreateArkKernelFromConfigOptions, C as CreateArkKernelOptions, p as CreateAuditTrailOptions, j as CreateElevenLayerArkConfigOptions, y as CreateObservabilityReporterOptions, B as CreateProjectionRegistryOptions, N as CreateWorkflowEngineOptions, D as DefineIntentOptions, k as DependencyGraph, s as DomainEvent, ab as EntityMeta, x as EventBus, w as EventBusOptions, r as EventContract, ac as EventContractIssue, E as EventContractRegistry, t as EventContractValidationResult, ad as EventHandler, ae as EventInterceptionInfo, af as EventInterceptor, ag as EventInterceptorContext, ah as EventMetadata, ai as EventPayloadPatch, aj as EventPayloadSchema, ak as EventPublisher, al as EventSchemaField, am as EventSchemaFieldType, an as FieldMeta, G as GraphEdge, ao as GraphNode, b as IntentCreator, b as IntentDefinition, a as IntentName, I as IntentRegistry, l as IntentRelationship, ap as IntentRelationshipKind, M as MetadataRegistry, Z as ObservabilityDriftReport, aq as ObservabilityFlow, z as ObservabilityReporter, ar as ObservedLayerFlowMode, u as OutboxRecord, v as OutboxStatus, O as OutboxStore, e as Policy, d as PolicyEnforcementMode, H as PolicyEngine, as as PolicyEvaluationResult, c as PolicySeverity, P as PolicyViolation, at as ProjectionCheckpoint, au as ProjectionDefinition, F as ProjectionRegistry, av as PublishedEventRecord, R as ReadModelStore, aw as RetryPolicy, L as SagaDefinition, Q as SagaInstance, ax as SagaStatus, ay as SagaStep, Y as TraceRecord, X as TraceRecordType, az as TraceSink, aA as Unsubscribe, aB as WorkflowDefinition, T as WorkflowEngine, K as WorkflowSnapshot, aC as WorkflowStatus, aD as WorkflowStep, W as WorkflowStore } from '../types-D6Q8WHes.js';

package/dist/runtime/index.js

@@ -1,5 +1,5 @@
 // src/version.ts
-var version = "2.8.3";
+var version = "2.9.0";
 
 // src/kernel/intent/IntentRegistry.ts
 var IntentRegistry = class {
@@ -662,6 +662,82 @@ async function recordInterceptorError(interceptor, event, error, deps) {
   });
 }
 
+// src/domain/layerMatch.ts
+function normalizeGlobSeparators(pattern) {
+  let out = "";
+  for (let i = 0; i < pattern.length; i += 1) {
+    const c = pattern[i];
+    if (c === "\\" && i + 1 < pattern.length) {
+      const next = pattern[i + 1];
+      if ("*?{}[],".includes(next) || next === "\\") {
+        out += "\\" + next;
+        i += 1;
+        continue;
+      }
+      out += "/";
+      continue;
+    }
+    out += c;
+  }
+  return out;
+}
+function sliceIdForPath(relPath, sliceFolders) {
+  if (!sliceFolders?.length) return void 0;
+  const parts = String(relPath).split(/[/\\]/).filter(Boolean);
+  const folders = new Set(sliceFolders.map((s) => String(s).toLowerCase()));
+  for (let i = 0; i < parts.length - 1; i += 1) {
+    if (folders.has(parts[i].toLowerCase())) {
+      return `${parts[i]}/${parts[i + 1]}`;
+    }
+  }
+  return void 0;
+}
+function inferSliceFoldersFromPatterns(patterns) {
+  const out = /* @__PURE__ */ new Set();
+  for (const pattern of patterns ?? []) {
+    const glob = normalizeGlobSeparators(String(pattern));
+    const parts = glob.split("/").filter(Boolean);
+    for (let i = 0; i < parts.length; i += 1) {
+      const part = parts[i];
+      if ((part === "**" || part === "*") && i > 0) {
+        const prev = parts[i - 1];
+        if (prev && !prev.includes("*") && !prev.includes("{") && !prev.includes("}")) {
+          out.add(prev);
+        }
+      }
+    }
+  }
+  return [...out];
+}
+function resolveSliceFolders(rule, layerName, layers) {
+  if (Array.isArray(rule.sliceFolders) && rule.sliceFolders.length > 0) {
+    return rule.sliceFolders.filter((s) => typeof s === "string" && s.length > 0);
+  }
+  const layer = (layers ?? []).find((l) => l.name === layerName);
+  return inferSliceFoldersFromPatterns(layer?.patterns);
+}
+function findDeniedEdgeRule(rules, from, to, options) {
+  for (const rule of rules ?? []) {
+    if (rule.from !== from || rule.to !== to) continue;
+    if (rule.allowed !== false) continue;
+    if (rule.peerIsolation) {
+      const fromPath = options?.fromPath;
+      const toPath = options?.toPath;
+      if (!fromPath || !toPath) continue;
+      const folders = resolveSliceFolders(rule, from, options?.layers);
+      if (folders.length === 0) continue;
+      const fromSlice = sliceIdForPath(fromPath, folders);
+      const toSlice = sliceIdForPath(toPath, folders);
+      if (!fromSlice || !toSlice) continue;
+      if (fromSlice !== toSlice) return rule;
+      continue;
+    }
+    if (from === to) continue;
+    return rule;
+  }
+  return void 0;
+}
+
 // src/kernel/event-bus/observedLayerFlow.ts
 async function assertObservedLayerFlowAllowed(event, deps) {
   if (deps.mode === "off" || !deps.architectureProfile) {
@@ -673,9 +749,7 @@ async function assertObservedLayerFlowAllowed(event, deps) {
   const fromLayer = profile.resolveLayer(source);
   const toLayer = profile.resolveLayer(event.intent);
   if (!fromLayer || !toLayer) return;
-  const blocked = profile.rules.find(
-    (rule) => !rule.allowed && rule.from === fromLayer && rule.to === toLayer
-  );
+  const blocked = findDeniedEdgeRule(profile.rules, fromLayer, toLayer);
   if (!blocked) return;
   const severity = deps.mode;
   const message = blocked.message ?? `Observed layer violation: "${source}" (${fromLayer}) must not produce "${event.intent}" (${toLayer}).`;
@@ -2325,16 +2399,26 @@ function createAICodeGate(options = {}) {
         }
       }
       for (const specifier of extractModuleSpecifiers(source)) {
-        const targetLayer = options.resolveImportLayer?.(specifier.value, filePath);
-        if (targetLayer && contextLayer && targetLayer !== contextLayer) {
-          const blocked = options.architectureProfile?.rules.find(
-            (rule) => !rule.allowed && rule.from === contextLayer && rule.to === targetLayer
+        const targetHit = options.resolveImportTarget?.(specifier.value, filePath) ?? (options.resolveImportLayer ? { layer: options.resolveImportLayer(specifier.value, filePath) } : void 0);
+        const sourceHit = typeof filePath === "string" ? options.resolveImportTarget?.(filePath) ?? (options.resolveImportLayer ? { layer: contextLayer, relPath: void 0 } : void 0) : void 0;
+        const targetLayer = targetHit?.layer;
+        if (targetLayer && contextLayer) {
+          const blocked = findDeniedEdgeRule(
+            options.architectureProfile?.rules,
+            contextLayer,
+            targetLayer,
+            {
+              fromPath: sourceHit?.relPath,
+              toPath: targetHit?.relPath,
+              layers: options.architectureLayers
+            }
           );
           if (blocked) {
+            const peer = Boolean(blocked.peerIsolation);
             violations.push(
               violation(
                 "LAYER_IMPORT_VIOLATION",
-                blocked.message ?? `Layer "${contextLayer}" must not import "${targetLayer}".`,
+                blocked.message ?? (peer ? `Layer "${contextLayer}" must not import across slices into "${targetLayer}".` : `Layer "${contextLayer}" must not import "${targetLayer}".`),
                 {
                   line: lineOf(source, specifier.index),
                   source: specifier.value,
@@ -2342,13 +2426,16 @@ function createAICodeGate(options = {}) {
                   filePath,
                   fromLayer: contextLayer,
                   toLayer: targetLayer,
-                  suggestion: "Depend on a port/interface owned by an inner layer instead, or move this code to a layer allowed to make this import.",
-                  details: { importKind: specifier.kind }
+                  suggestion: peer ? "Extract shared code to a shared layer, or coordinate slices via events/ports \u2014 do not import across feature/context slices." : "Depend on a port/interface owned by an inner layer instead, or move this code to a layer allowed to make this import.",
+                  details: { importKind: specifier.kind, peerIsolation: peer }
                 }
               )
             );
+            continue;
+          }
+          if (targetLayer !== contextLayer) {
+            continue;
           }
-          continue;
         }
         if (exemptFromInfraHeuristics) continue;
         if (!hasInfrastructureToken(specifier.value) && !isKnownInfrastructurePackage(specifier.value)) {
@@ -2417,8 +2504,10 @@ function createAICodeGate(options = {}) {
           if (!looksLikeIntentName(literal.value)) continue;
           const targetLayer = options.architectureProfile.resolveLayer(literal.value);
           if (!targetLayer) continue;
-          const blocked = options.architectureProfile.rules.find(
-            (rule) => !rule.allowed && rule.from === contextLayer && rule.to === targetLayer
+          const blocked = findDeniedEdgeRule(
+            options.architectureProfile.rules,
+            contextLayer,
+            targetLayer
           );
           if (blocked) {
             violations.push(