arkgate 3.0.4 → 3.1.0

package/dist/index.d.cts

@@ -2,10 +2,10 @@ import { a as ArkConfigRule, b as ArkConfigLayer, A as ArkConfig, c as ArkConfig
 export { d as ARK_CONFIG_SCHEMA, e as ARK_CONFIG_SCHEMA_VERSION, l as loadArkConfigContract, p as parseArkConfigJson } from './configContract-BxSIwVRo.cjs';
 
 /** ArkGate library version — single source of truth. */
-declare const version = "3.0.4";
+declare const version = "3.1.0";
 
 /** Versioned public result contract shared by every ArkGate enforcement adapter. */
-declare const ARK_ANALYSIS_RESULT_SCHEMA_VERSION: "1.0";
+declare const ARK_ANALYSIS_RESULT_SCHEMA_VERSION: "1.1";
 type AdapterSeverity = 'error' | 'warning';
 type AdapterViolationInput = {
     ruleId?: unknown;
@@ -18,7 +18,11 @@ type AdapterViolationInput = {
     fromLayer?: unknown;
     toLayer?: unknown;
     typeOnly?: unknown;
+    targetTypeOnlyExports?: unknown;
+    namedBindingsTypeOnly?: unknown;
+    peerIsolation?: unknown;
     severity?: unknown;
+    nextAction?: unknown;
 };
 type AdapterDiagnostic = {
     ruleId: string;
@@ -35,9 +39,11 @@ type AdapterDiagnostic = {
         toLayer?: string;
         typeOnly?: boolean;
     };
+    /** Added in schema 1.1; optional in TypeScript so 1.0 consumer-owned values remain valid. */
+    nextAction?: string;
 };
 type AdapterResult = {
-    schemaVersion: typeof ARK_ANALYSIS_RESULT_SCHEMA_VERSION;
+    schemaVersion: '1.0' | typeof ARK_ANALYSIS_RESULT_SCHEMA_VERSION;
     valid: boolean;
     diagnostics: AdapterDiagnostic[];
 };
@@ -56,7 +62,7 @@ declare const ARK_ANALYSIS_RESULT_SCHEMA: {
     readonly required: readonly ["schemaVersion", "valid", "diagnostics"];
     readonly properties: {
         readonly schemaVersion: {
-            readonly const: "1.0";
+            readonly const: "1.1";
         };
         readonly valid: {
             readonly type: "boolean";
@@ -116,6 +122,10 @@ declare const ARK_ANALYSIS_RESULT_SCHEMA: {
                             };
                         };
                     };
+                    readonly nextAction: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
                 };
             };
         };
@@ -481,6 +491,96 @@ declare function deterministicHash(value: string): string;
 /** Serialize JSON-like values with sorted object keys for reproducible hashes. */
 declare function stableSerialize(value: unknown): string;
 
