@directive-run/core 1.12.0 → 1.13.0

package/dist/{plugins-Ykl_sAPE.d.ts → plugins-BIzXaYbg.d.cts}

@@ -2134,6 +2134,20 @@ interface SystemInspection {
          * exposed for devtools and `explain()` rendering.
          */
         whenSpec?: FactPredicate<Record<string, unknown>>;
+        /**
+         * Owned-fact list for RFC-0003 binding. Populated from the
+         * constraint definition's `owns:` field. Exposed for `doctor.checkOwns()`
+         * so it can flag candidates that would race or shadow these writes.
+         * Absent when the constraint declares no `owns`.
+         */
+        readonly owns?: readonly string[];
+        /**
+         * Fact paths the constraint `bind:`s to. v2 promise — the runtime
+         * does not yet emit a `bind` field on inspect snapshots, but the
+         * type slot is reserved so `doctor.checkOwns()` is stable across
+         * the rollout. (F1)
+         */
+        readonly bind?: readonly string[];
     }>;
     resolvers: Record<string, ResolverStatus>;
     /** All defined resolver names and their requirement types */
@@ -3046,4 +3060,4 @@ interface Plugin<M extends ModuleSchema = ModuleSchema> {
     onTraceComplete?: (entry: TraceEntry) => void;
 }
 
