@directive-run/core 1.4.0 → 1.6.0

package/dist/internals.cjs

@@ -1,2 +1,2 @@
-'use strict';var chunkTUS5WDVE_cjs=require('./chunk-TUS5WDVE.cjs'),chunkDDUARSUH_cjs=require('./chunk-DDUARSUH.cjs'),chunkBEJ6ICA7_cjs=require('./chunk-BEJ6ICA7.cjs');Object.defineProperty(exports,"createConstraintFactory",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.c}});Object.defineProperty(exports,"createConstraintsManager",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.p}});Object.defineProperty(exports,"createDerivationsManager",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.q}});Object.defineProperty(exports,"createDisabledHistory",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.j}});Object.defineProperty(exports,"createEffectsManager",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.r}});Object.defineProperty(exports,"createEngine",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.z}});Object.defineProperty(exports,"createErrorBoundaryManager",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.t}});Object.defineProperty(exports,"createFacts",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.w}});Object.defineProperty(exports,"createFactsProxy",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.v}});Object.defineProperty(exports,"createFactsStore",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.u}});Object.defineProperty(exports,"createHistoryManager",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.i}});Object.defineProperty(exports,"createPluginManager",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.x}});Object.defineProperty(exports,"createResolverFactory",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.d}});Object.defineProperty(exports,"createResolversManager",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.y}});Object.defineProperty(exports,"createRetryLaterManager",{enumerable:true,get:function(){return chunkTUS5WDVE_cjs.s}});Object.defineProperty(exports,"getCurrentDeps",{enumerable:true,get:function(){return chunkDDUARSUH_cjs.g}});Object.defineProperty(exports,"isTracking",{enumerable:true,get:function(){return chunkDDUARSUH_cjs.h}});Object.defineProperty(exports,"trackAccess",{enumerable:true,get:function(){return chunkDDUARSUH_cjs.k}});Object.defineProperty(exports,"withTracking",{enumerable:true,get:function(){return chunkDDUARSUH_cjs.i}});Object.defineProperty(exports,"withoutTracking",{enumerable:true,get:function(){return chunkDDUARSUH_cjs.j}});Object.defineProperty(exports,"safeStringify",{enumerable:true,get:function(){return chunkBEJ6ICA7_cjs.l}});//# sourceMappingURL=internals.cjs.map
+'use strict';var chunkK3KVGWLP_cjs=require('./chunk-K3KVGWLP.cjs'),chunkS3CFYDIB_cjs=require('./chunk-S3CFYDIB.cjs'),chunkEOLY64E6_cjs=require('./chunk-EOLY64E6.cjs');Object.defineProperty(exports,"createConstraintFactory",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.q}});Object.defineProperty(exports,"createConstraintsManager",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.D}});Object.defineProperty(exports,"createDerivationsManager",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.E}});Object.defineProperty(exports,"createDisabledHistory",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.x}});Object.defineProperty(exports,"createEffectsManager",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.F}});Object.defineProperty(exports,"createEngine",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.N}});Object.defineProperty(exports,"createErrorBoundaryManager",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.H}});Object.defineProperty(exports,"createFacts",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.K}});Object.defineProperty(exports,"createFactsProxy",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.J}});Object.defineProperty(exports,"createFactsStore",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.I}});Object.defineProperty(exports,"createHistoryManager",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.w}});Object.defineProperty(exports,"createPluginManager",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.L}});Object.defineProperty(exports,"createResolverFactory",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.r}});Object.defineProperty(exports,"createResolversManager",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.M}});Object.defineProperty(exports,"createRetryLaterManager",{enumerable:true,get:function(){return chunkK3KVGWLP_cjs.G}});Object.defineProperty(exports,"getCurrentDeps",{enumerable:true,get:function(){return chunkS3CFYDIB_cjs.g}});Object.defineProperty(exports,"isTracking",{enumerable:true,get:function(){return chunkS3CFYDIB_cjs.h}});Object.defineProperty(exports,"trackAccess",{enumerable:true,get:function(){return chunkS3CFYDIB_cjs.k}});Object.defineProperty(exports,"withTracking",{enumerable:true,get:function(){return chunkS3CFYDIB_cjs.i}});Object.defineProperty(exports,"withoutTracking",{enumerable:true,get:function(){return chunkS3CFYDIB_cjs.j}});Object.defineProperty(exports,"safeStringify",{enumerable:true,get:function(){return chunkEOLY64E6_cjs.n}});//# sourceMappingURL=internals.cjs.map
 //# sourceMappingURL=internals.cjs.map

package/dist/internals.d.cts

