@directive-run/core 0.1.1 → 0.3.0

package/dist/{plugins-CcwEXXMS.d.cts → plugins-DZljh9NJ.d.cts}

@@ -275,6 +275,10 @@ interface ConstraintState {
     lastResolvedAt: number | null;
     /** Constraint IDs this constraint is waiting on (from `after` property) */
     after: string[];
+    /** Number of times when() evaluated to true */
+    hitCount: number;
+    /** Timestamp of last when() → true evaluation */
+    lastActiveAt: number | null;
 }
 
 /**
@@ -337,7 +341,7 @@ type EffectCleanup = () => void;
  * ```
  */
 interface EffectDef<S extends Schema> {
-    run(facts: Facts<S>, prev: FactsSnapshot<S> | null): void | EffectCleanup | Promise<void | EffectCleanup>;
+    run(facts: Facts<S>, prev: InferSchema<S> | null): void | EffectCleanup | Promise<void | EffectCleanup>;
     /** Optional explicit dependencies for optimization */
     deps?: Array<keyof InferSchema<S>>;
 }
@@ -751,6 +755,14 @@ interface NamespacedSystem<Modules extends ModulesMap> {
     readonly derive: NamespacedDerivations<Modules>;
     /** Events accessor (union of all module events) */
     readonly events: NamespacedEventsAccessor<Modules>;
+    /** Runtime control for constraints (disable/enable/isDisabled) */
+    readonly constraints: ConstraintsControl;
+    /** Runtime control for effects (disable/enable/isEnabled) */
+    readonly effects: EffectsControl;
+    /** Per-run changelog entries (null if debug.runHistory is not enabled) */
+    readonly runHistory: RunChangelogEntry[] | null;
+    /** Initialize facts and derivations without starting reconciliation. Safe for SSR. */
+    initialize(): void;
     /** Start the system (initialize modules, begin reconciliation) */
     start(): void;
     /** Stop the system (cancel resolvers, stop reconciliation) */
@@ -970,6 +982,14 @@ interface SingleModuleSystem<S extends ModuleSchema> {
     readonly derive: InferDerivations<S>;
     /** Direct events accessor: system.events.increment() */
     readonly events: SingleModuleEvents<S>;
+    /** Runtime control for constraints (disable/enable/isDisabled) */
+    readonly constraints: ConstraintsControl;
+    /** Runtime control for effects (disable/enable/isEnabled) */
+    readonly effects: EffectsControl;
+    /** Per-run changelog entries (null if debug.runHistory is not enabled) */
+    readonly runHistory: RunChangelogEntry[] | null;
+    /** Initialize facts and derivations without starting reconciliation. Safe for SSR. */
+    initialize(): void;
     /** Start the system (initialize modules, begin reconciliation) */
     start(): void;
     /** Stop the system (cancel resolvers, stop reconciliation) */
@@ -1109,6 +1129,7 @@ interface AnySystem {
     readonly isSettled: boolean;
     readonly isInitialized: boolean;
     readonly isReady: boolean;
+    initialize(): void;
     start(): void;
     stop(): void;
     destroy(): void;
@@ -1357,6 +1378,12 @@ interface ModuleDef<M extends ModuleSchema = ModuleSchema> {
     constraints?: TypedConstraintsDef<M>;
     resolvers?: TypedResolversDef<M>;
     hooks?: ModuleHooks<M>;
+    /**
+     * Events that create time-travel snapshots.
+     * If omitted, ALL events create snapshots (default).
+     * If provided, only listed events create snapshots for undo/redo.
+     */
+    snapshotEvents?: Array<keyof GetEventsSchema<M> & string>;
     /**
      * Cross-module dependencies (runtime marker).
      * When present, constraints/effects receive `facts.self.*` + `facts.{dep}.*`.
@@ -1401,6 +1428,12 @@ type EventsAccessor<M extends ModuleSchema> = EventsAccessorFromSchema<M>;
 interface DebugConfig {
     timeTravel?: boolean;
     maxSnapshots?: number;
+    /** Only snapshot events from these modules. Omit to snapshot all modules. Multi-module only. */
+    snapshotModules?: string[];
+    /** Enable per-run changelog (default false) */
+    runHistory?: boolean;
+    /** Ring buffer cap for run history (default 100) */
+    maxRuns?: number;
 }
 /** Time-travel API */
 interface TimeTravelAPI {
@@ -1446,6 +1479,79 @@ interface TimeTravelState {
     pause: () => void;
     resume: () => void;
 }
+/** A structured record of one reconciliation run — from facts through resolvers and effects. */
+interface RunChangelogEntry {
+    /** Monotonic run ID */
+    id: number;
+    /** When the reconcile started */
+    timestamp: number;
+    /** Total duration from reconcile start to all resolvers settled (ms) */
+    duration: number;
+    /** 'pending' while resolvers are inflight, 'settled' when all done */
+    status: "pending" | "settled";
+    /** Facts that changed, triggering this run */
+    factChanges: Array<{
+        key: string;
+        oldValue: unknown;
+        newValue: unknown;
+    }>;
+    /** Derivations recomputed during this run, with tracked dependencies and values */
+    derivationsRecomputed: Array<{
+        id: string;
+        deps: string[];
+        oldValue: unknown;
+        newValue: unknown;
+    }>;
+    /** Constraints that evaluated to active, with tracked dependencies */
+    constraintsHit: Array<{
+        id: string;
+        priority: number;
+        deps: string[];
+    }>;
+    /** Requirements added from constraint diff */
+    requirementsAdded: Array<{
+        id: string;
+        type: string;
+        fromConstraint: string;
+    }>;
+    /** Requirements removed (no longer active), with originating constraint */
+    requirementsRemoved: Array<{
+        id: string;
+        type: string;
+        fromConstraint: string;
+    }>;
+    /** Resolvers started for new requirements */
+    resolversStarted: Array<{
+        resolver: string;
+        requirementId: string;
+    }>;
+    /** Resolvers that completed (async — populated after reconcile) */
+    resolversCompleted: Array<{
+        resolver: string;
+        requirementId: string;
+        duration: number;
+    }>;
+    /** Resolvers that errored (async — populated after reconcile) */
+    resolversErrored: Array<{
+        resolver: string;
+        requirementId: string;
+        error: string;
+    }>;
+    /** Effects that ran, with their triggering fact keys */
+    effectsRun: Array<{
+        id: string;
+        triggeredBy: string[];
+    }>;
+    /** Effect errors */
+    effectErrors: Array<{
+        id: string;
+        error: string;
+    }>;
+    /** Human-readable causal chain summary (populated when run settles) */
+    causalChain?: string;
+    /** Anomaly flags (populated when run stats deviate significantly) */
+    anomalies?: string[];
+}
 /** System inspection result */
 interface SystemInspection {
     unmet: RequirementWithId[];
@@ -1457,9 +1563,21 @@ interface SystemInspection {
     constraints: Array<{
         id: string;
         active: boolean;
+        disabled: boolean;
         priority: number;
+        hitCount: number;
+        lastActiveAt: number | null;
     }>;
     resolvers: Record<string, ResolverStatus>;
+    /** All defined resolver names and their requirement types */
+    resolverDefs: Array<{
+        id: string;
+        requirement: string;
+    }>;
+    /** Whether debug.runHistory is enabled on this system */
+    runHistoryEnabled: boolean;
+    /** Per-run changelog entries (only present if debug.runHistory is enabled) */
+    runHistory?: RunChangelogEntry[];
 }
 /** Explanation of why a requirement exists */
 interface RequirementExplanation {
@@ -1511,7 +1629,9 @@ interface DistributableSnapshotOptions {
  *
  * // Later, in an API route (no Directive runtime needed)
  * const cached = JSON.parse(await redis.get(`entitlements:${userId}`));
- * if (!cached.data.canUseFeature.api) throw new ForbiddenError();
+ * if (!cached.data.canUseFeature.api) {
+ *   throw new ForbiddenError();
+ * }
  * ```
  */
 interface DistributableSnapshot<T = Record<string, unknown>> {
@@ -1536,6 +1656,8 @@ interface ConstraintsControl {
     disable(id: string): void;
     /** Enable a previously disabled constraint — it will be re-evaluated on the next cycle */
     enable(id: string): void;
+    /** Check if a constraint is currently disabled */
+    isDisabled(id: string): boolean;
 }
 /** Runtime control for effects */
 interface EffectsControl {
@@ -1553,6 +1675,10 @@ interface System<M extends ModuleSchema = ModuleSchema> {
     readonly events: EventsAccessorFromSchema<M>;
     readonly constraints: ConstraintsControl;
     readonly effects: EffectsControl;
+    /** Per-run changelog entries (null if debug.runHistory is not enabled) */
+    readonly runHistory: RunChangelogEntry[] | null;
+    /** Initialize facts and derivations without starting reconciliation. Safe for SSR. */
+    initialize(): void;
     start(): void;
     stop(): void;
     destroy(): void;
@@ -1871,6 +1997,12 @@ interface Plugin<M extends ModuleSchema = ModuleSchema> {
      * @param strategy - The recovery strategy used
      */
     onErrorRecovery?: (error: DirectiveError, strategy: RecoveryStrategy) => void;
+    /**
+     * Called when a run finalizes (all resolvers settled or no resolvers started).
+     * Only fires when debug.runHistory is enabled.
+     * @param run - The complete run changelog entry
+     */
+    onRunComplete?: (run: RunChangelogEntry) => void;
 }
 
-export { type BatchItemResult as $, type ConstraintState as A, type BatchConfig as B, type CrossModuleDeps as C, type DerivationsSchema as D, type EffectsDef as E, type Facts as F, type ResolversDef as G, type ResolverStatus as H, type InferRequirements as I, type System as J, type FactChange as K, type FactsSnapshot as L, type ModuleSchema as M, type NamespacedSystem as N, type ReconcileResult as O, type Plugin as P, type Snapshot as Q, type Requirement as R, type Schema as S, type TypedDerivationsDef as T, DirectiveError as U, type RecoveryStrategy as V, type ErrorSource as W, type RetryLaterConfig as X, type TimeTravelAPI as Y, type SystemConfig as Z, type AnySystem as _, type RequirementOutput$1 as a, type BatchResolveResults as a0, type CircuitBreakerConfig as a1, type CircuitBreakerState as a2, type CrossModuleConstraintDef as a3, type CrossModuleDerivationFn as a4, type CrossModuleEffectDef as a5, type CrossModuleFactsWithSelf as a6, type DerivationKeys as a7, type DerivationReturnType as a8, type DeriveAccessor as a9, type RequirementPayloadSchema$1 as aA, type RequirementsSchema as aB, type SnapshotMeta as aC, type SystemEvent as aD, type SystemInspection as aE, type SystemMode as aF, type SystemSnapshot as aG, type TimeTravelState as aH, type TypedResolverContext as aI, type TypedResolverDef as aJ, type UnionEvents as aK, isNamespacedSystem as aL, isSingleModuleSystem as aM, type DispatchEventsFromSchema as aa, type DistributableSnapshot as ab, type DistributableSnapshotOptions as ac, type EffectCleanup as ad, type EventPayloadSchema as ae, type EventsAccessor as af, type EventsAccessorFromSchema as ag, type EventsDef as ah, type EventsSchema as ai, type FactKeys as aj, type FactReturnType as ak, type FlexibleEventHandler as al, type InferDerivations as am, type InferEventPayloadFromSchema as an, type InferEvents as ao, type InferRequirementPayloadFromSchema as ap, type InferRequirementTypes as aq, type InferSchema as ar, type InferSchemaType as as, type InferSelectorState as at, type MutableNamespacedFacts as au, type NamespacedDerivations as av, type NamespacedEventsAccessor as aw, type NamespacedFacts as ax, type ObservableKeys as ay, type RequirementExplanation as az, type RetryPolicy$1 as b, type ResolverContext as c, type SchemaType as d, type FactsStore as e, type TypedEventsDef as f, type TypedConstraintsDef as g, type TypedResolversDef as h, type ModuleHooks as i, type CrossModuleDerivationsDef as j, type CrossModuleEffectsDef as k, type CrossModuleConstraintsDef as l, type ModuleDef as m, type CreateSystemOptionsSingle as n, type SingleModuleSystem as o, type ModulesMap as p, type CreateSystemOptionsNamed as q, type TypedConstraintDef as r, type RequirementOutput as s, type DebugConfig as t, type ErrorBoundaryConfig as u, type InferFacts as v, type ExtractSchema as w, type RequirementWithId as x, type RequirementKeyFn as y, type ConstraintsDef as z };
+export { type AnySystem as $, type ConstraintState as A, type BatchConfig as B, type CrossModuleDeps as C, type DerivationsSchema as D, type EffectsDef as E, type Facts as F, type ResolversDef as G, type ResolverStatus as H, type InferRequirements as I, type System as J, type FactChange as K, type FactsSnapshot as L, type ModuleSchema as M, type NamespacedSystem as N, type ReconcileResult as O, type Plugin as P, type Snapshot as Q, type Requirement as R, type Schema as S, type TypedDerivationsDef as T, DirectiveError as U, type RecoveryStrategy as V, type RunChangelogEntry as W, type ErrorSource as X, type RetryLaterConfig as Y, type TimeTravelAPI as Z, type SystemConfig as _, type RequirementOutput$1 as a, type BatchItemResult as a0, type BatchResolveResults as a1, type CircuitBreakerConfig as a2, type CircuitBreakerState as a3, type CrossModuleConstraintDef as a4, type CrossModuleDerivationFn as a5, type CrossModuleEffectDef as a6, type CrossModuleFactsWithSelf as a7, type DerivationKeys as a8, type DerivationReturnType as a9, type RequirementExplanation as aA, type RequirementPayloadSchema$1 as aB, type RequirementsSchema as aC, type SnapshotMeta as aD, type SystemEvent as aE, type SystemInspection as aF, type SystemMode as aG, type SystemSnapshot as aH, type TimeTravelState as aI, type TypedResolverContext as aJ, type TypedResolverDef as aK, type UnionEvents as aL, isNamespacedSystem as aM, isSingleModuleSystem as aN, type DeriveAccessor as aa, type DispatchEventsFromSchema as ab, type DistributableSnapshot as ac, type DistributableSnapshotOptions as ad, type EffectCleanup as ae, type EventPayloadSchema as af, type EventsAccessor as ag, type EventsAccessorFromSchema as ah, type EventsDef as ai, type EventsSchema as aj, type FactKeys as ak, type FactReturnType as al, type FlexibleEventHandler as am, type InferDerivations as an, type InferEventPayloadFromSchema as ao, type InferEvents as ap, type InferRequirementPayloadFromSchema as aq, type InferRequirementTypes as ar, type InferSchema as as, type InferSchemaType as at, type InferSelectorState as au, type MutableNamespacedFacts as av, type NamespacedDerivations as aw, type NamespacedEventsAccessor as ax, type NamespacedFacts as ay, type ObservableKeys as az, type RetryPolicy$1 as b, type ResolverContext as c, type SchemaType as d, type FactsStore as e, type TypedEventsDef as f, type TypedConstraintsDef as g, type TypedResolversDef as h, type ModuleHooks as i, type CrossModuleDerivationsDef as j, type CrossModuleEffectsDef as k, type CrossModuleConstraintsDef as l, type ModuleDef as m, type CreateSystemOptionsSingle as n, type SingleModuleSystem as o, type ModulesMap as p, type CreateSystemOptionsNamed as q, type TypedConstraintDef as r, type RequirementOutput as s, type DebugConfig as t, type ErrorBoundaryConfig as u, type InferFacts as v, type ExtractSchema as w, type RequirementWithId as x, type RequirementKeyFn as y, type ConstraintsDef as z };

package/dist/{plugins-CcwEXXMS.d.ts → plugins-DZljh9NJ.d.ts}

@@ -275,6 +275,10 @@ interface ConstraintState {
     lastResolvedAt: number | null;
     /** Constraint IDs this constraint is waiting on (from `after` property) */
     after: string[];
+    /** Number of times when() evaluated to true */
+    hitCount: number;
+    /** Timestamp of last when() → true evaluation */
+    lastActiveAt: number | null;
 }
 
 /**
@@ -337,7 +341,7 @@ type EffectCleanup = () => void;
  * ```
  */
 interface EffectDef<S extends Schema> {
-    run(facts: Facts<S>, prev: FactsSnapshot<S> | null): void | EffectCleanup | Promise<void | EffectCleanup>;
+    run(facts: Facts<S>, prev: InferSchema<S> | null): void | EffectCleanup | Promise<void | EffectCleanup>;
     /** Optional explicit dependencies for optimization */
     deps?: Array<keyof InferSchema<S>>;
 }
@@ -751,6 +755,14 @@ interface NamespacedSystem<Modules extends ModulesMap> {
     readonly derive: NamespacedDerivations<Modules>;
     /** Events accessor (union of all module events) */
     readonly events: NamespacedEventsAccessor<Modules>;
+    /** Runtime control for constraints (disable/enable/isDisabled) */
+    readonly constraints: ConstraintsControl;
+    /** Runtime control for effects (disable/enable/isEnabled) */
+    readonly effects: EffectsControl;
+    /** Per-run changelog entries (null if debug.runHistory is not enabled) */
+    readonly runHistory: RunChangelogEntry[] | null;
+    /** Initialize facts and derivations without starting reconciliation. Safe for SSR. */
+    initialize(): void;
     /** Start the system (initialize modules, begin reconciliation) */
     start(): void;
     /** Stop the system (cancel resolvers, stop reconciliation) */
@@ -970,6 +982,14 @@ interface SingleModuleSystem<S extends ModuleSchema> {
     readonly derive: InferDerivations<S>;
     /** Direct events accessor: system.events.increment() */
     readonly events: SingleModuleEvents<S>;
+    /** Runtime control for constraints (disable/enable/isDisabled) */
+    readonly constraints: ConstraintsControl;
+    /** Runtime control for effects (disable/enable/isEnabled) */
+    readonly effects: EffectsControl;
+    /** Per-run changelog entries (null if debug.runHistory is not enabled) */
+    readonly runHistory: RunChangelogEntry[] | null;
+    /** Initialize facts and derivations without starting reconciliation. Safe for SSR. */
+    initialize(): void;
     /** Start the system (initialize modules, begin reconciliation) */
     start(): void;
     /** Stop the system (cancel resolvers, stop reconciliation) */
@@ -1109,6 +1129,7 @@ interface AnySystem {
     readonly isSettled: boolean;
     readonly isInitialized: boolean;
     readonly isReady: boolean;
+    initialize(): void;
     start(): void;
     stop(): void;
     destroy(): void;
@@ -1357,6 +1378,12 @@ interface ModuleDef<M extends ModuleSchema = ModuleSchema> {
     constraints?: TypedConstraintsDef<M>;
     resolvers?: TypedResolversDef<M>;
     hooks?: ModuleHooks<M>;
+    /**
+     * Events that create time-travel snapshots.
+     * If omitted, ALL events create snapshots (default).
+     * If provided, only listed events create snapshots for undo/redo.
+     */
+    snapshotEvents?: Array<keyof GetEventsSchema<M> & string>;
     /**
      * Cross-module dependencies (runtime marker).
      * When present, constraints/effects receive `facts.self.*` + `facts.{dep}.*`.
@@ -1401,6 +1428,12 @@ type EventsAccessor<M extends ModuleSchema> = EventsAccessorFromSchema<M>;
 interface DebugConfig {
     timeTravel?: boolean;
     maxSnapshots?: number;
+    /** Only snapshot events from these modules. Omit to snapshot all modules. Multi-module only. */
+    snapshotModules?: string[];
+    /** Enable per-run changelog (default false) */
+    runHistory?: boolean;
+    /** Ring buffer cap for run history (default 100) */
+    maxRuns?: number;
 }
 /** Time-travel API */
 interface TimeTravelAPI {
@@ -1446,6 +1479,79 @@ interface TimeTravelState {
     pause: () => void;
     resume: () => void;
 }
+/** A structured record of one reconciliation run — from facts through resolvers and effects. */
+interface RunChangelogEntry {
+    /** Monotonic run ID */
+    id: number;
+    /** When the reconcile started */
+    timestamp: number;
+    /** Total duration from reconcile start to all resolvers settled (ms) */
+    duration: number;
+    /** 'pending' while resolvers are inflight, 'settled' when all done */
+    status: "pending" | "settled";
+    /** Facts that changed, triggering this run */
+    factChanges: Array<{
+        key: string;
+        oldValue: unknown;
+        newValue: unknown;
+    }>;
+    /** Derivations recomputed during this run, with tracked dependencies and values */
+    derivationsRecomputed: Array<{
+        id: string;
+        deps: string[];
+        oldValue: unknown;
+        newValue: unknown;
+    }>;
+    /** Constraints that evaluated to active, with tracked dependencies */
+    constraintsHit: Array<{
+        id: string;
+        priority: number;
+        deps: string[];
+    }>;
+    /** Requirements added from constraint diff */
+    requirementsAdded: Array<{
+        id: string;
+        type: string;
+        fromConstraint: string;
+    }>;
+    /** Requirements removed (no longer active), with originating constraint */
+    requirementsRemoved: Array<{
+        id: string;
+        type: string;
+        fromConstraint: string;
+    }>;
+    /** Resolvers started for new requirements */
+    resolversStarted: Array<{
+        resolver: string;
+        requirementId: string;
+    }>;
+    /** Resolvers that completed (async — populated after reconcile) */
+    resolversCompleted: Array<{
+        resolver: string;
+        requirementId: string;
+        duration: number;
+    }>;
+    /** Resolvers that errored (async — populated after reconcile) */
+    resolversErrored: Array<{
+        resolver: string;
+        requirementId: string;
+        error: string;
+    }>;
+    /** Effects that ran, with their triggering fact keys */
+    effectsRun: Array<{
+        id: string;
+        triggeredBy: string[];
+    }>;
+    /** Effect errors */
+    effectErrors: Array<{
+        id: string;
+        error: string;
+    }>;
+    /** Human-readable causal chain summary (populated when run settles) */
+    causalChain?: string;
+    /** Anomaly flags (populated when run stats deviate significantly) */
+    anomalies?: string[];
+}
 /** System inspection result */
 interface SystemInspection {
     unmet: RequirementWithId[];
@@ -1457,9 +1563,21 @@ interface SystemInspection {
     constraints: Array<{
         id: string;
         active: boolean;
+        disabled: boolean;
         priority: number;
+        hitCount: number;
+        lastActiveAt: number | null;
     }>;
     resolvers: Record<string, ResolverStatus>;
+    /** All defined resolver names and their requirement types */
+    resolverDefs: Array<{
+        id: string;
+        requirement: string;
+    }>;
+    /** Whether debug.runHistory is enabled on this system */
+    runHistoryEnabled: boolean;
+    /** Per-run changelog entries (only present if debug.runHistory is enabled) */
+    runHistory?: RunChangelogEntry[];
 }
 /** Explanation of why a requirement exists */
 interface RequirementExplanation {
@@ -1511,7 +1629,9 @@ interface DistributableSnapshotOptions {
  *
  * // Later, in an API route (no Directive runtime needed)
  * const cached = JSON.parse(await redis.get(`entitlements:${userId}`));
- * if (!cached.data.canUseFeature.api) throw new ForbiddenError();
+ * if (!cached.data.canUseFeature.api) {
+ *   throw new ForbiddenError();
+ * }
  * ```
  */
 interface DistributableSnapshot<T = Record<string, unknown>> {
@@ -1536,6 +1656,8 @@ interface ConstraintsControl {
     disable(id: string): void;
     /** Enable a previously disabled constraint — it will be re-evaluated on the next cycle */
     enable(id: string): void;
+    /** Check if a constraint is currently disabled */
+    isDisabled(id: string): boolean;
 }
 /** Runtime control for effects */
 interface EffectsControl {
@@ -1553,6 +1675,10 @@ interface System<M extends ModuleSchema = ModuleSchema> {
     readonly events: EventsAccessorFromSchema<M>;
     readonly constraints: ConstraintsControl;
     readonly effects: EffectsControl;
+    /** Per-run changelog entries (null if debug.runHistory is not enabled) */
+    readonly runHistory: RunChangelogEntry[] | null;
+    /** Initialize facts and derivations without starting reconciliation. Safe for SSR. */
+    initialize(): void;
     start(): void;
     stop(): void;
     destroy(): void;
@@ -1871,6 +1997,12 @@ interface Plugin<M extends ModuleSchema = ModuleSchema> {
      * @param strategy - The recovery strategy used
      */
     onErrorRecovery?: (error: DirectiveError, strategy: RecoveryStrategy) => void;
+    /**
+     * Called when a run finalizes (all resolvers settled or no resolvers started).
+     * Only fires when debug.runHistory is enabled.
+     * @param run - The complete run changelog entry
+     */
+    onRunComplete?: (run: RunChangelogEntry) => void;
 }
 
-export { type BatchItemResult as $, type ConstraintState as A, type BatchConfig as B, type CrossModuleDeps as C, type DerivationsSchema as D, type EffectsDef as E, type Facts as F, type ResolversDef as G, type ResolverStatus as H, type InferRequirements as I, type System as J, type FactChange as K, type FactsSnapshot as L, type ModuleSchema as M, type NamespacedSystem as N, type ReconcileResult as O, type Plugin as P, type Snapshot as Q, type Requirement as R, type Schema as S, type TypedDerivationsDef as T, DirectiveError as U, type RecoveryStrategy as V, type ErrorSource as W, type RetryLaterConfig as X, type TimeTravelAPI as Y, type SystemConfig as Z, type AnySystem as _, type RequirementOutput$1 as a, type BatchResolveResults as a0, type CircuitBreakerConfig as a1, type CircuitBreakerState as a2, type CrossModuleConstraintDef as a3, type CrossModuleDerivationFn as a4, type CrossModuleEffectDef as a5, type CrossModuleFactsWithSelf as a6, type DerivationKeys as a7, type DerivationReturnType as a8, type DeriveAccessor as a9, type RequirementPayloadSchema$1 as aA, type RequirementsSchema as aB, type SnapshotMeta as aC, type SystemEvent as aD, type SystemInspection as aE, type SystemMode as aF, type SystemSnapshot as aG, type TimeTravelState as aH, type TypedResolverContext as aI, type TypedResolverDef as aJ, type UnionEvents as aK, isNamespacedSystem as aL, isSingleModuleSystem as aM, type DispatchEventsFromSchema as aa, type DistributableSnapshot as ab, type DistributableSnapshotOptions as ac, type EffectCleanup as ad, type EventPayloadSchema as ae, type EventsAccessor as af, type EventsAccessorFromSchema as ag, type EventsDef as ah, type EventsSchema as ai, type FactKeys as aj, type FactReturnType as ak, type FlexibleEventHandler as al, type InferDerivations as am, type InferEventPayloadFromSchema as an, type InferEvents as ao, type InferRequirementPayloadFromSchema as ap, type InferRequirementTypes as aq, type InferSchema as ar, type InferSchemaType as as, type InferSelectorState as at, type MutableNamespacedFacts as au, type NamespacedDerivations as av, type NamespacedEventsAccessor as aw, type NamespacedFacts as ax, type ObservableKeys as ay, type RequirementExplanation as az, type RetryPolicy$1 as b, type ResolverContext as c, type SchemaType as d, type FactsStore as e, type TypedEventsDef as f, type TypedConstraintsDef as g, type TypedResolversDef as h, type ModuleHooks as i, type CrossModuleDerivationsDef as j, type CrossModuleEffectsDef as k, type CrossModuleConstraintsDef as l, type ModuleDef as m, type CreateSystemOptionsSingle as n, type SingleModuleSystem as o, type ModulesMap as p, type CreateSystemOptionsNamed as q, type TypedConstraintDef as r, type RequirementOutput as s, type DebugConfig as t, type ErrorBoundaryConfig as u, type InferFacts as v, type ExtractSchema as w, type RequirementWithId as x, type RequirementKeyFn as y, type ConstraintsDef as z };
+export { type AnySystem as $, type ConstraintState as A, type BatchConfig as B, type CrossModuleDeps as C, type DerivationsSchema as D, type EffectsDef as E, type Facts as F, type ResolversDef as G, type ResolverStatus as H, type InferRequirements as I, type System as J, type FactChange as K, type FactsSnapshot as L, type ModuleSchema as M, type NamespacedSystem as N, type ReconcileResult as O, type Plugin as P, type Snapshot as Q, type Requirement as R, type Schema as S, type TypedDerivationsDef as T, DirectiveError as U, type RecoveryStrategy as V, type RunChangelogEntry as W, type ErrorSource as X, type RetryLaterConfig as Y, type TimeTravelAPI as Z, type SystemConfig as _, type RequirementOutput$1 as a, type BatchItemResult as a0, type BatchResolveResults as a1, type CircuitBreakerConfig as a2, type CircuitBreakerState as a3, type CrossModuleConstraintDef as a4, type CrossModuleDerivationFn as a5, type CrossModuleEffectDef as a6, type CrossModuleFactsWithSelf as a7, type DerivationKeys as a8, type DerivationReturnType as a9, type RequirementExplanation as aA, type RequirementPayloadSchema$1 as aB, type RequirementsSchema as aC, type SnapshotMeta as aD, type SystemEvent as aE, type SystemInspection as aF, type SystemMode as aG, type SystemSnapshot as aH, type TimeTravelState as aI, type TypedResolverContext as aJ, type TypedResolverDef as aK, type UnionEvents as aL, isNamespacedSystem as aM, isSingleModuleSystem as aN, type DeriveAccessor as aa, type DispatchEventsFromSchema as ab, type DistributableSnapshot as ac, type DistributableSnapshotOptions as ad, type EffectCleanup as ae, type EventPayloadSchema as af, type EventsAccessor as ag, type EventsAccessorFromSchema as ah, type EventsDef as ai, type EventsSchema as aj, type FactKeys as ak, type FactReturnType as al, type FlexibleEventHandler as am, type InferDerivations as an, type InferEventPayloadFromSchema as ao, type InferEvents as ap, type InferRequirementPayloadFromSchema as aq, type InferRequirementTypes as ar, type InferSchema as as, type InferSchemaType as at, type InferSelectorState as au, type MutableNamespacedFacts as av, type NamespacedDerivations as aw, type NamespacedEventsAccessor as ax, type NamespacedFacts as ay, type ObservableKeys as az, type RetryPolicy$1 as b, type ResolverContext as c, type SchemaType as d, type FactsStore as e, type TypedEventsDef as f, type TypedConstraintsDef as g, type TypedResolversDef as h, type ModuleHooks as i, type CrossModuleDerivationsDef as j, type CrossModuleEffectsDef as k, type CrossModuleConstraintsDef as l, type ModuleDef as m, type CreateSystemOptionsSingle as n, type SingleModuleSystem as o, type ModulesMap as p, type CreateSystemOptionsNamed as q, type TypedConstraintDef as r, type RequirementOutput as s, type DebugConfig as t, type ErrorBoundaryConfig as u, type InferFacts as v, type ExtractSchema as w, type RequirementWithId as x, type RequirementKeyFn as y, type ConstraintsDef as z };