-export { type ObservationEvent as $, type AnySystem as A, type BatchConfig as B, type ClauseResult as C, type DefinitionMeta as D, type EffectsDef as E, type FactTemplate as F, type DynamicResolverDef as G, type FactsSnapshot as H, type HistoryAPI as I, type HistoryOption as J, type HistoryState as K, type InferDerivations as L, type ModuleSchema as M, type NamespacedSystem as N, type InferEvents as O, type PredicateOp as P, type InferFacts as Q, type RequirementWithId as R, type SchemaType as S, type TypedDerivationsDef as T, type InferRequirementTypes as U, type InferRequirements as V, type InferSchemaType as W, type InferSelectorState as X, type KeySelector as Y, type MetaAccessor as Z, type MetaMatch as _, type PatchSpec as a, type RequirementsSchema as a$, type OperatorObject as a0, type PatchValue as a1, type PayloadRef as a2, type PredicateClause as a3, type PredicateCombinator as a4, type PredicateCombinatorKey as a5, type PredicateObject as a6, type RetryPolicy as a7, type Schema as a8, type Snapshot as a9, type DerivationReturnType as aA, type DerivationsControl as aB, type DerivationsSchema as aC, type DeriveAccessor as aD, type DispatchEventsFromSchema as aE, type EffectCleanup as aF, type EffectsControl as aG, type EventPayloadSchema as aH, type EventsAccessor as aI, type EventsAccessorFromSchema as aJ, type EventsDef as aK, type EventsSchema as aL, type FactKeys as aM, type FactReturnType as aN, type FlexibleEventHandler as aO, type HistoryConfig as aP, type InferEventPayloadFromSchema as aQ, type InferRequirementPayloadFromSchema as aR, type InferSchema 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 RequirementOutput as aZ, type RequirementPayloadSchema$1 as a_, type System as aa, type SystemConfig as ab, type SystemInspection as ac, type SystemMode as ad, type SystemSnapshot as ae, type TraceEntry as af, isNamespacedSystem as ag, isSingleModuleSystem as ah, type FactsStore as ai, type ConstraintsDef as aj, type ConstraintState as ak, type ResolversDef as al, type ResolverStatus as am, type FactChange as an, type ReconcileResult as ao, type RecoveryStrategy as ap, type ErrorSource as aq, type RetryLaterConfig as ar, type BatchItemResult as as, type BatchResolveResults as at, type ConstraintsControl as au, type CrossModuleConstraintDef as av, type CrossModuleDerivationFn as aw, type CrossModuleEffectDef as ax, type CrossModuleFactsWithSelf as ay, type DerivationKeys as az, type FactPredicate as b, type ResolverContext as b0, type ResolversControl as b1, type SnapshotMeta as b2, type SystemEvent as b3, type TraceConfig as b4, type TypedConstraintDef as b5, type TypedResolverContext as b6, type TypedResolverDef as b7, type UnionEvents as b8, type RequirementOutput$1 as b9, type Facts as c, type TypedEventsDef as d, type TypedConstraintsDef as e, type TypedResolversDef as f, type ModuleHooks as g, type CrossModuleDeps 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 Plugin as q, type TraceOption as r, type ErrorBoundaryConfig as s, type Requirement as t, type RequirementKeyFn as u, DirectiveError as v, type DistributableSnapshot as w, type DistributableSnapshotOptions as x, type DynamicConstraintDef as y, type DynamicEffectDef as z };
+export { type PatchSpec as $, type AnySystem as A, type BatchConfig as B, type ClauseResult as C, type DefinitionMeta as D, type EffectsDef as E, type FactPredicate as F, type HistoryOption as G, type HistoryAPI as H, type HistoryState as I, type InferDerivations as J, type InferEvents as K, type InferFacts as L, type ModuleSchema as M, type NamespacedSystem as N, type InferRequirementTypes as O, type Plugin as P, type InferRequirements as Q, type RequirementWithId as R, type SchemaType as S, type TypedDerivationsDef as T, type InferSchemaType as U, type InferSelectorState as V, type KeySelector as W, type MetaAccessor as X, type MetaMatch as Y, type ObservationEvent as Z, type OperatorObject as _, type Facts as a, type RequirementsSchema as a$, type PatchValue as a0, type PayloadRef as a1, type PredicateClause as a2, type PredicateCombinator as a3, type PredicateCombinatorKey as a4, type PredicateObject as a5, type PredicateOp as a6, type RetryPolicy as a7, type Schema as a8, type Snapshot as a9, type DerivationReturnType as aA, type DerivationsControl as aB, type DerivationsSchema as aC, type DeriveAccessor as aD, type DispatchEventsFromSchema as aE, type EffectCleanup as aF, type EffectsControl as aG, type EventPayloadSchema as aH, type EventsAccessor as aI, type EventsAccessorFromSchema as aJ, type EventsDef as aK, type EventsSchema as aL, type FactKeys as aM, type FactReturnType as aN, type FlexibleEventHandler as aO, type HistoryConfig as aP, type InferEventPayloadFromSchema as aQ, type InferRequirementPayloadFromSchema as aR, type InferSchema 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 RequirementOutput as aZ, type RequirementPayloadSchema$1 as a_, type System as aa, type SystemConfig as ab, type SystemInspection as ac, type SystemMode as ad, type SystemSnapshot as ae, type TraceEntry as af, isNamespacedSystem as ag, isSingleModuleSystem as ah, type FactsStore as ai, type ConstraintsDef as aj, type ConstraintState as ak, type ResolversDef as al, type ResolverStatus as am, type FactChange as an, type ReconcileResult as ao, type RecoveryStrategy as ap, type ErrorSource as aq, type RetryLaterConfig as ar, type BatchItemResult as as, type BatchResolveResults as at, type ConstraintsControl as au, type CrossModuleConstraintDef as av, type CrossModuleDerivationFn as aw, type CrossModuleEffectDef as ax, type CrossModuleFactsWithSelf as ay, type DerivationKeys as az, type TypedEventsDef as b, type ResolverContext as b0, type ResolversControl as b1, type SnapshotMeta as b2, type SystemEvent as b3, type TraceConfig as b4, type TypedConstraintDef as b5, type TypedResolverContext as b6, type TypedResolverDef as b7, type UnionEvents as b8, type RequirementOutput$1 as b9, type TypedConstraintsDef as c, type TypedResolversDef as d, type ModuleHooks as e, type CrossModuleDeps as f, type CrossModuleDerivationsDef as g, type CrossModuleEffectsDef as h, type CrossModuleConstraintsDef as i, type ModuleDef as j, type CreateSystemOptionsSingle as k, type SingleModuleSystem as l, type ModulesMap as m, type CreateSystemOptionsNamed as n, type TraceOption as o, type ErrorBoundaryConfig as p, type Requirement as q, type RequirementKeyFn as r, DirectiveError as s, type DistributableSnapshot as t, type DistributableSnapshotOptions as u, type DynamicConstraintDef as v, type DynamicEffectDef as w, type DynamicResolverDef as x, type FactTemplate as y, type FactsSnapshot as z };

