arkgate 4.6.6 → 4.7.0

package/dist/index.d.ts

@@ -1,266 +1,4 @@
-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.
- *
- * Tooling adapters own filesystem I/O; this module owns JSON parsing, deterministic
- * migration, defaults, validation, diagnostics, and the published JSON Schema.
- * The standalone CLI artifact is generated into bin/lib/config-contract.mjs.
- */
-
-/** Current published ark.config.json schema version (ADR 0012: 1.1 adds optional arkRules). */
-declare const ARK_CONFIG_SCHEMA_VERSION: ArkConfigSchemaVersion;
-declare const ARK_CONFIG_SCHEMA: {
-    readonly $schema: "https://json-schema.org/draft/2020-12/schema";
-    readonly $id: "https://unpkg.com/arkgate@2/schemas/ark.config.schema.json";
-    readonly title: "ArkGate architecture contract";
-    readonly description: "Versioned contract consumed identically by ArkGate CLI, MCP, and ESLint surfaces.";
-    readonly type: "object";
-    readonly additionalProperties: false;
-    readonly required: readonly ["$schema", "schemaVersion", "include", "layers", "rules"];
-    readonly properties: {
-        readonly $schema: {
-            readonly type: "string";
-            readonly minLength: 1;
-            readonly default: "https://unpkg.com/arkgate@2/schemas/ark.config.schema.json";
-            readonly description: "Editor-facing URL or local path for this JSON Schema.";
-        };
-        readonly schemaVersion: {
-            readonly type: "string";
-            readonly const: "1.1";
-            readonly default: "1.1";
-        };
-        readonly name: {
-            readonly type: "string";
-            readonly minLength: 1;
-        };
-        readonly include: {
-            readonly minItems: 1;
-            readonly default: readonly ["src"];
-            readonly type: "array";
-            readonly items: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly uniqueItems: true;
-        };
-        readonly exclude: {
-            readonly default: readonly [];
-            readonly type: "array";
-            readonly items: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly uniqueItems: true;
-        };
-        readonly excludeGenerated: {
-            readonly type: "boolean";
-            readonly default: true;
-        };
-        readonly frameworkOverlay: {
-            readonly type: "string";
-            readonly minLength: 1;
-        };
-        readonly layers: {
-            readonly type: "array";
-            readonly default: readonly [];
-            readonly items: {
-                readonly $ref: "#/$defs/layer";
-            };
-        };
-        readonly rules: {
-            readonly type: "array";
-            readonly default: ArkConfigRule[];
-            readonly items: {
-                readonly $ref: "#/$defs/rule";
-            };
-        };
-        readonly cyclePolicy: {
-            readonly type: "string";
-            readonly enum: readonly ["strict", "soft", "framework-soft", "off"];
-            readonly default: "strict";
-        };
-        readonly dynamicImportAllowlist: {
-            readonly default: readonly [];
-            readonly type: "array";
-            readonly items: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly uniqueItems: true;
-        };
-        readonly safety: {
-            readonly $ref: "#/$defs/safety";
-            readonly default: {
-                readonly maxTsSuppressions: 0;
-                readonly maxAnyCasts: 0;
-                readonly allowInMemory: false;
-                readonly allowDisabledPeerIsolation: false;
-            };
-        };
-        /** ADR 0012 — layer name → relative path to arkrules/<Layer>.json */
-        readonly arkRules: {
-            readonly type: "object";
-            readonly additionalProperties: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly default: {};
-        };
-        /** Team parliament — GitHub handles or emails who may loosen the law (not part of policy hash). */
-        readonly stewards: {
-            readonly default: readonly [];
-            readonly type: "array";
-            readonly items: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly uniqueItems: true;
-        };
-    };
-    readonly $defs: {
-        readonly layer: {
-            readonly type: "object";
-            readonly additionalProperties: false;
-            readonly required: readonly ["name", "patterns"];
-            readonly properties: {
-                readonly name: {
-                    readonly type: "string";
-                    readonly minLength: 1;
-                };
-                readonly patterns: {
-                    readonly minItems: 1;
-                    readonly type: "array";
-                    readonly items: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                    readonly uniqueItems: true;
-                };
-                readonly exclude: {
-                    readonly type: "array";
-                    readonly items: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                    readonly uniqueItems: true;
-                };
-                readonly intentPrefixes: {
-                    readonly type: "array";
-                    readonly items: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                    readonly uniqueItems: true;
-                };
-                readonly description: {
-                    readonly type: "string";
-                    readonly minLength: 1;
-                };
-                readonly forbiddenGlobals: {
-                    readonly type: "array";
-                    readonly items: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                    readonly uniqueItems: true;
-                };
-                readonly capabilities: {
-                    readonly type: "object";
-                    readonly additionalProperties: false;
-                    readonly properties: {
-                        readonly deny: {
-                            readonly type: "array";
-                            readonly uniqueItems: true;
-                            readonly items: {
-                                readonly type: "string";
-                                readonly enum: readonly ["network", "filesystem", "clock", "randomness", "environment", "process", "persistence"];
-                            };
-                        };
-                    };
-                };
-                readonly pure: {
-                    readonly type: "boolean";
-                };
-                readonly mayImportInfrastructure: {
-                    readonly type: "boolean";
-                };
-                readonly optional: {
-                    readonly type: "boolean";
-                };
-                readonly reserved: {
-                    readonly type: "boolean";
-                };
-                readonly allowEmpty: {
-                    readonly type: "boolean";
-                };
-            };
-        };
-        readonly rule: {
-            readonly type: "object";
-            readonly additionalProperties: false;
-            readonly required: readonly ["from", "to", "allowed"];
-            readonly properties: {
-                readonly from: {
-                    readonly type: "string";
-                    readonly minLength: 1;
-                };
-                readonly to: {
-                    readonly type: "string";
-                    readonly minLength: 1;
-                };
-                readonly allowed: {
-                    readonly type: "boolean";
-                };
-                readonly message: {
-                    readonly type: "string";
-                    readonly minLength: 1;
-                };
-                readonly peerIsolation: {
-                    readonly type: "boolean";
-                };
-                readonly sliceFolders: {
-                    readonly minItems: 1;
-                    readonly type: "array";
-                    readonly items: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                    readonly uniqueItems: true;
-                };
-            };
-        };
-        readonly safety: {
-            readonly type: "object";
-            readonly additionalProperties: false;
-            readonly properties: {
-                readonly maxTsSuppressions: {
-                    readonly type: "integer";
-                    readonly minimum: 0;
-                    readonly default: 0;
-                };
-                readonly maxAnyCasts: {
-                    readonly type: "integer";
-                    readonly minimum: 0;
-                    readonly default: 0;
-                };
-                readonly allowInMemory: {
-                    readonly type: "boolean";
-                    readonly default: false;
-                };
-                readonly allowDisabledPeerIsolation: {
-                    readonly type: "boolean";
-                    readonly default: false;
-                };
-            };
-        };
-    };
-};
-declare function loadArkConfigContract(input: unknown, source?: string): ArkConfigLoadResult;
-declare function parseArkConfigJson(json: string, source?: string): ArkConfigLoadResult;
-
-/** ArkGate library version — single source of truth. */
-declare const version = "4.6.6";
+import { a as ArkConfigRule, b as ArkConfigSchemaVersion, c as ArkConfigLoadResult, d as ArkConfigLayer, A as ArkConfig, e as ArkConfigIssue, f as ArkConfigArkRun } from './configTypes-CgJimx9o.js';
 
 /** Versioned public result contract shared by every ArkGate enforcement adapter. */
 /**
@@ -658,16 +396,315 @@ declare const ARK_ANALYSIS_RESULT_SCHEMA: {
                         readonly type: "string";
                         readonly minLength: 1;
                     };
-                    /** ACS06 — package-relative diagnostics anchor path. */
-                    readonly docsCodePath: {
+                    /** ACS06 — package-relative diagnostics anchor path. */
+                    readonly docsCodePath: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                };
+            };
+        };
+    };
+};
+
+/**
+ * Canonical, pure contract for ark.config.json.
+ *
+ * Tooling adapters own filesystem I/O; this module owns JSON parsing, deterministic
+ * migration, defaults, validation, diagnostics, and the published JSON Schema.
+ * The standalone CLI artifact is generated into bin/lib/config-contract.mjs.
+ */
+
+/** Current published ark.config.json schema version (ADR 0020: 1.2 adds optional arkRun). */
+declare const ARK_CONFIG_SCHEMA_VERSION: ArkConfigSchemaVersion;
+declare const ARK_CONFIG_SCHEMA: {
+    readonly $schema: "https://json-schema.org/draft/2020-12/schema";
+    readonly $id: "https://unpkg.com/arkgate@2/schemas/ark.config.schema.json";
+    readonly title: "ArkGate architecture contract";
+    readonly description: "Versioned contract consumed identically by ArkGate CLI, MCP, and ESLint surfaces.";
+    readonly type: "object";
+    readonly additionalProperties: false;
+    readonly required: readonly ["$schema", "schemaVersion", "include", "layers", "rules"];
+    readonly properties: {
+        readonly $schema: {
+            readonly type: "string";
+            readonly minLength: 1;
+            readonly default: "https://unpkg.com/arkgate@2/schemas/ark.config.schema.json";
+            readonly description: "Editor-facing URL or local path for this JSON Schema.";
+        };
+        readonly schemaVersion: {
+            readonly type: "string";
+            readonly const: "1.2";
+            readonly default: "1.2";
+        };
+        readonly name: {
+            readonly type: "string";
+            readonly minLength: 1;
+        };
+        readonly include: {
+            readonly minItems: 1;
+            readonly default: readonly ["src"];
+            readonly type: "array";
+            readonly items: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+            readonly uniqueItems: true;
+        };
+        readonly exclude: {
+            readonly default: readonly [];
+            readonly type: "array";
+            readonly items: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+            readonly uniqueItems: true;
+        };
+        readonly excludeGenerated: {
+            readonly type: "boolean";
+            readonly default: true;
+        };
+        readonly frameworkOverlay: {
+            readonly type: "string";
+            readonly minLength: 1;
+        };
+        readonly layers: {
+            readonly type: "array";
+            readonly default: readonly [];
+            readonly items: {
+                readonly $ref: "#/$defs/layer";
+            };
+        };
+        readonly rules: {
+            readonly type: "array";
+            readonly default: ArkConfigRule[];
+            readonly items: {
+                readonly $ref: "#/$defs/rule";
+            };
+        };
+        readonly cyclePolicy: {
+            readonly type: "string";
+            readonly enum: readonly ["strict", "soft", "framework-soft", "off"];
+            readonly default: "strict";
+        };
+        readonly dynamicImportAllowlist: {
+            readonly default: readonly [];
+            readonly type: "array";
+            readonly items: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+            readonly uniqueItems: true;
+        };
+        readonly safety: {
+            readonly $ref: "#/$defs/safety";
+            readonly default: {
+                readonly maxTsSuppressions: 0;
+                readonly maxAnyCasts: 0;
+                readonly allowInMemory: false;
+                readonly allowDisabledPeerIsolation: false;
+            };
+        };
+        /** ADR 0012 — layer name → relative path to arkrules/<Layer>.json */
+        readonly arkRules: {
+            readonly type: "object";
+            readonly additionalProperties: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+            readonly default: {};
+        };
+        /** ADR 0020 — optional ArkRun extra. Absence is silent; unknown keys fail closed. */
+        readonly arkRun: {
+            readonly $ref: "#/$defs/arkRun";
+        };
+        /** Team parliament — GitHub handles or emails who may loosen the law (not part of policy hash). */
+        readonly stewards: {
+            readonly default: readonly [];
+            readonly type: "array";
+            readonly items: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+            readonly uniqueItems: true;
+        };
+    };
+    readonly $defs: {
+        readonly layer: {
+            readonly type: "object";
+            readonly additionalProperties: false;
+            readonly required: readonly ["name", "patterns"];
+            readonly properties: {
+                readonly name: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly patterns: {
+                    readonly minItems: 1;
+                    readonly type: "array";
+                    readonly items: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly uniqueItems: true;
+                };
+                readonly exclude: {
+                    readonly type: "array";
+                    readonly items: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly uniqueItems: true;
+                };
+                readonly intentPrefixes: {
+                    readonly type: "array";
+                    readonly items: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly uniqueItems: true;
+                };
+                readonly description: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly forbiddenGlobals: {
+                    readonly type: "array";
+                    readonly items: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly uniqueItems: true;
+                };
+                readonly capabilities: {
+                    readonly type: "object";
+                    readonly additionalProperties: false;
+                    readonly properties: {
+                        readonly deny: {
+                            readonly type: "array";
+                            readonly uniqueItems: true;
+                            readonly items: {
+                                readonly type: "string";
+                                readonly enum: readonly ["network", "filesystem", "clock", "randomness", "environment", "process", "persistence"];
+                            };
+                        };
+                    };
+                };
+                readonly pure: {
+                    readonly type: "boolean";
+                };
+                readonly mayImportInfrastructure: {
+                    readonly type: "boolean";
+                };
+                readonly optional: {
+                    readonly type: "boolean";
+                };
+                readonly reserved: {
+                    readonly type: "boolean";
+                };
+                readonly allowEmpty: {
+                    readonly type: "boolean";
+                };
+            };
+        };
+        readonly rule: {
+            readonly type: "object";
+            readonly additionalProperties: false;
+            readonly required: readonly ["from", "to", "allowed"];
+            readonly properties: {
+                readonly from: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly to: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly allowed: {
+                    readonly type: "boolean";
+                };
+                readonly message: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly peerIsolation: {
+                    readonly type: "boolean";
+                };
+                readonly sliceFolders: {
+                    readonly minItems: 1;
+                    readonly type: "array";
+                    readonly items: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly uniqueItems: true;
+                };
+            };
+        };
+        readonly safety: {
+            readonly type: "object";
+            readonly additionalProperties: false;
+            readonly properties: {
+                readonly maxTsSuppressions: {
+                    readonly type: "integer";
+                    readonly minimum: 0;
+                    readonly default: 0;
+                };
+                readonly maxAnyCasts: {
+                    readonly type: "integer";
+                    readonly minimum: 0;
+                    readonly default: 0;
+                };
+                readonly allowInMemory: {
+                    readonly type: "boolean";
+                    readonly default: false;
+                };
+                readonly allowDisabledPeerIsolation: {
+                    readonly type: "boolean";
+                    readonly default: false;
+                };
+            };
+        };
+        readonly arkRun: {
+            readonly type: "object";
+            readonly additionalProperties: false;
+            readonly properties: {
+                readonly mode: {
+                    readonly type: "string";
+                    readonly enum: readonly ["advisory", "enforced"];
+                    readonly default: "advisory";
+                };
+                readonly compositionRoots: {
+                    readonly default: readonly [];
+                    readonly type: "array";
+                    readonly items: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly uniqueItems: true;
+                };
+                readonly managedLayers: {
+                    readonly default: readonly [];
+                    readonly type: "array";
+                    readonly items: {
                         readonly type: "string";
                         readonly minLength: 1;
                     };
+                    readonly uniqueItems: true;
+                };
+                readonly requireDeclarations: {
+                    readonly type: "boolean";
+                    readonly default: true;
                 };
             };
         };
     };
 };
