@directive-run/core 1.21.0 → 1.23.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-CaPMTICa.cjs';
+export { A as AnySystem, B as BatchConfig, t as Change, u as ChangeKind, v as ConstraintDefinition, w as ConstraintDiff, x as ConstraintStatus, y as ConstraintsDefinition, z as CrossModuleConstraintDefinition, G as CrossModuleEffectDefinition, H as DiffRulesOptions, I as DirectiveError, J as DistributableSnapshot, K as DistributableSnapshotOptions, L as DynamicConstraintDef, L as DynamicConstraintDefinition, O as DynamicEffectDef, Q as DynamicResolverDef, Q as DynamicResolverDefinition, U as EffectDefinition, V as EventsDefinition, W as FactTemplate, X as FactsSnapshot, Y as HistoryAPI, Z as HistoryOption, _ as HistoryState, $ as InferDerivations, a0 as InferEvents, a1 as InferFacts, a2 as InferRequirementTypes, a3 as InferRequirements, a4 as InferSchemaType, a5 as InferSelectorState, a6 as KeySelector, a7 as LeafClause, a8 as MetaAccessor, a9 as MetaMatch, aa as ObservationEvent, ab as OperatorObject, ac as PatchSpec, ad as PatchValue, ae as PayloadRef, af as PredicateClause, ag as PredicateCombinator, ah as PredicateCombinatorKey, ai as PredicateObject, aj as PredicateOp, ak as PredicateOverlapProof, al as ResolverAbortReason, am as ResolverDefinition, an as ResolversDefinition, ao as RetryPolicy, ap as RulesDiffReport, aq as RulesMapInput, ar as Schema, as as SchemaTypedResolversDefinition, at as ShouldRetryContext, au as Snapshot, av as SourceDef, av as SourceDefinition, aw as SourceDropReason, ax as SourcePublish, ax as SourcePublishFn, ay as SourceReportError, az as SourceUnsubscribe, az as SourceUnsubscribeFn, aA as System, aB as SystemConfig, aC as SystemDerived, aD as SystemFacts, aE as SystemInspection, aF as SystemMode, aG as SystemSnapshot, aH as TraceEntry, aI as TypedConstraintDefinition, aJ as TypedResolverDefinition, aK as diffClauses, aL as diffRules, aM as flattenPredicate, aN as isNamespacedSystem, aO as isSingleModuleSystem, aP as toRulesMap } from './plugins-CaPMTICa.cjs';
+import { S as SchemaKindNode } from './predicate-CU0YC1i6.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-CU0YC1i6.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-DpvgHVHR.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';
 
 /**
@@ -325,128 +325,6 @@ declare const MAX_SWEEP_POINTS = 10000;
  */
 declare function sweepUnder<F = Record<string, unknown>>(options: SweepUnderOptions<F>): SweepReport;
 