package/dist/{plugins-Ykl_sAPE.d.cts → plugins-BIzXaYbg.d.ts}

@@ -2134,6 +2134,20 @@ interface SystemInspection {
          * exposed for devtools and `explain()` rendering.
          */
         whenSpec?: FactPredicate<Record<string, unknown>>;
+        /**
+         * Owned-fact list for RFC-0003 binding. Populated from the
+         * constraint definition's `owns:` field. Exposed for `doctor.checkOwns()`
+         * so it can flag candidates that would race or shadow these writes.
+         * Absent when the constraint declares no `owns`.
+         */
+        readonly owns?: readonly string[];
+        /**
+         * Fact paths the constraint `bind:`s to. v2 promise — the runtime
+         * does not yet emit a `bind` field on inspect snapshots, but the
+         * type slot is reserved so `doctor.checkOwns()` is stable across
+         * the rollout. (F1)
+         */
+        readonly bind?: readonly string[];
     }>;
     resolvers: Record<string, ResolverStatus>;
     /** All defined resolver names and their requirement types */
@@ -3046,4 +3060,4 @@ interface Plugin<M extends ModuleSchema = ModuleSchema> {
     onTraceComplete?: (entry: TraceEntry) => void;
 }
 
-export { type ObservationEvent as $, type AnySystem as A, type BatchConfig as B, type ClauseResult as C, type DefinitionMeta as D, type EffectsDef as E, type FactTemplate as F, type DynamicResolverDef as G, type FactsSnapshot as H, type HistoryAPI as I, type HistoryOption as J, type HistoryState as K, type InferDerivations as L, type ModuleSchema as M, type NamespacedSystem as N, type InferEvents as O, type PredicateOp as P, type InferFacts as Q, type RequirementWithId as R, type SchemaType as S, type TypedDerivationsDef as T, type InferRequirementTypes as U, type InferRequirements as V, type InferSchemaType as W, type InferSelectorState as X, type KeySelector as Y, type MetaAccessor as Z, type MetaMatch as _, type PatchSpec as a, type RequirementsSchema as a$, type OperatorObject as a0, type PatchValue as a1, type PayloadRef as a2, type PredicateClause as a3, type PredicateCombinator as a4, type PredicateCombinatorKey as a5, type PredicateObject as a6, type RetryPolicy as a7, type Schema as a8, type Snapshot as a9, type DerivationReturnType as aA, type DerivationsControl as aB, type DerivationsSchema as aC, type DeriveAccessor as aD, type DispatchEventsFromSchema as aE, type EffectCleanup as aF, type EffectsControl as aG, type EventPayloadSchema as aH, type EventsAccessor as aI, type EventsAccessorFromSchema as aJ, type EventsDef as aK, type EventsSchema as aL, type FactKeys as aM, type FactReturnType as aN, type FlexibleEventHandler as aO, type HistoryConfig as aP, type InferEventPayloadFromSchema as aQ, type InferRequirementPayloadFromSchema as aR, type InferSchema 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 RequirementOutput as aZ, type RequirementPayloadSchema$1 as a_, type System as aa, type SystemConfig as ab, type SystemInspection as ac, type SystemMode as ad, type SystemSnapshot as ae, type TraceEntry as af, isNamespacedSystem as ag, isSingleModuleSystem as ah, type FactsStore as ai, type ConstraintsDef as aj, type ConstraintState as ak, type ResolversDef as al, type ResolverStatus as am, type FactChange as an, type ReconcileResult as ao, type RecoveryStrategy as ap, type ErrorSource as aq, type RetryLaterConfig as ar, type BatchItemResult as as, type BatchResolveResults as at, type ConstraintsControl as au, type CrossModuleConstraintDef as av, type CrossModuleDerivationFn as aw, type CrossModuleEffectDef as ax, type CrossModuleFactsWithSelf as ay, type DerivationKeys as az, type FactPredicate as b, type ResolverContext as b0, type ResolversControl as b1, type SnapshotMeta as b2, type SystemEvent as b3, type TraceConfig as b4, type TypedConstraintDef as b5, type TypedResolverContext as b6, type TypedResolverDef as b7, type UnionEvents as b8, type RequirementOutput$1 as b9, type Facts as c, type TypedEventsDef as d, type TypedConstraintsDef as e, type TypedResolversDef as f, type ModuleHooks as g, type CrossModuleDeps 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 Plugin as q, type TraceOption as r, type ErrorBoundaryConfig as s, type Requirement as t, type RequirementKeyFn as u, DirectiveError as v, type DistributableSnapshot as w, type DistributableSnapshotOptions as x, type DynamicConstraintDef as y, type DynamicEffectDef as z };
+export { type PatchSpec as $, type AnySystem as A, type BatchConfig as B, type ClauseResult as C, type DefinitionMeta as D, type EffectsDef as E, type FactPredicate as F, type HistoryOption as G, type HistoryAPI as H, type HistoryState as I, type InferDerivations as J, type InferEvents as K, type InferFacts as L, type ModuleSchema as M, type NamespacedSystem as N, type InferRequirementTypes as O, type Plugin as P, type InferRequirements as Q, type RequirementWithId as R, type SchemaType as S, type TypedDerivationsDef as T, type InferSchemaType as U, type InferSelectorState as V, type KeySelector as W, type MetaAccessor as X, type MetaMatch as Y, type ObservationEvent as Z, type OperatorObject as _, type Facts as a, type RequirementsSchema as a$, type PatchValue as a0, type PayloadRef as a1, type PredicateClause as a2, type PredicateCombinator as a3, type PredicateCombinatorKey as a4, type PredicateObject as a5, type PredicateOp as a6, type RetryPolicy as a7, type Schema as a8, type Snapshot as a9, type DerivationReturnType as aA, type DerivationsControl as aB, type DerivationsSchema as aC, type DeriveAccessor as aD, type DispatchEventsFromSchema as aE, type EffectCleanup as aF, type EffectsControl as aG, type EventPayloadSchema as aH, type EventsAccessor as aI, type EventsAccessorFromSchema as aJ, type EventsDef as aK, type EventsSchema as aL, type FactKeys as aM, type FactReturnType as aN, type FlexibleEventHandler as aO, type HistoryConfig as aP, type InferEventPayloadFromSchema as aQ, type InferRequirementPayloadFromSchema as aR, type InferSchema 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 RequirementOutput as aZ, type RequirementPayloadSchema$1 as a_, type System as aa, type SystemConfig as ab, type SystemInspection as ac, type SystemMode as ad, type SystemSnapshot as ae, type TraceEntry as af, isNamespacedSystem as ag, isSingleModuleSystem as ah, type FactsStore as ai, type ConstraintsDef as aj, type ConstraintState as ak, type ResolversDef as al, type ResolverStatus as am, type FactChange as an, type ReconcileResult as ao, type RecoveryStrategy as ap, type ErrorSource as aq, type RetryLaterConfig as ar, type BatchItemResult as as, type BatchResolveResults as at, type ConstraintsControl as au, type CrossModuleConstraintDef as av, type CrossModuleDerivationFn as aw, type CrossModuleEffectDef as ax, type CrossModuleFactsWithSelf as ay, type DerivationKeys as az, type TypedEventsDef as b, type ResolverContext as b0, type ResolversControl as b1, type SnapshotMeta as b2, type SystemEvent as b3, type TraceConfig as b4, type TypedConstraintDef as b5, type TypedResolverContext as b6, type TypedResolverDef as b7, type UnionEvents as b8, type RequirementOutput$1 as b9, type TypedConstraintsDef as c, type TypedResolversDef as d, type ModuleHooks as e, type CrossModuleDeps as f, type CrossModuleDerivationsDef as g, type CrossModuleEffectsDef as h, type CrossModuleConstraintsDef as i, type ModuleDef as j, type CreateSystemOptionsSingle as k, type SingleModuleSystem as l, type ModulesMap as m, type CreateSystemOptionsNamed as n, type TraceOption as o, type ErrorBoundaryConfig as p, type Requirement as q, type RequirementKeyFn as r, DirectiveError as s, type DistributableSnapshot as t, type DistributableSnapshotOptions as u, type DynamicConstraintDef as v, type DynamicEffectDef as w, type DynamicResolverDef as x, type FactTemplate as y, type FactsSnapshot as z };