+declare function loadArkConfigContract(input: unknown, source?: string): ArkConfigLoadResult;
+declare function parseArkConfigJson(json: string, source?: string): ArkConfigLoadResult;
+
+/** ArkGate library version — single source of truth. */
+declare const version = "4.7.0";
 
 /**
  * Canonical, pure contract for ArkGate MCP project identity.
@@ -1163,8 +1200,8 @@ declare function stableSerialize(value: unknown): string;
  * Pure declarations + schema version identity. Create/load live in
  * resolvedCandidateFacts.ts; JSON Schema lives in resolvedCandidateFactsSchema.ts.
  */
-/** 1.1 adds optional classShapes[] (ADR 0013). 1.0 payloads remain loadable. */
-declare const RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION: "1.1";
+/** 1.1 adds optional classShapes[] (ADR 0013). 1.2 adds optional ArkRun facts (ADR 0022). 1.0/1.1 remain loadable. */
+declare const RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION: "1.2";
 type ResolvedFactsCompleteness = 'complete' | 'partial' | 'unavailable';
 type ResolvedDependencyKind = 'import' | 'export' | 'dynamic-import' | 'require';
 type ResolvedDependencyState = 'resolved-project' | 'resolved-external' | 'unresolved' | 'dynamic';
@@ -1183,6 +1220,39 @@ type ResolvedFileFact = {
     typeOnlyExportNames: string[];
     hasTopLevelSideEffects: boolean;
 };