-/**
- * Structural diff between two snapshots of a system's constraint `whenSpec`
- * map. The "git diff for business rules" — operates on the predicate AST
- * instead of source-text lines.
- *
- * A predicate is a tree of leaf clauses (`{ fact: operator(value) }`) and
- * combinators (`$all` / `$any` / `$not`). `diffRules` flattens both trees
- * into path-keyed leaf lists and compares: missing path → added/removed,
- * same path with different operand → changed (with relaxed/tightened
- * classification for numeric thresholds).
- *
- * Pure module — imports only utils. No engine / store / predicate-runtime
- * dependency: predicates are walked as plain JSON.
- */
-/** A leaf clause extracted from a predicate tree, keyed by its dotted path. */
-interface LeafClause {
-    /** Dotted path through the predicate. E.g. `phase`, `$all[0].elapsed`, `$not.paused`. */
-    path: string;
-    /** Operator name. `$eq` is implied for bare-value equality. */
-    op: string;
-    /** Operand. */
-    value: unknown;
-}
-/** Kind of change observed for a single clause. */
-type ChangeKind = "added" | "removed" | "changed" | "relaxed" | "tightened";
-/** A single change between two predicates at a specific path. */
-interface Change {
-    path: string;
-    kind: ChangeKind;
-    before?: {
-        op: string;
-        value: unknown;
-    };
-    after?: {
-        op: string;
-        value: unknown;
-    };
-}
-/** Status of a single constraint across the two snapshots. */
-type ConstraintStatus = "added" | "removed" | "changed" | "unchanged";
-interface ConstraintDiff {
-    id: string;
-    status: ConstraintStatus;
-    /** Empty for `unchanged`. For `added` / `removed`, every leaf is listed once. */
-    changes: Change[];
-}
-interface RulesDiffReport {
-    constraints: ConstraintDiff[];
-    summary: {
-        added: number;
-        removed: number;
-        changed: number;
-        unchanged: number;
-        totalClauseChanges: number;
-    };
-}
-interface DiffRulesOptions {
-    before: RulesMapInput;
-    after: RulesMapInput;
-}
-/**
- * Accepted shapes for the `before` / `after` predicate maps:
- *   - A plain map `{ [constraintId]: whenSpec }`
- *   - The `system.inspect().constraints` array form `Array<{ id, whenSpec? }>`
- *   - Either wrapped as `{ constraints: <one-of-the-above> }`
- *
- * Anything else throws at `toRulesMap` so a bad input fails loud.
- */
-type RulesMapInput = unknown;
-/**
- * Coerce supported input shapes into a flat `Record<constraintId, whenSpec>`.
- * Constraints without a `whenSpec` (function-form `when`) are dropped with
- * an undefined entry so callers can distinguish them from absent constraints
- * if they care; the diff treats `undefined` as "no data" and skips clause
- * walking.
- */
-declare function toRulesMap(raw: RulesMapInput): Record<string, unknown>;
-/**
- * Walk a predicate tree and emit every leaf clause with its dotted path.
- * Combinators (`$all` / `$any` / `$not`) become indexed path segments.
- * Bare-value equality (`{ phase: "red" }`) emits as `op: "$eq"`.
- *
- * Array-form predicates (`[{ fact, op, value }, ...]`) are also accepted —
- * each clause's `fact` becomes the path, the operator is `op`, and the
- * value is `value`.
- *
- * **What gets dropped:** non-object combinator children (e.g. `$not: "red"`
- * with a string operand instead of a predicate object), function-form
- * predicates (the engine accepts a function for `when`; this walker only
- * sees data), and bare primitive predicates (a top-level `true` or `"x"`).
- * The walker is a tree visitor — anything not shaped like a predicate node
- * is silently skipped, never thrown on.
- */
-declare function flattenPredicate(spec: unknown, pathPrefix?: string, out?: LeafClause[]): LeafClause[];
-/**
- * Diff two snapshots of a system's constraint whenSpec map.
- *
- * @example
- * ```ts
- * const report = diffRules({
- *   before: { blockCheckout: { cartTotal: { $gte: 100 } } },
- *   after:  { blockCheckout: { cartTotal: { $gte: 50 } } },
- * });
- *
- * report.constraints[0].status;          // "changed"
- * report.constraints[0].changes[0].kind; // "relaxed"
- * report.summary.totalClauseChanges;     // 1
- * ```
- *
- * The input shape is forgiving — either a flat `{ id: whenSpec }` map, the
- * `system.inspect().constraints` array form, or either wrapped as
- * `{ constraints: ... }`. Constraints whose `when` is a function (no
- * `whenSpec`) are tracked as added/removed but cannot be clause-diffed
- * (the function form is opaque).
- */
-declare function diffRules(options: DiffRulesOptions): RulesDiffReport;
-/**
- * Diff two predicate trees and return the list of leaf-level changes.
- * Exported for reuse beyond the full per-constraint report.
- */
-declare function diffClauses(before: unknown, after: unknown): Change[];
-
 /**
  * `predicateHash` — content-addressed fingerprint for a {@link FactPredicate}.
  *
@@ -581,9 +459,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 +511,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 +545,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 +593,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 +2135,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 CheckAbortOnFinding, type CheckAbortOnResult, type CheckAgainstResult, ClauseResult, type Contradiction, type ContradictionType, CreateSystemOptionsNamed, CreateSystemOptionsSingle, CrossModuleConstraintsDef as CrossModuleConstraintsDefinition, CrossModuleDeps, CrossModuleDerivationsDef as CrossModuleDerivationsDefinition, CrossModuleEffectsDef as CrossModuleEffectsDefinition, DefinitionMeta, type DescribeOptions, EffectsDef as EffectsDefinition, ErrorBoundaryConfig, type ExistingConstraint, type ExtendedSchemaType, FactPredicate, Facts, 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, 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, doctor, elapsedMs, 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, 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-CaPMTICa.js';
+export { A as AnySystem, B as BatchConfig, t as Change, u as ChangeKind, v as ConstraintDefinition, w as ConstraintDiff, x as ConstraintStatus, y as ConstraintsDefinition, z as CrossModuleConstraintDefinition, G as CrossModuleEffectDefinition, H as DiffRulesOptions, I as DirectiveError, J as DistributableSnapshot, K as DistributableSnapshotOptions, L as DynamicConstraintDef, L as DynamicConstraintDefinition, O as DynamicEffectDef, Q as DynamicResolverDef, Q as DynamicResolverDefinition, U as EffectDefinition, V as EventsDefinition, W as FactTemplate, X as FactsSnapshot, Y as HistoryAPI, Z as HistoryOption, _ as HistoryState, $ as InferDerivations, a0 as InferEvents, a1 as InferFacts, a2 as InferRequirementTypes, a3 as InferRequirements, a4 as InferSchemaType, a5 as InferSelectorState, a6 as KeySelector, a7 as LeafClause, a8 as MetaAccessor, a9 as MetaMatch, aa as ObservationEvent, ab as OperatorObject, ac as PatchSpec, ad as PatchValue, ae as PayloadRef, af as PredicateClause, ag as PredicateCombinator, ah as PredicateCombinatorKey, ai as PredicateObject, aj as PredicateOp, ak as PredicateOverlapProof, al as ResolverAbortReason, am as ResolverDefinition, an as ResolversDefinition, ao as RetryPolicy, ap as RulesDiffReport, aq as RulesMapInput, ar as Schema, as as SchemaTypedResolversDefinition, at as ShouldRetryContext, au as Snapshot, av as SourceDef, av as SourceDefinition, aw as SourceDropReason, ax as SourcePublish, ax as SourcePublishFn, ay as SourceReportError, az as SourceUnsubscribe, az as SourceUnsubscribeFn, aA as System, aB as SystemConfig, aC as SystemDerived, aD as SystemFacts, aE as SystemInspection, aF as SystemMode, aG as SystemSnapshot, aH as TraceEntry, aI as TypedConstraintDefinition, aJ as TypedResolverDefinition, aK as diffClauses, aL as diffRules, aM as flattenPredicate, aN as isNamespacedSystem, aO as isSingleModuleSystem, aP as toRulesMap } from './plugins-CaPMTICa.js';
+import { S as SchemaKindNode } from './predicate-CgpwJqf4.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-CgpwJqf4.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-n8oQmdOZ.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';
 
 /**
@@ -325,128 +325,6 @@ declare const MAX_SWEEP_POINTS = 10000;
  */
 declare function sweepUnder<F = Record<string, unknown>>(options: SweepUnderOptions<F>): SweepReport;
 