@@ -1,7 +1,7 @@
-import { X as Schema, a5 as FactsStore, F as Facts, D as DefinitionMeta, E as EffectsDef, a6 as ConstraintsDef, p as RequirementKeyFn, R as RequirementWithId, a7 as ConstraintState, a8 as ResolversDef, a9 as ConstraintBindMode, aa as ResolverStatus, o as Requirement, P as Plugin, Z as System, ab as FactChange, w as FactsSnapshot, ac as ReconcileResult, Y as Snapshot, q as DirectiveError, ad as RecoveryStrategy, a2 as TraceEntry, ae as ErrorSource, n as ErrorBoundaryConfig, af as RetryLaterConfig, H as HistoryAPI, x as HistoryOption, _ as SystemConfig } from './plugins-Dy1C8GtT.cjs';
-export { ag as BatchItemResult, ah as BatchResolveResults, ai as ConstraintsControl, aj as CrossModuleConstraintDef, g as CrossModuleConstraintsDef, ak as CrossModuleDerivationFn, e as CrossModuleDerivationsDef, al as CrossModuleEffectDef, f as CrossModuleEffectsDef, am as CrossModuleFactsWithSelf, an as DerivationKeys, ao as DerivationReturnType, ap as DerivationsControl, aq as DerivationsSchema, ar as DeriveAccessor, as as DispatchEventsFromSchema, r as DistributableSnapshot, s as DistributableSnapshotOptions, at as EffectCleanup, au as EffectsControl, av as EventPayloadSchema, aw as EventsAccessor, ax as EventsAccessorFromSchema, ay as EventsDef, az as EventsSchema, aA as FactKeys, aB as FactReturnType, aC as FlexibleEventHandler, aD as HistoryConfig, aE as InferEventPayloadFromSchema, aF as InferRequirementPayloadFromSchema, aG as InferSchema, aH as MutableNamespacedFacts, aI as NamespacedDerivations, aJ as NamespacedEventsAccessor, aK as NamespacedFacts, aL as ObservableKeys, aM as RequirementExplanation, aN as RequirementOutput, aO as RequirementPayloadSchema, aP as RequirementsSchema, aQ as ResolverContext, aR as ResolversControl, aS as SnapshotMeta, aT as SystemEvent, aU as TraceConfig, aV as TypedConstraintDef, b as TypedConstraintsDef, T as TypedDerivationsDef, a as TypedEventsDef, aW as TypedResolverContext, aX as TypedResolverDef, c as TypedResolversDef, aY as UnionEvents } from './plugins-Dy1C8GtT.cjs';
-import { b as DerivationsDef, c as DerivedValues } from './helpers-BUY1lYCX.cjs';
-export { d as DerivationState, T as TypedConstraint, e as TypedResolver, f as createConstraintFactory, g as createResolverFactory } from './helpers-BUY1lYCX.cjs';
+import { a8 as Schema, ai as FactsStore, b as Facts, D as DefinitionMeta, E as EffectsDef, aj as ConstraintsDef, t as RequirementKeyFn, R as RequirementWithId, ak as ConstraintState, a as FactPredicate, C as ClauseResult, al as ResolversDef, am as ResolverStatus, s as Requirement, p as Plugin, aa as System, an as FactChange, G as FactsSnapshot, ao as ReconcileResult, a9 as Snapshot, u as DirectiveError, ap as RecoveryStrategy, af as TraceEntry, aq as ErrorSource, r as ErrorBoundaryConfig, ar as RetryLaterConfig, H as HistoryAPI, I as HistoryOption, ab as SystemConfig } from './plugins-DvrsPhzx.cjs';
+export { as as BatchItemResult, at as BatchResolveResults, au as ConstraintsControl, av as CrossModuleConstraintDef, j as CrossModuleConstraintsDef, aw as CrossModuleDerivationFn, h as CrossModuleDerivationsDef, ax as CrossModuleEffectDef, i as CrossModuleEffectsDef, ay as CrossModuleFactsWithSelf, az as DerivationKeys, aA as DerivationReturnType, aB as DerivationsControl, aC as DerivationsSchema, aD as DeriveAccessor, aE as DispatchEventsFromSchema, v as DistributableSnapshot, w as DistributableSnapshotOptions, aF as EffectCleanup, aG as EffectsControl, aH as EventPayloadSchema, aI as EventsAccessor, aJ as EventsAccessorFromSchema, aK as EventsDef, aL as EventsSchema, aM as FactKeys, aN as FactReturnType, aO as FlexibleEventHandler, aP as HistoryConfig, aQ as InferEventPayloadFromSchema, aR as InferRequirementPayloadFromSchema, aS as InferSchema, aT as MutableNamespacedFacts, aU as NamespacedDerivations, aV as NamespacedEventsAccessor, aW as NamespacedFacts, aX as ObservableKeys, aY as RequirementExplanation, aZ as RequirementOutput, a_ as RequirementPayloadSchema, a$ as RequirementsSchema, b0 as ResolverContext, b1 as ResolversControl, b2 as SnapshotMeta, b3 as SystemEvent, b4 as TraceConfig, b5 as TypedConstraintDef, d as TypedConstraintsDef, T as TypedDerivationsDef, c as TypedEventsDef, b6 as TypedResolverContext, b7 as TypedResolverDef, e as TypedResolversDef, b8 as UnionEvents } from './plugins-DvrsPhzx.cjs';
+import { b as DerivationsDef, c as DerivedValues } from './helpers-CG27mEGG.cjs';
+export { d as DerivationState, T as TypedConstraint, e as TypedResolver, f as createConstraintFactory, g as createResolverFactory } from './helpers-CG27mEGG.cjs';
 export { g as safeStringify } from './utils-BnQajqPu.cjs';
 
 /**
@@ -369,16 +369,6 @@ interface CreateEffectsOptions<S extends Schema> {
  */
 declare function createEffectsManager<S extends Schema>(options: CreateEffectsOptions<S>): EffectsManager<S>;
 
