@directive-run/core 1.21.0 → 1.22.0

package/dist/index.d.cts

@@ -1,8 +1,8 @@
-import { C as ClauseResult, F as FactPredicate, S as SchemaType, D as DefinitionMeta, M as ModuleSchema, a as Facts, T as TypedDerivationsDef, b as TypedEventsDef, E as EffectsDef, c as SourcesDef, d as TypedConstraintsDef, e as TypedResolversDef, f as ModuleHooks, g as CrossModuleDeps, h as CrossModuleDerivationsDef, i as CrossModuleEffectsDef, j as CrossModuleConstraintsDef, k as ModuleDef, l as CreateSystemOptionsSingle, m as SingleModuleSystem, n as ModulesMap, o as CreateSystemOptionsNamed, N as NamespacedSystem, P as Plugin, p as TraceOption, q as ErrorBoundaryConfig, R as RequirementWithId, r as Requirement, s as RequirementKeyFn } from './plugins-4IfhJV32.cjs';
-export { A as AnySystem, B as BatchConfig, t as ConstraintDefinition, u as ConstraintsDefinition, v as CrossModuleConstraintDefinition, w as CrossModuleEffectDefinition, x as DirectiveError, y as DistributableSnapshot, z as DistributableSnapshotOptions, G as DynamicConstraintDef, G as DynamicConstraintDefinition, H as DynamicEffectDef, I as DynamicResolverDef, I as DynamicResolverDefinition, J as EffectDefinition, K as EventsDefinition, L as FactTemplate, O as FactsSnapshot, Q as HistoryAPI, U as HistoryOption, V as HistoryState, W as InferDerivations, X as InferEvents, Y as InferFacts, Z as InferRequirementTypes, _ as InferRequirements, $ as InferSchemaType, a0 as InferSelectorState, a1 as KeySelector, a2 as MetaAccessor, a3 as MetaMatch, a4 as ObservationEvent, a5 as OperatorObject, a6 as PatchSpec, a7 as PatchValue, a8 as PayloadRef, a9 as PredicateClause, aa as PredicateCombinator, ab as PredicateCombinatorKey, ac as PredicateObject, ad as PredicateOp, ae as ResolverDefinition, af as ResolversDefinition, ag as RetryPolicy, ah as Schema, ai as SchemaTypedResolversDefinition, aj as Snapshot, ak as SourceDef, ak as SourceDefinition, al as SourceDropReason, am as SourcePublish, am as SourcePublishFn, an as SourceReportError, ao as SourceUnsubscribe, ao as SourceUnsubscribeFn, ap as System, aq as SystemConfig, ar as SystemDerived, as as SystemFacts, at as SystemInspection, au as SystemMode, av as SystemSnapshot, aw as TraceEntry, ax as TypedConstraintDefinition, ay as TypedResolverDefinition, az as isNamespacedSystem, aA as isSingleModuleSystem } from './plugins-4IfhJV32.cjs';
-import { S as SchemaKindNode } from './predicate-DBTPnlg6.cjs';
-export { D as DerivationDefWithMeta, a as DerivationDefinition, D as DerivationDefinitionWithMeta, b as DerivationsDefinition, c as SchemaKind, d as SchemaValidationError, e as SchemaValidationOptions, f as SchemaValidationResult, g as applyPatch, h as evaluateKeySelector, i as evaluatePredicate, j as evaluatePredicateExplained, k as evaluateTemplate, l as extractDeps, m as extractTemplateKeys, n as getKind, o as getOperatorsForKind, p as getSchemaFieldKinds, q as isPredicate, r as isTemplate, s as listAllPredicateOperators, t as memoizePredicate, u as typedConstraint, v as typedResolver, w as validatePredicate, x as validatePredicateAgainstSchema } from './predicate-DBTPnlg6.cjs';
-export { A as AuditEntry, a as AuditEntryKind, b as AuditLedger, c as AuditLedgerOptions, d as AuditLedgerSink, Q as QueryFilter, V as VerifyResult, e as createAuditLedger, m as memorySink } from './index-CvQuu0tu.cjs';
+import { C as ClauseResult, F as FactPredicate, S as SchemaType, D as DefinitionMeta, M as ModuleSchema, a as Facts, T as TypedDerivationsDef, b as TypedEventsDef, E as EffectsDef, c as SourcesDef, d as TypedConstraintsDef, e as TypedResolversDef, f as ModuleHooks, g as CrossModuleDeps, h as CrossModuleDerivationsDef, i as CrossModuleEffectsDef, j as CrossModuleConstraintsDef, k as ModuleDef, l as CreateSystemOptionsSingle, m as SingleModuleSystem, n as ModulesMap, o as CreateSystemOptionsNamed, N as NamespacedSystem, P as Plugin, p as TraceOption, q as ErrorBoundaryConfig, R as RequirementWithId, r as Requirement, s as RequirementKeyFn } from './plugins-5Supk7it.cjs';
+export { A as AnySystem, B as BatchConfig, t as ConstraintDefinition, u as ConstraintsDefinition, v as CrossModuleConstraintDefinition, w as CrossModuleEffectDefinition, x as DirectiveError, y as DistributableSnapshot, z as DistributableSnapshotOptions, G as DynamicConstraintDef, G as DynamicConstraintDefinition, H as DynamicEffectDef, I as DynamicResolverDef, I as DynamicResolverDefinition, J as EffectDefinition, K as EventsDefinition, L as FactTemplate, O as FactsSnapshot, Q as HistoryAPI, U as HistoryOption, V as HistoryState, W as InferDerivations, X as InferEvents, Y as InferFacts, Z as InferRequirementTypes, _ as InferRequirements, $ as InferSchemaType, a0 as InferSelectorState, a1 as KeySelector, a2 as MetaAccessor, a3 as MetaMatch, a4 as ObservationEvent, a5 as OperatorObject, a6 as PatchSpec, a7 as PatchValue, a8 as PayloadRef, a9 as PredicateClause, aa as PredicateCombinator, ab as PredicateCombinatorKey, ac as PredicateObject, ad as PredicateOp, ae as ResolverDefinition, af as ResolversDefinition, ag as RetryPolicy, ah as Schema, ai as SchemaTypedResolversDefinition, aj as Snapshot, ak as SourceDef, ak as SourceDefinition, al as SourceDropReason, am as SourcePublish, am as SourcePublishFn, an as SourceReportError, ao as SourceUnsubscribe, ao as SourceUnsubscribeFn, ap as System, aq as SystemConfig, ar as SystemDerived, as as SystemFacts, at as SystemInspection, au as SystemMode, av as SystemSnapshot, aw as TraceEntry, ax as TypedConstraintDefinition, ay as TypedResolverDefinition, az as isNamespacedSystem, aA as isSingleModuleSystem } from './plugins-5Supk7it.cjs';
+import { S as SchemaKindNode } from './predicate-DYb-3Mvl.cjs';
+export { D as DerivationDefWithMeta, a as DerivationDefinition, D as DerivationDefinitionWithMeta, b as DerivationsDefinition, c as SchemaKind, d as SchemaValidationError, e as SchemaValidationOptions, f as SchemaValidationResult, g as applyPatch, h as evaluateKeySelector, i as evaluatePredicate, j as evaluatePredicateExplained, k as evaluateTemplate, l as extractDeps, m as extractTemplateKeys, n as getKind, o as getOperatorsForKind, p as getSchemaFieldKinds, q as isPredicate, r as isTemplate, s as listAllPredicateOperators, t as memoizePredicate, u as typedConstraint, v as typedResolver, w as validatePredicate, x as validatePredicateAgainstSchema } from './predicate-DYb-3Mvl.cjs';
+export { A as AuditEntry, a as AuditEntryKind, b as AuditLedger, c as AuditLedgerOptions, d as AuditLedgerSink, Q as QueryFilter, V as VerifyResult, e as createAuditLedger, m as memorySink } from './index-DRPkZ8HE.cjs';
 export { D as DistributableSnapshotLike, S as SignedSnapshot, a as SnapshotDiff, b as SnapshotDiffEntry, d as diffSnapshots, i as isSignedSnapshot, c as isSnapshotExpired, s as shallowEqual, e as signSnapshot, v as validateSnapshot, f as verifySnapshotSignature } from './utils-DY8KTiD6.cjs';
 
 /**
@@ -581,9 +581,10 @@ declare function predict<F = Record<string, unknown>>(predicate: FactPredicate<F
  * defensible.
  *
  * **v1 scope LIMITATION (M4):** `checkAgainst` operates on predicate
- * logic only. It does NOT consult `bind:` / `owns:` resolver metadata —
- * a candidate that would *write* to a fact owned by another constraint
- * will not be flagged here. Use `doctor.checkOwns()` for that gate.
+ * logic only. It does NOT consult `bind:` / `abortOn:` resolver
+ * metadata — a candidate that would *write* to a fact in another
+ * constraint's abort-binding will not be flagged here. Use
+ * `doctor.checkAbortOn()` for that gate.
  *
  * **INVARIANT (M11):** `checkAgainst` depends on `flattenPredicate`
  * emitting `{ path, op, value }` LeafClause shape — if that shape ever
@@ -632,30 +633,31 @@ interface ExistingConstraint {
     readonly id: string;
     readonly whenSpec?: unknown;
     /**
-     * Fact paths the constraint's resolver(s) write to, if exposed by the
-     * inspect API. Consulted by {@link doctor.checkOwns} to flag candidates
-     * that would write to fields owned elsewhere. Optional — older inspect
-     * payloads omit it.
+     * Fact paths the constraint's resolver aborts on when changed
+     * mid-flight, if exposed by the inspect API. Consulted by
+     * {@link doctor.checkAbortOn} to flag candidates that would write to
+     * fields under another constraint's abort-binding. Optional — older
+     * inspect payloads omit it.
      */