-/**
- * Structural diff between two snapshots of a system's constraint `whenSpec`
- * map. The "git diff for business rules" — operates on the predicate AST
- * instead of source-text lines.
- *
- * A predicate is a tree of leaf clauses (`{ fact: operator(value) }`) and
- * combinators (`$all` / `$any` / `$not`). `diffRules` flattens both trees
- * into path-keyed leaf lists and compares: missing path → added/removed,
- * same path with different operand → changed (with relaxed/tightened
- * classification for numeric thresholds).
- *
- * Pure module — imports only utils. No engine / store / predicate-runtime
- * dependency: predicates are walked as plain JSON.
- */
-/** A leaf clause extracted from a predicate tree, keyed by its dotted path. */
-interface LeafClause {
-    /** Dotted path through the predicate. E.g. `phase`, `$all[0].elapsed`, `$not.paused`. */
-    path: string;
-    /** Operator name. `$eq` is implied for bare-value equality. */
-    op: string;
-    /** Operand. */
-    value: unknown;
-}
-/** Kind of change observed for a single clause. */
-type ChangeKind = "added" | "removed" | "changed" | "relaxed" | "tightened";
-/** A single change between two predicates at a specific path. */
-interface Change {
-    path: string;
-    kind: ChangeKind;
-    before?: {
-        op: string;
-        value: unknown;
-    };
-    after?: {
-        op: string;
-        value: unknown;
-    };
-}
-/** Status of a single constraint across the two snapshots. */
-type ConstraintStatus = "added" | "removed" | "changed" | "unchanged";
-interface ConstraintDiff {
-    id: string;
-    status: ConstraintStatus;
-    /** Empty for `unchanged`. For `added` / `removed`, every leaf is listed once. */
-    changes: Change[];
-}
-interface RulesDiffReport {
-    constraints: ConstraintDiff[];
-    summary: {
-        added: number;
-        removed: number;
-        changed: number;
-        unchanged: number;
-        totalClauseChanges: number;
-    };
-}
-interface DiffRulesOptions {
-    before: RulesMapInput;
-    after: RulesMapInput;
-}
-/**
- * Accepted shapes for the `before` / `after` predicate maps:
- *   - A plain map `{ [constraintId]: whenSpec }`
- *   - The `system.inspect().constraints` array form `Array<{ id, whenSpec? }>`
- *   - Either wrapped as `{ constraints: <one-of-the-above> }`
- *
- * Anything else throws at `toRulesMap` so a bad input fails loud.
- */
-type RulesMapInput = unknown;
-/**
- * Coerce supported input shapes into a flat `Record<constraintId, whenSpec>`.
- * Constraints without a `whenSpec` (function-form `when`) are dropped with
- * an undefined entry so callers can distinguish them from absent constraints
- * if they care; the diff treats `undefined` as "no data" and skips clause
- * walking.
- */
-declare function toRulesMap(raw: RulesMapInput): Record<string, unknown>;
-/**
- * Walk a predicate tree and emit every leaf clause with its dotted path.
- * Combinators (`$all` / `$any` / `$not`) become indexed path segments.
- * Bare-value equality (`{ phase: "red" }`) emits as `op: "$eq"`.
- *
- * Array-form predicates (`[{ fact, op, value }, ...]`) are also accepted —
- * each clause's `fact` becomes the path, the operator is `op`, and the
- * value is `value`.
- *
- * **What gets dropped:** non-object combinator children (e.g. `$not: "red"`
- * with a string operand instead of a predicate object), function-form
- * predicates (the engine accepts a function for `when`; this walker only
- * sees data), and bare primitive predicates (a top-level `true` or `"x"`).
- * The walker is a tree visitor — anything not shaped like a predicate node
- * is silently skipped, never thrown on.
- */
-declare function flattenPredicate(spec: unknown, pathPrefix?: string, out?: LeafClause[]): LeafClause[];
-/**
- * Diff two snapshots of a system's constraint whenSpec map.
- *
- * @example
- * ```ts
- * const report = diffRules({
- *   before: { blockCheckout: { cartTotal: { $gte: 100 } } },
- *   after:  { blockCheckout: { cartTotal: { $gte: 50 } } },
- * });
- *
- * report.constraints[0].status;          // "changed"
- * report.constraints[0].changes[0].kind; // "relaxed"
- * report.summary.totalClauseChanges;     // 1
- * ```
- *
- * The input shape is forgiving — either a flat `{ id: whenSpec }` map, the
- * `system.inspect().constraints` array form, or either wrapped as
- * `{ constraints: ... }`. Constraints whose `when` is a function (no
- * `whenSpec`) are tracked as added/removed but cannot be clause-diffed
- * (the function form is opaque).
- */
-declare function diffRules(options: DiffRulesOptions): RulesDiffReport;
-/**
- * Diff two predicate trees and return the list of leaf-level changes.
- * Exported for reuse beyond the full per-constraint report.
- */
-declare function diffClauses(before: unknown, after: unknown): Change[];
-
 /**
  * `predicateHash` — content-addressed fingerprint for a {@link FactPredicate}.
  *
@@ -581,9 +459,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 +511,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 +545,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 +593,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 +2135,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 CheckAbortOnFinding, type CheckAbortOnResult, type CheckAgainstResult, ClauseResult, type Contradiction, type ContradictionType, CreateSystemOptionsNamed, CreateSystemOptionsSingle, CrossModuleConstraintsDef as CrossModuleConstraintsDefinition, CrossModuleDeps, CrossModuleDerivationsDef as CrossModuleDerivationsDefinition, CrossModuleEffectsDef as CrossModuleEffectsDefinition, DefinitionMeta, type DescribeOptions, EffectsDef as EffectsDefinition, ErrorBoundaryConfig, type ExistingConstraint, type ExtendedSchemaType, FactPredicate, Facts, 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, 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, doctor, elapsedMs, 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, virtualClock };