-/**
- * Constraints - Rules that produce requirements when conditions aren't met
- *
- * Features:
- * - Sync and async constraint evaluation
- * - Priority ordering (higher runs first)
- * - Timeout handling for async constraints
- * - Error isolation
- */
-
 /**
  * Manager returned by {@link createConstraintsManager} that evaluates
  * constraint rules against the current facts and produces unmet
@@ -512,6 +502,19 @@ interface ConstraintsManager<_S extends Schema> {
      * @param requirementType - The requirement type string to remove.
      */
     removeRequirementKey(requirementType: string): void;
+    /**
+     * Return the original {@link FactPredicate} spec a constraint was declared
+     * with — present only when the constraint's `when` was provided as data.
+     * Used by `system.inspect()` / `system.explain()` and devtools to render
+     * the clause structure.
+     */
+    getWhenSpec(id: string): FactPredicate<Record<string, unknown>> | undefined;
+    /**
+     * Evaluate a data-form `when` and return the per-clause breakdown
+     * (which clauses passed, which failed, against what fact values).
+     * Returns `undefined` for constraints whose `when` is a function.
+     */
+    explainWhen(id: string): ClauseResult[] | undefined;
 }
 /**
  * Configuration options accepted by {@link createConstraintsManager}.
@@ -610,8 +613,16 @@ interface ResolversManager<_S extends Schema> {
      * for batch processing instead of being resolved immediately.
      *
      * @param req - The requirement (with a stable identity ID) to resolve.
+     * @param options.factsBaseline - Optional pre-dispatch facts snapshot
+     *   shared by every resolver dispatched in the same reconcile tick. Used
+     *   by RFC-1 constraint-binding to seed each resolver's `expected` map
+     *   from a value that pre-dates any sibling resolver's writes, preventing
+     *   the sibling-clobber gap where resolver 2 silently overwrites
+     *   resolver 1's owned write.
      */
-    resolve(req: RequirementWithId): void;
+    resolve(req: RequirementWithId, options?: {
+        factsBaseline?: Readonly<Record<string, unknown>>;
+    }): void;
     /**
      * Cancel an in-flight or batch-queued resolver by requirement ID.
      *
@@ -622,6 +633,20 @@ interface ResolversManager<_S extends Schema> {
      * @param requirementId - The unique requirement ID to cancel.
      */
     cancel(requirementId: string): void;
+    /**
+     * Untrack an in-flight resolver by requirement ID **without** aborting it
+     * (RFC-0003 resolver constraint-binding).
+     *
+     * @remarks
+     * Used for bound resolvers whose triggering requirement was removed: the
+     * resolver runs to completion (its data writes land; the binding still
+     * guards owned facts) but it no longer occupies the `inflight` slot, so the
+     * same requirement re-dispatches cleanly if it returns. A no-op if the
+     * requirement is not in-flight.
+     *
+     * @param requirementId - The unique requirement ID to detach.
+     */
+    detach(requirementId: string): void;
     /**
      * Cancel every in-flight resolver and flush all pending batch queues.
      */
