arkgate 4.8.24 → 4.8.26

package/dist/runtime/index.d.ts

@@ -1,5 +1,5 @@
-import { a as AuditStore, b as AuditRecord, c as AuditQuery, d as CreateAuditTrailOptions, e as AuditTrail, f as CreateArchitectureProfileOptions, g as ArchitectureProfile, h as ArkCheckConfig, i as CreateArchitectureProfileFromArkConfigOptions, j as CreateElevenLayerArkConfigOptions, D as DependencyGraph, I as IntentRegistry, E as EventContractRegistry, k as EventContract, l as DomainEvent, m as EventContractValidationResult, n as IntentName, o as DefineIntentOptions, p as IntentCreator, M as MetadataRegistry, R as ReadModelStore, q as CreateProjectionRegistryOptions, P as ProjectionRegistry, r as PolicyViolation, s as PolicySeverity, t as PolicyEnforcementMode, u as Policy, G as GraphEdge, v as IntentRelationship, w as EventBufferStore, x as EventBufferRecord, y as EventBufferStatus, z as EventBusOptions, B as EventBus, F as CreateObservabilityReporterOptions, O as ObservabilityReporter, H as PolicyEngine, J as ArkManifest, W as WorkflowStore, S as SagaContext, K as WorkflowSnapshot, L as SagaDefinition, N as CreateWorkflowEngineOptions, Q as SagaInstance, T as WorkflowEngine, U as DependencyInformationPackage, C as CreateArkKernelOptions, A as ArkKernel, V as ArkKernelConfig, X as CreateArkKernelFromConfigOptions, Y as TraceRecordType, Z as TraceRecord, _ as OutboxStatus, $ as OutboxRecord, a0 as ObservabilityDriftReport, a1 as ArkConfig, a2 as ArkConfigLoadResult } from '../types-DRinG-vT.js';
-export { a3 as ARK_RUN_COMPONENT_LIFETIMES, a4 as ARK_RUN_EPHEMERAL_DEFAULT, a5 as ARK_RUN_GRAPH_DEFAULT_SLICE, a6 as ARK_RUN_GRAPH_NODE_KINDS, a7 as ARK_RUN_GRAPH_PROCESS_EDGE_KINDS, a8 as ARK_RUN_GRAPH_SCHEMA_VERSION, a9 as ARK_RUN_GRAPH_SLICES, aa as ARK_RUN_GRAPH_TECHNICAL_EDGE_KINDS, ab as ARK_RUN_INFORMATION_PACKAGE_SCHEMA_VERSION, ac as ARK_RUN_INSPECTOR_DEFAULT_HOST, ad as ARK_RUN_INSPECTOR_DEFAULT_PORT, ae as ARK_RUN_INSPECTOR_EVENTS_PATH, af as ARK_RUN_INSPECTOR_GRAPH_PATH, ag as ARK_RUN_INSPECTOR_MONITOR_SAMPLE_LIMIT, ah as ARK_RUN_INSPECTOR_OUTBOX_PATH, ai as ARK_RUN_INSPECTOR_SCHEMA_VERSION, aj as ARK_RUN_INSPECTOR_SNAPSHOT_PATH, ak as ARK_RUN_INSPECTOR_SSE_EVENT, al as ARK_RUN_INSPECTOR_TRANSPORT_FALLBACK, am as ARK_RUN_INSPECTOR_WORKFLOWS_PATH, an as ARK_RUN_TRANSPORT_KINDS, ao as ArchitectureLayer, ap as ArchitectureLayerConfig, aq as ArchitectureRule, ar as ArkManifestArchitecture, as as ArkManifestData, at as ArkManifestEntityLink, au as ArkManifestGraph, av as ArkManifestIntent, aw as ArkManifestPolicy, ax as ArkManifestProjection, ay as ArkRunBrokerAdapter, az as ArkRunComponentLifetime, aA as ArkRunDeliveredVia, aB as ArkRunExtendedInfo, aC as ArkRunGraph, aD as ArkRunGraphEdge, aE as ArkRunGraphEdgeKind, aF as ArkRunGraphMatch, aG as ArkRunGraphMatchInput, aH as ArkRunGraphNode, aI as ArkRunGraphNodeKind, aJ as ArkRunGraphProcessEdgeKind, aK as ArkRunGraphQuery, aL as ArkRunGraphResolvedQuery, aM as ArkRunGraphSlice, aN as ArkRunGraphTechnicalEdgeKind, aO as ArkRunInformationPackageComponent, aP as ArkRunInspectorBind, aQ as ArkRunInspectorBindError, aR as ArkRunInspectorBindInput, aS as ArkRunInspectorHandle, aT as ArkRunInspectorHardening, aU as ArkRunInspectorHardeningDurability, aV as ArkRunInspectorMonitorBuildOptions, aW as ArkRunInspectorOutboxMonitor, aX as ArkRunInspectorOutboxRecordSummary, aY as ArkRunInspectorProductionError, aZ as ArkRunInspectorSnapshot, a_ as ArkRunInspectorSnapshotInput, a$ as ArkRunInspectorSource, b0 as ArkRunInspectorStoreDurability, b1 as ArkRunInspectorStoreDurabilityKind, b2 as ArkRunInspectorStoreRole, b3 as ArkRunInspectorTransportFacts, b4 as ArkRunInspectorWorkflowSummary, b5 as ArkRunInspectorWorkflowsMonitor, b6 as ArkRunPublisher, b7 as ArkRunRegisterOptions, b8 as ArkRunRegistrationHandle, b9 as ArkRunSendOptions, ba as ArkRunSendPlan, bb as ArkRunSendPlanInput, bc as ArkRunSendResult, bd as ArkRunTransportKind, be as AuditRecordInput, bf as AuditRecordType, bg as CorrelationId, bh as EntityMeta, bi as EventContractIssue, bj as EventHandler, bk as EventInterceptionInfo, bl as EventInterceptor, bm as EventInterceptorContext, bn as EventMetadata, bo as EventPayloadPatch, bp as EventPayloadSchema, bq as EventPublisher, br as EventSchemaField, bs as EventSchemaFieldType, bt as FieldMeta, bu as GraphNode, bv as IntentRelationshipKind, bw as InvalidArkRunGraphQueryError, bx as InvalidArkRunSendOptionError, by as ObservabilityFlow, bz as ObservedLayerFlowMode, bA as OutboxStore, bB as PolicyEvaluationResult, bC as ProjectionCheckpoint, bD as ProjectionDefinition, bE as PublishedEventRecord, bF as RetryPolicy, bG as SagaStatus, bH as SagaStep, bI as StartArkRunInspectorOptions, bJ as TraceSink, bK as Unsubscribe, bL as WorkflowDefinition, bM as WorkflowStatus, bN as WorkflowStep, bO as appendDecisionTape, bP as arkRunGraphQueryFromSearchParams, bQ as arkRunInspectorUrl, bR as buildArkRunInspectorHardening, bS as buildArkRunInspectorOutboxMonitor, bT as buildArkRunInspectorSnapshot, bU as buildArkRunInspectorWorkflowsMonitor, bV as buildDependencyInformationPackage, bW as classifyArkRunInspectorStoreDurability, bX as closeArkRunGraphQuery, bY as closedArkRunEphemeral, bZ as closedArkRunTransportKind, b_ as formatArkRunGraphMermaid, b$ as formatArkRunInspectorSseEvent, c0 as isArkRunInspectorLoopbackHost, c1 as isArkRunInspectorProductionEnv, c2 as requestArkRunGraph, c3 as resolveArkRunInspectorBind, c4 as resolveArkRunSendPlan, c5 as startArkRunInspector, c6 as unavailableArkRunInspectorOutboxMonitor, c7 as unavailableArkRunInspectorWorkflowsMonitor } from '../types-DRinG-vT.js';
+import { a as AuditStore, b as AuditRecord, c as AuditQuery, d as CreateAuditTrailOptions, e as AuditTrail, f as CreateArchitectureProfileOptions, g as ArchitectureProfile, h as ArkCheckConfig, i as CreateArchitectureProfileFromArkConfigOptions, j as CreateElevenLayerArkConfigOptions, D as DependencyGraph, I as IntentRegistry, E as EventContractRegistry, k as EventContract, l as DomainEvent, m as EventContractValidationResult, n as IntentName, o as DefineIntentOptions, p as IntentCreator, M as MetadataRegistry, R as ReadModelStore, q as CreateProjectionRegistryOptions, P as ProjectionRegistry, r as PolicyViolation, s as PolicySeverity, t as PolicyEnforcementMode, u as Policy, G as GraphEdge, v as IntentRelationship, w as EventBufferStore, x as EventBufferRecord, y as EventBufferStatus, z as EventBusOptions, B as EventBus, F as CreateObservabilityReporterOptions, O as ObservabilityReporter, H as PolicyEngine, J as ArkManifest, W as WorkflowStore, S as SagaContext, K as WorkflowSnapshot, L as SagaDefinition, N as CreateWorkflowEngineOptions, Q as SagaInstance, T as WorkflowEngine, U as ArkConfig, V as ArkConfigLoadResult, X as DependencyInformationPackage, C as CreateArkKernelOptions, A as ArkKernel, Y as ArkKernelConfig, Z as CreateArkKernelFromConfigOptions, _ as TraceRecordType, $ as TraceRecord, a0 as OutboxStatus, a1 as OutboxRecord, a2 as ObservabilityDriftReport } from '../types-CnauMQQL.js';
+export { a3 as ARK_RUN_COMPONENT_LIFETIMES, a4 as ARK_RUN_EPHEMERAL_DEFAULT, a5 as ARK_RUN_GRAPH_DEFAULT_SLICE, a6 as ARK_RUN_GRAPH_NODE_KINDS, a7 as ARK_RUN_GRAPH_PROCESS_EDGE_KINDS, a8 as ARK_RUN_GRAPH_SCHEMA_VERSION, a9 as ARK_RUN_GRAPH_SLICES, aa as ARK_RUN_GRAPH_TECHNICAL_EDGE_KINDS, ab as ARK_RUN_INFORMATION_PACKAGE_SCHEMA_VERSION, ac as ARK_RUN_INSPECTOR_DEFAULT_HOST, ad as ARK_RUN_INSPECTOR_DEFAULT_PORT, ae as ARK_RUN_INSPECTOR_EVENTS_PATH, af as ARK_RUN_INSPECTOR_GRAPH_PATH, ag as ARK_RUN_INSPECTOR_MONITOR_SAMPLE_LIMIT, ah as ARK_RUN_INSPECTOR_OUTBOX_PATH, ai as ARK_RUN_INSPECTOR_SCHEMA_VERSION, aj as ARK_RUN_INSPECTOR_SNAPSHOT_PATH, ak as ARK_RUN_INSPECTOR_SSE_EVENT, al as ARK_RUN_INSPECTOR_TRANSPORT_FALLBACK, am as ARK_RUN_INSPECTOR_WORKFLOWS_PATH, an as ARK_RUN_TRANSPORT_KINDS, ao as ArchitectureLayer, ap as ArchitectureLayerConfig, aq as ArchitectureRule, ar as ArkManifestArchitecture, as as ArkManifestData, at as ArkManifestEntityLink, au as ArkManifestGraph, av as ArkManifestIntent, aw as ArkManifestPolicy, ax as ArkManifestProjection, ay as ArkRunBrokerAdapter, az as ArkRunComponentLifetime, aA as ArkRunDeliveredVia, aB as ArkRunExtendedInfo, aC as ArkRunGraph, aD as ArkRunGraphEdge, aE as ArkRunGraphEdgeKind, aF as ArkRunGraphMatch, aG as ArkRunGraphMatchInput, aH as ArkRunGraphNode, aI as ArkRunGraphNodeKind, aJ as ArkRunGraphProcessEdgeKind, aK as ArkRunGraphQuery, aL as ArkRunGraphResolvedQuery, aM as ArkRunGraphSlice, aN as ArkRunGraphTechnicalEdgeKind, aO as ArkRunInformationPackageComponent, aP as ArkRunInspectorBind, aQ as ArkRunInspectorBindError, aR as ArkRunInspectorBindInput, aS as ArkRunInspectorHandle, aT as ArkRunInspectorHardening, aU as ArkRunInspectorHardeningDurability, aV as ArkRunInspectorMonitorBuildOptions, aW as ArkRunInspectorOutboxMonitor, aX as ArkRunInspectorOutboxRecordSummary, aY as ArkRunInspectorProductionError, aZ as ArkRunInspectorSnapshot, a_ as ArkRunInspectorSnapshotInput, a$ as ArkRunInspectorSource, b0 as ArkRunInspectorStoreDurability, b1 as ArkRunInspectorStoreDurabilityKind, b2 as ArkRunInspectorStoreRole, b3 as ArkRunInspectorTransportFacts, b4 as ArkRunInspectorWorkflowSummary, b5 as ArkRunInspectorWorkflowsMonitor, b6 as ArkRunPublisher, b7 as ArkRunRegisterOptions, b8 as ArkRunRegistrationHandle, b9 as ArkRunSendOptions, ba as ArkRunSendPlan, bb as ArkRunSendPlanInput, bc as ArkRunSendResult, bd as ArkRunTransportKind, be as AuditRecordInput, bf as AuditRecordType, bg as CorrelationId, bh as EntityMeta, bi as EventContractIssue, bj as EventHandler, bk as EventInterceptionInfo, bl as EventInterceptor, bm as EventInterceptorContext, bn as EventMetadata, bo as EventPayloadPatch, bp as EventPayloadSchema, bq as EventPublisher, br as EventSchemaField, bs as EventSchemaFieldType, bt as FieldMeta, bu as GraphNode, bv as IntentRelationshipKind, bw as InvalidArkRunGraphQueryError, bx as InvalidArkRunSendOptionError, by as ObservabilityFlow, bz as ObservedLayerFlowMode, bA as OutboxStore, bB as PolicyEvaluationResult, bC as ProjectionCheckpoint, bD as ProjectionDefinition, bE as PublishedEventRecord, bF as RetryPolicy, bG as SagaStatus, bH as SagaStep, bI as StartArkRunInspectorOptions, bJ as TraceSink, bK as Unsubscribe, bL as WorkflowDefinition, bM as WorkflowStatus, bN as WorkflowStep, bO as appendDecisionTape, bP as arkRunGraphQueryFromSearchParams, bQ as arkRunInspectorUrl, bR as buildArkRunInspectorHardening, bS as buildArkRunInspectorOutboxMonitor, bT as buildArkRunInspectorSnapshot, bU as buildArkRunInspectorWorkflowsMonitor, bV as buildDependencyInformationPackage, bW as classifyArkRunInspectorStoreDurability, bX as closeArkRunGraphQuery, bY as closedArkRunEphemeral, bZ as closedArkRunTransportKind, b_ as formatArkRunGraphMermaid, b$ as formatArkRunInspectorSseEvent, c0 as isArkRunInspectorLoopbackHost, c1 as isArkRunInspectorProductionEnv, c2 as requestArkRunGraph, c3 as resolveArkRunInspectorBind, c4 as resolveArkRunSendPlan, c5 as startArkRunInspector, c6 as unavailableArkRunInspectorOutboxMonitor, c7 as unavailableArkRunInspectorWorkflowsMonitor } from '../types-CnauMQQL.js';
 
 /**
  * Reference in-process audit store. **Not production durability** — records do not
@@ -290,7 +290,10 @@ declare class InMemoryEventBuffer implements EventBufferStore {
     list(status?: EventBufferStatus): Promise<EventBufferRecord[]>;
     clear(): Promise<void>;
 }
-/** @deprecated Use InMemoryEventBuffer. */
+/**
+ * @deprecated Use InMemoryEventBuffer.
+ * @alias Kept as a public alias of `arkgate/runtime` until its removal.
+ */
 declare const InMemoryOutboxStore: typeof InMemoryEventBuffer;
 
 /**
@@ -444,7 +447,7 @@ declare function createSaga<P extends SagaContext = SagaContext>(def: SagaDefini
 }): SagaInstance<P>;
 
 /** ArkGate library version — single source of truth. */