-    readonly owns?: readonly string[];
-    /** Same as {@link owns} but for the bind: side of binding metadata. */
+    readonly abortOn?: readonly string[];
+    /** Same as {@link abortOn} but for the bind: side of binding metadata. */
     readonly bind?: readonly string[];
 }
 /**
- * Returned by {@link doctor.checkOwns}.
+ * Returned by {@link doctor.checkAbortOn}.
  *
  * `severity` matches the {@link Contradiction} discriminator on
  * {@link CheckAgainstResult} so callers can route both shapes
- * uniformly: by default, owns-collisions are `"warning"` (the engine
- * still has a runtime gate), but a caller can promote them to
- * `"error"` for stricter pre-deploy linting. (M5)
+ * uniformly: by default, abort-binding collisions are `"warning"`
+ * (the engine still has a runtime gate), but a caller can promote them
+ * to `"error"` for stricter pre-deploy linting. (M5)
  */
-interface CheckOwnsFinding {
+interface CheckAbortOnFinding {
     readonly constraintId: string;
     /** The fact path on the candidate predicate that triggered the finding. */
     readonly candidatePath: string;
-    /** The owner side it would collide with: "owns" or "bind". */
-    readonly source: "owns" | "bind";
+    /** The binding side it would collide with: "abortOn" or "bind". */
+    readonly source: "abortOn" | "bind";
     readonly reason: string;
     /**
      * Severity discriminator — `"warning"` by default (the engine has
@@ -665,20 +667,21 @@ interface CheckOwnsFinding {
     readonly severity?: "error" | "warning";
 }
 /**
- * Result of {@link doctor.checkOwns}.
+ * Result of {@link doctor.checkAbortOn}.
  *
- * Owns-/bind- collisions are warnings, not contradictions — the engine
- * itself enforces the runtime binding gate, so a pre-deploy doctor pass
- * treats them as advisory. The {@link CheckOwnsFinding.severity}
- * discriminator anticipates v2 promotion of findings to errors. (M5, F-3)
+ * AbortOn-/bind- collisions are warnings, not contradictions — the
+ * engine itself enforces the runtime binding gate, so a pre-deploy
+ * doctor pass treats them as advisory. The
+ * {@link CheckAbortOnFinding.severity} discriminator anticipates v2
+ * promotion of findings to errors. (M5, F-3)
  */
-interface CheckOwnsResult {
+interface CheckAbortOnResult {
     /**
-     * Owns-/bind- collisions surfaced by {@link doctor.checkOwns}. Empty
-     * when constraints expose no `owns:` / `bind:` metadata or the
-     * candidate's fact paths don't overlap.
+     * AbortOn-/bind- collisions surfaced by {@link doctor.checkAbortOn}.
+     * Empty when constraints expose no `abortOn:` / `bind:` metadata or
+     * the candidate's fact paths don't overlap.
      */
-    readonly warnings: readonly CheckOwnsFinding[];
+    readonly warnings: readonly CheckAbortOnFinding[];
 }
 declare const doctor: {
     /**
@@ -712,31 +715,32 @@ declare const doctor: {
     }): CheckAgainstResult;
     /**
      * Flag a candidate predicate whose referenced fact paths overlap with
-     * fields *owned* (or `bind:`-bound) by an existing constraint's
-     * resolvers. A v1 stub: relies on `inspect()` exposing `owns:` / `bind:`
-     * on each constraint snapshot. When that metadata is absent, this
-     * returns `{ findings: [] }` — no false positives.
+     * fields in another constraint's `abortOn:` list (or `bind:`-bound by
+     * an existing constraint's resolvers). A v1 stub: relies on
+     * `inspect()` exposing `abortOn:` / `bind:` on each constraint
+     * snapshot. When that metadata is absent, this returns
+     * `{ findings: [] }` — no false positives.
      *
      * **TODO (v2):** wire the engine's resolver-ownership graph through
      * `system.inspect()` so this returns real findings without manual
-     * `owns:` annotations on inspect payloads.
+     * `abortOn:` annotations on inspect payloads.
      *
      * @example
      * ```ts
-     * doctor.checkOwns(
+     * doctor.checkAbortOn(
      *   { cartTotal: { $gte: 100 } },
      *   system.inspect(),
      * );
      * // → { findings: [
      * //     { constraintId: "applyDiscount", candidatePath: "cartTotal",
-     * //       source: "owns",
-     * //       reason: "Constraint applyDiscount already owns cartTotal." }
+     * //       source: "abortOn",
+     * //       reason: "Constraint applyDiscount aborts on cartTotal." }
      * //   ] }
      * ```
      */
-    checkOwns<F = Record<string, unknown>>(candidate: FactPredicate<F>, existing: readonly ExistingConstraint[] | {
+    checkAbortOn<F = Record<string, unknown>>(candidate: FactPredicate<F>, existing: readonly ExistingConstraint[] | {
         constraints: readonly ExistingConstraint[];
-    }): CheckOwnsResult;
+    }): CheckAbortOnResult;
 };
 
 /**
@@ -2253,4 +2257,4 @@ declare const Backoff: {
     readonly Exponential: "exponential";
 };
 
-export { Backoff, type Branded, type ChainableSchemaType, type Change, type ChangeKind, type CheckAgainstResult, type CheckOwnsFinding, type CheckOwnsResult, ClauseResult, type ConstraintDiff, type ConstraintStatus, type Contradiction, type ContradictionType, CreateSystemOptionsNamed, CreateSystemOptionsSingle, CrossModuleConstraintsDef as CrossModuleConstraintsDefinition, CrossModuleDeps, CrossModuleDerivationsDef as CrossModuleDerivationsDefinition, CrossModuleEffectsDef as CrossModuleEffectsDefinition, DefinitionMeta, type DescribeOptions, type DiffRulesOptions, EffectsDef as EffectsDefinition, ErrorBoundaryConfig, type ExistingConstraint, type ExtendedSchemaType, FactPredicate, Facts, type LeafClause, MAX_REPLAY_FRAMES, MAX_SWEEP_POINTS, type ModuleConfig, type ModuleConfigWithDeps, ModuleDef, ModuleDef as ModuleDefinition, ModuleHooks, ModuleSchema, ModulesMap, NamespacedSystem, Plugin, type PredicateBacktestReport, type PredicateToMongoOptions, type PredicateToPostgrestOptions, type PredicateToSqlOptions, type PredicateToSqlResult, type PredictMissingChange, type PredictResult, type ReplayDiffSample, type ReplayFrame, type ReplayUnderOptions, Requirement, RequirementSet, type RequirementTypeStatus, RequirementWithId, type RulesDiffReport, type RulesMapInput, SchemaKindNode, SchemaType, type SignalClock, SingleModuleSystem, SourcesDef, SourcesDef as SourcesDefinition, type SweepHole, type SweepPoint, type SweepReport, type SweepUnderOptions, type TimerFactOpts, type TimerFactState, TraceOption, TypedConstraintsDef as TypedConstraintsDefinition, TypedDerivationsDef as TypedDerivationsDefinition, TypedEventsDef as TypedEventsDefinition, TypedResolversDef as TypedResolversDefinition, completeTimer, createModule, createModuleFactory, createRequirementStatusPlugin, createStatusHook, createSystem, createSystemWithStatus, defaultClock, describePredicate, diffClauses, diffRules, doctor, elapsedMs, flattenPredicate, forType, framesFromHistory, framesFromSnapshots, generateRequirementId, initialTimerState, isRequirementType, pauseTimer, predicateHash, predicateToMongo, predicateToPostgrest, predicateToSQL, predicateToWhere, predict, realClock, registerRepeat, remainingMs, replayUnder, req, resetTimer, resumeTimer, startTimer, sweepUnder, t, tickTimer, timerOps, toReplayFrames, toRulesMap, virtualClock };
+export { Backoff, type Branded, type ChainableSchemaType, type Change, type ChangeKind, type CheckAbortOnFinding, type CheckAbortOnResult, type CheckAgainstResult, ClauseResult, type ConstraintDiff, type ConstraintStatus, type Contradiction, type ContradictionType, CreateSystemOptionsNamed, CreateSystemOptionsSingle, CrossModuleConstraintsDef as CrossModuleConstraintsDefinition, CrossModuleDeps, CrossModuleDerivationsDef as CrossModuleDerivationsDefinition, CrossModuleEffectsDef as CrossModuleEffectsDefinition, DefinitionMeta, type DescribeOptions, type DiffRulesOptions, EffectsDef as EffectsDefinition, ErrorBoundaryConfig, type ExistingConstraint, type ExtendedSchemaType, FactPredicate, Facts, type LeafClause, MAX_REPLAY_FRAMES, MAX_SWEEP_POINTS, type ModuleConfig, type ModuleConfigWithDeps, ModuleDef, ModuleDef as ModuleDefinition, ModuleHooks, ModuleSchema, ModulesMap, NamespacedSystem, Plugin, type PredicateBacktestReport, type PredicateToMongoOptions, type PredicateToPostgrestOptions, type PredicateToSqlOptions, type PredicateToSqlResult, type PredictMissingChange, type PredictResult, type ReplayDiffSample, type ReplayFrame, type ReplayUnderOptions, Requirement, RequirementSet, type RequirementTypeStatus, RequirementWithId, type RulesDiffReport, type RulesMapInput, SchemaKindNode, SchemaType, type SignalClock, SingleModuleSystem, SourcesDef, SourcesDef as SourcesDefinition, type SweepHole, type SweepPoint, type SweepReport, type SweepUnderOptions, type TimerFactOpts, type TimerFactState, TraceOption, TypedConstraintsDef as TypedConstraintsDefinition, TypedDerivationsDef as TypedDerivationsDefinition, TypedEventsDef as TypedEventsDefinition, TypedResolversDef as TypedResolversDefinition, completeTimer, createModule, createModuleFactory, createRequirementStatusPlugin, createStatusHook, createSystem, createSystemWithStatus, defaultClock, describePredicate, diffClauses, diffRules, doctor, elapsedMs, flattenPredicate, forType, framesFromHistory, framesFromSnapshots, generateRequirementId, initialTimerState, isRequirementType, pauseTimer, predicateHash, predicateToMongo, predicateToPostgrest, predicateToSQL, predicateToWhere, predict, realClock, registerRepeat, remainingMs, replayUnder, req, resetTimer, resumeTimer, startTimer, sweepUnder, t, tickTimer, timerOps, toReplayFrames, toRulesMap, virtualClock };

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { C as ClauseResult, F as FactPredicate, S as SchemaType, D as DefinitionMeta, M as ModuleSchema, a as Facts, T as TypedDerivationsDef, b as TypedEventsDef, E as EffectsDef, c as SourcesDef, d as TypedConstraintsDef, e as TypedResolversDef, f as ModuleHooks, g as CrossModuleDeps, h as CrossModuleDerivationsDef, i as CrossModuleEffectsDef, j as CrossModuleConstraintsDef, k as ModuleDef, l as CreateSystemOptionsSingle, m as SingleModuleSystem, n as ModulesMap, o as CreateSystemOptionsNamed, N as NamespacedSystem, P as Plugin, p as TraceOption, q as ErrorBoundaryConfig, R as RequirementWithId, r as Requirement, s as RequirementKeyFn } from './plugins-4IfhJV32.js';
-export { A as AnySystem, B as BatchConfig, t as ConstraintDefinition, u as ConstraintsDefinition, v as CrossModuleConstraintDefinition, w as CrossModuleEffectDefinition, x as DirectiveError, y as DistributableSnapshot, z as DistributableSnapshotOptions, G as DynamicConstraintDef, G as DynamicConstraintDefinition, H as DynamicEffectDef, I as DynamicResolverDef, I as DynamicResolverDefinition, J as EffectDefinition, K as EventsDefinition, L as FactTemplate, O as FactsSnapshot, Q as HistoryAPI, U as HistoryOption, V as HistoryState, W as InferDerivations, X as InferEvents, Y as InferFacts, Z as InferRequirementTypes, _ as InferRequirements, $ as InferSchemaType, a0 as InferSelectorState, a1 as KeySelector, a2 as MetaAccessor, a3 as MetaMatch, a4 as ObservationEvent, a5 as OperatorObject, a6 as PatchSpec, a7 as PatchValue, a8 as PayloadRef, a9 as PredicateClause, aa as PredicateCombinator, ab as PredicateCombinatorKey, ac as PredicateObject, ad as PredicateOp, ae as ResolverDefinition, af as ResolversDefinition, ag as RetryPolicy, ah as Schema, ai as SchemaTypedResolversDefinition, aj as Snapshot, ak as SourceDef, ak as SourceDefinition, al as SourceDropReason, am as SourcePublish, am as SourcePublishFn, an as SourceReportError, ao as SourceUnsubscribe, ao as SourceUnsubscribeFn, ap as System, aq as SystemConfig, ar as SystemDerived, as as SystemFacts, at as SystemInspection, au as SystemMode, av as SystemSnapshot, aw as TraceEntry, ax as TypedConstraintDefinition, ay as TypedResolverDefinition, az as isNamespacedSystem, aA as isSingleModuleSystem } from './plugins-4IfhJV32.js';
-import { S as SchemaKindNode } from './predicate-BW05x5el.js';
-export { D as DerivationDefWithMeta, a as DerivationDefinition, D as DerivationDefinitionWithMeta, b as DerivationsDefinition, c as SchemaKind, d as SchemaValidationError, e as SchemaValidationOptions, f as SchemaValidationResult, g as applyPatch, h as evaluateKeySelector, i as evaluatePredicate, j as evaluatePredicateExplained, k as evaluateTemplate, l as extractDeps, m as extractTemplateKeys, n as getKind, o as getOperatorsForKind, p as getSchemaFieldKinds, q as isPredicate, r as isTemplate, s as listAllPredicateOperators, t as memoizePredicate, u as typedConstraint, v as typedResolver, w as validatePredicate, x as validatePredicateAgainstSchema } from './predicate-BW05x5el.js';
-export { A as AuditEntry, a as AuditEntryKind, b as AuditLedger, c as AuditLedgerOptions, d as AuditLedgerSink, Q as QueryFilter, V as VerifyResult, e as createAuditLedger, m as memorySink } from './index-DUbpbGw8.js';
+import { C as ClauseResult, F as FactPredicate, S as SchemaType, D as DefinitionMeta, M as ModuleSchema, a as Facts, T as TypedDerivationsDef, b as TypedEventsDef, E as EffectsDef, c as SourcesDef, d as TypedConstraintsDef, e as TypedResolversDef, f as ModuleHooks, g as CrossModuleDeps, h as CrossModuleDerivationsDef, i as CrossModuleEffectsDef, j as CrossModuleConstraintsDef, k as ModuleDef, l as CreateSystemOptionsSingle, m as SingleModuleSystem, n as ModulesMap, o as CreateSystemOptionsNamed, N as NamespacedSystem, P as Plugin, p as TraceOption, q as ErrorBoundaryConfig, R as RequirementWithId, r as Requirement, s as RequirementKeyFn } from './plugins-5Supk7it.js';
+export { A as AnySystem, B as BatchConfig, t as ConstraintDefinition, u as ConstraintsDefinition, v as CrossModuleConstraintDefinition, w as CrossModuleEffectDefinition, x as DirectiveError, y as DistributableSnapshot, z as DistributableSnapshotOptions, G as DynamicConstraintDef, G as DynamicConstraintDefinition, H as DynamicEffectDef, I as DynamicResolverDef, I as DynamicResolverDefinition, J as EffectDefinition, K as EventsDefinition, L as FactTemplate, O as FactsSnapshot, Q as HistoryAPI, U as HistoryOption, V as HistoryState, W as InferDerivations, X as InferEvents, Y as InferFacts, Z as InferRequirementTypes, _ as InferRequirements, $ as InferSchemaType, a0 as InferSelectorState, a1 as KeySelector, a2 as MetaAccessor, a3 as MetaMatch, a4 as ObservationEvent, a5 as OperatorObject, a6 as PatchSpec, a7 as PatchValue, a8 as PayloadRef, a9 as PredicateClause, aa as PredicateCombinator, ab as PredicateCombinatorKey, ac as PredicateObject, ad as PredicateOp, ae as ResolverDefinition, af as ResolversDefinition, ag as RetryPolicy, ah as Schema, ai as SchemaTypedResolversDefinition, aj as Snapshot, ak as SourceDef, ak as SourceDefinition, al as SourceDropReason, am as SourcePublish, am as SourcePublishFn, an as SourceReportError, ao as SourceUnsubscribe, ao as SourceUnsubscribeFn, ap as System, aq as SystemConfig, ar as SystemDerived, as as SystemFacts, at as SystemInspection, au as SystemMode, av as SystemSnapshot, aw as TraceEntry, ax as TypedConstraintDefinition, ay as TypedResolverDefinition, az as isNamespacedSystem, aA as isSingleModuleSystem } from './plugins-5Supk7it.js';
+import { S as SchemaKindNode } from './predicate-C9oMO_ny.js';
+export { D as DerivationDefWithMeta, a as DerivationDefinition, D as DerivationDefinitionWithMeta, b as DerivationsDefinition, c as SchemaKind, d as SchemaValidationError, e as SchemaValidationOptions, f as SchemaValidationResult, g as applyPatch, h as evaluateKeySelector, i as evaluatePredicate, j as evaluatePredicateExplained, k as evaluateTemplate, l as extractDeps, m as extractTemplateKeys, n as getKind, o as getOperatorsForKind, p as getSchemaFieldKinds, q as isPredicate, r as isTemplate, s as listAllPredicateOperators, t as memoizePredicate, u as typedConstraint, v as typedResolver, w as validatePredicate, x as validatePredicateAgainstSchema } from './predicate-C9oMO_ny.js';
+export { A as AuditEntry, a as AuditEntryKind, b as AuditLedger, c as AuditLedgerOptions, d as AuditLedgerSink, Q as QueryFilter, V as VerifyResult, e as createAuditLedger, m as memorySink } from './index-BgKC_ZT_.js';
 export { D as DistributableSnapshotLike, S as SignedSnapshot, a as SnapshotDiff, b as SnapshotDiffEntry, d as diffSnapshots, i as isSignedSnapshot, c as isSnapshotExpired, s as shallowEqual, e as signSnapshot, v as validateSnapshot, f as verifySnapshotSignature } from './utils-DY8KTiD6.js';
 
 /**
@@ -581,9 +581,10 @@ declare function predict<F = Record<string, unknown>>(predicate: FactPredicate<F
  * defensible.
  *
  * **v1 scope LIMITATION (M4):** `checkAgainst` operates on predicate
- * logic only. It does NOT consult `bind:` / `owns:` resolver metadata —
- * a candidate that would *write* to a fact owned by another constraint
- * will not be flagged here. Use `doctor.checkOwns()` for that gate.
+ * logic only. It does NOT consult `bind:` / `abortOn:` resolver
+ * metadata — a candidate that would *write* to a fact in another
+ * constraint's abort-binding will not be flagged here. Use
+ * `doctor.checkAbortOn()` for that gate.
  *
  * **INVARIANT (M11):** `checkAgainst` depends on `flattenPredicate`
  * emitting `{ path, op, value }` LeafClause shape — if that shape ever
@@ -632,30 +633,31 @@ interface ExistingConstraint {
     readonly id: string;
     readonly whenSpec?: unknown;
     /**
-     * Fact paths the constraint's resolver(s) write to, if exposed by the
-     * inspect API. Consulted by {@link doctor.checkOwns} to flag candidates
-     * that would write to fields owned elsewhere. Optional — older inspect
-     * payloads omit it.
+     * Fact paths the constraint's resolver aborts on when changed
+     * mid-flight, if exposed by the inspect API. Consulted by
+     * {@link doctor.checkAbortOn} to flag candidates that would write to
+     * fields under another constraint's abort-binding. Optional — older
+     * inspect payloads omit it.
      */
-    readonly owns?: readonly string[];
-    /** Same as {@link owns} but for the bind: side of binding metadata. */
+    readonly abortOn?: readonly string[];
+    /** Same as {@link abortOn} but for the bind: side of binding metadata. */
     readonly bind?: readonly string[];
 }
 /**
- * Returned by {@link doctor.checkOwns}.
+ * Returned by {@link doctor.checkAbortOn}.
  *
  * `severity` matches the {@link Contradiction} discriminator on
  * {@link CheckAgainstResult} so callers can route both shapes
- * uniformly: by default, owns-collisions are `"warning"` (the engine
- * still has a runtime gate), but a caller can promote them to
- * `"error"` for stricter pre-deploy linting. (M5)
+ * uniformly: by default, abort-binding collisions are `"warning"`
+ * (the engine still has a runtime gate), but a caller can promote them
+ * to `"error"` for stricter pre-deploy linting. (M5)
  */
-interface CheckOwnsFinding {
+interface CheckAbortOnFinding {
     readonly constraintId: string;
     /** The fact path on the candidate predicate that triggered the finding. */
     readonly candidatePath: string;
-    /** The owner side it would collide with: "owns" or "bind". */
-    readonly source: "owns" | "bind";
+    /** The binding side it would collide with: "abortOn" or "bind". */
+    readonly source: "abortOn" | "bind";
     readonly reason: string;
     /**
      * Severity discriminator — `"warning"` by default (the engine has
@@ -665,20 +667,21 @@ interface CheckOwnsFinding {
     readonly severity?: "error" | "warning";
 }
 /**
- * Result of {@link doctor.checkOwns}.
+ * Result of {@link doctor.checkAbortOn}.
  *
- * Owns-/bind- collisions are warnings, not contradictions — the engine
- * itself enforces the runtime binding gate, so a pre-deploy doctor pass
- * treats them as advisory. The {@link CheckOwnsFinding.severity}
- * discriminator anticipates v2 promotion of findings to errors. (M5, F-3)
+ * AbortOn-/bind- collisions are warnings, not contradictions — the
+ * engine itself enforces the runtime binding gate, so a pre-deploy
+ * doctor pass treats them as advisory. The
+ * {@link CheckAbortOnFinding.severity} discriminator anticipates v2
+ * promotion of findings to errors. (M5, F-3)
  */
-interface CheckOwnsResult {
+interface CheckAbortOnResult {
     /**
-     * Owns-/bind- collisions surfaced by {@link doctor.checkOwns}. Empty
-     * when constraints expose no `owns:` / `bind:` metadata or the
-     * candidate's fact paths don't overlap.
+     * AbortOn-/bind- collisions surfaced by {@link doctor.checkAbortOn}.
+     * Empty when constraints expose no `abortOn:` / `bind:` metadata or
+     * the candidate's fact paths don't overlap.
      */
-    readonly warnings: readonly CheckOwnsFinding[];
+    readonly warnings: readonly CheckAbortOnFinding[];
 }
 declare const doctor: {
     /**
@@ -712,31 +715,32 @@ declare const doctor: {
     }): CheckAgainstResult;
     /**
      * Flag a candidate predicate whose referenced fact paths overlap with
-     * fields *owned* (or `bind:`-bound) by an existing constraint's
-     * resolvers. A v1 stub: relies on `inspect()` exposing `owns:` / `bind:`
-     * on each constraint snapshot. When that metadata is absent, this
-     * returns `{ findings: [] }` — no false positives.
+     * fields in another constraint's `abortOn:` list (or `bind:`-bound by
+     * an existing constraint's resolvers). A v1 stub: relies on
+     * `inspect()` exposing `abortOn:` / `bind:` on each constraint
+     * snapshot. When that metadata is absent, this returns
+     * `{ findings: [] }` — no false positives.
      *
      * **TODO (v2):** wire the engine's resolver-ownership graph through
      * `system.inspect()` so this returns real findings without manual
-     * `owns:` annotations on inspect payloads.
+     * `abortOn:` annotations on inspect payloads.
      *
      * @example
      * ```ts
-     * doctor.checkOwns(
+     * doctor.checkAbortOn(
      *   { cartTotal: { $gte: 100 } },
      *   system.inspect(),
      * );
      * // → { findings: [
      * //     { constraintId: "applyDiscount", candidatePath: "cartTotal",
-     * //       source: "owns",
-     * //       reason: "Constraint applyDiscount already owns cartTotal." }
+     * //       source: "abortOn",
+     * //       reason: "Constraint applyDiscount aborts on cartTotal." }
      * //   ] }
      * ```
      */
-    checkOwns<F = Record<string, unknown>>(candidate: FactPredicate<F>, existing: readonly ExistingConstraint[] | {
+    checkAbortOn<F = Record<string, unknown>>(candidate: FactPredicate<F>, existing: readonly ExistingConstraint[] | {
         constraints: readonly ExistingConstraint[];
-    }): CheckOwnsResult;
+    }): CheckAbortOnResult;
 };
 
 /**
@@ -2253,4 +2257,4 @@ declare const Backoff: {
     readonly Exponential: "exponential";
 };
 
-export { Backoff, type Branded, type ChainableSchemaType, type Change, type ChangeKind, type CheckAgainstResult, type CheckOwnsFinding, type CheckOwnsResult, ClauseResult, type ConstraintDiff, type ConstraintStatus, type Contradiction, type ContradictionType, CreateSystemOptionsNamed, CreateSystemOptionsSingle, CrossModuleConstraintsDef as CrossModuleConstraintsDefinition, CrossModuleDeps, CrossModuleDerivationsDef as CrossModuleDerivationsDefinition, CrossModuleEffectsDef as CrossModuleEffectsDefinition, DefinitionMeta, type DescribeOptions, type DiffRulesOptions, EffectsDef as EffectsDefinition, ErrorBoundaryConfig, type ExistingConstraint, type ExtendedSchemaType, FactPredicate, Facts, type LeafClause, MAX_REPLAY_FRAMES, MAX_SWEEP_POINTS, type ModuleConfig, type ModuleConfigWithDeps, ModuleDef, ModuleDef as ModuleDefinition, ModuleHooks, ModuleSchema, ModulesMap, NamespacedSystem, Plugin, type PredicateBacktestReport, type PredicateToMongoOptions, type PredicateToPostgrestOptions, type PredicateToSqlOptions, type PredicateToSqlResult, type PredictMissingChange, type PredictResult, type ReplayDiffSample, type ReplayFrame, type ReplayUnderOptions, Requirement, RequirementSet, type RequirementTypeStatus, RequirementWithId, type RulesDiffReport, type RulesMapInput, SchemaKindNode, SchemaType, type SignalClock, SingleModuleSystem, SourcesDef, SourcesDef as SourcesDefinition, type SweepHole, type SweepPoint, type SweepReport, type SweepUnderOptions, type TimerFactOpts, type TimerFactState, TraceOption, TypedConstraintsDef as TypedConstraintsDefinition, TypedDerivationsDef as TypedDerivationsDefinition, TypedEventsDef as TypedEventsDefinition, TypedResolversDef as TypedResolversDefinition, completeTimer, createModule, createModuleFactory, createRequirementStatusPlugin, createStatusHook, createSystem, createSystemWithStatus, defaultClock, describePredicate, diffClauses, diffRules, doctor, elapsedMs, flattenPredicate, forType, framesFromHistory, framesFromSnapshots, generateRequirementId, initialTimerState, isRequirementType, pauseTimer, predicateHash, predicateToMongo, predicateToPostgrest, predicateToSQL, predicateToWhere, predict, realClock, registerRepeat, remainingMs, replayUnder, req, resetTimer, resumeTimer, startTimer, sweepUnder, t, tickTimer, timerOps, toReplayFrames, toRulesMap, virtualClock };
+export { Backoff, type Branded, type ChainableSchemaType, type Change, type ChangeKind, type CheckAbortOnFinding, type CheckAbortOnResult, type CheckAgainstResult, ClauseResult, type ConstraintDiff, type ConstraintStatus, type Contradiction, type ContradictionType, CreateSystemOptionsNamed, CreateSystemOptionsSingle, CrossModuleConstraintsDef as CrossModuleConstraintsDefinition, CrossModuleDeps, CrossModuleDerivationsDef as CrossModuleDerivationsDefinition, CrossModuleEffectsDef as CrossModuleEffectsDefinition, DefinitionMeta, type DescribeOptions, type DiffRulesOptions, EffectsDef as EffectsDefinition, ErrorBoundaryConfig, type ExistingConstraint, type ExtendedSchemaType, FactPredicate, Facts, type LeafClause, MAX_REPLAY_FRAMES, MAX_SWEEP_POINTS, type ModuleConfig, type ModuleConfigWithDeps, ModuleDef, ModuleDef as ModuleDefinition, ModuleHooks, ModuleSchema, ModulesMap, NamespacedSystem, Plugin, type PredicateBacktestReport, type PredicateToMongoOptions, type PredicateToPostgrestOptions, type PredicateToSqlOptions, type PredicateToSqlResult, type PredictMissingChange, type PredictResult, type ReplayDiffSample, type ReplayFrame, type ReplayUnderOptions, Requirement, RequirementSet, type RequirementTypeStatus, RequirementWithId, type RulesDiffReport, type RulesMapInput, SchemaKindNode, SchemaType, type SignalClock, SingleModuleSystem, SourcesDef, SourcesDef as SourcesDefinition, type SweepHole, type SweepPoint, type SweepReport, type SweepUnderOptions, type TimerFactOpts, type TimerFactState, TraceOption, TypedConstraintsDef as TypedConstraintsDefinition, TypedDerivationsDef as TypedDerivationsDefinition, TypedEventsDef as TypedEventsDefinition, TypedResolversDef as TypedResolversDefinition, completeTimer, createModule, createModuleFactory, createRequirementStatusPlugin, createStatusHook, createSystem, createSystemWithStatus, defaultClock, describePredicate, diffClauses, diffRules, doctor, elapsedMs, flattenPredicate, forType, framesFromHistory, framesFromSnapshots, generateRequirementId, initialTimerState, isRequirementType, pauseTimer, predicateHash, predicateToMongo, predicateToPostgrest, predicateToSQL, predicateToWhere, predict, realClock, registerRepeat, remainingMs, replayUnder, req, resetTimer, resumeTimer, startTimer, sweepUnder, t, tickTimer, timerOps, toReplayFrames, toRulesMap, virtualClock };