+declare const POLICY_DELTA_SCHEMA_VERSION: "1.0";
+type PolicyDeltaClassification = 'strengthening' | 'neutral' | 'judgment-required' | 'weakening';
+type PolicyDeltaFinding = {
+    id: string;
+    path: string;
+    classification: Exclude<PolicyDeltaClassification, 'neutral'>;
+    message: string;
+    nextAction?: string;
+    before?: unknown;
+    after?: unknown;
+};
+type PolicyDelta = {
+    schemaVersion: typeof POLICY_DELTA_SCHEMA_VERSION;
+    classification: PolicyDeltaClassification;
+    findings: PolicyDeltaFinding[];
+};
+type PolicyDeltaAcknowledgement = {
+    schemaVersion: typeof POLICY_DELTA_SCHEMA_VERSION;
+    basePolicyHash: string;
+    candidatePolicyHash: string;
+    findingIds: readonly string[];
+    reason: string;
+};
+declare function classifyArkPolicyDelta(base: ArkConfig, candidate: ArkConfig): PolicyDelta;
+declare function policyDeltaAcknowledgementMatches(acknowledgement: PolicyDeltaAcknowledgement | undefined, expected: {
+    basePolicyHash: string;
+    candidatePolicyHash: string;
+    findingIds: readonly string[];
+}): boolean;
+
+declare const ARK_CHANGE_MAP_SCHEMA_VERSION: "1.0";
+type ArchitectureChangeOperation = 'create' | 'update' | 'delete';
+type ArchitectureChangeMapFile = {
+    path: string;
+    operation: ArchitectureChangeOperation;
+    layer: string;
+};
+type ArchitectureChangeMapDependency = {
+    from: string;
+    to: string;
+};
+type ArchitectureChangeMap = {
+    $schema: string;
+    schemaVersion: typeof ARK_CHANGE_MAP_SCHEMA_VERSION;
+    files: ArchitectureChangeMapFile[];
+    dependencies: ArchitectureChangeMapDependency[];
+};
+type ArchitectureChangeMapContract = {
+    map: ArchitectureChangeMap;
+    hash: string;
+};
+
+type ArchitectureDependency = {
+    from: string;
+    to: string;
+};
+type ArchitectureActualChange = {
+    path: string;
+    operation: ArchitectureChangeOperation;
+};
+type ArchitectureConvergenceClassification = 'satisfied' | 'missing' | 'contradictory' | 'unplanned';
+type ArchitectureConvergenceFinding = {
+    id: string;
+    classification: ArchitectureConvergenceClassification;
+    subject: 'file' | 'dependency';
+    message: string;
+    nextAction?: string;
+    path?: string;
+    from?: string;
+    to?: string;
+    expectedOperation?: ArchitectureChangeOperation;
+    actualOperation?: ArchitectureChangeOperation | 'added' | 'removed';
+};
+type ArchitectureConvergenceResult = {
+    schemaVersion: '1.0';
+    readOnly: true;
+    changeMapHash: string;
+    structurallyConverged: boolean;
+    behavioralCompletion: 'not-evaluated';
+    summary: Record<ArchitectureConvergenceClassification, number>;
+    findings: ArchitectureConvergenceFinding[];
+};
+type AnalyzeArchitectureConvergenceInput = {
+    changeMap: ArchitectureChangeMapContract;
+    changes: readonly ArchitectureActualChange[];
+    baseDependencies: readonly ArchitectureDependency[];
+    candidateDependencies: readonly ArchitectureDependency[];
+};
+declare function analyzeArchitectureConvergence(input: AnalyzeArchitectureConvergenceInput): ArchitectureConvergenceResult;
+
 type SemanticDependencyKind = 'import' | 'export' | 'dynamic-import' | 'require';
 type SemanticDependency = {
     specifier?: string;
@@ -510,10 +610,29 @@ type AnalyzeProjectInput = {
 };
 type AnalyzeChangeInput = AnalyzeProjectInput & {
     changes: readonly AnalysisFileChange[];
+    changeMap?: ArchitectureChangeMapContract;
 };
 type AnalysisResult = {
     ir: AnalysisIr;
 };
+type AnalyzePolicyDeltaInput = {
+    baseConfig: unknown;
+    candidateConfig: unknown;
+    acknowledgement?: PolicyDeltaAcknowledgement;
+    baseSource?: string;
+    candidateSource?: string;
+};
+type PolicyDeltaAnalysis = {
+    schemaVersion: '1.0';
+    basePolicyHash: string;
+    candidatePolicyHash: string;
+    classification: PolicyDeltaClassification;
+    findings: PolicyDeltaFinding[];
+    blockingFindingIds: string[];
+    requiresAcknowledgement: boolean;
+    acknowledged: boolean;
+    valid: boolean;
+};
 type ArchitectureEngineViolation = {
     ruleId: string;
     message: string;
@@ -522,6 +641,7 @@ type ArchitectureEngineViolation = {
     target?: string;
     fromLayer?: string;
     toLayer?: string;
+    nextAction?: string;
     [key: string]: unknown;
 };
 type ArchitectureEngineEdge = {
@@ -551,6 +671,26 @@ type ArchitectureEngineResult = {
     warnings: ArchitectureEngineViolation[];
     safety?: unknown;
 };
+type PreparedChangeFile = {
+    path: string;
+    operation: 'create' | 'update' | 'delete';
+    beforeContentHash?: string;
+    candidateContentHash?: string;
+};
+type ChangePreflightResult = {
+    schemaVersion: '1.0';
+    valid: boolean;
+    readOnly: true;
+    policyHash: string;
+    compilerOptionsHash: string;
+    baseTreeHash: string;
+    candidateTreeHash: string;
+    changeMapHash?: string;
+    convergence?: ArchitectureConvergenceResult;
+    changes: PreparedChangeFile[];
+    violations: ArchitectureEngineViolation[];
+    warnings: ArchitectureEngineViolation[];
+};
 type CollectAnalysisConfigWarningsInput = {
     config: ArkConfig;
     rules: ArkConfig['rules'];
@@ -565,13 +705,20 @@ type CollectAnalysisConfigWarningsInput = {
     };
 };
 declare function loadContract(input: unknown, source?: string): AnalysisContract;
+declare function analyzePolicyDelta(input: AnalyzePolicyDeltaInput): PolicyDeltaAnalysis;
 declare function analyzeProject(input: AnalyzeProjectInput): AnalysisResult;
 declare function analyzeChange(input: AnalyzeChangeInput): AnalysisResult;
 declare function explainViolation(violation: AnalysisViolation): string;
 declare function detectArchitectureCycles(graph: ReadonlyMap<string, ReadonlySet<string>>): ArchitectureEngineViolation[];
 /** Canonical graph and layer-policy evaluator shared by library, CLI, and MCP adapters. */
 declare function evaluateArchitectureGraph(input: EvaluateArchitectureGraphInput): ArchitectureEngineResult;
+/**
+ * Evaluate one create/update/delete set as a single in-memory candidate.
+ * The function never writes and returns hashes that bind a later host commit to
+ * the exact base, policy, compiler options, and candidate contents it checked.
+ */
+declare function preflightChange(input: AnalyzeChangeInput): ChangePreflightResult;
 /** Canonical config diagnostics over repo-relative file paths. */
 declare function collectAnalysisConfigWarnings(input: CollectAnalysisConfigWarningsInput): ArchitectureEngineViolation[];
 
-export { type AICodeGate, type AICodeGateContext, type AICodeGateOptions, type AICodeGateResult, type AICodeGateViolation, type AIGateExtension, ANALYSIS_IR_SCHEMA_VERSION, ARK_ANALYSIS_RESULT_SCHEMA, ARK_ANALYSIS_RESULT_SCHEMA_VERSION, type AdapterDiagnostic, type AdapterResult, type AdapterSeverity, type AdapterViolationInput, type AnalysisCapabilityUse, type AnalysisCompilerOptions, type AnalysisContract, type AnalysisEvidence, type AnalysisFile, type AnalysisFileChange, type AnalysisFileInput, type AnalysisImportEdge, type AnalysisIr, type AnalysisResult, type AnalysisViolation, type AnalyzeChangeInput, type AnalyzeProjectInput, type ArchitectureEngineEdge, type ArchitectureEngineResult, type ArchitectureEngineViolation, type ArchitectureLayer, type ArchitectureLayerConfig, type ArchitectureProfile, type ArchitectureRule, type ArkCheckConfig, ArkConfig, ArkConfigLoadResult, type CollectAnalysisConfigWarningsInput, type CreateArchitectureProfileFromArkConfigOptions, type CreateArchitectureProfileOptions, type CreateElevenLayerArkConfigOptions, type EvaluateArchitectureGraphInput, type ForbiddenCapabilityUse, type SemanticDependency, type SemanticDependencyKind, analyzeChange, analyzeProject, collectAnalysisConfigWarnings, collectForbiddenCapabilityUses, createAICodeGate, createAdapterResult, createArchitectureProfile, createArchitectureProfileFromArkConfig, createElevenLayerArkConfig, detectArchitectureCycles, deterministicHash, elevenLayerProfile, evaluateArchitectureGraph, explainViolation, extractSemanticDependencies, loadContract, stableSerialize, toAdapterDiagnostic, version };
+export { type AICodeGate, type AICodeGateContext, type AICodeGateOptions, type AICodeGateResult, type AICodeGateViolation, type AIGateExtension, ANALYSIS_IR_SCHEMA_VERSION, ARK_ANALYSIS_RESULT_SCHEMA, ARK_ANALYSIS_RESULT_SCHEMA_VERSION, type AdapterDiagnostic, type AdapterResult, type AdapterSeverity, type AdapterViolationInput, type AnalysisCapabilityUse, type AnalysisCompilerOptions, type AnalysisContract, type AnalysisEvidence, type AnalysisFile, type AnalysisFileChange, type AnalysisFileInput, type AnalysisImportEdge, type AnalysisIr, type AnalysisResult, type AnalysisViolation, type AnalyzeArchitectureConvergenceInput, type AnalyzeChangeInput, type AnalyzePolicyDeltaInput, type AnalyzeProjectInput, 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 ChangePreflightResult, type CollectAnalysisConfigWarningsInput, type CreateArchitectureProfileFromArkConfigOptions, type CreateArchitectureProfileOptions, type CreateElevenLayerArkConfigOptions, type EvaluateArchitectureGraphInput, type ForbiddenCapabilityUse, POLICY_DELTA_SCHEMA_VERSION, type PolicyDelta, type PolicyDeltaAcknowledgement, type PolicyDeltaAnalysis, type PolicyDeltaClassification, type PolicyDeltaFinding, type PreparedChangeFile, type SemanticDependency, type SemanticDependencyKind, analyzeArchitectureConvergence, analyzeChange, analyzePolicyDelta, analyzeProject, classifyArkPolicyDelta, collectAnalysisConfigWarnings, collectForbiddenCapabilityUses, createAICodeGate, createAdapterResult, createArchitectureProfile, createArchitectureProfileFromArkConfig, createElevenLayerArkConfig, detectArchitectureCycles, deterministicHash, elevenLayerProfile, evaluateArchitectureGraph, explainViolation, extractSemanticDependencies, loadContract, policyDeltaAcknowledgementMatches, preflightChange, stableSerialize, toAdapterDiagnostic, version };

package/dist/index.d.ts

@@ -2,10 +2,10 @@ import { a as ArkConfigRule, b as ArkConfigLayer, A as ArkConfig, c as ArkConfig
 export { d as ARK_CONFIG_SCHEMA, e as ARK_CONFIG_SCHEMA_VERSION, l as loadArkConfigContract, p as parseArkConfigJson } from './configContract-BxSIwVRo.js';
 
 /** ArkGate library version — single source of truth. */
-declare const version = "3.0.4";
+declare const version = "3.1.0";
 
 /** Versioned public result contract shared by every ArkGate enforcement adapter. */
-declare const ARK_ANALYSIS_RESULT_SCHEMA_VERSION: "1.0";
+declare const ARK_ANALYSIS_RESULT_SCHEMA_VERSION: "1.1";
 type AdapterSeverity = 'error' | 'warning';
 type AdapterViolationInput = {
     ruleId?: unknown;
@@ -18,7 +18,11 @@ type AdapterViolationInput = {
     fromLayer?: unknown;
     toLayer?: unknown;
     typeOnly?: unknown;
+    targetTypeOnlyExports?: unknown;
+    namedBindingsTypeOnly?: unknown;
+    peerIsolation?: unknown;
     severity?: unknown;
+    nextAction?: unknown;
 };
 type AdapterDiagnostic = {
     ruleId: string;
@@ -35,9 +39,11 @@ type AdapterDiagnostic = {
         toLayer?: string;
         typeOnly?: boolean;
     };
+    /** Added in schema 1.1; optional in TypeScript so 1.0 consumer-owned values remain valid. */
+    nextAction?: string;
 };
 type AdapterResult = {
-    schemaVersion: typeof ARK_ANALYSIS_RESULT_SCHEMA_VERSION;
+    schemaVersion: '1.0' | typeof ARK_ANALYSIS_RESULT_SCHEMA_VERSION;
     valid: boolean;
     diagnostics: AdapterDiagnostic[];
 };
@@ -56,7 +62,7 @@ declare const ARK_ANALYSIS_RESULT_SCHEMA: {
     readonly required: readonly ["schemaVersion", "valid", "diagnostics"];
     readonly properties: {
         readonly schemaVersion: {
-            readonly const: "1.0";
+            readonly const: "1.1";
         };
         readonly valid: {
             readonly type: "boolean";
@@ -116,6 +122,10 @@ declare const ARK_ANALYSIS_RESULT_SCHEMA: {
                             };
                         };
                     };
+                    readonly nextAction: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
                 };
             };
         };
@@ -481,6 +491,96 @@ declare function deterministicHash(value: string): string;
 /** Serialize JSON-like values with sorted object keys for reproducible hashes. */
 declare function stableSerialize(value: unknown): string;
 
+declare const POLICY_DELTA_SCHEMA_VERSION: "1.0";
+type PolicyDeltaClassification = 'strengthening' | 'neutral' | 'judgment-required' | 'weakening';
+type PolicyDeltaFinding = {
+    id: string;
+    path: string;
+    classification: Exclude<PolicyDeltaClassification, 'neutral'>;
+    message: string;
+    nextAction?: string;
+    before?: unknown;
+    after?: unknown;
+};
+type PolicyDelta = {
+    schemaVersion: typeof POLICY_DELTA_SCHEMA_VERSION;
+    classification: PolicyDeltaClassification;
+    findings: PolicyDeltaFinding[];
+};
+type PolicyDeltaAcknowledgement = {
+    schemaVersion: typeof POLICY_DELTA_SCHEMA_VERSION;
+    basePolicyHash: string;
+    candidatePolicyHash: string;
+    findingIds: readonly string[];
+    reason: string;
+};
+declare function classifyArkPolicyDelta(base: ArkConfig, candidate: ArkConfig): PolicyDelta;
+declare function policyDeltaAcknowledgementMatches(acknowledgement: PolicyDeltaAcknowledgement | undefined, expected: {
+    basePolicyHash: string;
+    candidatePolicyHash: string;
+    findingIds: readonly string[];
+}): boolean;
+
+declare const ARK_CHANGE_MAP_SCHEMA_VERSION: "1.0";
+type ArchitectureChangeOperation = 'create' | 'update' | 'delete';
+type ArchitectureChangeMapFile = {
+    path: string;
+    operation: ArchitectureChangeOperation;
+    layer: string;
+};
+type ArchitectureChangeMapDependency = {
+    from: string;
+    to: string;
+};
+type ArchitectureChangeMap = {
+    $schema: string;
+    schemaVersion: typeof ARK_CHANGE_MAP_SCHEMA_VERSION;
+    files: ArchitectureChangeMapFile[];
+    dependencies: ArchitectureChangeMapDependency[];
+};
+type ArchitectureChangeMapContract = {
+    map: ArchitectureChangeMap;
+    hash: string;
+};
+
+type ArchitectureDependency = {
+    from: string;
+    to: string;
+};
+type ArchitectureActualChange = {
+    path: string;
+    operation: ArchitectureChangeOperation;
+};
+type ArchitectureConvergenceClassification = 'satisfied' | 'missing' | 'contradictory' | 'unplanned';
+type ArchitectureConvergenceFinding = {
+    id: string;
+    classification: ArchitectureConvergenceClassification;
+    subject: 'file' | 'dependency';
+    message: string;
+    nextAction?: string;
+    path?: string;
+    from?: string;
+    to?: string;
+    expectedOperation?: ArchitectureChangeOperation;
+    actualOperation?: ArchitectureChangeOperation | 'added' | 'removed';
+};
+type ArchitectureConvergenceResult = {
+    schemaVersion: '1.0';
+    readOnly: true;
+    changeMapHash: string;
+    structurallyConverged: boolean;
+    behavioralCompletion: 'not-evaluated';
+    summary: Record<ArchitectureConvergenceClassification, number>;
+    findings: ArchitectureConvergenceFinding[];
+};
+type AnalyzeArchitectureConvergenceInput = {
+    changeMap: ArchitectureChangeMapContract;
+    changes: readonly ArchitectureActualChange[];
+    baseDependencies: readonly ArchitectureDependency[];
+    candidateDependencies: readonly ArchitectureDependency[];
+};
+declare function analyzeArchitectureConvergence(input: AnalyzeArchitectureConvergenceInput): ArchitectureConvergenceResult;
+
 type SemanticDependencyKind = 'import' | 'export' | 'dynamic-import' | 'require';
 type SemanticDependency = {
     specifier?: string;
@@ -510,10 +610,29 @@ type AnalyzeProjectInput = {
 };
 type AnalyzeChangeInput = AnalyzeProjectInput & {
     changes: readonly AnalysisFileChange[];
+    changeMap?: ArchitectureChangeMapContract;
 };
 type AnalysisResult = {
     ir: AnalysisIr;
 };
+type AnalyzePolicyDeltaInput = {
+    baseConfig: unknown;
+    candidateConfig: unknown;
+    acknowledgement?: PolicyDeltaAcknowledgement;
+    baseSource?: string;
+    candidateSource?: string;
+};
+type PolicyDeltaAnalysis = {
+    schemaVersion: '1.0';
+    basePolicyHash: string;
+    candidatePolicyHash: string;
+    classification: PolicyDeltaClassification;
+    findings: PolicyDeltaFinding[];
+    blockingFindingIds: string[];
+    requiresAcknowledgement: boolean;
+    acknowledged: boolean;
+    valid: boolean;
+};
 type ArchitectureEngineViolation = {
     ruleId: string;
     message: string;
@@ -522,6 +641,7 @@ type ArchitectureEngineViolation = {
     target?: string;
     fromLayer?: string;
     toLayer?: string;
+    nextAction?: string;
     [key: string]: unknown;
 };
 type ArchitectureEngineEdge = {
@@ -551,6 +671,26 @@ type ArchitectureEngineResult = {
     warnings: ArchitectureEngineViolation[];
     safety?: unknown;
 };
+type PreparedChangeFile = {
+    path: string;
+    operation: 'create' | 'update' | 'delete';
+    beforeContentHash?: string;
+    candidateContentHash?: string;
+};
+type ChangePreflightResult = {
+    schemaVersion: '1.0';
+    valid: boolean;
+    readOnly: true;
+    policyHash: string;
+    compilerOptionsHash: string;
+    baseTreeHash: string;
+    candidateTreeHash: string;
+    changeMapHash?: string;
+    convergence?: ArchitectureConvergenceResult;
+    changes: PreparedChangeFile[];
+    violations: ArchitectureEngineViolation[];
+    warnings: ArchitectureEngineViolation[];
+};
 type CollectAnalysisConfigWarningsInput = {
     config: ArkConfig;
     rules: ArkConfig['rules'];
@@ -565,13 +705,20 @@ type CollectAnalysisConfigWarningsInput = {
     };
 };
 declare function loadContract(input: unknown, source?: string): AnalysisContract;
+declare function analyzePolicyDelta(input: AnalyzePolicyDeltaInput): PolicyDeltaAnalysis;
 declare function analyzeProject(input: AnalyzeProjectInput): AnalysisResult;
 declare function analyzeChange(input: AnalyzeChangeInput): AnalysisResult;
 declare function explainViolation(violation: AnalysisViolation): string;
 declare function detectArchitectureCycles(graph: ReadonlyMap<string, ReadonlySet<string>>): ArchitectureEngineViolation[];
 /** Canonical graph and layer-policy evaluator shared by library, CLI, and MCP adapters. */
 declare function evaluateArchitectureGraph(input: EvaluateArchitectureGraphInput): ArchitectureEngineResult;
+/**
+ * Evaluate one create/update/delete set as a single in-memory candidate.
+ * The function never writes and returns hashes that bind a later host commit to
+ * the exact base, policy, compiler options, and candidate contents it checked.
+ */
+declare function preflightChange(input: AnalyzeChangeInput): ChangePreflightResult;
 /** Canonical config diagnostics over repo-relative file paths. */
 declare function collectAnalysisConfigWarnings(input: CollectAnalysisConfigWarningsInput): ArchitectureEngineViolation[];
 
-export { type AICodeGate, type AICodeGateContext, type AICodeGateOptions, type AICodeGateResult, type AICodeGateViolation, type AIGateExtension, ANALYSIS_IR_SCHEMA_VERSION, ARK_ANALYSIS_RESULT_SCHEMA, ARK_ANALYSIS_RESULT_SCHEMA_VERSION, type AdapterDiagnostic, type AdapterResult, type AdapterSeverity, type AdapterViolationInput, type AnalysisCapabilityUse, type AnalysisCompilerOptions, type AnalysisContract, type AnalysisEvidence, type AnalysisFile, type AnalysisFileChange, type AnalysisFileInput, type AnalysisImportEdge, type AnalysisIr, type AnalysisResult, type AnalysisViolation, type AnalyzeChangeInput, type AnalyzeProjectInput, type ArchitectureEngineEdge, type ArchitectureEngineResult, type ArchitectureEngineViolation, type ArchitectureLayer, type ArchitectureLayerConfig, type ArchitectureProfile, type ArchitectureRule, type ArkCheckConfig, ArkConfig, ArkConfigLoadResult, type CollectAnalysisConfigWarningsInput, type CreateArchitectureProfileFromArkConfigOptions, type CreateArchitectureProfileOptions, type CreateElevenLayerArkConfigOptions, type EvaluateArchitectureGraphInput, type ForbiddenCapabilityUse, type SemanticDependency, type SemanticDependencyKind, analyzeChange, analyzeProject, collectAnalysisConfigWarnings, collectForbiddenCapabilityUses, createAICodeGate, createAdapterResult, createArchitectureProfile, createArchitectureProfileFromArkConfig, createElevenLayerArkConfig, detectArchitectureCycles, deterministicHash, elevenLayerProfile, evaluateArchitectureGraph, explainViolation, extractSemanticDependencies, loadContract, stableSerialize, toAdapterDiagnostic, version };
+export { type AICodeGate, type AICodeGateContext, type AICodeGateOptions, type AICodeGateResult, type AICodeGateViolation, type AIGateExtension, ANALYSIS_IR_SCHEMA_VERSION, ARK_ANALYSIS_RESULT_SCHEMA, ARK_ANALYSIS_RESULT_SCHEMA_VERSION, type AdapterDiagnostic, type AdapterResult, type AdapterSeverity, type AdapterViolationInput, type AnalysisCapabilityUse, type AnalysisCompilerOptions, type AnalysisContract, type AnalysisEvidence, type AnalysisFile, type AnalysisFileChange, type AnalysisFileInput, type AnalysisImportEdge, type AnalysisIr, type AnalysisResult, type AnalysisViolation, type AnalyzeArchitectureConvergenceInput, type AnalyzeChangeInput, type AnalyzePolicyDeltaInput, type AnalyzeProjectInput, 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 ChangePreflightResult, type CollectAnalysisConfigWarningsInput, type CreateArchitectureProfileFromArkConfigOptions, type CreateArchitectureProfileOptions, type CreateElevenLayerArkConfigOptions, type EvaluateArchitectureGraphInput, type ForbiddenCapabilityUse, POLICY_DELTA_SCHEMA_VERSION, type PolicyDelta, type PolicyDeltaAcknowledgement, type PolicyDeltaAnalysis, type PolicyDeltaClassification, type PolicyDeltaFinding, type PreparedChangeFile, type SemanticDependency, type SemanticDependencyKind, analyzeArchitectureConvergence, analyzeChange, analyzePolicyDelta, analyzeProject, classifyArkPolicyDelta, collectAnalysisConfigWarnings, collectForbiddenCapabilityUses, createAICodeGate, createAdapterResult, createArchitectureProfile, createArchitectureProfileFromArkConfig, createElevenLayerArkConfig, detectArchitectureCycles, deterministicHash, elevenLayerProfile, evaluateArchitectureGraph, explainViolation, extractSemanticDependencies, loadContract, policyDeltaAcknowledgementMatches, preflightChange, stableSerialize, toAdapterDiagnostic, version };