+/** ADR 0022 kernel API call-site evidence. Sensors consume this in RN04. */
+type ResolvedArkRunKernelCallKind = 'factory' | 'publisher' | 'publish' | 'raise' | 'send' | 'subscribe' | 'register-handler' | 'resolve' | 'resolve-singleton';
+type ResolvedArkRunKernelCallFact = {
+    file: string;
+    line: number;
+    kind: ResolvedArkRunKernelCallKind;
+    callee: string;
+    viaImport: boolean;
+    receiver?: string;
+    nameLiteral?: string;
+};
+/** `new` of a class admitted for kernel creation (classShapes name or kernel import). */
+type ResolvedArkRunManagedNewFact = {
+    file: string;
+    line: number;
+    typeName: string;
+    importedFrom?: string;
+};
+/** Governed file that matched an `arkRun.compositionRoots` glob. */
+type ResolvedArkRunCompositionRootHitFact = {
+    file: string;
+    matchedRoot: string;
+    hasKernelFactory: boolean;
+};
+/** File-scoped interaction declaration lists (ADR 0023). Sensors consume this in RN04. */
+type ResolvedArkRunDeclarationFact = {
+    file: string;
+    line: number;
+    uses: string[];
+    reactsTo: string[];
+    raises: string[];
+    sends: string[];
+};
 /** ADR 0013 class-shape evidence for ArkRules structure sensors. */
 type ResolvedClassShapeFact = {
     file: string;
@@ -1247,7 +1317,7 @@ type ResolvedSafetyFact = {
     symbol?: string;
 };
 type ResolvedCandidateFactsInput = {
-    schemaVersion: '1.0' | typeof RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION;
+    schemaVersion: '1.0' | '1.1' | typeof RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION;
     completeness: ResolvedFactsCompleteness;
     completenessReasons: readonly ResolvedFactsReason[];
     resolverIdentity: string;
@@ -1265,8 +1335,13 @@ type ResolvedCandidateFactsInput = {
     safetyUses: readonly ResolvedSafetyFact[];
     /** ADR 0013 — optional on 1.0; default [] on load. */
     classShapes?: readonly ResolvedClassShapeFact[];
+    /** ADR 0022 / RN03 — optional on 1.0/1.1; default [] on load. */
+    arkRunKernelCalls?: readonly ResolvedArkRunKernelCallFact[];
+    arkRunManagedNews?: readonly ResolvedArkRunManagedNewFact[];
+    arkRunCompositionRootHits?: readonly ResolvedArkRunCompositionRootHitFact[];
+    arkRunDeclarations?: readonly ResolvedArkRunDeclarationFact[];
 };
-type ResolvedCandidateFacts = Omit<ResolvedCandidateFactsInput, 'candidateTreeHash' | 'classShapes'> & {
+type ResolvedCandidateFacts = Omit<ResolvedCandidateFactsInput, 'candidateTreeHash' | 'classShapes' | 'arkRunKernelCalls' | 'arkRunManagedNews' | 'arkRunCompositionRootHits' | 'arkRunDeclarations'> & {
     schemaVersion: typeof RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION;
     completenessReasons: ResolvedFactsReason[];
     candidateTreeHash: string;
@@ -1278,6 +1353,10 @@ type ResolvedCandidateFacts = Omit<ResolvedCandidateFactsInput, 'candidateTreeHa
     intentReferences: ResolvedIntentReferenceFact[];
     safetyUses: ResolvedSafetyFact[];
     classShapes: ResolvedClassShapeFact[];
+    arkRunKernelCalls: ResolvedArkRunKernelCallFact[];
+    arkRunManagedNews: ResolvedArkRunManagedNewFact[];
+    arkRunCompositionRootHits: ResolvedArkRunCompositionRootHitFact[];
+    arkRunDeclarations: ResolvedArkRunDeclarationFact[];
     factsHash: string;
 };
 
@@ -1302,7 +1381,7 @@ declare const RESOLVED_CANDIDATE_FACTS_SCHEMA: {
     readonly required: readonly ["schemaVersion", "completeness", "completenessReasons", "resolverIdentity", "compilerIdentity", "compilerOptionsHash", "tsconfigHash", "candidateTreeHash", "evidenceRequirementsHash", "files", "dependencies", "capabilityUses", "ambientUses", "publishCalls", "intentReferences", "safetyUses", "factsHash"];
     readonly properties: {
         readonly schemaVersion: {
-            readonly enum: readonly ["1.0", "1.1"];
+            readonly enum: readonly ["1.0", "1.1", "1.2"];
         };
         readonly completeness: {
             readonly enum: readonly ["complete", "partial", "unavailable"];
@@ -1721,6 +1800,139 @@ declare const RESOLVED_CANDIDATE_FACTS_SCHEMA: {
                 };
             };
         };
+        readonly arkRunKernelCalls: {
+            readonly type: "array";
+            readonly items: {
+                readonly type: "object";
+                readonly additionalProperties: false;
+                readonly required: readonly ["file", "line", "kind", "callee", "viaImport"];
+                readonly properties: {
+                    readonly file: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                        readonly pattern: "^(?!/)(?![A-Za-z]:/)(?!.*\\\\)(?!.*//)(?!.*(?:^|/)\\.{1,2}(?:/|$))(?!.*[\\u0000-\\u001f\\u007f])(?!.*\\/$).+$";
+                    };
+                    readonly line: {
+                        readonly type: "integer";
+                        readonly minimum: 1;
+                    };
+                    readonly kind: {
+                        readonly enum: readonly ["factory", "publisher", "publish", "raise", "send", "subscribe", "register-handler", "resolve", "resolve-singleton"];
+                    };
+                    readonly callee: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly viaImport: {
+                        readonly type: "boolean";
+                    };
+                    readonly receiver: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly nameLiteral: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                };
+            };
+        };
+        readonly arkRunManagedNews: {
+            readonly type: "array";
+            readonly items: {
+                readonly type: "object";
+                readonly additionalProperties: false;
+                readonly required: readonly ["file", "line", "typeName"];
+                readonly properties: {
+                    readonly file: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                        readonly pattern: "^(?!/)(?![A-Za-z]:/)(?!.*\\\\)(?!.*//)(?!.*(?:^|/)\\.{1,2}(?:/|$))(?!.*[\\u0000-\\u001f\\u007f])(?!.*\\/$).+$";
+                    };
+                    readonly line: {
+                        readonly type: "integer";
+                        readonly minimum: 1;
+                    };
+                    readonly typeName: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly importedFrom: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                };
+            };
+        };
+        readonly arkRunCompositionRootHits: {
+            readonly type: "array";
+            readonly items: {
+                readonly type: "object";
+                readonly additionalProperties: false;
+                readonly required: readonly ["file", "matchedRoot", "hasKernelFactory"];
+                readonly properties: {
+                    readonly file: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                        readonly pattern: "^(?!/)(?![A-Za-z]:/)(?!.*\\\\)(?!.*//)(?!.*(?:^|/)\\.{1,2}(?:/|$))(?!.*[\\u0000-\\u001f\\u007f])(?!.*\\/$).+$";
+                    };
+                    readonly matchedRoot: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly hasKernelFactory: {
+                        readonly type: "boolean";
+                    };
+                };
+            };
+        };
+        readonly arkRunDeclarations: {
+            readonly type: "array";
+            readonly items: {
+                readonly type: "object";
+                readonly additionalProperties: false;
+                readonly required: readonly ["file", "line", "uses", "reactsTo", "raises", "sends"];
+                readonly properties: {
+                    readonly file: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                        readonly pattern: "^(?!/)(?![A-Za-z]:/)(?!.*\\\\)(?!.*//)(?!.*(?:^|/)\\.{1,2}(?:/|$))(?!.*[\\u0000-\\u001f\\u007f])(?!.*\\/$).+$";
+                    };
+                    readonly line: {
+                        readonly type: "integer";
+                        readonly minimum: 1;
+                    };
+                    readonly uses: {
+                        readonly type: "array";
+                        readonly items: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                        };
+                    };
+                    readonly reactsTo: {
+                        readonly type: "array";
+                        readonly items: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                        };
+                    };
+                    readonly raises: {
+                        readonly type: "array";
+                        readonly items: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                        };
+                    };
+                    readonly sends: {
+                        readonly type: "array";
+                        readonly items: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                        };
+                    };
+                };
+            };
+        };
         readonly factsHash: {
             readonly type: "string";
             readonly minLength: 1;
@@ -2659,6 +2871,270 @@ declare function resolveEffectiveContract(input: ResolveEffectiveContractInput,
  */
 declare function effectiveContractPolicyPayload(contract: EffectiveContract): unknown;
 
+/**
+ * ArkRun resolver-fact extraction (ADR 0022 / RN03).
+ *
+ * Syntax evidence only — no verdicts, scores, or sensors. Tooling may replace
+ * this lexical pass with TypeScript-API facts of the same shape.
+ */
+
+/** Closed factory names from ADR 0022 `arkrun-missing-root`. */
+declare const ARKRUN_KERNEL_FACTORY_CALLEES: readonly ["createArkKernel", "createStrictArkKernel", "createArkKernelFromConfig", "createStrictArkKernelFromConfig"];
+/** Closed interaction callees from ADR 0022 undeclared-emit/handle/depend. */
+declare const ARKRUN_KERNEL_INTERACTION_CALLEES: readonly ["publisher", "publish", "raise", "raiseAsync", "send", "sendTo", "subscribe", "registerHandler", "resolve", "resolveSingleton"];
+declare function isArkRunKernelModuleSpecifier(specifier: string): boolean;
+/**
+ * Closed broker / queue / emitter specifiers for `arkrun-transport-bypass`
+ * (ADR 0022 D4). Exact entry or package-root subpath only — never substring.
+ */
+declare const ARKRUN_TRANSPORT_BYPASS_SPECIFIERS: readonly ["events", "node:events", "eventemitter2", "eventemitter3", "emittery", "kafkajs", "kafka-node", "amqplib", "amqp", "bull", "bullmq", "mqtt", "nats", "@aws-sdk/client-sqs", "@aws-sdk/client-sns", "@aws-sdk/client-eventbridge", "@google-cloud/pubsub", "@azure/service-bus"];
+declare function isArkRunTransportBypassSpecifier(specifier: string): boolean;
+declare function arkRunKernelCallKind(callee: string): ResolvedArkRunKernelCallKind | undefined;
+/**
+ * Lexical import/export-from and require/import() specifier edges for the
+ * editor / snippet envelope. Resolution stays unresolved-external — sensors
+ * only need the specifier and from-file.
+ */
+declare function extractArkRunValueImportDependenciesFromSource(file: string, content: string): ResolvedDependencyFact[];
+/** PascalCase named bindings from value import clauses (snippet admitted constructors). */
+declare function extractArkRunImportedConstructorNamesFromSource(content: string): string[];
+declare function extractArkRunKernelCallsFromSource(file: string, content: string): ResolvedArkRunKernelCallFact[];
+declare function extractArkRunManagedNewsFromSource(file: string, content: string, admittedTypeNames: ReadonlySet<string>): ResolvedArkRunManagedNewFact[];
+/** File-scoped `uses` / `reactsTo` / `raises` / `sends` string-literal lists (ADR 0023). */
+declare function extractArkRunDeclarationsFromSource(file: string, content: string): ResolvedArkRunDeclarationFact[];
+
+/**
+ * Extra-plane merge teeth (ArkRules + ArkRun). Same classification floor.
+ *
+ * Unknown classification (contract-only callers) allows teeth. Known empty or
+ * under-floor trees demote extra-plane findings so they never merge-block.
+ */
+declare const EXTRA_MERGE_TEETH_GOVERNED_FLOOR = 50;
+type ExtraMergeTeethClassification = {
+    governedPercent?: number | null;
+    populatedLayerCount?: number | null;
+};
+type ExtraMergeTeethClassificationInput = ExtraMergeTeethClassification & {
+    classifiedFiles?: number | null;
+};
+declare function normalizeExtraMergeTeethClassification(classification?: ExtraMergeTeethClassificationInput | null): ExtraMergeTeethClassification;
+declare function extraMergeTeethAllowed(classification?: ExtraMergeTeethClassificationInput | null): boolean;
+declare function classifyResolvedLayerCoverage(files: readonly {
+    layer?: string | null | undefined;
+}[]): ExtraMergeTeethClassification;
+declare function isArkRunRuleId(ruleId: unknown): boolean;
+declare function isExtraPlaneFinding(violation: {
+    ruleId?: unknown;
+    arkruleId?: unknown;
+}): boolean;
+/**
+ * Under the classification floor, demote enforced extra-plane findings in place
+ * so merge/write/CI match (layer graph only). Unknown classification is a no-op.
+ */
+declare function demoteExtraPlaneTeethUnderClassificationFloor<T extends {
+    ruleId?: unknown;
+    arkruleId?: unknown;
+    failsStrict?: boolean;
+    severity?: string;
+}>(violations: T[], classification?: ExtraMergeTeethClassification): T[];
+/** Stamp for extra-plane honesty: never one architecture score. */
+declare const MERGE_PLANES_DUAL_STAMP = "Structure = heuristics; invariants = catalog+coverage evidence (not business runtime); ArkRun = kernel usage + declarations (not a score). Extra planes never merge into one architecture score. Advisory ArkRules \u2260 merge teeth. Advisory ArkRun \u2260 merge teeth.";
+type MergePlanesArkRulesInput = {
+    active: boolean;
+    structureEnforced?: number;
+    structureTotal?: number;
+    structureAdvisory?: number;
+    invariantEnforced?: number;
+    invariantTotal?: number;
+    invariantAdvisory?: number;
+    covered?: number;
+    uncovered?: number;
+};
+type MergePlanesArkRunInput = {
+    present: boolean;
+    mode?: 'advisory' | 'enforced' | null;
+    residualCount?: number;
+};
+type MergePlanesHonesty = {
+    layers: {
+        role: 'inter-layer-edges';
+        alwaysOnGate: true;
+        note: string;
+    };
+    structureSensors: {
+        role: 'intra-layer-heuristics';
+        total: number;
+        enforced: number;
+        advisory: number;
+        note: string;
+    };
+    invariants: {
+        role: 'catalog-plus-coverage';
+        total: number;
+        enforced: number;
+        advisory: number;
+        covered: number;
+        uncovered: number;
+        note: string;
+    };
+    arkRun: {
+        role: 'kernel-usage-and-declarations';
+        present: boolean;
+        mode: 'advisory' | 'enforced' | null;
+        residualCount: number;
+        extraMergeTeeth: boolean;
+        note: string;
+    };
+    extraMergeTeeth: boolean;
+    dualPlaneStamp: string;
+    failMergeWhen: string;
+    classificationGate?: {
+        governedPercent: number | null;
+        populatedLayerCount: number | null;
+        floorPercent: number;
+        allowsTeeth: boolean;
+    };
+};
+/**
+ * Which extra planes can fail merge. Counts and stamps only — never a score.
+ */
+declare function composeMergePlanesHonesty(input?: {
+    classification?: ExtraMergeTeethClassificationInput | null;
+    arkRules?: MergePlanesArkRulesInput | null;
+    arkRun?: MergePlanesArkRunInput | null;
+}): MergePlanesHonesty;
+
+/**
+ * Doctor / status / report ArkRun section (RN08). Always notAScore.
+ * Residual is a unique ARKRUN finding-id count — never a score or LLM verdict.
+ */
+
+declare const ARK_RUN_DOCTOR_SCHEMA_VERSION: "1.0";
+type ArkRunDoctorMode = 'advisory' | 'enforced';
+type ArkRunDoctorResidual = {
+    count: number;
+    ruleIds: string[];
+};
+type ArkRunDoctorSection = {
+    schemaVersion: typeof ARK_RUN_DOCTOR_SCHEMA_VERSION;
+    notAScore: true;
+    active: boolean;
+    mode: ArkRunDoctorMode | null;
+    compositionRoots: number;
+    managedLayers: number;
+    requireDeclarations: boolean | null;
+    residual: ArkRunDoctorResidual;
+    extraMergeTeeth: boolean;
+    failMergeWhen: string;
+    note: string;
+    mergePlanes: MergePlanesHonesty;
+};
+type ArkRunStatusSlice = {
+    notAScore: true;
+    present: boolean;
+    mode: ArkRunDoctorMode | null;
+    extraMergeTeeth: boolean;
+    residual: number | null;
+};
+type ArkRunDoctorConfig = {
+    mode?: string;
+    compositionRoots?: readonly string[];
+    managedLayers?: readonly string[];
+    requireDeclarations?: boolean;
+};
+/**
+ * Doctor / HTML ArkRun advisory. Always emitted; absence is an honest silent row.
+ */
+declare function summarizeArkRunSection(input?: {
+    arkRun?: ArkRunDoctorConfig | null;
+    findings?: readonly {
+        ruleId?: unknown;
+    }[] | null;
+    classification?: ExtraMergeTeethClassificationInput | null;
+    arkRules?: {
+        active?: boolean;
+        structureEnforced?: number;
+        structureTotal?: number;
+        structureAdvisory?: number;
+        invariantEnforced?: number;
+        invariantTotal?: number;
+        invariantAdvisory?: number;
+        covered?: number;
+        uncovered?: number;
+    } | null;
+}): ArkRunDoctorSection;
+/** Thin status slice — counts only; residual null means unknown, not green. */
+declare function projectStatusArkRun(input?: {
+    present?: boolean;
+    mode?: string | null;
+    extraMergeTeeth?: boolean;
+    residual?: number | null;
+}): ArkRunStatusSlice;
+declare function formatArkRunDoctorLines(section: ArkRunDoctorSection): string[];
+
+declare const ARKRUN_TIER1_SENSOR_IDS: readonly ["arkrun-missing-root", "arkrun-kernel-in-domain", "arkrun-direct-new", "arkrun-undeclared-emit", "arkrun-undeclared-handle", "arkrun-undeclared-depend", "arkrun-transport-bypass"];
+type ArkRunTier1SensorId = (typeof ARKRUN_TIER1_SENSOR_IDS)[number];
+declare const ARKRUN_RULE_IDS: {
+    readonly 'arkrun-missing-root': "ARKRUN_MISSING_ROOT";
+    readonly 'arkrun-kernel-in-domain': "ARKRUN_KERNEL_IN_DOMAIN";
+    readonly 'arkrun-direct-new': "ARKRUN_DIRECT_NEW";
+    readonly 'arkrun-undeclared-emit': "ARKRUN_UNDECLARED_EMIT";
+    readonly 'arkrun-undeclared-handle': "ARKRUN_UNDECLARED_HANDLE";
+    readonly 'arkrun-undeclared-depend': "ARKRUN_UNDECLARED_DEPEND";
+    readonly 'arkrun-transport-bypass': "ARKRUN_TRANSPORT_BYPASS";
+};
+type ArkRunRuleId = (typeof ARKRUN_RULE_IDS)[ArkRunTier1SensorId];
+declare const ARKRUN_INTERACTION_NAME_INCOMPLETE = "ARKRUN_INTERACTION_NAME_INCOMPLETE";
+type ArkRunSensorFinding = {
+    ruleId: ArkRunRuleId;
+    sensor: ArkRunTier1SensorId;
+    message: string;
+    file: string;
+    line: number;
+    fromLayer?: string;
+    target?: string;
+    severity: 'error' | 'warning';
+    failsStrict: boolean;
+    nextAction: string;
+};
+type EvaluateArkRunSensorsInput = {
+    arkRun: ArkConfigArkRun | undefined;
+    layers: readonly ArkConfigLayer[];
+    kernelCalls: readonly ResolvedArkRunKernelCallFact[];
+    managedNews: readonly ResolvedArkRunManagedNewFact[];
+    compositionRootHits: readonly ResolvedArkRunCompositionRootHitFact[];
+    declarations: readonly ResolvedArkRunDeclarationFact[];
+    dependencies: readonly ResolvedDependencyFact[];
+    layerForFile: (path: string) => string | null | undefined;
+    /** Omit for contract-only callers (teeth allowed). Kernel/CLI pass tree coverage. */
+    classification?: ExtraMergeTeethClassification;
+};
+type EvaluateArkRunSensorsResult = {
+    findings: ArkRunSensorFinding[];
+    completenessReasons: ResolvedFactsReason[];
+};
+/**
+ * Evaluate closed tier-1 ArkRun sensors. Empty extra → no findings (silent).
+ */
+declare function evaluateArkRunSensors(input: EvaluateArkRunSensorsInput): EvaluateArkRunSensorsResult;
+/**
+ * Same sensors as `evaluateArkRunSensors`, filtered to the ESLint import/`new` envelope.
+ * Does not emit missing-root or undeclared-* (those need project-wide / declaration facts).
+ */
+declare function evaluateArkRunEditorSensors(input: EvaluateArkRunSensorsInput): EvaluateArkRunSensorsResult;
+/**
+ * Import / `new` envelope from one proposed source (hook Write/Edit, snippet MCP).
+ * Missing-root and undeclared-* stay project-wide CLI/MCP/preflight.
+ */
+declare function evaluateArkRunEditorSensorsFromSource(input: {
+    arkRun: ArkConfigArkRun | undefined;
+    layers: readonly ArkConfigLayer[];
+    file: string;
+    source: string;
+    layerForFile: EvaluateArkRunSensorsInput['layerForFile'];
+    classification?: ExtraMergeTeethClassification;
+}): EvaluateArkRunSensorsResult;
+
 /**
  * Deterministic brownfield rules inventory (AR13).
  *
@@ -2838,7 +3314,7 @@ type ArkDesignDeltaResult = {
 declare const DIAGNOSTIC_DOCS_RELATIVE_PATH: "docs/diagnostics.md";
 /** Schema id for serializing the catalog snapshot (agents / install projection). */
 declare const DIAGNOSTIC_CATALOG_SCHEMA_VERSION: "1.0";
-type DiagnosticCategory = 'layer' | 'capability' | 'publish' | 'safety' | 'arkrules' | 'preflight' | 'analysis' | 'snippet-policy' | 'config' | 'adapter' | 'meta';
+type DiagnosticCategory = 'layer' | 'capability' | 'publish' | 'safety' | 'arkrules' | 'arkrun' | 'preflight' | 'analysis' | 'snippet-policy' | 'config' | 'adapter' | 'meta';
 type DiagnosticCatalogEntry = {
     /** Stable public violation / diagnostic id. */
     ruleId: string;
@@ -3010,6 +3486,11 @@ type StatusManifest = {
     improvementCompass?: StatusImprovementCompassSlice;
     /** Optional checkout-vs-base honesty (TW). Never a gate input. */
     vsBase?: StatusVsBaseSlice;
+    /**
+     * ArkRun extra residual (RN08). Always notAScore; never a gate input.
+     * residual is a finding-id count (null = unknown, not green).
+     */
+    arkRun?: ArkRunStatusSlice;
 };
 type StatusVsBaseSlice = {
     baseRef: string;
@@ -3077,6 +3558,8 @@ type StatusManifestFacts = {
      */
     improvementCompass?: StatusImprovementCompassSlice | null;
     vsBase?: StatusVsBaseSlice | null;
+    /** Thin ArkRun extra facts (notAScore). residual null = unknown, not green. */
+    arkRun?: ArkRunStatusSlice | null;
 };
 /**
  * Evaluate project binding for status without filesystem.
@@ -3387,6 +3870,38 @@ declare const ARK_STATUS_MANIFEST_SCHEMA: {
                 };
             };
         };
+        readonly arkRun: {
+            readonly type: "object";
+            readonly description: "ArkRun extra residual (notAScore). present/mode from config; residual is a finding-id count (null = unknown, not green). extraMergeTeeth is honesty, never a score.";
+            readonly additionalProperties: false;
+            readonly required: readonly ["notAScore", "present", "mode", "extraMergeTeeth", "residual"];
+            readonly properties: {
+                readonly notAScore: {
+                    readonly const: true;
+                };
+                readonly present: {
+                    readonly type: "boolean";
+                };
+                readonly mode: {
+                    readonly anyOf: readonly [{
+                        readonly enum: readonly ["advisory", "enforced"];
+                    }, {
+                        readonly type: "null";
+                    }];
+                };
+                readonly extraMergeTeeth: {
+                    readonly type: "boolean";
+                };
+                readonly residual: {
+                    readonly anyOf: readonly [{
+                        readonly type: "integer";
+                        readonly minimum: 0;
+                    }, {
+                        readonly type: "null";
+                    }];
+                };
+            };
+        };
     };
 };
 
@@ -3798,4 +4313,4 @@ declare function agentSkillPackageFileRelativePath(skillName: string): string;
  */
 declare function flatSkillTemplateFileRelativePath(skillName: string): string;
 
-export { ADAPTER_DIAGNOSTIC_DOCS_RELATIVE_PATH, AGENT_PROJECTION_BEGIN_MARKER, AGENT_PROJECTION_END_MARKER, AGENT_PROJECTION_ENFORCEMENT_SURFACES, AGENT_PROJECTION_NON_ENFORCEMENT_LABEL, AGENT_SKILLS_PACKAGE_RELATIVE_ROOT, AGENT_SKILL_ENTRY_FILENAME, type AICodeGate, type AICodeGateContext, type AICodeGateOptions, type AICodeGateResult, type AICodeGateViolation, type AIGateExtension, ANALYSIS_IR_SCHEMA_VERSION, ARK_AGENT_PROJECTION_SCHEMA_VERSION, ARK_AGENT_SKILLS_PACKAGE_SCHEMA_VERSION, ARK_ANALYSIS_RESULT_SCHEMA, ARK_ANALYSIS_RESULT_SCHEMA_VERSION, ARK_CONFIG_SCHEMA, ARK_CONFIG_SCHEMA_VERSION, ARK_DESIGN_DELTA_SCHEMA_VERSION, ARK_ENFORCEMENT_STATE_SCHEMA_VERSION, ARK_IMPROVEMENT_COMPASS_SCHEMA_VERSION, ARK_PROJECT_IDENTITY_SCHEMA, ARK_PROJECT_IDENTITY_SCHEMA_URL, ARK_PROJECT_IDENTITY_SCHEMA_VERSION, ARK_RULES_SCHEMA, ARK_RULES_SCHEMA_VERSION, ARK_RULE_SENSORS, ARK_SKILL_NAMES, ARK_SKILL_NAME_COUNT, ARK_STATUS_MANIFEST_SCHEMA, ARK_STATUS_MANIFEST_SCHEMA_URL, ARK_STATUS_MANIFEST_SCHEMA_VERSION, type AdapterCompletenessReason, type AdapterDiagnostic, type AdapterResult, type AdapterSeverity, type AdapterViolationInput, type AgentProjectionCatalogEntry, type AgentProjectionFacts, type AgentProjectionLayerSummary, type AgentProjectionMergeAction, type AgentProjectionMergeResult, type AgentProjectionMeta, type AgentProjectionProfile, type AgentSkillPackageEntry, type AgentSkillValidationIssue, type AnalysisCapabilityUse, type AnalysisCompilerOptions, type AnalysisCompleteness, type AnalysisContract, type AnalysisEvidence, type AnalysisFile, type AnalysisFileChange, type AnalysisFileInput, type AnalysisImportEdge, type AnalysisIr, type AnalysisMode, type AnalysisResult, type AnalysisViolation, type AnalyzeArchitectureConvergenceInput, type AnalyzeChangeInput, type AnalyzePolicyDeltaInput, type AnalyzeProjectInput, type AnalyzeResolvedProjectInput, type ArchitectureActualChange, type ArchitectureChangeMap, type ArchitectureChangeMapContract, type ArchitectureChangeMapDependency, type ArchitectureChangeMapFile, type ArchitectureChangeOperation, type ArchitectureConvergenceClassification, type ArchitectureConvergenceFinding, type ArchitectureConvergenceResult, type ArchitectureDependency, type ArchitectureEngineEdge, type ArchitectureEngineResult, type ArchitectureEngineViolation, type ArchitectureLayer, type ArchitectureLayerConfig, type ArchitectureProfile, type ArchitectureRule, type ArkCheckConfig, ArkConfig, ArkConfigLoadResult, type ArkDesignDeltaResult, type ArkEnforcementHost, type ArkEnforcementState, type ArkRuleSensorViolation, type ArkRulesFile, type ArkSkillName, type ChangePreflightResult, type ClassShapeFact, type CollectAnalysisConfigWarningsInput, type CreateArchitectureProfileFromArkConfigOptions, type CreateArchitectureProfileOptions, type CreateElevenLayerArkConfigOptions, DEFAULT_AGENT_PROJECTION_RULE_IDS, DIAGNOSTIC_CATALOG, DIAGNOSTIC_CATALOG_SCHEMA_VERSION, DIAGNOSTIC_DOCS_RELATIVE_PATH, DIAGNOSTIC_RULE_IDS, type DesignDeltaChange, type DesignDeltaEnforcementScope, type DesignDeltaIdentity, type DesignSmellEvidence, type DesignSmellFinding, type DesignSmellId, type DiagnosticCatalogEntry, type DiagnosticCategory, type EffectiveArkRules, type EffectiveContract, EffectiveContractError, type EffectiveContractWarning, type EnforcementBoundaryState, type EnforcementEvidence, type EnforcementEvidenceField, type EnforcementVerification, type EvaluateArchitectureGraphInput, FLAT_SKILL_TEMPLATES_RELATIVE_ROOT, type ForbiddenCapabilityUse, IMPROVEMENT_COMPASS_OUT_OF_SCOPE_LENSES, IMPROVEMENT_COMPASS_TOP_RESIDUAL_CAP, IMPROVEMENT_LENS_IDS, type ImprovementCompass, type ImprovementCompassEvidence, type ImprovementCompassFacts, type ImprovementCompassNextAction, type ImprovementCompassSmellFact, type ImprovementCompassViolationFact, type ImprovementLens, type ImprovementLensId, type ImprovementLensStatus, type InvariantCoverageEvidence, POLICY_DELTA_SCHEMA_VERSION, PROJECT_BINDING_SCHEMA, PROJECT_EXPECTATION_SCHEMA, type ParseSkillDocumentResult, type ParsedSkillFrontmatter, type PolicyDelta, type PolicyDeltaAcknowledgement, type PolicyDeltaAnalysis, type PolicyDeltaClassification, type PolicyDeltaFinding, type PreflightResolvedChangeInput, type PreparedChangeFile, type ProjectBinding, type ProjectExpectation, type ProjectIdentity, RESOLVED_CANDIDATE_FACTS_SCHEMA, RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION, type ResolvedAmbientFact, type ResolvedAnalysisFile, type ResolvedAnalysisIr, type ResolvedAnalysisResult, type ResolvedCandidateFacts, type ResolvedCandidateFactsInput, type ResolvedCapability, type ResolvedCapabilityFact, type ResolvedChangePreflightResult, type ResolvedDependencyFact, type ResolvedDependencyKind, type ResolvedDependencyState, type ResolvedFactsCompleteness, type ResolvedFactsReason, type ResolvedFileFact, type ResolvedIntentReferenceFact, type ResolvedPublishFact, type ResolvedSafetyFact, type ResolvedSafetyKind, type ResolvedSafetyReport, type RulesInventoryCandidate, type RulesInventoryResult, STATUS_COMPASS_FACTS_SOURCES, STATUS_COMPASS_MODES, STATUS_COMPASS_REASON_CODES, type SemanticDependency, type SemanticDependencyKind, type StatusActivationSlice, type StatusCheckVerdict, type StatusCompassFactsSource, type StatusCompassMode, type StatusCompassReasonCode, type StatusImprovementCompassSlice, type StatusLastCheckSlice, type StatusManifest, type StatusManifestFacts, type StatusNextAction, type StatusProjectIdentitySlice, type StatusRulesSlice, type StatusWritePathClass, type ValidateAgentSkillDocumentInput, type ValidateAgentSkillsPackageResult, adapterDocsCodePath, adapterFindingOccurrenceTargetKeys, adapterFindingRefFromTargetKey, adapterFindingTargetKey, agentProjectionContentIdentity, agentSkillEntryRelativePath, agentSkillPackageFileRelativePath, analyzeArchitectureConvergence, analyzeChange, analyzePolicyDelta, analyzeProject, analyzeResolvedProject, buildAgentProjectionBeginMarker, buildAgentProjectionBlock, buildAgentProjectionBody, buildAgentProjectionMeta, buildArkRuleFileHints, buildEffectiveArkRules, buildImprovementCompass, buildRulesInventory, buildStatusManifest, canPromoteInvariant, catalogFixForRuleId, catalogWhyForRuleId, classifyArkPolicyDelta, classifyStatusWritePath, collectAnalysisConfigWarnings, collectEmptyAppliesToFindings, collectForbiddenCapabilityUses, createAICodeGate, createAdapterResult, createArchitectureProfile, createArchitectureProfileFromArkConfig, createElevenLayerArkConfig, createProjectId, createProjectIdentity, createResolvedCandidateFacts, defaultHonestLabel, deriveArkRuleFileHints, detectArchitectureCycles, deterministicHash, diagnosticDocsFragment, diagnosticDocsPath, effectiveContractPolicyPayload, elevenLayerProfile, emptyEffectiveArkRules, evaluateArchitectureGraph, evaluateArkRuleSensors, evaluateInvariantCoverage, evaluateStatusBinding, explainViolation, extractAgentProjectionBlock, extractClassShapesFromSource, extractSemanticDependencies, flatSkillTemplateFileRelativePath, formatAgentProjectionCatalogShortList, formatAgentProjectionLayers, formatImprovementCompassDoctorLines, formatImprovementCompassResidualLabels, getDiagnosticCatalogEntry, inventoryToExtractionCard, isArkSkillName, isCataloguedOrArkRuleFamily, isKnownDiagnosticCode, isValidAgentSkillName, loadArkConfigContract, loadArkRulesContract, loadContract, loadResolvedCandidateFacts, mergeAgentProjectionDocument, normalizeSkillContent, normalizeStatusImprovementCompass, parseAgentProjectionStamp, parseArkConfigJson, parseArkRulesJson, parseSkillDocument, policyDeltaAcknowledgementMatches, preflightChange, preflightResolvedChange, primaryImprovementCompassNextAction, projectStatusImprovementCompass, projectionHasNonEnforcementLabel, projectionMatchesPackageVersion, resolveEffectiveContract, resolveStatusNextAction, resolvedFactsEvidenceRequirementsHash, serializeDiagnosticCatalog, stableSerialize, statusCompassResidualIsSubsetOfDoctor, toAdapterDiagnostic, unavailableStatusImprovementCompass, validateAgentSkillDocument, validateAgentSkillsPackage, version };
+export { ADAPTER_DIAGNOSTIC_DOCS_RELATIVE_PATH, AGENT_PROJECTION_BEGIN_MARKER, AGENT_PROJECTION_END_MARKER, AGENT_PROJECTION_ENFORCEMENT_SURFACES, AGENT_PROJECTION_NON_ENFORCEMENT_LABEL, AGENT_SKILLS_PACKAGE_RELATIVE_ROOT, AGENT_SKILL_ENTRY_FILENAME, type AICodeGate, type AICodeGateContext, type AICodeGateOptions, type AICodeGateResult, type AICodeGateViolation, type AIGateExtension, ANALYSIS_IR_SCHEMA_VERSION, ARKRUN_INTERACTION_NAME_INCOMPLETE, ARKRUN_KERNEL_FACTORY_CALLEES, ARKRUN_KERNEL_INTERACTION_CALLEES, ARKRUN_RULE_IDS, ARKRUN_TIER1_SENSOR_IDS, ARKRUN_TRANSPORT_BYPASS_SPECIFIERS, ARK_AGENT_PROJECTION_SCHEMA_VERSION, ARK_AGENT_SKILLS_PACKAGE_SCHEMA_VERSION, ARK_ANALYSIS_RESULT_SCHEMA, ARK_ANALYSIS_RESULT_SCHEMA_VERSION, ARK_CONFIG_SCHEMA, ARK_CONFIG_SCHEMA_VERSION, ARK_DESIGN_DELTA_SCHEMA_VERSION, ARK_ENFORCEMENT_STATE_SCHEMA_VERSION, ARK_IMPROVEMENT_COMPASS_SCHEMA_VERSION, ARK_PROJECT_IDENTITY_SCHEMA, ARK_PROJECT_IDENTITY_SCHEMA_URL, ARK_PROJECT_IDENTITY_SCHEMA_VERSION, ARK_RULES_SCHEMA, ARK_RULES_SCHEMA_VERSION, ARK_RULE_SENSORS, ARK_RUN_DOCTOR_SCHEMA_VERSION, ARK_SKILL_NAMES, ARK_SKILL_NAME_COUNT, ARK_STATUS_MANIFEST_SCHEMA, ARK_STATUS_MANIFEST_SCHEMA_URL, ARK_STATUS_MANIFEST_SCHEMA_VERSION, type AdapterCompletenessReason, type AdapterDiagnostic, type AdapterResult, type AdapterSeverity, type AdapterViolationInput, type AgentProjectionCatalogEntry, type AgentProjectionFacts, type AgentProjectionLayerSummary, type AgentProjectionMergeAction, type AgentProjectionMergeResult, type AgentProjectionMeta, type AgentProjectionProfile, type AgentSkillPackageEntry, type AgentSkillValidationIssue, type AnalysisCapabilityUse, type AnalysisCompilerOptions, type AnalysisCompleteness, type AnalysisContract, type AnalysisEvidence, type AnalysisFile, type AnalysisFileChange, type AnalysisFileInput, type AnalysisImportEdge, type AnalysisIr, type AnalysisMode, type AnalysisResult, type AnalysisViolation, type AnalyzeArchitectureConvergenceInput, type AnalyzeChangeInput, type AnalyzePolicyDeltaInput, type AnalyzeProjectInput, type AnalyzeResolvedProjectInput, type ArchitectureActualChange, type ArchitectureChangeMap, type ArchitectureChangeMapContract, type ArchitectureChangeMapDependency, type ArchitectureChangeMapFile, type ArchitectureChangeOperation, type ArchitectureConvergenceClassification, type ArchitectureConvergenceFinding, type ArchitectureConvergenceResult, type ArchitectureDependency, type ArchitectureEngineEdge, type ArchitectureEngineResult, type ArchitectureEngineViolation, type ArchitectureLayer, type ArchitectureLayerConfig, type ArchitectureProfile, type ArchitectureRule, type ArkCheckConfig, ArkConfig, ArkConfigLoadResult, type ArkDesignDeltaResult, type ArkEnforcementHost, type ArkEnforcementState, type ArkRuleSensorViolation, type ArkRulesFile, type ArkRunDoctorSection, type ArkRunRuleId, type ArkRunSensorFinding, type ArkRunStatusSlice, type ArkRunTier1SensorId, type ArkSkillName, type ChangePreflightResult, type ClassShapeFact, type CollectAnalysisConfigWarningsInput, type CreateArchitectureProfileFromArkConfigOptions, type CreateArchitectureProfileOptions, type CreateElevenLayerArkConfigOptions, DEFAULT_AGENT_PROJECTION_RULE_IDS, DIAGNOSTIC_CATALOG, DIAGNOSTIC_CATALOG_SCHEMA_VERSION, DIAGNOSTIC_DOCS_RELATIVE_PATH, DIAGNOSTIC_RULE_IDS, type DesignDeltaChange, type DesignDeltaEnforcementScope, type DesignDeltaIdentity, type DesignSmellEvidence, type DesignSmellFinding, type DesignSmellId, type DiagnosticCatalogEntry, type DiagnosticCategory, EXTRA_MERGE_TEETH_GOVERNED_FLOOR, type EffectiveArkRules, type EffectiveContract, EffectiveContractError, type EffectiveContractWarning, type EnforcementBoundaryState, type EnforcementEvidence, type EnforcementEvidenceField, type EnforcementVerification, type EvaluateArchitectureGraphInput, type EvaluateArkRunSensorsInput, type EvaluateArkRunSensorsResult, type ExtraMergeTeethClassification, FLAT_SKILL_TEMPLATES_RELATIVE_ROOT, type ForbiddenCapabilityUse, IMPROVEMENT_COMPASS_OUT_OF_SCOPE_LENSES, IMPROVEMENT_COMPASS_TOP_RESIDUAL_CAP, IMPROVEMENT_LENS_IDS, type ImprovementCompass, type ImprovementCompassEvidence, type ImprovementCompassFacts, type ImprovementCompassNextAction, type ImprovementCompassSmellFact, type ImprovementCompassViolationFact, type ImprovementLens, type ImprovementLensId, type ImprovementLensStatus, type InvariantCoverageEvidence, MERGE_PLANES_DUAL_STAMP, type MergePlanesHonesty, POLICY_DELTA_SCHEMA_VERSION, PROJECT_BINDING_SCHEMA, PROJECT_EXPECTATION_SCHEMA, type ParseSkillDocumentResult, type ParsedSkillFrontmatter, type PolicyDelta, type PolicyDeltaAcknowledgement, type PolicyDeltaAnalysis, type PolicyDeltaClassification, type PolicyDeltaFinding, type PreflightResolvedChangeInput, type PreparedChangeFile, type ProjectBinding, type ProjectExpectation, type ProjectIdentity, RESOLVED_CANDIDATE_FACTS_SCHEMA, RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION, type ResolvedAmbientFact, type ResolvedAnalysisFile, type ResolvedAnalysisIr, type ResolvedAnalysisResult, type ResolvedArkRunCompositionRootHitFact, type ResolvedArkRunDeclarationFact, type ResolvedArkRunKernelCallFact, type ResolvedArkRunKernelCallKind, type ResolvedArkRunManagedNewFact, type ResolvedCandidateFacts, type ResolvedCandidateFactsInput, type ResolvedCapability, type ResolvedCapabilityFact, type ResolvedChangePreflightResult, type ResolvedDependencyFact, type ResolvedDependencyKind, type ResolvedDependencyState, type ResolvedFactsCompleteness, type ResolvedFactsReason, type ResolvedFileFact, type ResolvedIntentReferenceFact, type ResolvedPublishFact, type ResolvedSafetyFact, type ResolvedSafetyKind, type ResolvedSafetyReport, type RulesInventoryCandidate, type RulesInventoryResult, STATUS_COMPASS_FACTS_SOURCES, STATUS_COMPASS_MODES, STATUS_COMPASS_REASON_CODES, type SemanticDependency, type SemanticDependencyKind, type StatusActivationSlice, type StatusCheckVerdict, type StatusCompassFactsSource, type StatusCompassMode, type StatusCompassReasonCode, type StatusImprovementCompassSlice, type StatusLastCheckSlice, type StatusManifest, type StatusManifestFacts, type StatusNextAction, type StatusProjectIdentitySlice, type StatusRulesSlice, type StatusWritePathClass, type ValidateAgentSkillDocumentInput, type ValidateAgentSkillsPackageResult, adapterDocsCodePath, adapterFindingOccurrenceTargetKeys, adapterFindingRefFromTargetKey, adapterFindingTargetKey, agentProjectionContentIdentity, agentSkillEntryRelativePath, agentSkillPackageFileRelativePath, analyzeArchitectureConvergence, analyzeChange, analyzePolicyDelta, analyzeProject, analyzeResolvedProject, arkRunKernelCallKind, buildAgentProjectionBeginMarker, buildAgentProjectionBlock, buildAgentProjectionBody, buildAgentProjectionMeta, buildArkRuleFileHints, buildEffectiveArkRules, buildImprovementCompass, buildRulesInventory, buildStatusManifest, canPromoteInvariant, catalogFixForRuleId, catalogWhyForRuleId, classifyArkPolicyDelta, classifyResolvedLayerCoverage, classifyStatusWritePath, collectAnalysisConfigWarnings, collectEmptyAppliesToFindings, collectForbiddenCapabilityUses, composeMergePlanesHonesty, createAICodeGate, createAdapterResult, createArchitectureProfile, createArchitectureProfileFromArkConfig, createElevenLayerArkConfig, createProjectId, createProjectIdentity, createResolvedCandidateFacts, defaultHonestLabel, demoteExtraPlaneTeethUnderClassificationFloor, deriveArkRuleFileHints, detectArchitectureCycles, deterministicHash, diagnosticDocsFragment, diagnosticDocsPath, effectiveContractPolicyPayload, elevenLayerProfile, emptyEffectiveArkRules, evaluateArchitectureGraph, evaluateArkRuleSensors, evaluateArkRunEditorSensors, evaluateArkRunEditorSensorsFromSource, evaluateArkRunSensors, evaluateInvariantCoverage, evaluateStatusBinding, explainViolation, extraMergeTeethAllowed, extractAgentProjectionBlock, extractArkRunDeclarationsFromSource, extractArkRunImportedConstructorNamesFromSource, extractArkRunKernelCallsFromSource, extractArkRunManagedNewsFromSource, extractArkRunValueImportDependenciesFromSource, extractClassShapesFromSource, extractSemanticDependencies, flatSkillTemplateFileRelativePath, formatAgentProjectionCatalogShortList, formatAgentProjectionLayers, formatArkRunDoctorLines, formatImprovementCompassDoctorLines, formatImprovementCompassResidualLabels, getDiagnosticCatalogEntry, inventoryToExtractionCard, isArkRunKernelModuleSpecifier, isArkRunRuleId, isArkRunTransportBypassSpecifier, isArkSkillName, isCataloguedOrArkRuleFamily, isExtraPlaneFinding, isKnownDiagnosticCode, isValidAgentSkillName, loadArkConfigContract, loadArkRulesContract, loadContract, loadResolvedCandidateFacts, mergeAgentProjectionDocument, normalizeExtraMergeTeethClassification, normalizeSkillContent, normalizeStatusImprovementCompass, parseAgentProjectionStamp, parseArkConfigJson, parseArkRulesJson, parseSkillDocument, policyDeltaAcknowledgementMatches, preflightChange, preflightResolvedChange, primaryImprovementCompassNextAction, projectStatusArkRun, projectStatusImprovementCompass, projectionHasNonEnforcementLabel, projectionMatchesPackageVersion, resolveEffectiveContract, resolveStatusNextAction, resolvedFactsEvidenceRequirementsHash, serializeDiagnosticCatalog, stableSerialize, statusCompassResidualIsSubsetOfDoctor, summarizeArkRunSection, toAdapterDiagnostic, unavailableStatusImprovementCompass, validateAgentSkillDocument, validateAgentSkillsPackage, version };