-declare const version = "4.8.24";
+declare const version = "4.8.26";
 
 /** Versioned public result contract types + JSON Schema (adapter envelope). */
 /**
@@ -857,138 +860,6 @@ declare function createAdapterResult(input: {
     warnings?: readonly AdapterViolationInput[];
 }): CurrentAdapterResult;
 
-/**
- * In-memory shadow / replay / compare for ArkRun information packages (XP07 / ADR 0033).
- * Not durable. Not a second bus. Stripped snapshots only.
- */
-
-type InformationPackageDiff = {
-    readonly path: string;
-    readonly left: unknown;
-    readonly right: unknown;
-};
-type InformationPackageCompare = {
-    readonly equal: boolean;
-    readonly diffs: readonly InformationPackageDiff[];
-};
-/** Shadow: identity snapshot. The live kernel is not copied. */
-declare function shadowInformationPackage(pack: DependencyInformationPackage): DependencyInformationPackage;
-declare function compareInformationPackages(left: DependencyInformationPackage, right: DependencyInformationPackage): InformationPackageCompare;
-/**
- * Replay: apply sequential snapshots as the "tape". Each step is compared to
- * the previous shadow. No bus, no store, no time travel across processes.
- */
-declare function replayInformationPackages(tape: readonly DependencyInformationPackage[]): InformationPackageCompare[];
-
-/**
- * Default cap for in-memory history, trace, audit, and default event-buffer
- * records. Without a cap a long-running process grows without bound on every
- * publish. Pass `maxHistorySize: Infinity` to explicitly opt back into unbounded
- * retention. An injected `eventBuffer` owns its own retention.
- */
-declare const DEFAULT_MAX_HISTORY_SIZE = 1000;
-declare function createArkKernel(options?: CreateArkKernelOptions): ArkKernel;
-/**
- * Preferred ArkRun factory. Each call is a new isolated instance — there is no
- * process-wide singleton.
- */
-declare function createStrictArkKernel(options?: CreateArkKernelOptions): ArkKernel;
-declare function createArkKernelFromConfig(config: ArkKernelConfig, options?: CreateArkKernelFromConfigOptions): ArkKernel;
-/**
- * Strict kernel whose runtime layer profile comes from `ark.config.json`.
- * Hard observed-layer-flow needs every layer a deny rule names to resolve an
- * intent: declared `intentPrefixes`, or a canonical 11-layer name (`DomainModel`,
- * `ApplicationOrchestration`, … — what `ark init` writes) which gets the built-in
- * prefixes. A custom-named deny layer without prefixes is recorded as a
- * `layer.observedFlowUnresolvable` audit record (`ARKRUN_LAYER_FLOW_UNRESOLVABLE`);
- * passing `enforceObservedLayerFlow: 'hard'` explicitly throws `ArkKernelConfigError`
- * instead.
- */
-declare function createStrictArkKernelFromConfig(config: ArkKernelConfig, options?: CreateArkKernelFromConfigOptions): ArkKernel;
-declare function createLenientArkKernelFromConfig(config: ArkKernelConfig, options?: CreateArkKernelFromConfigOptions): ArkKernel;
-declare function createLenientArkKernel(options?: CreateArkKernelOptions): ArkKernel;
-
-interface ArkTestSnapshot {
-    events: DomainEvent[];
-    traces: TraceRecord[];
-    audit: AuditRecord[];
-    outbox: OutboxRecord[];
-    observability: ObservabilityDriftReport;
-}
-interface ArkTestHarness {
-    events(intent?: string): DomainEvent[];
-    traces(type?: TraceRecordType): TraceRecord[];
-    audit(query?: AuditQuery): Promise<AuditRecord[]>;
-    outbox(status?: OutboxStatus): Promise<OutboxRecord[]>;
-    observability(): ObservabilityDriftReport;
-    snapshot(): Promise<ArkTestSnapshot>;
-    clear(): Promise<void>;
-}
-
-declare function createArkTestHarness(kernel: ArkKernel): ArkTestHarness;
-
-/**
- * Ports & Adapters basic contracts.
- */
-interface Port<T = unknown> {
-    readonly name: string;
-    readonly ownerLayer?: string;
-    readonly intent?: IntentName;
-    readonly allowedAdapters?: string[];
-    readonly __port?: T;
-}
-interface Adapter<T = unknown> {
-    readonly name?: string;
-    readonly layer?: string;
-    readonly intent?: IntentName;
-    readonly port: Port<T>;
-    readonly impl: T;
-}
-interface DefinePortOptions {
-    ownerLayer?: string;
-    intent?: IntentName;
-    allowedAdapters?: string[];
-}
-interface CreateAdapterOptions {
-    name?: string;
-    layer?: string;
-    intent?: IntentName;
-    requiredKeys?: string[];
-}
-/**
- * Simple contract checker (duck typing + optional required keys).
- */
-type ContractCheckResult = {
-    ok: true;
-} | {
-    ok: false;
-    missing: string[];
-};
-interface AdapterGovernanceIssue {
-    ruleId: 'ADAPTER_NOT_ALLOWED_FOR_PORT';
-    message: string;
-    port: string;
-    adapter?: string;
-}
-type AdapterGovernanceResult = {
-    ok: true;
-    issues: [];
-} | {
-    ok: false;
-    issues: AdapterGovernanceIssue[];
-};
-
-/**
- * Ports and Adapters utilities.
- *
- * definePort + createAdapter with basic runtime contract validation.
- */
-
-declare function definePort<T = unknown>(name: string, options?: DefinePortOptions): Port<T>;
-declare function createAdapter<T>(port: Port<T>, impl: T, requiredKeysOrOptions?: string[] | CreateAdapterOptions, adapterOptions?: CreateAdapterOptions): Adapter<T>;
-declare function checkContract(impl: unknown, requiredKeys?: string[]): ContractCheckResult;
-declare function checkAdapterGovernance(adapter: Adapter): AdapterGovernanceResult;
-
 /**
  * AI Code Gate (basic).
  *
@@ -2364,6 +2235,8 @@ type ArkRuleProvenance = {
     sourceFile: string;
     ruleId: string;
     layer: string;
+    /** Set when the rule was read from a child-slice file. Absent on central files. */
+    childId?: string;
 };
 type EffectiveStructureRule = ArkRuleStructureEntry & {
     mode: ArkRuleMode;
@@ -2377,6 +2250,8 @@ type EffectiveArkRules = {
     schemaVersion: '1.0';
     byLayer: Record<string, {
         sourceFile: string;
+        /** Every file merged into this layer, central paths first. Absent on older catalogs. */
+        sourceFiles?: string[];
         structure: EffectiveStructureRule[];
         invariants: EffectiveInvariantRule[];
     }>;
@@ -2384,6 +2259,30 @@ type EffectiveArkRules = {
     invariants: EffectiveInvariantRule[];
 };
 
+/** Priority order: guard-family operators first, constants last. */
+declare const INVARIANT_PROBE_OPERATORS: readonly ["negate-guard", "drop-throw", "flip-comparison", "boundary-shift", "const-shift"];
+type ProbeOperator = (typeof INVARIANT_PROBE_OPERATORS)[number];
+declare const INVARIANT_PROBE_VERDICTS: readonly ["killed", "survived", "not-reached", "inconclusive", "unprobeable"];
+type ProbeVerdict = (typeof INVARIANT_PROBE_VERDICTS)[number];
+declare const INVARIANT_PROBE_REASONS: readonly ["all-killed", "mutant-survived", "reach-canary-survived", "baseline-red", "baseline-timeout", "runner-error", "file-not-loaded", "mutant-runtime-error", "no-symbol", "declaration-only", "symbol-not-found", "no-covering-test", "no-site"];
+type ProbeReason = (typeof INVARIANT_PROBE_REASONS)[number];
+/** What promotion and status read from one row. */
+type InvariantProbeSummary = {
+    verdict: ProbeVerdict;
+    reason: ProbeReason;
+    /** False when a hashed input changed since the run; a stale row changes nothing. */
+    fresh: boolean;
+    survivors: Array<{
+        operator: ProbeOperator;
+        line: number;
+        original: string;
+        replacement: string;
+    }>;
+    staleBecause?: string[];
+    symbolFile?: string;
+    probedOn?: string;
+};
+
 /**
  * Pure invariant coverage evidence (ADR 0014 / AR09–AR10).
  *
@@ -2436,6 +2335,13 @@ type InvariantCoverageEvidence = {
      * so existing promote fixtures stay valid; the evaluator always sets it.
      */
     coverageRootsDeclared?: boolean;
+    /**
+     * Committed mutation-probe evidence for this invariant (ADR 0039), attached
+     * by Tooling when `.ark/invariant-probe.json` has a row. Additive: absent on
+     * every evaluation that has no artifact. Only a fresh `survived` /
+     * `not-reached` changes promotion; every other state changes nothing.
+     */
+    probe?: InvariantProbeSummary;
 };
 /**
  * What the Tooling scan actually saw. Every discard has a counted reason —
@@ -3087,4 +2993,136 @@ type ArkDesignDeltaResult = {
     error?: string;
 };
 
+/**
+ * In-memory shadow / replay / compare for ArkRun information packages (XP07 / ADR 0033).
+ * Not durable. Not a second bus. Stripped snapshots only.
+ */
+
+type InformationPackageDiff = {
+    readonly path: string;
+    readonly left: unknown;
+    readonly right: unknown;
+};
+type InformationPackageCompare = {
+    readonly equal: boolean;
+    readonly diffs: readonly InformationPackageDiff[];
+};
+/** Shadow: identity snapshot. The live kernel is not copied. */
+declare function shadowInformationPackage(pack: DependencyInformationPackage): DependencyInformationPackage;
+declare function compareInformationPackages(left: DependencyInformationPackage, right: DependencyInformationPackage): InformationPackageCompare;
+/**
+ * Replay: apply sequential snapshots as the "tape". Each step is compared to
+ * the previous shadow. No bus, no store, no time travel across processes.
+ */
+declare function replayInformationPackages(tape: readonly DependencyInformationPackage[]): InformationPackageCompare[];
+
+/**
+ * Default cap for in-memory history, trace, audit, and default event-buffer
+ * records. Without a cap a long-running process grows without bound on every
+ * publish. Pass `maxHistorySize: Infinity` to explicitly opt back into unbounded
+ * retention. An injected `eventBuffer` owns its own retention.
+ */
+declare const DEFAULT_MAX_HISTORY_SIZE = 1000;
+declare function createArkKernel(options?: CreateArkKernelOptions): ArkKernel;
+/**
+ * Preferred ArkRun factory. Each call is a new isolated instance — there is no
+ * process-wide singleton.
+ */
+declare function createStrictArkKernel(options?: CreateArkKernelOptions): ArkKernel;
+declare function createArkKernelFromConfig(config: ArkKernelConfig, options?: CreateArkKernelFromConfigOptions): ArkKernel;
+/**
+ * Strict kernel whose runtime layer profile comes from `ark.config.json`.
+ * Hard observed-layer-flow needs every layer a deny rule names to resolve an
+ * intent: declared `intentPrefixes`, or a canonical 11-layer name (`DomainModel`,
+ * `ApplicationOrchestration`, … — what `ark init` writes) which gets the built-in
+ * prefixes. A custom-named deny layer without prefixes is recorded as a
+ * `layer.observedFlowUnresolvable` audit record (`ARKRUN_LAYER_FLOW_UNRESOLVABLE`);
+ * passing `enforceObservedLayerFlow: 'hard'` explicitly throws `ArkKernelConfigError`
+ * instead.
+ */
+declare function createStrictArkKernelFromConfig(config: ArkKernelConfig, options?: CreateArkKernelFromConfigOptions): ArkKernel;
+declare function createLenientArkKernelFromConfig(config: ArkKernelConfig, options?: CreateArkKernelFromConfigOptions): ArkKernel;
+declare function createLenientArkKernel(options?: CreateArkKernelOptions): ArkKernel;
+
+interface ArkTestSnapshot {
+    events: DomainEvent[];
+    traces: TraceRecord[];
+    audit: AuditRecord[];
+    outbox: OutboxRecord[];
+    observability: ObservabilityDriftReport;
+}
+interface ArkTestHarness {
+    events(intent?: string): DomainEvent[];
+    traces(type?: TraceRecordType): TraceRecord[];
+    audit(query?: AuditQuery): Promise<AuditRecord[]>;
+    outbox(status?: OutboxStatus): Promise<OutboxRecord[]>;
+    observability(): ObservabilityDriftReport;
+    snapshot(): Promise<ArkTestSnapshot>;
+    clear(): Promise<void>;
+}
+
+declare function createArkTestHarness(kernel: ArkKernel): ArkTestHarness;
+
+/**
+ * Ports & Adapters basic contracts.
+ */
+interface Port<T = unknown> {
+    readonly name: string;
+    readonly ownerLayer?: string;
+    readonly intent?: IntentName;
+    readonly allowedAdapters?: string[];
+    readonly __port?: T;
+}
+interface Adapter<T = unknown> {
+    readonly name?: string;
+    readonly layer?: string;
+    readonly intent?: IntentName;
+    readonly port: Port<T>;
+    readonly impl: T;
+}
+interface DefinePortOptions {
+    ownerLayer?: string;
+    intent?: IntentName;
+    allowedAdapters?: string[];
+}
+interface CreateAdapterOptions {
+    name?: string;
+    layer?: string;
+    intent?: IntentName;
+    requiredKeys?: string[];
+}
+/**
+ * Simple contract checker (duck typing + optional required keys).
+ */
+type ContractCheckResult = {
+    ok: true;
+} | {
+    ok: false;
+    missing: string[];
+};
+interface AdapterGovernanceIssue {
+    ruleId: 'ADAPTER_NOT_ALLOWED_FOR_PORT';
+    message: string;
+    port: string;
+    adapter?: string;
+}
+type AdapterGovernanceResult = {
+    ok: true;
+    issues: [];
+} | {
+    ok: false;
+    issues: AdapterGovernanceIssue[];
+};
+
+/**
+ * Ports and Adapters utilities.
+ *
+ * definePort + createAdapter with basic runtime contract validation.
+ */
+
+declare function definePort<T = unknown>(name: string, options?: DefinePortOptions): Port<T>;
+declare function createAdapter<T>(port: Port<T>, impl: T, requiredKeysOrOptions?: string[] | CreateAdapterOptions, adapterOptions?: CreateAdapterOptions): Adapter<T>;
+declare function checkContract(impl: unknown, requiredKeys?: string[]): ContractCheckResult;
+declare function checkAdapterGovernance(adapter: Adapter): AdapterGovernanceResult;
+
 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, ARK_DESIGN_DELTA_SCHEMA_VERSION, ARK_ENFORCEMENT_STATE_SCHEMA_VERSION, type Adapter, type AdapterCompletenessReason, type AdapterDiagnostic, type AdapterGovernanceIssue, type AdapterGovernanceResult, type AdapterResult, type AdapterSeverity, type AdapterViolationInput, 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, ArchitectureProfile, ArkCheckConfig, type ArkDesignDeltaResult, type ArkEnforcementHost, type ArkEnforcementState, ArkKernel, ArkKernelConfig, ArkKernelConfigError, ArkManifest, type ArkTestHarness, type ArkTestSnapshot, AuditQuery, AuditRecord, AuditStore, AuditTrail, type BuildPublishPolicyContextOptions, type ChangePreflightResult, type CollectAnalysisConfigWarningsInput, type ContractCheckResult, type CreateAdapterOptions, CreateArchitectureProfileFromArkConfigOptions, CreateArchitectureProfileOptions, CreateArkKernelFromConfigOptions, CreateArkKernelOptions, type CreateArkManifestOptions, CreateAuditTrailOptions, CreateElevenLayerArkConfigOptions, CreateObservabilityReporterOptions, CreateProjectionRegistryOptions, CreateWorkflowEngineOptions, DEFAULT_MAX_HISTORY_SIZE, DIAGNOSTIC_CATALOG, DIAGNOSTIC_CATALOG_SCHEMA_VERSION, DIAGNOSTIC_DOCS_RELATIVE_PATH, DIAGNOSTIC_RULE_IDS, DefineIntentOptions, type DefinePolicyOptions, type DefinePortOptions, DependencyGraph, DependencyInformationPackage, type DesignDeltaChange, type DesignDeltaEnforcementScope, type DesignDeltaIdentity, type DesignSmellEvidence, type DesignSmellFinding, type DesignSmellId, type DiagnosticCatalogEntry, type DiagnosticCategory, DomainEvent, type EnforcementBoundaryState, type EnforcementEvidence, type EnforcementEvidenceField, type EnforcementVerification, type EvaluateArchitectureGraphInput, EventBufferRecord, EventBufferStatus, EventBufferStore, EventBus, EventBusOptions, EventContract, EventContractRegistry, EventContractRegistryImpl, EventContractValidationResult, EventContractViolationError, type ForbiddenCapabilityUse, GraphEdge, type GraphPolicyContext, InMemoryAuditStore, InMemoryEventBuffer, type InMemoryEventBufferOptions, InMemoryOutboxStore, InMemoryReadModelStore, InMemoryWorkflowStore, type InformationPackageCompare, type InformationPackageDiff, IntentCreator, IntentCreator as IntentDefinition, IntentName, type IntentNameValidation, IntentRegistry, IntentRelationship, InvalidIntentNameError, type LayerFlowRule, LayerPolicyContextError, type LayerPolicyOptions, MANIFEST_SCHEMA_VERSION, MetadataRegistry, ObservabilityDriftReport, ObservabilityReporter, ObservedLayerFlowViolationError, OutboxRecord, OutboxStatus, POLICY_DELTA_SCHEMA_VERSION, Policy, type PolicyDelta, type PolicyDeltaAcknowledgement, type PolicyDeltaAnalysis, type PolicyDeltaClassification, type PolicyDeltaFinding, PolicyEnforcementMode, PolicyEngine, PolicySeverity, PolicyViolation, PolicyViolationError, type Port, type PreflightResolvedChangeInput, type PreparedChangeFile, ProjectionRegistry, type PublishPolicyContext, RESOLVED_CANDIDATE_FACTS_SCHEMA, RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION, ReadModelStore, 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, SagaDefinition, SagaInstance, type SemanticDependency, type SemanticDependencyKind, SourceMetadataOverrideError, type SyncRegistryOptions, TraceRecord, TraceRecordType, UnknownEventSourceError, UnregisteredIntentError, WorkflowEngine, WorkflowSnapshot, WorkflowStore, analyzeArchitectureConvergence, analyzeChange, analyzePolicyDelta, analyzeProject, analyzeResolvedProject, architecturalPolicies, buildPublishPolicyContext, catalogFixForRuleId, catalogWhyForRuleId, checkAdapterGovernance, checkContract, classifyArkPolicyDelta, collectAnalysisConfigWarnings, collectForbiddenCapabilityUses, compareInformationPackages, createAICodeGate, createAdapter, createAdapterResult, createArchitectureProfile, createArchitectureProfileFromArkConfig, createArkKernel, createArkKernelFromConfig, createArkManifest, createArkTestHarness, createAuditTrail, createDependencyGraph, createElevenLayerArkConfig, createEventBus, createEventContractRegistry, createIntentRegistry, createLenientArkKernel, createLenientArkKernelFromConfig, createMetadataRegistry, createObservabilityReporter, createProjectionRegistry, createResolvedCandidateFacts, createSaga, createStrictArkKernel, createStrictArkKernelFromConfig, createWorkflowEngine, defaultIntentRegistry, defineArchitectureProfilePolicy, defineIntent, defineLayerPolicy, definePolicy, definePort, definePublishPolicy, detectArchitectureCycles, deterministicHash, diagnosticDocsFragment, diagnosticDocsPath, elevenLayerProfile, evaluateArchitectureGraph, explainViolation, extractSemanticDependencies, getDiagnosticCatalogEntry, isCataloguedOrArkRuleFamily, isKnownDiagnosticCode, isLayerPolicy, loadContract, loadResolvedCandidateFacts, policyDeltaAcknowledgementMatches, preflightChange, preflightResolvedChange, replayInformationPackages, resolvedFactsEvidenceRequirementsHash, serializeDiagnosticCatalog, shadowInformationPackage, stableSerialize, syncRegistryToGraph, toAdapterDiagnostic, validateIntentName, version };