arkgate 4.6.4 → 4.6.5

package/dist/index.d.ts

@@ -1,4 +1,4 @@
-import { a as ArkConfigRule, b as ArkConfigSchemaVersion, c as ArkConfigLoadResult, d as ArkConfigLayer, A as ArkConfig, e as ArkConfigIssue } from './configTypes-B8uIcLaG.js';
+import { a as ArkConfigRule, b as ArkConfigSchemaVersion, c as ArkConfigLoadResult, d as ArkConfigLayer, A as ArkConfig, e as ArkConfigIssue } from './configTypes-l6XiwiC1.js';
 
 /**
  * Canonical, pure contract for ark.config.json.
@@ -188,6 +188,12 @@ declare const ARK_CONFIG_SCHEMA: {
                 readonly optional: {
                     readonly type: "boolean";
                 };
+                readonly reserved: {
+                    readonly type: "boolean";
+                };
+                readonly allowEmpty: {
+                    readonly type: "boolean";
+                };
             };
         };
         readonly rule: {
@@ -254,7 +260,7 @@ declare function loadArkConfigContract(input: unknown, source?: string): ArkConf
 declare function parseArkConfigJson(json: string, source?: string): ArkConfigLoadResult;
 
 /** ArkGate library version — single source of truth. */
-declare const version = "4.6.4";
+declare const version = "4.6.5";
 
 /** Versioned public result contract shared by every ArkGate enforcement adapter. */
 /**
@@ -1996,6 +2002,7 @@ type InvariantCoverageEvidence = {
     partial: boolean;
     description: string;
 };
+type InvariantUncoveredKind = 'never-had-tests' | 'tests-disappeared';
 type InvariantCoverageViolation = {
     ruleId: 'INVARIANT_UNCOVERED';
     message: string;
@@ -2006,6 +2013,8 @@ type InvariantCoverageViolation = {
     fromLayer: string;
     severity: 'error' | 'warning';
     failsStrict: boolean;
+    /** Adopt residual (no test suite) vs regression (suite exists, coverage gone). */
+    kind: InvariantUncoveredKind;
 };
 type EvaluateInvariantCoverageInput = {
     arkRules: EffectiveArkRules;