@directive-run/core 0.4.1 → 0.5.0

package/dist/{plugins-cDWoL7A7.d.cts → plugins-Co2_xohI.d.cts}

@@ -730,13 +730,15 @@ interface NamespacedSystem<Modules extends ModulesMap> {
     /** Time-travel debugging API (if enabled) */
     readonly debug: TimeTravelAPI | null;
     /** Namespaced derivations accessor: system.derive.auth.status */
-    readonly derive: NamespacedDerivations<Modules>;
+    readonly derive: NamespacedDerivations<Modules> & DerivationsControl;
     /** Events accessor (union of all module events) */
     readonly events: NamespacedEventsAccessor<Modules>;
-    /** Runtime control for constraints (disable/enable/isDisabled) */
+    /** Runtime control for constraints (disable/enable/isDisabled + dynamic CRUD) */
     readonly constraints: ConstraintsControl;
-    /** Runtime control for effects (disable/enable/isEnabled) */
+    /** Runtime control for effects (disable/enable/isEnabled + dynamic CRUD) */
     readonly effects: EffectsControl;
+    /** Runtime control for resolvers (dynamic CRUD) */
+    readonly resolvers: ResolversControl;
     /** 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. */
@@ -957,13 +959,15 @@ interface SingleModuleSystem<S extends ModuleSchema> {
     /** Time-travel debugging API (if enabled) */
     readonly debug: TimeTravelAPI | null;
     /** Direct derivations accessor: system.derive.doubled */
-    readonly derive: InferDerivations<S>;
+    readonly derive: InferDerivations<S> & DerivationsControl;
     /** 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;
+    /** Runtime control for resolvers (register/assign/unregister/call) */
+    readonly resolvers: ResolversControl;
     /** 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. */
@@ -1165,7 +1169,7 @@ type GetRequirementsSchema<M extends ModuleSchema> = M["requirements"] extends R
  * The derive accessor is typed from schema.derivations.
  * Supports both t.*() builders and type assertion {} as {} patterns.
  */
-type TypedDerivationFn<M extends ModuleSchema, K extends keyof GetDerivationsSchema<M>> = (facts: Facts<M["facts"]>, derive: InferDerivations<M>) => InferSchemaType<GetDerivationsSchema<M>[K]>;
+type TypedDerivationFn<M extends ModuleSchema, K extends keyof GetDerivationsSchema<M>> = (facts: Facts<M["facts"]>, derived: InferDerivations<M>) => InferSchemaType<GetDerivationsSchema<M>[K]>;
 /**
  * Typed derivations definition using the module schema.
  * Each derivation key must match schema.derivations and return the declared type.
@@ -1286,7 +1290,7 @@ type CrossModuleEffectsDef<M extends ModuleSchema, Deps extends CrossModuleDeps>
  * - `facts.self.*` for own module's facts
  * - `facts.{dep}.*` for cross-module facts (read-only)
  */
-type CrossModuleDerivationFn<M extends ModuleSchema, Deps extends CrossModuleDeps, K extends keyof GetDerivationsSchema<M>> = (facts: CrossModuleFactsWithSelf<M, Deps>, derive: InferDerivations<M>) => InferSchemaType<GetDerivationsSchema<M>[K]>;
+type CrossModuleDerivationFn<M extends ModuleSchema, Deps extends CrossModuleDeps, K extends keyof GetDerivationsSchema<M>> = (facts: CrossModuleFactsWithSelf<M, Deps>, derived: InferDerivations<M>) => InferSchemaType<GetDerivationsSchema<M>[K]>;
 /**
  * Cross-module derivations definition.
  */
@@ -1635,6 +1639,36 @@ interface ConstraintsControl {
     enable(id: string): void;
     /** Check if a constraint is currently disabled */
     isDisabled(id: string): boolean;
+    /**
+     * Register a new constraint at runtime.
+     * @throws If a constraint with this ID already exists (use `assign` to override)
+     * @remarks During reconciliation, the registration is deferred and applied after the current cycle completes.
+     */
+    register(id: string, def: Record<string, unknown>): void;
+    /**
+     * Override an existing constraint (static or dynamic).
+     * Stores the original definition for potential inspection.
+     * @throws If no constraint with this ID exists (use `register` to create)
+     * @remarks During reconciliation, the assignment is deferred and applied after the current cycle completes.
+     */
+    assign(id: string, def: Record<string, unknown>): void;
+    /**
+     * Remove a dynamically registered constraint.
+     * Static (module-defined) constraints cannot be unregistered — logs a dev warning and no-ops.
+     * @remarks During reconciliation, the unregistration is deferred and applied after the current cycle completes.
+     */
+    unregister(id: string): void;
+    /**
+     * Invoke a constraint's `when()` predicate. If true, evaluates its `require()` and returns the requirements
+     * (with optional props merged). The requirements are returned for inspection but NOT automatically dispatched
+     * to the resolver system.
+     * @throws If no constraint with this ID exists
+     */
+    call(id: string, props?: Record<string, unknown>): Promise<Record<string, unknown>[]>;
+    /** Check if a constraint was dynamically registered (not from a module definition) */
+    isDynamic(id: string): boolean;
+    /** List all dynamically registered constraint IDs */
+    listDynamic(): string[];
 }
 /** Runtime control for effects */
 interface EffectsControl {
@@ -1644,14 +1678,107 @@ interface EffectsControl {
     enable(id: string): void;
     /** Check if an effect is currently enabled */
     isEnabled(id: string): boolean;
+    /**
+     * Register a new effect at runtime.
+     * @throws If an effect with this ID already exists (use `assign` to override)
+     * @remarks During reconciliation, the registration is deferred and applied after the current cycle completes.
+     */
+    register(id: string, def: Record<string, unknown>): void;
+    /**
+     * Override an existing effect (static or dynamic).
+     * Runs cleanup of the old effect before replacing.
+     * @throws If no effect with this ID exists (use `register` to create)
+     * @remarks During reconciliation, the assignment is deferred and applied after the current cycle completes.
+     */
+    assign(id: string, def: Record<string, unknown>): void;
+    /**
+     * Remove a dynamically registered effect.
+     * Static (module-defined) effects cannot be unregistered — logs a dev warning and no-ops.
+     * @remarks During reconciliation, the unregistration is deferred and applied after the current cycle completes.
+     */
+    unregister(id: string): void;
+    /**
+     * Execute an effect's `run()` function immediately.
+     * @throws If no effect with this ID exists
+     */
+    call(id: string): Promise<void>;
+    /** Check if an effect was dynamically registered (not from a module definition) */
+    isDynamic(id: string): boolean;
+    /** List all dynamically registered effect IDs */
+    listDynamic(): string[];
+}
+/** Runtime control for derivations (dynamic registration + value access) */
+interface DerivationsControl {
+    /**
+     * Register a new derivation at runtime.
+     * @throws If a derivation with this ID already exists (use `assign` to override)
+     * @remarks During reconciliation, the registration is deferred and applied after the current cycle completes.
+     */
+    register(id: string, fn: (facts: Record<string, unknown>, derive: Record<string, unknown>) => unknown): void;
+    /**
+     * Override an existing derivation (static or dynamic).
+     * @throws If no derivation with this ID exists (use `register` to create)
+     * @remarks During reconciliation, the assignment is deferred and applied after the current cycle completes.
+     */
+    assign(id: string, fn: (facts: Record<string, unknown>, derive: Record<string, unknown>) => unknown): void;
+    /**
+     * Remove a dynamically registered derivation.
+     * Static (module-defined) derivations cannot be unregistered — logs a dev warning and no-ops.
+     * @remarks During reconciliation, the unregistration is deferred and applied after the current cycle completes.
+     */
+    unregister(id: string): void;
+    /**
+     * Recompute and return a derivation's current value.
+     * @throws If no derivation with this ID exists
+     */
+    call(id: string): unknown;
+    /** Check if a derivation was dynamically registered (not from a module definition) */
+    isDynamic(id: string): boolean;
+    /** List all dynamically registered derivation IDs */
+    listDynamic(): string[];
+}
+/** Runtime control for resolvers */
+interface ResolversControl {
+    /**
+     * Register a new resolver at runtime.
+     * @throws If a resolver with this ID already exists (use `assign` to override)
+     * @remarks During reconciliation, the registration is deferred and applied after the current cycle completes.
+     */
+    register(id: string, def: Record<string, unknown>): void;
+    /**
+     * Override an existing resolver (static or dynamic).
+     * Clears the resolver-by-type cache.
+     * @throws If no resolver with this ID exists (use `register` to create)
+     * @remarks During reconciliation, the assignment is deferred and applied after the current cycle completes.
+     */
+    assign(id: string, def: Record<string, unknown>): void;
+    /**
+     * Remove a dynamically registered resolver.
+     * Static (module-defined) resolvers cannot be unregistered — logs a dev warning and no-ops.
+     * @remarks During reconciliation, the unregistration is deferred and applied after the current cycle completes.
+     */
+    unregister(id: string): void;
+    /**
+     * Execute a resolver's `resolve()` with a requirement object.
+     * @throws If no resolver with this ID exists
+     */
+    call(id: string, requirement: {
+        type: string;
+        [key: string]: unknown;
+    }): Promise<void>;
+    /** Check if a resolver was dynamically registered (not from a module definition) */
+    isDynamic(id: string): boolean;
+    /** List all dynamically registered resolver IDs */
+    listDynamic(): string[];
 }
 interface System<M extends ModuleSchema = ModuleSchema> {
     readonly facts: Facts<M["facts"]>;
     readonly debug: TimeTravelAPI | null;
-    readonly derive: InferDerivations<M>;
+    readonly derive: InferDerivations<M> & DerivationsControl;
     readonly events: EventsAccessorFromSchema<M>;
     readonly constraints: ConstraintsControl;
     readonly effects: EffectsControl;
+    readonly resolvers: ResolversControl;
     /** 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. */
@@ -1682,8 +1809,9 @@ interface System<M extends ModuleSchema = ModuleSchema> {
      * Returns an unsubscribe function.
      */
     onTimeTravelChange(listener: () => void): () => void;
-    read<K extends DerivationKeys<M>>(derivationId: K): DerivationReturnType<M, K>;
-    read<T = unknown>(derivationId: string): T;
+    read<K extends DerivationKeys<M>>(id: K): DerivationReturnType<M, K>;
+    read<K extends FactKeys<M>>(id: K): FactReturnType<M, K>;
+    read<T = unknown>(id: string): T;
     /**
      * Subscribe to fact or derivation changes.
      * Keys are auto-detected -- pass any mix of fact keys and derivation keys.
@@ -1724,6 +1852,17 @@ interface System<M extends ModuleSchema = ModuleSchema> {
     explain(requirementId: string): string | null;
     getSnapshot(): SystemSnapshot;
     restore(snapshot: SystemSnapshot): void;
+    /**
+     * Get the original definition that was overridden by `assign()`.
+     * Returns undefined if no original exists for this type/id.
+     */
+    getOriginal(type: "constraint" | "resolver" | "derivation" | "effect", id: string): unknown | undefined;
+    /**
+     * Restore the original definition that was overridden by `assign()`.
+     * Re-assigns the original definition and removes the override tracking.
+     * Returns true if restoration succeeded, false if no original exists.
+     */
+    restoreOriginal(type: "constraint" | "resolver" | "derivation" | "effect", id: string): boolean;
     /**
      * Get a distributable snapshot of computed derivations.
      * This creates a serializable object that can be stored in Redis, JWT, etc.
@@ -1974,6 +2113,34 @@ interface Plugin<M extends ModuleSchema = ModuleSchema> {
      * @param strategy - The recovery strategy used
      */
     onErrorRecovery?: (error: DirectiveError, strategy: RecoveryStrategy) => void;
+    /**
+     * Called when a definition is dynamically registered at runtime.
+     * @param type - The definition type: "constraint", "resolver", "derivation", or "effect"
+     * @param id - The definition ID
+     * @param def - The definition object
+     */
+    onDefinitionRegister?: (type: string, id: string, def: unknown) => void;
+    /**
+     * Called when a definition is assigned (overridden) at runtime.
+     * @param type - The definition type: "constraint", "resolver", "derivation", or "effect"
+     * @param id - The definition ID
+     * @param def - The new definition object
+     * @param original - The previous definition that was overridden
+     */
+    onDefinitionAssign?: (type: string, id: string, def: unknown, original: unknown) => void;
+    /**
+     * Called when a dynamically registered definition is removed.
+     * @param type - The definition type: "constraint", "resolver", "derivation", or "effect"
+     * @param id - The definition ID
+     */
+    onDefinitionUnregister?: (type: string, id: string) => void;
+    /**
+     * Called when a definition is manually invoked via `call()`.
+     * @param type - The definition type: "constraint", "resolver", "derivation", or "effect"
+     * @param id - The definition ID
+     * @param props - Optional props passed to the call
+     */
+    onDefinitionCall?: (type: string, id: string, props?: unknown) => void;
     /**
      * Called when a run finalizes (all resolvers settled or no resolvers started).
      * Only fires when debug.runHistory is enabled.
@@ -1982,4 +2149,4 @@ interface Plugin<M extends ModuleSchema = ModuleSchema> {
     onRunComplete?: (run: RunChangelogEntry) => void;
 }
 
-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 CrossModuleConstraintDef as a2, type CrossModuleDerivationFn as a3, type CrossModuleEffectDef as a4, type CrossModuleFactsWithSelf as a5, type DerivationKeys as a6, type DerivationReturnType as a7, type DeriveAccessor as a8, type DispatchEventsFromSchema as a9, type RequirementsSchema as aA, type SnapshotMeta as aB, type SystemEvent as aC, type SystemInspection as aD, type SystemMode as aE, type SystemSnapshot as aF, type TimeTravelState as aG, type TypedResolverContext as aH, type TypedResolverDef as aI, type UnionEvents as aJ, isNamespacedSystem as aK, isSingleModuleSystem as aL, type DistributableSnapshot as aa, type DistributableSnapshotOptions as ab, type EffectCleanup as ac, type EventPayloadSchema as ad, type EventsAccessor as ae, type EventsAccessorFromSchema as af, type EventsDef as ag, type EventsSchema as ah, type FactKeys as ai, type FactReturnType as aj, type FlexibleEventHandler as ak, type InferDerivations as al, type InferEventPayloadFromSchema as am, type InferEvents as an, type InferRequirementPayloadFromSchema as ao, type InferRequirementTypes as ap, type InferSchema as aq, type InferSchemaType as ar, type InferSelectorState as as, type MutableNamespacedFacts as at, type NamespacedDerivations as au, type NamespacedEventsAccessor as av, type NamespacedFacts as aw, type ObservableKeys as ax, type RequirementExplanation as ay, type RequirementPayloadSchema$1 as az, type RetryPolicy 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 ConstraintsControl 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 DerivationsControl as a9, type ObservableKeys as aA, type RequirementExplanation as aB, type RequirementPayloadSchema$1 as aC, type RequirementsSchema as aD, type ResolversControl as aE, type SnapshotMeta as aF, type SystemEvent as aG, type SystemInspection as aH, type SystemMode as aI, type SystemSnapshot as aJ, type TimeTravelState as aK, type TypedResolverContext as aL, type TypedResolverDef as aM, type UnionEvents as aN, isNamespacedSystem as aO, isSingleModuleSystem as aP, type DeriveAccessor as aa, type DispatchEventsFromSchema as ab, type DistributableSnapshot as ac, type DistributableSnapshotOptions as ad, type EffectCleanup as ae, type EffectsControl as af, type EventPayloadSchema as ag, type EventsAccessor as ah, type EventsAccessorFromSchema as ai, type EventsDef as aj, type EventsSchema as ak, type FactKeys as al, type FactReturnType as am, type FlexibleEventHandler as an, type InferDerivations as ao, type InferEventPayloadFromSchema as ap, type InferEvents as aq, type InferRequirementPayloadFromSchema as ar, type InferRequirementTypes as as, type InferSchema as at, type InferSchemaType as au, type InferSelectorState as av, type MutableNamespacedFacts as aw, type NamespacedDerivations as ax, type NamespacedEventsAccessor as ay, type NamespacedFacts as az, type RetryPolicy as b, type ResolverContext as c, type SchemaType as d, type TypedEventsDef as e, type TypedConstraintsDef as f, type TypedResolversDef as g, type ModuleHooks as h, type CrossModuleDerivationsDef as i, type CrossModuleEffectsDef as j, type CrossModuleConstraintsDef as k, type ModuleDef as l, type CreateSystemOptionsSingle as m, type SingleModuleSystem as n, type ModulesMap as o, type CreateSystemOptionsNamed as p, type TypedConstraintDef as q, type RequirementOutput as r, type DebugConfig as s, type ErrorBoundaryConfig as t, type InferFacts as u, type ExtractSchema as v, type RequirementWithId as w, type RequirementKeyFn as x, type FactsStore as y, type ConstraintsDef as z };

package/dist/{plugins-cDWoL7A7.d.ts → plugins-Co2_xohI.d.ts}

@@ -730,13 +730,15 @@ interface NamespacedSystem<Modules extends ModulesMap> {
     /** Time-travel debugging API (if enabled) */
     readonly debug: TimeTravelAPI | null;
     /** Namespaced derivations accessor: system.derive.auth.status */
-    readonly derive: NamespacedDerivations<Modules>;
+    readonly derive: NamespacedDerivations<Modules> & DerivationsControl;
     /** Events accessor (union of all module events) */
     readonly events: NamespacedEventsAccessor<Modules>;
-    /** Runtime control for constraints (disable/enable/isDisabled) */
+    /** Runtime control for constraints (disable/enable/isDisabled + dynamic CRUD) */
     readonly constraints: ConstraintsControl;
-    /** Runtime control for effects (disable/enable/isEnabled) */
+    /** Runtime control for effects (disable/enable/isEnabled + dynamic CRUD) */
     readonly effects: EffectsControl;
+    /** Runtime control for resolvers (dynamic CRUD) */
+    readonly resolvers: ResolversControl;
     /** 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. */
@@ -957,13 +959,15 @@ interface SingleModuleSystem<S extends ModuleSchema> {
     /** Time-travel debugging API (if enabled) */
     readonly debug: TimeTravelAPI | null;
     /** Direct derivations accessor: system.derive.doubled */
-    readonly derive: InferDerivations<S>;
+    readonly derive: InferDerivations<S> & DerivationsControl;
     /** 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;
+    /** Runtime control for resolvers (register/assign/unregister/call) */
+    readonly resolvers: ResolversControl;
     /** 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. */
@@ -1165,7 +1169,7 @@ type GetRequirementsSchema<M extends ModuleSchema> = M["requirements"] extends R
  * The derive accessor is typed from schema.derivations.
  * Supports both t.*() builders and type assertion {} as {} patterns.
  */
-type TypedDerivationFn<M extends ModuleSchema, K extends keyof GetDerivationsSchema<M>> = (facts: Facts<M["facts"]>, derive: InferDerivations<M>) => InferSchemaType<GetDerivationsSchema<M>[K]>;
+type TypedDerivationFn<M extends ModuleSchema, K extends keyof GetDerivationsSchema<M>> = (facts: Facts<M["facts"]>, derived: InferDerivations<M>) => InferSchemaType<GetDerivationsSchema<M>[K]>;
 /**
  * Typed derivations definition using the module schema.
  * Each derivation key must match schema.derivations and return the declared type.
@@ -1286,7 +1290,7 @@ type CrossModuleEffectsDef<M extends ModuleSchema, Deps extends CrossModuleDeps>
  * - `facts.self.*` for own module's facts
  * - `facts.{dep}.*` for cross-module facts (read-only)
  */
-type CrossModuleDerivationFn<M extends ModuleSchema, Deps extends CrossModuleDeps, K extends keyof GetDerivationsSchema<M>> = (facts: CrossModuleFactsWithSelf<M, Deps>, derive: InferDerivations<M>) => InferSchemaType<GetDerivationsSchema<M>[K]>;
+type CrossModuleDerivationFn<M extends ModuleSchema, Deps extends CrossModuleDeps, K extends keyof GetDerivationsSchema<M>> = (facts: CrossModuleFactsWithSelf<M, Deps>, derived: InferDerivations<M>) => InferSchemaType<GetDerivationsSchema<M>[K]>;
 /**
  * Cross-module derivations definition.
  */
@@ -1635,6 +1639,36 @@ interface ConstraintsControl {
     enable(id: string): void;
     /** Check if a constraint is currently disabled */
     isDisabled(id: string): boolean;
+    /**
+     * Register a new constraint at runtime.
+     * @throws If a constraint with this ID already exists (use `assign` to override)
+     * @remarks During reconciliation, the registration is deferred and applied after the current cycle completes.
+     */
+    register(id: string, def: Record<string, unknown>): void;
+    /**
+     * Override an existing constraint (static or dynamic).
+     * Stores the original definition for potential inspection.
+     * @throws If no constraint with this ID exists (use `register` to create)
+     * @remarks During reconciliation, the assignment is deferred and applied after the current cycle completes.
+     */
+    assign(id: string, def: Record<string, unknown>): void;
+    /**
+     * Remove a dynamically registered constraint.
+     * Static (module-defined) constraints cannot be unregistered — logs a dev warning and no-ops.
+     * @remarks During reconciliation, the unregistration is deferred and applied after the current cycle completes.
+     */
+    unregister(id: string): void;
+    /**
+     * Invoke a constraint's `when()` predicate. If true, evaluates its `require()` and returns the requirements
+     * (with optional props merged). The requirements are returned for inspection but NOT automatically dispatched
+     * to the resolver system.
+     * @throws If no constraint with this ID exists
+     */
+    call(id: string, props?: Record<string, unknown>): Promise<Record<string, unknown>[]>;
+    /** Check if a constraint was dynamically registered (not from a module definition) */
+    isDynamic(id: string): boolean;
+    /** List all dynamically registered constraint IDs */
+    listDynamic(): string[];
 }
 /** Runtime control for effects */
 interface EffectsControl {
@@ -1644,14 +1678,107 @@ interface EffectsControl {
     enable(id: string): void;
     /** Check if an effect is currently enabled */
     isEnabled(id: string): boolean;
+    /**
+     * Register a new effect at runtime.
+     * @throws If an effect with this ID already exists (use `assign` to override)
+     * @remarks During reconciliation, the registration is deferred and applied after the current cycle completes.
+     */
+    register(id: string, def: Record<string, unknown>): void;
+    /**
+     * Override an existing effect (static or dynamic).
+     * Runs cleanup of the old effect before replacing.
+     * @throws If no effect with this ID exists (use `register` to create)
+     * @remarks During reconciliation, the assignment is deferred and applied after the current cycle completes.
+     */
+    assign(id: string, def: Record<string, unknown>): void;
+    /**
+     * Remove a dynamically registered effect.
+     * Static (module-defined) effects cannot be unregistered — logs a dev warning and no-ops.
+     * @remarks During reconciliation, the unregistration is deferred and applied after the current cycle completes.
+     */
+    unregister(id: string): void;
+    /**
+     * Execute an effect's `run()` function immediately.
+     * @throws If no effect with this ID exists
+     */
+    call(id: string): Promise<void>;
+    /** Check if an effect was dynamically registered (not from a module definition) */
+    isDynamic(id: string): boolean;
+    /** List all dynamically registered effect IDs */
+    listDynamic(): string[];
+}
+/** Runtime control for derivations (dynamic registration + value access) */
+interface DerivationsControl {
+    /**
+     * Register a new derivation at runtime.
+     * @throws If a derivation with this ID already exists (use `assign` to override)
+     * @remarks During reconciliation, the registration is deferred and applied after the current cycle completes.
+     */
+    register(id: string, fn: (facts: Record<string, unknown>, derive: Record<string, unknown>) => unknown): void;
+    /**
+     * Override an existing derivation (static or dynamic).
+     * @throws If no derivation with this ID exists (use `register` to create)
+     * @remarks During reconciliation, the assignment is deferred and applied after the current cycle completes.
+     */
+    assign(id: string, fn: (facts: Record<string, unknown>, derive: Record<string, unknown>) => unknown): void;
+    /**
+     * Remove a dynamically registered derivation.
+     * Static (module-defined) derivations cannot be unregistered — logs a dev warning and no-ops.
+     * @remarks During reconciliation, the unregistration is deferred and applied after the current cycle completes.
+     */
+    unregister(id: string): void;
+    /**
+     * Recompute and return a derivation's current value.
+     * @throws If no derivation with this ID exists
+     */
+    call(id: string): unknown;
+    /** Check if a derivation was dynamically registered (not from a module definition) */
+    isDynamic(id: string): boolean;
+    /** List all dynamically registered derivation IDs */
+    listDynamic(): string[];
+}
+/** Runtime control for resolvers */
+interface ResolversControl {
+    /**
+     * Register a new resolver at runtime.
+     * @throws If a resolver with this ID already exists (use `assign` to override)
+     * @remarks During reconciliation, the registration is deferred and applied after the current cycle completes.
+     */
+    register(id: string, def: Record<string, unknown>): void;
+    /**
+     * Override an existing resolver (static or dynamic).
+     * Clears the resolver-by-type cache.
+     * @throws If no resolver with this ID exists (use `register` to create)
+     * @remarks During reconciliation, the assignment is deferred and applied after the current cycle completes.
+     */
+    assign(id: string, def: Record<string, unknown>): void;
+    /**
+     * Remove a dynamically registered resolver.
+     * Static (module-defined) resolvers cannot be unregistered — logs a dev warning and no-ops.
+     * @remarks During reconciliation, the unregistration is deferred and applied after the current cycle completes.
+     */
+    unregister(id: string): void;
+    /**
+     * Execute a resolver's `resolve()` with a requirement object.
+     * @throws If no resolver with this ID exists
+     */
+    call(id: string, requirement: {
+        type: string;
+        [key: string]: unknown;
+    }): Promise<void>;
+    /** Check if a resolver was dynamically registered (not from a module definition) */
+    isDynamic(id: string): boolean;
+    /** List all dynamically registered resolver IDs */
+    listDynamic(): string[];
 }
 interface System<M extends ModuleSchema = ModuleSchema> {
     readonly facts: Facts<M["facts"]>;
     readonly debug: TimeTravelAPI | null;
-    readonly derive: InferDerivations<M>;
+    readonly derive: InferDerivations<M> & DerivationsControl;
     readonly events: EventsAccessorFromSchema<M>;
     readonly constraints: ConstraintsControl;
     readonly effects: EffectsControl;
+    readonly resolvers: ResolversControl;
     /** 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. */
@@ -1682,8 +1809,9 @@ interface System<M extends ModuleSchema = ModuleSchema> {
      * Returns an unsubscribe function.
      */
     onTimeTravelChange(listener: () => void): () => void;
-    read<K extends DerivationKeys<M>>(derivationId: K): DerivationReturnType<M, K>;
-    read<T = unknown>(derivationId: string): T;
+    read<K extends DerivationKeys<M>>(id: K): DerivationReturnType<M, K>;
+    read<K extends FactKeys<M>>(id: K): FactReturnType<M, K>;
+    read<T = unknown>(id: string): T;
     /**
      * Subscribe to fact or derivation changes.
      * Keys are auto-detected -- pass any mix of fact keys and derivation keys.
@@ -1724,6 +1852,17 @@ interface System<M extends ModuleSchema = ModuleSchema> {
     explain(requirementId: string): string | null;
     getSnapshot(): SystemSnapshot;
     restore(snapshot: SystemSnapshot): void;
+    /**
+     * Get the original definition that was overridden by `assign()`.
+     * Returns undefined if no original exists for this type/id.
+     */
+    getOriginal(type: "constraint" | "resolver" | "derivation" | "effect", id: string): unknown | undefined;
+    /**
+     * Restore the original definition that was overridden by `assign()`.
+     * Re-assigns the original definition and removes the override tracking.
+     * Returns true if restoration succeeded, false if no original exists.
+     */
+    restoreOriginal(type: "constraint" | "resolver" | "derivation" | "effect", id: string): boolean;
     /**
      * Get a distributable snapshot of computed derivations.
      * This creates a serializable object that can be stored in Redis, JWT, etc.
@@ -1974,6 +2113,34 @@ interface Plugin<M extends ModuleSchema = ModuleSchema> {
      * @param strategy - The recovery strategy used
      */
     onErrorRecovery?: (error: DirectiveError, strategy: RecoveryStrategy) => void;
+    /**
+     * Called when a definition is dynamically registered at runtime.
+     * @param type - The definition type: "constraint", "resolver", "derivation", or "effect"
+     * @param id - The definition ID
+     * @param def - The definition object
+     */
+    onDefinitionRegister?: (type: string, id: string, def: unknown) => void;
+    /**
+     * Called when a definition is assigned (overridden) at runtime.
+     * @param type - The definition type: "constraint", "resolver", "derivation", or "effect"
+     * @param id - The definition ID
+     * @param def - The new definition object
+     * @param original - The previous definition that was overridden
+     */
+    onDefinitionAssign?: (type: string, id: string, def: unknown, original: unknown) => void;
+    /**
+     * Called when a dynamically registered definition is removed.
+     * @param type - The definition type: "constraint", "resolver", "derivation", or "effect"
+     * @param id - The definition ID
+     */
+    onDefinitionUnregister?: (type: string, id: string) => void;
+    /**
+     * Called when a definition is manually invoked via `call()`.
+     * @param type - The definition type: "constraint", "resolver", "derivation", or "effect"
+     * @param id - The definition ID
+     * @param props - Optional props passed to the call
+     */
+    onDefinitionCall?: (type: string, id: string, props?: unknown) => void;
     /**
      * Called when a run finalizes (all resolvers settled or no resolvers started).
      * Only fires when debug.runHistory is enabled.
@@ -1982,4 +2149,4 @@ interface Plugin<M extends ModuleSchema = ModuleSchema> {
     onRunComplete?: (run: RunChangelogEntry) => void;
 }
 
-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 CrossModuleConstraintDef as a2, type CrossModuleDerivationFn as a3, type CrossModuleEffectDef as a4, type CrossModuleFactsWithSelf as a5, type DerivationKeys as a6, type DerivationReturnType as a7, type DeriveAccessor as a8, type DispatchEventsFromSchema as a9, type RequirementsSchema as aA, type SnapshotMeta as aB, type SystemEvent as aC, type SystemInspection as aD, type SystemMode as aE, type SystemSnapshot as aF, type TimeTravelState as aG, type TypedResolverContext as aH, type TypedResolverDef as aI, type UnionEvents as aJ, isNamespacedSystem as aK, isSingleModuleSystem as aL, type DistributableSnapshot as aa, type DistributableSnapshotOptions as ab, type EffectCleanup as ac, type EventPayloadSchema as ad, type EventsAccessor as ae, type EventsAccessorFromSchema as af, type EventsDef as ag, type EventsSchema as ah, type FactKeys as ai, type FactReturnType as aj, type FlexibleEventHandler as ak, type InferDerivations as al, type InferEventPayloadFromSchema as am, type InferEvents as an, type InferRequirementPayloadFromSchema as ao, type InferRequirementTypes as ap, type InferSchema as aq, type InferSchemaType as ar, type InferSelectorState as as, type MutableNamespacedFacts as at, type NamespacedDerivations as au, type NamespacedEventsAccessor as av, type NamespacedFacts as aw, type ObservableKeys as ax, type RequirementExplanation as ay, type RequirementPayloadSchema$1 as az, type RetryPolicy 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 ConstraintsControl 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 DerivationsControl as a9, type ObservableKeys as aA, type RequirementExplanation as aB, type RequirementPayloadSchema$1 as aC, type RequirementsSchema as aD, type ResolversControl as aE, type SnapshotMeta as aF, type SystemEvent as aG, type SystemInspection as aH, type SystemMode as aI, type SystemSnapshot as aJ, type TimeTravelState as aK, type TypedResolverContext as aL, type TypedResolverDef as aM, type UnionEvents as aN, isNamespacedSystem as aO, isSingleModuleSystem as aP, type DeriveAccessor as aa, type DispatchEventsFromSchema as ab, type DistributableSnapshot as ac, type DistributableSnapshotOptions as ad, type EffectCleanup as ae, type EffectsControl as af, type EventPayloadSchema as ag, type EventsAccessor as ah, type EventsAccessorFromSchema as ai, type EventsDef as aj, type EventsSchema as ak, type FactKeys as al, type FactReturnType as am, type FlexibleEventHandler as an, type InferDerivations as ao, type InferEventPayloadFromSchema as ap, type InferEvents as aq, type InferRequirementPayloadFromSchema as ar, type InferRequirementTypes as as, type InferSchema as at, type InferSchemaType as au, type InferSelectorState as av, type MutableNamespacedFacts as aw, type NamespacedDerivations as ax, type NamespacedEventsAccessor as ay, type NamespacedFacts as az, type RetryPolicy as b, type ResolverContext as c, type SchemaType as d, type TypedEventsDef as e, type TypedConstraintsDef as f, type TypedResolversDef as g, type ModuleHooks as h, type CrossModuleDerivationsDef as i, type CrossModuleEffectsDef as j, type CrossModuleConstraintsDef as k, type ModuleDef as l, type CreateSystemOptionsSingle as m, type SingleModuleSystem as n, type ModulesMap as o, type CreateSystemOptionsNamed as p, type TypedConstraintDef as q, type RequirementOutput as r, type DebugConfig as s, type ErrorBoundaryConfig as t, type InferFacts as u, type ExtractSchema as v, type RequirementWithId as w, type RequirementKeyFn as x, type FactsStore as y, type ConstraintsDef as z };