@@ -709,23 +734,18 @@ interface ResolversManager<_S extends Schema> {
  * Per-constraint binding info, used by RFC-1 (resolver constraint-binding).
  *
  * The engine wires this lookup into the resolvers manager so that a resolver
- * dispatched from a constraint with `bind: 'auto'` can re-evaluate the
- * constraint's `when()` predicate live on every fact write.
+ * dispatched from a constraint with an `owns` field knows which facts it
+ * *owns* — writes to those are clobber-checked (see {@link createBoundFacts}).
  *
- * Returns `null` (or the lookup itself returns `undefined`) when the source
- * constraint is unknown, async, or has `bind: 'none'` — in which case
- * binding is a no-op and the resolver behaves exactly as before.
+ * Returns `undefined`/`null` when the source constraint is unknown or has no
+ * `owns` field — in which case binding is a no-op and the resolver behaves
+ * exactly as before.
  *
  * @internal
  */
-interface ConstraintBindingInfo<S extends Schema> {
-    /** The constraint's `bind` mode (effective; async predicates are forced to `'none'`). */
-    mode: ConstraintBindMode;
-    /**
-     * The constraint's `when()` predicate, narrowed to a sync signature.
-     * Only populated when `mode === 'auto'` and the constraint is sync.
-     */
-    when: ((facts: Facts<S>) => boolean) | null;
+interface ConstraintBindingInfo {
+    /** Fact keys the triggering resolver owns; writes to these are clobber-checked. */
+    readonly fields: readonly string[];
 }
 /**
  * Configuration options accepted by {@link createResolversManager}.
@@ -743,11 +763,10 @@ interface CreateResolversOptions<S extends Schema> {
      * Look up binding info for a source constraint id (RFC-1).
      *
      * Wired by the engine — given the `fromConstraint` of a `RequirementWithId`,
-     * returns the constraint's effective bind mode + a synchronous `when()`
-     * reference. Return `undefined` if the constraint is unknown or binding
-     * does not apply.
+     * returns the constraint's owned fact keys. Return `undefined` if the
+     * constraint is unknown or has no `owns` field.
      */
-    getConstraintBinding?: (constraintId: string) => ConstraintBindingInfo<S> | undefined;
+    getConstraintBinding?: (constraintId: string) => ConstraintBindingInfo | undefined;
     /** Called when a resolver begins execution. */
     onStart?: (resolver: string, req: RequirementWithId) => void;
     /** Called when a resolver completes successfully, with the wall-clock duration in ms. */
@@ -758,6 +777,19 @@ interface CreateResolversOptions<S extends Schema> {
     onRetry?: (resolver: string, req: RequirementWithId, attempt: number) => void;
     /** Called when a resolver is canceled via {@link ResolversManager.cancel | cancel}. */
     onCancel?: (resolver: string, req: RequirementWithId) => void;
+    /**
+     * Called when a bound resolver's owned-fact write is dropped because the
+     * fact was changed by something outside the resolver (RFC-0003 clobber).
+     * Fires once per dropped write; the resolver's `AbortController` is also
+     * aborted in the same step. Wired to plugins for observability.
+     */
+    onClobber?: (resolver: string, req: RequirementWithId, fact: string, expected: unknown, actual: unknown) => void;
+    /**
+     * Called once when a single resolver instance exceeds the per-instance
+     * clobber-event cap. `dropped` is the number of per-clobber events
+     * suppressed. Rate-limits clobber-event amplification (RFC-0003).
+     */
+    onClobberSuppressed?: (resolver: string, req: RequirementWithId, dropped: number) => void;
     /** Called after any resolver finishes (success, error, or batch completion) to trigger reconciliation. */
     onResolutionComplete?: () => void;
     /**
@@ -768,16 +800,15 @@ interface CreateResolversOptions<S extends Schema> {
      */
     onRequeue?: (requirementId: string) => void;
 }
-declare function createResolversManager<S extends Schema>(options: CreateResolversOptions<S>): ResolversManager<S>;
-
 /**
- * Plugin Architecture - Extensible middleware for Directive
+ * Creates a resolver manager that tracks active resolver instances and
+ * coordinates their lifecycle (start / complete / error / cancel) against
+ * the engine's requirement graph.
  *
- * Features:
- * - Lifecycle hooks for all engine events
- * - Multiple plugins can be composed
- * - Plugins execute in registration order
+ * @param options - resolver definitions, facts reference, and event hooks
+ * @returns the manager handle used by the engine to drive resolver invocations
  */
+declare function createResolversManager<S extends Schema>(options: CreateResolversOptions<S>): ResolversManager<S>;
 
 /**
  * Internal manager that broadcasts lifecycle events to registered {@link Plugin} instances.
@@ -826,7 +857,7 @@ interface PluginManager<_S extends Schema = any> {
     emitDerivationInvalidate(id: string): void;
     emitReconcileStart(snapshot: FactsSnapshot<any>): void;
     emitReconcileEnd(result: ReconcileResult): void;
-    emitConstraintEvaluate(id: string, active: boolean): void;
+    emitConstraintEvaluate(id: string, active: boolean, whenExplain?: ClauseResult[]): void;
     emitConstraintError(id: string, error: unknown): void;
     emitRequirementCreated(req: RequirementWithId): void;
     emitRequirementMet(req: RequirementWithId, byResolver: string): void;
@@ -836,6 +867,21 @@ interface PluginManager<_S extends Schema = any> {
     emitResolverError(resolver: string, req: RequirementWithId, error: unknown): void;
     emitResolverRetry(resolver: string, req: RequirementWithId, attempt: number): void;
     emitResolverCancel(resolver: string, req: RequirementWithId): void;
+    emitResolverWriteRejected(event: {
+        kind: "rejection";
+        resolver: string;
+        req: RequirementWithId;
+        reason: "clobbered";
+        fact: string;
+        expected: unknown;
+        actual: unknown;
+    } | {
+        kind: "summary";
+        resolver: string;
+        req: RequirementWithId;
+        reason: "clobbered";
+        dropped: number;
+    }): void;
     emitEffectRun(id: string): void;
     emitEffectError(id: string, error: unknown): void;
     emitSnapshot(snapshot: Snapshot): void;

package/dist/internals.d.ts

@@ -1,7 +1,7 @@
-import { X as Schema, a5 as FactsStore, F as Facts, D as DefinitionMeta, E as EffectsDef, a6 as ConstraintsDef, p as RequirementKeyFn, R as RequirementWithId, a7 as ConstraintState, a8 as ResolversDef, a9 as ConstraintBindMode, aa as ResolverStatus, o as Requirement, P as Plugin, Z as System, ab as FactChange, w as FactsSnapshot, ac as ReconcileResult, Y as Snapshot, q as DirectiveError, ad as RecoveryStrategy, a2 as TraceEntry, ae as ErrorSource, n as ErrorBoundaryConfig, af as RetryLaterConfig, H as HistoryAPI, x as HistoryOption, _ as SystemConfig } from './plugins-Dy1C8GtT.js';
-export { ag as BatchItemResult, ah as BatchResolveResults, ai as ConstraintsControl, aj as CrossModuleConstraintDef, g as CrossModuleConstraintsDef, ak as CrossModuleDerivationFn, e as CrossModuleDerivationsDef, al as CrossModuleEffectDef, f as CrossModuleEffectsDef, am as CrossModuleFactsWithSelf, an as DerivationKeys, ao as DerivationReturnType, ap as DerivationsControl, aq as DerivationsSchema, ar as DeriveAccessor, as as DispatchEventsFromSchema, r as DistributableSnapshot, s as DistributableSnapshotOptions, at as EffectCleanup, au as EffectsControl, av as EventPayloadSchema, aw as EventsAccessor, ax as EventsAccessorFromSchema, ay as EventsDef, az as EventsSchema, aA as FactKeys, aB as FactReturnType, aC as FlexibleEventHandler, aD as HistoryConfig, aE as InferEventPayloadFromSchema, aF as InferRequirementPayloadFromSchema, aG as InferSchema, aH as MutableNamespacedFacts, aI as NamespacedDerivations, aJ as NamespacedEventsAccessor, aK as NamespacedFacts, aL as ObservableKeys, aM as RequirementExplanation, aN as RequirementOutput, aO as RequirementPayloadSchema, aP as RequirementsSchema, aQ as ResolverContext, aR as ResolversControl, aS as SnapshotMeta, aT as SystemEvent, aU as TraceConfig, aV as TypedConstraintDef, b as TypedConstraintsDef, T as TypedDerivationsDef, a as TypedEventsDef, aW as TypedResolverContext, aX as TypedResolverDef, c as TypedResolversDef, aY as UnionEvents } from './plugins-Dy1C8GtT.js';
-import { b as DerivationsDef, c as DerivedValues } from './helpers-D6LcRum7.js';
-export { d as DerivationState, T as TypedConstraint, e as TypedResolver, f as createConstraintFactory, g as createResolverFactory } from './helpers-D6LcRum7.js';
+import { a8 as Schema, ai as FactsStore, b as Facts, D as DefinitionMeta, E as EffectsDef, aj as ConstraintsDef, t as RequirementKeyFn, R as RequirementWithId, ak as ConstraintState, a as FactPredicate, C as ClauseResult, al as ResolversDef, am as ResolverStatus, s as Requirement, p as Plugin, aa as System, an as FactChange, G as FactsSnapshot, ao as ReconcileResult, a9 as Snapshot, u as DirectiveError, ap as RecoveryStrategy, af as TraceEntry, aq as ErrorSource, r as ErrorBoundaryConfig, ar as RetryLaterConfig, H as HistoryAPI, I as HistoryOption, ab as SystemConfig } from './plugins-DvrsPhzx.js';
+export { as as BatchItemResult, at as BatchResolveResults, au as ConstraintsControl, av as CrossModuleConstraintDef, j as CrossModuleConstraintsDef, aw as CrossModuleDerivationFn, h as CrossModuleDerivationsDef, ax as CrossModuleEffectDef, i as CrossModuleEffectsDef, ay as CrossModuleFactsWithSelf, az as DerivationKeys, aA as DerivationReturnType, aB as DerivationsControl, aC as DerivationsSchema, aD as DeriveAccessor, aE as DispatchEventsFromSchema, v as DistributableSnapshot, w as DistributableSnapshotOptions, aF as EffectCleanup, aG as EffectsControl, aH as EventPayloadSchema, aI as EventsAccessor, aJ as EventsAccessorFromSchema, aK as EventsDef, aL as EventsSchema, aM as FactKeys, aN as FactReturnType, aO as FlexibleEventHandler, aP as HistoryConfig, aQ as InferEventPayloadFromSchema, aR as InferRequirementPayloadFromSchema, aS as InferSchema, aT as MutableNamespacedFacts, aU as NamespacedDerivations, aV as NamespacedEventsAccessor, aW as NamespacedFacts, aX as ObservableKeys, aY as RequirementExplanation, aZ as RequirementOutput, a_ as RequirementPayloadSchema, a$ as RequirementsSchema, b0 as ResolverContext, b1 as ResolversControl, b2 as SnapshotMeta, b3 as SystemEvent, b4 as TraceConfig, b5 as TypedConstraintDef, d as TypedConstraintsDef, T as TypedDerivationsDef, c as TypedEventsDef, b6 as TypedResolverContext, b7 as TypedResolverDef, e as TypedResolversDef, b8 as UnionEvents } from './plugins-DvrsPhzx.js';
+import { b as DerivationsDef, c as DerivedValues } from './helpers-BwAThjnJ.js';
+export { d as DerivationState, T as TypedConstraint, e as TypedResolver, f as createConstraintFactory, g as createResolverFactory } from './helpers-BwAThjnJ.js';
 export { g as safeStringify } from './utils-BnQajqPu.js';
 
 /**
@@ -369,16 +369,6 @@ interface CreateEffectsOptions<S extends Schema> {
  */
 declare function createEffectsManager<S extends Schema>(options: CreateEffectsOptions<S>): EffectsManager<S>;
 
-/**
- * Constraints - Rules that produce requirements when conditions aren't met
- *
- * Features:
- * - Sync and async constraint evaluation
- * - Priority ordering (higher runs first)
- * - Timeout handling for async constraints
- * - Error isolation
- */
-
 /**
  * Manager returned by {@link createConstraintsManager} that evaluates
  * constraint rules against the current facts and produces unmet
@@ -512,6 +502,19 @@ interface ConstraintsManager<_S extends Schema> {
      * @param requirementType - The requirement type string to remove.
      */
     removeRequirementKey(requirementType: string): void;
+    /**
+     * Return the original {@link FactPredicate} spec a constraint was declared
+     * with — present only when the constraint's `when` was provided as data.
+     * Used by `system.inspect()` / `system.explain()` and devtools to render
+     * the clause structure.
+     */
+    getWhenSpec(id: string): FactPredicate<Record<string, unknown>> | undefined;
+    /**
+     * Evaluate a data-form `when` and return the per-clause breakdown
+     * (which clauses passed, which failed, against what fact values).
+     * Returns `undefined` for constraints whose `when` is a function.
+     */
+    explainWhen(id: string): ClauseResult[] | undefined;
 }
 /**
  * Configuration options accepted by {@link createConstraintsManager}.
@@ -610,8 +613,16 @@ interface ResolversManager<_S extends Schema> {
      * for batch processing instead of being resolved immediately.
      *
      * @param req - The requirement (with a stable identity ID) to resolve.
+     * @param options.factsBaseline - Optional pre-dispatch facts snapshot
+     *   shared by every resolver dispatched in the same reconcile tick. Used
+     *   by RFC-1 constraint-binding to seed each resolver's `expected` map
+     *   from a value that pre-dates any sibling resolver's writes, preventing
+     *   the sibling-clobber gap where resolver 2 silently overwrites
+     *   resolver 1's owned write.
      */
-    resolve(req: RequirementWithId): void;
+    resolve(req: RequirementWithId, options?: {
+        factsBaseline?: Readonly<Record<string, unknown>>;
+    }): void;
     /**
      * Cancel an in-flight or batch-queued resolver by requirement ID.
      *
@@ -622,6 +633,20 @@ interface ResolversManager<_S extends Schema> {
      * @param requirementId - The unique requirement ID to cancel.
      */
     cancel(requirementId: string): void;
+    /**
+     * Untrack an in-flight resolver by requirement ID **without** aborting it
+     * (RFC-0003 resolver constraint-binding).
+     *
+     * @remarks
+     * Used for bound resolvers whose triggering requirement was removed: the
+     * resolver runs to completion (its data writes land; the binding still
+     * guards owned facts) but it no longer occupies the `inflight` slot, so the
+     * same requirement re-dispatches cleanly if it returns. A no-op if the
+     * requirement is not in-flight.
+     *
+     * @param requirementId - The unique requirement ID to detach.
+     */
+    detach(requirementId: string): void;
     /**
      * Cancel every in-flight resolver and flush all pending batch queues.
      */
@@ -709,23 +734,18 @@ interface ResolversManager<_S extends Schema> {
  * Per-constraint binding info, used by RFC-1 (resolver constraint-binding).
  *
  * The engine wires this lookup into the resolvers manager so that a resolver
- * dispatched from a constraint with `bind: 'auto'` can re-evaluate the
- * constraint's `when()` predicate live on every fact write.
+ * dispatched from a constraint with an `owns` field knows which facts it
+ * *owns* — writes to those are clobber-checked (see {@link createBoundFacts}).
  *
- * Returns `null` (or the lookup itself returns `undefined`) when the source
- * constraint is unknown, async, or has `bind: 'none'` — in which case
- * binding is a no-op and the resolver behaves exactly as before.
+ * Returns `undefined`/`null` when the source constraint is unknown or has no
+ * `owns` field — in which case binding is a no-op and the resolver behaves
+ * exactly as before.
  *
  * @internal
  */
-interface ConstraintBindingInfo<S extends Schema> {
-    /** The constraint's `bind` mode (effective; async predicates are forced to `'none'`). */
-    mode: ConstraintBindMode;
-    /**
-     * The constraint's `when()` predicate, narrowed to a sync signature.
-     * Only populated when `mode === 'auto'` and the constraint is sync.
-     */
-    when: ((facts: Facts<S>) => boolean) | null;
+interface ConstraintBindingInfo {
+    /** Fact keys the triggering resolver owns; writes to these are clobber-checked. */
+    readonly fields: readonly string[];
 }
 /**
  * Configuration options accepted by {@link createResolversManager}.
@@ -743,11 +763,10 @@ interface CreateResolversOptions<S extends Schema> {
      * Look up binding info for a source constraint id (RFC-1).
      *
      * Wired by the engine — given the `fromConstraint` of a `RequirementWithId`,
-     * returns the constraint's effective bind mode + a synchronous `when()`
-     * reference. Return `undefined` if the constraint is unknown or binding
-     * does not apply.
+     * returns the constraint's owned fact keys. Return `undefined` if the
+     * constraint is unknown or has no `owns` field.
      */
-    getConstraintBinding?: (constraintId: string) => ConstraintBindingInfo<S> | undefined;
+    getConstraintBinding?: (constraintId: string) => ConstraintBindingInfo | undefined;
     /** Called when a resolver begins execution. */
     onStart?: (resolver: string, req: RequirementWithId) => void;
     /** Called when a resolver completes successfully, with the wall-clock duration in ms. */
@@ -758,6 +777,19 @@ interface CreateResolversOptions<S extends Schema> {
     onRetry?: (resolver: string, req: RequirementWithId, attempt: number) => void;
     /** Called when a resolver is canceled via {@link ResolversManager.cancel | cancel}. */
     onCancel?: (resolver: string, req: RequirementWithId) => void;
+    /**
+     * Called when a bound resolver's owned-fact write is dropped because the
+     * fact was changed by something outside the resolver (RFC-0003 clobber).
+     * Fires once per dropped write; the resolver's `AbortController` is also
+     * aborted in the same step. Wired to plugins for observability.
+     */
+    onClobber?: (resolver: string, req: RequirementWithId, fact: string, expected: unknown, actual: unknown) => void;
+    /**
+     * Called once when a single resolver instance exceeds the per-instance
+     * clobber-event cap. `dropped` is the number of per-clobber events
+     * suppressed. Rate-limits clobber-event amplification (RFC-0003).
+     */
+    onClobberSuppressed?: (resolver: string, req: RequirementWithId, dropped: number) => void;
     /** Called after any resolver finishes (success, error, or batch completion) to trigger reconciliation. */
     onResolutionComplete?: () => void;
     /**
@@ -768,16 +800,15 @@ interface CreateResolversOptions<S extends Schema> {
      */
     onRequeue?: (requirementId: string) => void;
 }
-declare function createResolversManager<S extends Schema>(options: CreateResolversOptions<S>): ResolversManager<S>;
-
 /**
- * Plugin Architecture - Extensible middleware for Directive
+ * Creates a resolver manager that tracks active resolver instances and
+ * coordinates their lifecycle (start / complete / error / cancel) against
+ * the engine's requirement graph.
  *
- * Features:
- * - Lifecycle hooks for all engine events
- * - Multiple plugins can be composed
- * - Plugins execute in registration order
+ * @param options - resolver definitions, facts reference, and event hooks
+ * @returns the manager handle used by the engine to drive resolver invocations
  */
+declare function createResolversManager<S extends Schema>(options: CreateResolversOptions<S>): ResolversManager<S>;
 
 /**
  * Internal manager that broadcasts lifecycle events to registered {@link Plugin} instances.
@@ -826,7 +857,7 @@ interface PluginManager<_S extends Schema = any> {
     emitDerivationInvalidate(id: string): void;
     emitReconcileStart(snapshot: FactsSnapshot<any>): void;
     emitReconcileEnd(result: ReconcileResult): void;
-    emitConstraintEvaluate(id: string, active: boolean): void;
+    emitConstraintEvaluate(id: string, active: boolean, whenExplain?: ClauseResult[]): void;
     emitConstraintError(id: string, error: unknown): void;
     emitRequirementCreated(req: RequirementWithId): void;
     emitRequirementMet(req: RequirementWithId, byResolver: string): void;
@@ -836,6 +867,21 @@ interface PluginManager<_S extends Schema = any> {
     emitResolverError(resolver: string, req: RequirementWithId, error: unknown): void;
     emitResolverRetry(resolver: string, req: RequirementWithId, attempt: number): void;
     emitResolverCancel(resolver: string, req: RequirementWithId): void;
+    emitResolverWriteRejected(event: {
+        kind: "rejection";
+        resolver: string;
+        req: RequirementWithId;
+        reason: "clobbered";
+        fact: string;
+        expected: unknown;
+        actual: unknown;
+    } | {
+        kind: "summary";
+        resolver: string;
+        req: RequirementWithId;
+        reason: "clobbered";
+        dropped: number;
+    }): void;
     emitEffectRun(id: string): void;
     emitEffectError(id: string, error: unknown): void;
     emitSnapshot(snapshot: Snapshot): void;

package/dist/internals.js

@@ -1,2 +1,2 @@
-export{c as createConstraintFactory,p as createConstraintsManager,q as createDerivationsManager,j as createDisabledHistory,r as createEffectsManager,z as createEngine,t as createErrorBoundaryManager,w as createFacts,v as createFactsProxy,u as createFactsStore,i as createHistoryManager,x as createPluginManager,d as createResolverFactory,y as createResolversManager,s as createRetryLaterManager}from'./chunk-E2WETPLH.js';export{g as getCurrentDeps,h as isTracking,k as trackAccess,i as withTracking,j as withoutTracking}from'./chunk-FK7BD7XT.js';export{l as safeStringify}from'./chunk-4CMO5OVZ.js';//# sourceMappingURL=internals.js.map
+export{q as createConstraintFactory,D as createConstraintsManager,E as createDerivationsManager,x as createDisabledHistory,F as createEffectsManager,N as createEngine,H as createErrorBoundaryManager,K as createFacts,J as createFactsProxy,I as createFactsStore,w as createHistoryManager,L as createPluginManager,r as createResolverFactory,M as createResolversManager,G as createRetryLaterManager}from'./chunk-OVNPYGYJ.js';export{g as getCurrentDeps,h as isTracking,k as trackAccess,i as withTracking,j as withoutTracking}from'./chunk-EH2Q754B.js';export{n as safeStringify}from'./chunk-T6IJUWYR.js';//# sourceMappingURL=internals.js.map
 //# sourceMappingURL=internals.js.map