@inixiative/json-rules 2.25.0 → 2.27.0

package/dist/index.d.cts

@@ -147,6 +147,88 @@ declare const getOperatorsForKind: (kind: FieldKind, target?: RuleTarget) => {
     date: DateOperator[];
 };
 declare const getArrayOperators: (target?: RuleTarget) => ArrayOperator[];
+/** Operators that read no comparison value. */
+declare const NO_VALUE_OPERATORS: readonly string[];
+/** Field comparisons with an order: `<`, `<=`, `>`, `>=`. */
+declare const ORDERED_OPERATORS: readonly string[];
+/** A window expression (`within`), not a pair. */
+declare const WINDOW_OPERATORS: readonly string[];
+/** Operators that compare against two ends. */
+declare const RANGE_OPERATORS: readonly string[];
+/** Operators with a point to move: the comparisons and both ends of a pair. */
+declare const OFFSET_OPERATORS: readonly string[];
+/** The negations: each is the complement of its positive form and keeps NULL fields
+ *  (the 2.19.0 ruling). */
+declare const NEGATED_OPERATORS: readonly string[];
+/** Negations of a two-ended range. */
+declare const NEGATED_RANGE_OPERATORS: string[];
+/** Negated comparisons an offset can move; with nothing to compare against they still keep a
+ *  null field. */
+declare const NEGATED_COMPARISON_OPERATORS: string[];
+/** Negations of one literal (`notEquals`, `notContains`). */
+declare const NEGATED_SINGLE_VALUE_OPERATORS: string[];
+/** Comparisons that bound a field from above / below — what a window's extremal rewrite reads. */
+declare const UPPER_BOUND_OPERATORS: readonly string[];
+declare const LOWER_BOUND_OPERATORS: readonly string[];
+/** Kinds a calendar unit amount can read: whole numbers. */
+declare const INTEGER_KINDS: readonly FieldKind[];
+/** Kinds check() coerces a literal to (see coerceScalar in src/field.ts). */
+declare const COERCIBLE_KINDS: readonly FieldKind[];
+/** Kinds whose literal the compilers coerce exactly as check() does — Prisma rejects a string on
+ *  Int/Float/Boolean; BigInt compares as Int. Decimal keeps its literal: Prisma and Postgres take
+ *  the numeric string losslessly, and a JS number would not. */
+declare const COMPILE_COERCED_KINDS: readonly FieldKind[];
+/** Value shapes that take one literal. */
+declare const SINGLE_VALUE_SHAPES: readonly ValueShape[];
+/** Each relative unit: the Postgres interval field it adds to, its size there, and whether it is
+ *  a calendar unit (whole steps). Applied months, then days, then time, as Postgres does. */
+declare const RELATIVE_UNITS: {
+    readonly years: {
+        readonly interval: "months";
+        readonly factor: 12;
+        readonly calendar: true;
+    };
+    readonly quarters: {
+        readonly interval: "months";
+        readonly factor: 3;
+        readonly calendar: true;
+    };
+    readonly months: {
+        readonly interval: "months";
+        readonly factor: 1;
+        readonly calendar: true;
+    };
+    readonly weeks: {
+        readonly interval: "days";
+        readonly factor: 7;
+        readonly calendar: true;
+    };
+    readonly days: {
+        readonly interval: "days";
+        readonly factor: 1;
+        readonly calendar: true;
+    };
+    readonly hours: {
+        readonly interval: "secs";
+        readonly factor: 3600;
+        readonly calendar: false;
+    };
+    readonly minutes: {
+        readonly interval: "secs";
+        readonly factor: 60;
+        readonly calendar: false;
+    };
+    readonly seconds: {
+        readonly interval: "secs";
+        readonly factor: 1;
+        readonly calendar: false;
+    };
+};
+type RelativeUnit = keyof typeof RELATIVE_UNITS;
+declare const INTERVAL_FIELDS: readonly ["months", "days", "secs"];
+declare const isRelativeUnit: (unit: string) => unit is RelativeUnit;
+declare const isCalendarUnit: (unit: string) => boolean;
+declare const PERIOD_UNITS: readonly string[];
 
 type OperatorValues = typeof Operator;
 type ArrayOperatorValues = typeof ArrayOperator;
@@ -158,21 +240,33 @@ type RuleValue = RuleScalar | Date | RegExp | RuleValue[] | {
 };
 type OrderedRuleValue = string | number | Date;
 type DateInputValue = string | number | Date;
-type RelativeUnits = {
-    years?: number;
-    quarters?: number;
-    months?: number;
-    weeks?: number;
-    days?: number;
-    hours?: number;
-    minutes?: number;
-    seconds?: number;
+type SourceSlots<TValue> = {
+    value: TValue;
+    path: string;
+    bind: string;
+    bindOptional: boolean;
+};
+type Never<K extends PropertyKey> = {
+    [P in K]?: never;
+};
+type ValueSourceOf<TValue> = (Pick<SourceSlots<TValue>, 'value'> & Never<'path' | 'bind' | 'bindOptional'>) | (Pick<SourceSlots<TValue>, 'path'> & Never<'value' | 'bind' | 'bindOptional'>) | (Pick<SourceSlots<TValue>, 'bind'> & Partial<Pick<SourceSlots<TValue>, 'bindOptional'>> & Never<'value' | 'path'>);
+type ValueSourceFields<TValue> = Partial<SourceSlots<TValue>>;
+type Magnitude = number | ValueSourceOf<number>;
+type RelativeUnits<TAmount = Magnitude> = {
+    years?: TAmount;
+    quarters?: TAmount;
+    months?: TAmount;
+    weeks?: TAmount;
+    days?: TAmount;
+    hours?: TAmount;
+    minutes?: TAmount;
+    seconds?: TAmount;
 };
 type PeriodUnit = 'year' | 'quarter' | 'month' | 'week' | 'isoWeek' | 'day' | 'hour' | 'minute' | 'second';
-type RollingExpr = {
-    ago: RelativeUnits;
+type RollingExpr<TAmount = Magnitude> = {
+    ago: RelativeUnits<TAmount>;
 } | {
-    ahead: RelativeUnits;
+    ahead: RelativeUnits<TAmount>;
 };
 type PeriodExpr = {
     this: PeriodUnit;
@@ -186,38 +280,22 @@ type EdgeExpr = {
 } | {
     end: PeriodExpr;
 };
-type DateExpr = RollingExpr | PeriodExpr | EdgeExpr;
+type DateExpr<TAmount = Magnitude> = RollingExpr<TAmount> | PeriodExpr | EdgeExpr;
 type DateInputOrExpr = DateInputValue | DateExpr;
 type DateRuleValue = DateInputValue | DateExpr | [DateInputOrExpr, DateInputOrExpr] | string[];
 type WeekStart = 'monday' | 'sunday';
-type TimeZoneConfig = string | {
-    bind: string;
-};
+type TimeZoneConfig = string | ValueSourceOf<string>;
 type DateConfig = {
     now?: DateInputValue;
     timeZone?: TimeZoneConfig;
     weekStart?: WeekStart;
 };
-type ValueSource<TValue> = {
-    value: TValue;
-    path?: never;
-    bind?: never;
-    bindOptional?: never;
-} | {
-    path: string;
-    value?: never;
-    bind?: never;
-    bindOptional?: never;
-} | {
-    bind: string;
-    bindOptional?: boolean;
-    value?: never;
-    path?: never;
-};
-type NoValueSource = {
-    value?: never;
-    path?: never;
+type ValueSource<TValue, TOffset = never> = ValueSourceOf<TValue> & {
+    offset?: TOffset;
 };
+type NumberOffset = ValueSourceOf<number>;
+type DateOffset = ValueSourceOf<RollingExpr>;
+type NoValueSource = Never<keyof SourceSlots<unknown> | 'offset'>;
 type RuleBase<TOperator extends Operator> = {
     field: string;
     operator: TOperator;
@@ -230,13 +308,13 @@ type DateRuleBase<TOperator extends DateOperator> = {
     dateOperator: TOperator;
     error?: string;
 };
-type StrictEqualityRule<TValue = RuleValue> = (RuleBase<OperatorValues['equals']> & ValueSource<TValue>) | (RuleBase<OperatorValues['notEquals']> & ValueSource<TValue>);
-type StrictOrderedComparisonRule = (RuleBase<OperatorValues['lessThan']> & ValueSource<OrderedRuleValue>) | (RuleBase<OperatorValues['lessThanEquals']> & ValueSource<OrderedRuleValue>) | (RuleBase<OperatorValues['greaterThan']> & ValueSource<OrderedRuleValue>) | (RuleBase<OperatorValues['greaterThanEquals']> & ValueSource<OrderedRuleValue>);
+type StrictEqualityRule<TValue = RuleValue> = (RuleBase<OperatorValues['equals']> & ValueSource<TValue, NumberOffset>) | (RuleBase<OperatorValues['notEquals']> & ValueSource<TValue, NumberOffset>);
+type StrictOrderedComparisonRule = (RuleBase<OperatorValues['lessThan']> & ValueSource<OrderedRuleValue, NumberOffset>) | (RuleBase<OperatorValues['lessThanEquals']> & ValueSource<OrderedRuleValue, NumberOffset>) | (RuleBase<OperatorValues['greaterThan']> & ValueSource<OrderedRuleValue, NumberOffset>) | (RuleBase<OperatorValues['greaterThanEquals']> & ValueSource<OrderedRuleValue, NumberOffset>);
 type StrictMembershipRule<TValue = RuleValue> = (RuleBase<OperatorValues['in']> & ValueSource<TValue[]>) | (RuleBase<OperatorValues['notIn']> & ValueSource<TValue[]>);
 type StrictContainsRule<TValue = RuleValue> = (RuleBase<OperatorValues['contains']> & ValueSource<TValue>) | (RuleBase<OperatorValues['notContains']> & ValueSource<TValue>);
 type StrictPatternRule = (RuleBase<OperatorValues['matches']> & ValueSource<RegExp | string>) | (RuleBase<OperatorValues['notMatches']> & ValueSource<RegExp | string>);
 type StrictStringBoundaryRule = (RuleBase<OperatorValues['startsWith']> & ValueSource<string>) | (RuleBase<OperatorValues['endsWith']> & ValueSource<string>);
-type StrictRangeRule = (RuleBase<OperatorValues['between']> & ValueSource<[OrderedRuleValue, OrderedRuleValue]>) | (RuleBase<OperatorValues['notBetween']> & ValueSource<[OrderedRuleValue, OrderedRuleValue]>);
+type StrictRangeRule = (RuleBase<OperatorValues['between']> & ValueSource<[OrderedRuleValue, OrderedRuleValue], NumberOffset>) | (RuleBase<OperatorValues['notBetween']> & ValueSource<[OrderedRuleValue, OrderedRuleValue], NumberOffset>);
 type StrictPresenceRule = (RuleBase<OperatorValues['isEmpty']> & NoValueSource) | (RuleBase<OperatorValues['notEmpty']> & NoValueSource) | (RuleBase<OperatorValues['exists']> & NoValueSource) | (RuleBase<OperatorValues['notExists']> & NoValueSource);
 type StrictRule<TValue = RuleValue> = StrictEqualityRule<TValue> | StrictOrderedComparisonRule | StrictMembershipRule<TValue> | StrictContainsRule<TValue> | StrictPatternRule | StrictStringBoundaryRule | StrictRangeRule | StrictPresenceRule;
 type ArrayRuleBase<TOperator extends ArrayOperator> = {
@@ -272,15 +350,9 @@ type StrictArrayPresenceRule = (ArrayRuleBase<ArrayOperatorValues['empty']> & {
     count?: never;
 });
 type StrictArrayRule<TRuleValue = RuleValue, TDateValue = DateRuleValue> = StrictArrayPredicateRule<TRuleValue, TDateValue> | StrictArrayCountRule<TRuleValue, TDateValue> | StrictArrayPresenceRule;
-type StrictDateComparisonRule = (DateRuleBase<DateOperatorValues['before']> & ValueSource<DateInputValue>) | (DateRuleBase<DateOperatorValues['after']> & ValueSource<DateInputValue>) | (DateRuleBase<DateOperatorValues['onOrBefore']> & ValueSource<DateInputValue>) | (DateRuleBase<DateOperatorValues['onOrAfter']> & ValueSource<DateInputValue>) | (DateRuleBase<DateOperatorValues['notBefore']> & ValueSource<DateInputValue>) | (DateRuleBase<DateOperatorValues['notAfter']> & ValueSource<DateInputValue>);
-type StrictDateRangeRule = (DateRuleBase<DateOperatorValues['between']> & ValueSource<[DateInputValue, DateInputValue]>) | (DateRuleBase<DateOperatorValues['notBetween']> & ValueSource<[DateInputValue, DateInputValue]>);
-type StrictDateDayRule = (DateRuleBase<DateOperatorValues['dayIn']> & {
-    value: string[];
-    path?: never;
-}) | (DateRuleBase<DateOperatorValues['dayNotIn']> & {
-    value: string[];
-    path?: never;
-});
+type StrictDateComparisonRule = (DateRuleBase<DateOperatorValues['before']> & ValueSource<DateInputValue, DateOffset>) | (DateRuleBase<DateOperatorValues['after']> & ValueSource<DateInputValue, DateOffset>) | (DateRuleBase<DateOperatorValues['onOrBefore']> & ValueSource<DateInputValue, DateOffset>) | (DateRuleBase<DateOperatorValues['onOrAfter']> & ValueSource<DateInputValue, DateOffset>) | (DateRuleBase<DateOperatorValues['notBefore']> & ValueSource<DateInputValue, DateOffset>) | (DateRuleBase<DateOperatorValues['notAfter']> & ValueSource<DateInputValue, DateOffset>);
+type StrictDateRangeRule = (DateRuleBase<DateOperatorValues['between']> & ValueSource<[DateInputValue, DateInputValue], DateOffset>) | (DateRuleBase<DateOperatorValues['notBetween']> & ValueSource<[DateInputValue, DateInputValue], DateOffset>);
+type StrictDateDayRule = (DateRuleBase<DateOperatorValues['dayIn']> & ValueSource<string[]>) | (DateRuleBase<DateOperatorValues['dayNotIn']> & ValueSource<string[]>);
 type StrictDateRule = StrictDateComparisonRule | StrictDateRangeRule | StrictDateDayRule;
 type AggregateRuleBase<TRuleValue = RuleValue, TDateValue = DateRuleValue> = {
     field: string;
@@ -317,19 +389,12 @@ type AggregateRule<TRuleValue = RuleValue, TDateValue = DateRuleValue> = WindowF
     };
     condition?: Condition<TRuleValue, TDateValue>;
     operator: Operator;
-    value?: number | [number, number];
-    path?: string;
-    bind?: string;
-    bindOptional?: boolean;
     error?: string;
-};
-type Rule<TValue = RuleValue> = {
+} & ValueSourceFields<number | [number, number]>;
+type Rule<TValue = RuleValue> = ValueSourceFields<TValue> & {
     field: string;
     operator: Operator;
-    value?: TValue;
-    path?: string;
-    bind?: string;
-    bindOptional?: boolean;
+    offset?: NumberOffset;
     error?: string;
     caseInsensitive?: boolean;
     fuzzy?: boolean | FuzzyConfig;
@@ -342,13 +407,10 @@ type ArrayRule<TRuleValue = RuleValue, TDateValue = DateRuleValue> = WindowField
     count?: number;
     error?: string;
 };
-type DateRule<TValue = DateRuleValue> = {
+type DateRule<TValue = DateRuleValue> = ValueSourceFields<TValue> & {
     field: string;
     dateOperator: DateOperator;
-    value?: TValue;
-    path?: string;
-    bind?: string;
-    bindOptional?: boolean;
+    offset?: DateOffset;
     error?: string;
 };
 type All<TRuleValue = RuleValue, TDateValue = DateRuleValue> = {
@@ -382,6 +444,27 @@ type StrictIfThenElse<TRuleValue = RuleValue, TDateValue = DateRuleValue> = {
 };
 type StrictCondition<TRuleValue = RuleValue, TDateValue = DateRuleValue> = StrictRule<TRuleValue> | StrictAggregateRule<TRuleValue, TDateValue> | StrictArrayRule<TRuleValue, TDateValue> | StrictDateRule | StrictAll<TRuleValue, TDateValue> | StrictAny<TRuleValue, TDateValue> | StrictIfThenElse<TRuleValue, TDateValue> | boolean;
 
+type ScopeRef = {
+    depth: number;
+    path: string;
+};
+declare const parseScopeRef: (ref: string) => ScopeRef | null;
+type ScopedRef<S> = {
+    scope: S;
+    path: string;
+};
+type ScopeOutOfBounds = {
+    outOfBounds: string;
+};
+declare const resolveScopeRef: <S>(ref: string, scopes: readonly S[]) => ScopedRef<S> | ScopeOutOfBounds;
+
+/**
+ * The value of one `{ bind }` at evaluation. Key presence is the contract: an unsupplied
+ * binding is a caller bug (a forgotten scope must never silently run) unless the source marks
+ * it `bindOptional`, which reads as null. A supplied-but-undefined binding is null.
+ */
+declare const readBinding: (name: string, optional: boolean | undefined, bindings: Record<string, RuleValue> | undefined) => RuleValue;
+
 /** Names of every `{ bind }` token in the tree, optional or not — what a lens declares. */
 declare const bindingNames: (condition: Condition) => Set<string>;
 /**
@@ -890,20 +973,6 @@ declare const sourceValuesFromRows: (lensOrNarrowing: Lens | LensNarrowing, rows
 
 declare const stampCoercions: (condition: Condition, lensOrNarrowing: Lens | LensNarrowing) => Condition;
 
-type ScopeRef = {
-    depth: number;
-    path: string;
-};
-declare const parseScopeRef: (ref: string) => ScopeRef | null;
-type ScopedRef<S> = {
-    scope: S;
-    path: string;
-};
-type ScopeOutOfBounds = {
-    outOfBounds: string;
-};
-declare const resolveScopeRef: <S>(ref: string, scopes: readonly S[]) => ScopedRef<S> | ScopeOutOfBounds;
-
 /**
  * Execute a Prisma query plan produced by toPrisma().
  *
@@ -989,4 +1058,4 @@ declare const assertValidRule: (condition: unknown, options?: {
     target?: RuleTarget;
 }) => asserts condition is Condition;
 
-export { AGGREGATE_OPERATORS, ALL_KINDS, ARRAY_OPERATOR_CATALOG, type AggregateMode, type AggregateRule, type All, type Any, type ArrayCatalogEntry, ArrayOperator, type ArrayRule, type Bridge, type BridgeCardinality, type BridgeDictionary, type BridgeEndpoint, type BuildOptions, type CatalogEntry, type CheckOptions, type Condition, type CreateLensInput, DATE_OPERATOR_CATALOG, type DateConfig, type DateExpr, type DateInputOrExpr, type DateInputValue, DateOperator, type DateRule, type DateRuleValue, EQUATABLE_KINDS, type EdgeExpr, type EngineGlobalsState, type EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type FuzzyConfig, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type LensPathHop, type LensPathResolution, type ModelDefaultNarrowing, type ModelNarrowing, NULLABLE_KINDS, NUMERIC_KINDS, type NarrowingDefaults, ORDERABLE_KINDS, Operator, type OrderBy, type OrderedRuleValue, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaProvider, type PrismaStep, type PrismaWhere, type ProjectOptions, type ProjectedVisit, type RelativeUnits, type RollingExpr, type Rule, type RuleDescription, type RuleLensCheck, type RuleLensViolation, type RuleScalar, type RuleSourceValues, RuleTarget, type RuleValue, STRINGY_KINDS, type ScopeOutOfBounds, type ScopeRef, type ScopedRef, type SortDir, type SourceOption, type SourcePrismaQuery, type SourceQuery, type SourceRowShape, type SourceSpec, type SourceSqlQuery, type SourceValue, type SourceValues, type SqlResult, type StepRef, type StrictAggregateRule, type StrictAll, type StrictAny, type StrictArrayCountRule, type StrictArrayPredicateRule, type StrictArrayPresenceRule, type StrictArrayRule, type StrictCondition, type StrictContainsRule, type StrictDateComparisonRule, type StrictDateDayRule, type StrictDateRangeRule, type StrictDateRule, type StrictEqualityRule, type StrictIfThenElse, type StrictMembershipRule, type StrictOrderedComparisonRule, type StrictPatternRule, type StrictPresenceRule, type StrictRangeRule, type StrictRule, type StrictStringBoundaryRule, type TimeZoneConfig, type ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, assertValidRule, bindingNames, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, describeRule, engineGlobals, executePrismaQueryPlan, exposedSurface, fuzzyContains, getAggregateOperators, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, lensRequiredBindings, maxFuzzyDistance, parseScopeRef, projectByPath, requiredBindings, resolveBindings, resolveCaseInsensitive, resolveFuzzy, resolveLensBindings, resolveLensPath, resolveScopeRef, ruleSourceValues, sourceQueries, sourceValuesFromQueryRows, sourceValuesFromRows, stampCoercions, stitchFieldMaps, supportsQueryMode, toPrisma, toSql, validateBindNames, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };
+export { AGGREGATE_OPERATORS, ALL_KINDS, ARRAY_OPERATOR_CATALOG, type AggregateMode, type AggregateRule, type All, type Any, type ArrayCatalogEntry, ArrayOperator, type ArrayRule, type Bridge, type BridgeCardinality, type BridgeDictionary, type BridgeEndpoint, type BuildOptions, COERCIBLE_KINDS, COMPILE_COERCED_KINDS, type CatalogEntry, type CheckOptions, type Condition, type CreateLensInput, DATE_OPERATOR_CATALOG, type DateConfig, type DateExpr, type DateInputOrExpr, type DateInputValue, type DateOffset, DateOperator, type DateRule, type DateRuleValue, EQUATABLE_KINDS, type EdgeExpr, type EngineGlobalsState, type EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type FuzzyConfig, type GroupByStep, INTEGER_KINDS, INTERVAL_FIELDS, type IfThenElse, LOWER_BOUND_OPERATORS, type Lens, type LensNarrowing, type LensPathHop, type LensPathResolution, type Magnitude, type ModelDefaultNarrowing, type ModelNarrowing, NEGATED_COMPARISON_OPERATORS, NEGATED_OPERATORS, NEGATED_RANGE_OPERATORS, NEGATED_SINGLE_VALUE_OPERATORS, NO_VALUE_OPERATORS, NULLABLE_KINDS, NUMERIC_KINDS, type NarrowingDefaults, type NumberOffset, OFFSET_OPERATORS, ORDERABLE_KINDS, ORDERED_OPERATORS, Operator, type OrderBy, type OrderedRuleValue, PERIOD_UNITS, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaProvider, type PrismaStep, type PrismaWhere, type ProjectOptions, type ProjectedVisit, RANGE_OPERATORS, RELATIVE_UNITS, type RelativeUnit, type RelativeUnits, type RollingExpr, type Rule, type RuleDescription, type RuleLensCheck, type RuleLensViolation, type RuleScalar, type RuleSourceValues, RuleTarget, type RuleValue, SINGLE_VALUE_SHAPES, STRINGY_KINDS, type ScopeOutOfBounds, type ScopeRef, type ScopedRef, type SortDir, type SourceOption, type SourcePrismaQuery, type SourceQuery, type SourceRowShape, type SourceSpec, type SourceSqlQuery, type SourceValue, type SourceValues, type SqlResult, type StepRef, type StrictAggregateRule, type StrictAll, type StrictAny, type StrictArrayCountRule, type StrictArrayPredicateRule, type StrictArrayPresenceRule, type StrictArrayRule, type StrictCondition, type StrictContainsRule, type StrictDateComparisonRule, type StrictDateDayRule, type StrictDateRangeRule, type StrictDateRule, type StrictEqualityRule, type StrictIfThenElse, type StrictMembershipRule, type StrictOrderedComparisonRule, type StrictPatternRule, type StrictPresenceRule, type StrictRangeRule, type StrictRule, type StrictStringBoundaryRule, type TimeZoneConfig, type ToPrismaResult, UPPER_BOUND_OPERATORS, type ValidationIssue, type ValidationResult, ValueShape, type ValueSourceFields, type ValueSourceOf, WINDOW_OPERATORS, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, assertValidRule, bindingNames, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, describeRule, engineGlobals, executePrismaQueryPlan, exposedSurface, fuzzyContains, getAggregateOperators, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isCalendarUnit, isOperatorSupportedForTarget, isRelativeUnit, lensRequiredBindings, maxFuzzyDistance, parseScopeRef, projectByPath, readBinding, requiredBindings, resolveBindings, resolveCaseInsensitive, resolveFuzzy, resolveLensBindings, resolveLensPath, resolveScopeRef, ruleSourceValues, sourceQueries, sourceValuesFromQueryRows, sourceValuesFromRows, stampCoercions, stitchFieldMaps, supportsQueryMode, toPrisma, toSql, validateBindNames, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };

package/dist/index.d.ts

@@ -147,6 +147,88 @@ declare const getOperatorsForKind: (kind: FieldKind, target?: RuleTarget) => {
     date: DateOperator[];
 };
 declare const getArrayOperators: (target?: RuleTarget) => ArrayOperator[];
+/** Operators that read no comparison value. */
+declare const NO_VALUE_OPERATORS: readonly string[];
+/** Field comparisons with an order: `<`, `<=`, `>`, `>=`. */
+declare const ORDERED_OPERATORS: readonly string[];
+/** A window expression (`within`), not a pair. */
+declare const WINDOW_OPERATORS: readonly string[];
+/** Operators that compare against two ends. */
+declare const RANGE_OPERATORS: readonly string[];
+/** Operators with a point to move: the comparisons and both ends of a pair. */
+declare const OFFSET_OPERATORS: readonly string[];
+/** The negations: each is the complement of its positive form and keeps NULL fields
+ *  (the 2.19.0 ruling). */
+declare const NEGATED_OPERATORS: readonly string[];
+/** Negations of a two-ended range. */
+declare const NEGATED_RANGE_OPERATORS: string[];
+/** Negated comparisons an offset can move; with nothing to compare against they still keep a
+ *  null field. */
+declare const NEGATED_COMPARISON_OPERATORS: string[];
+/** Negations of one literal (`notEquals`, `notContains`). */
+declare const NEGATED_SINGLE_VALUE_OPERATORS: string[];
+/** Comparisons that bound a field from above / below — what a window's extremal rewrite reads. */
+declare const UPPER_BOUND_OPERATORS: readonly string[];
+declare const LOWER_BOUND_OPERATORS: readonly string[];
+/** Kinds a calendar unit amount can read: whole numbers. */
+declare const INTEGER_KINDS: readonly FieldKind[];
+/** Kinds check() coerces a literal to (see coerceScalar in src/field.ts). */
+declare const COERCIBLE_KINDS: readonly FieldKind[];
+/** Kinds whose literal the compilers coerce exactly as check() does — Prisma rejects a string on
+ *  Int/Float/Boolean; BigInt compares as Int. Decimal keeps its literal: Prisma and Postgres take
+ *  the numeric string losslessly, and a JS number would not. */
+declare const COMPILE_COERCED_KINDS: readonly FieldKind[];
+/** Value shapes that take one literal. */
+declare const SINGLE_VALUE_SHAPES: readonly ValueShape[];
+/** Each relative unit: the Postgres interval field it adds to, its size there, and whether it is
+ *  a calendar unit (whole steps). Applied months, then days, then time, as Postgres does. */
+declare const RELATIVE_UNITS: {
+    readonly years: {
+        readonly interval: "months";
+        readonly factor: 12;
+        readonly calendar: true;
+    };
+    readonly quarters: {
+        readonly interval: "months";
+        readonly factor: 3;
+        readonly calendar: true;
+    };
+    readonly months: {
+        readonly interval: "months";
+        readonly factor: 1;
+        readonly calendar: true;
+    };
+    readonly weeks: {
+        readonly interval: "days";
+        readonly factor: 7;
+        readonly calendar: true;
+    };
+    readonly days: {
+        readonly interval: "days";
+        readonly factor: 1;
+        readonly calendar: true;
+    };
+    readonly hours: {
+        readonly interval: "secs";
+        readonly factor: 3600;
+        readonly calendar: false;
+    };
+    readonly minutes: {
+        readonly interval: "secs";
+        readonly factor: 60;
+        readonly calendar: false;
+    };
+    readonly seconds: {
+        readonly interval: "secs";
+        readonly factor: 1;
+        readonly calendar: false;
+    };
+};
+type RelativeUnit = keyof typeof RELATIVE_UNITS;
+declare const INTERVAL_FIELDS: readonly ["months", "days", "secs"];
+declare const isRelativeUnit: (unit: string) => unit is RelativeUnit;
+declare const isCalendarUnit: (unit: string) => boolean;
+declare const PERIOD_UNITS: readonly string[];
 
 type OperatorValues = typeof Operator;
 type ArrayOperatorValues = typeof ArrayOperator;
@@ -158,21 +240,33 @@ type RuleValue = RuleScalar | Date | RegExp | RuleValue[] | {
 };
 type OrderedRuleValue = string | number | Date;
 type DateInputValue = string | number | Date;
-type RelativeUnits = {
-    years?: number;
-    quarters?: number;
-    months?: number;
-    weeks?: number;
-    days?: number;
-    hours?: number;
-    minutes?: number;
-    seconds?: number;
+type SourceSlots<TValue> = {
+    value: TValue;
+    path: string;
+    bind: string;
+    bindOptional: boolean;
+};
+type Never<K extends PropertyKey> = {
+    [P in K]?: never;
+};
+type ValueSourceOf<TValue> = (Pick<SourceSlots<TValue>, 'value'> & Never<'path' | 'bind' | 'bindOptional'>) | (Pick<SourceSlots<TValue>, 'path'> & Never<'value' | 'bind' | 'bindOptional'>) | (Pick<SourceSlots<TValue>, 'bind'> & Partial<Pick<SourceSlots<TValue>, 'bindOptional'>> & Never<'value' | 'path'>);
+type ValueSourceFields<TValue> = Partial<SourceSlots<TValue>>;
+type Magnitude = number | ValueSourceOf<number>;
+type RelativeUnits<TAmount = Magnitude> = {
+    years?: TAmount;
+    quarters?: TAmount;
+    months?: TAmount;
+    weeks?: TAmount;
+    days?: TAmount;
+    hours?: TAmount;
+    minutes?: TAmount;
+    seconds?: TAmount;
 };
 type PeriodUnit = 'year' | 'quarter' | 'month' | 'week' | 'isoWeek' | 'day' | 'hour' | 'minute' | 'second';
-type RollingExpr = {
-    ago: RelativeUnits;
+type RollingExpr<TAmount = Magnitude> = {
+    ago: RelativeUnits<TAmount>;
 } | {
-    ahead: RelativeUnits;
+    ahead: RelativeUnits<TAmount>;
 };
 type PeriodExpr = {
     this: PeriodUnit;
@@ -186,38 +280,22 @@ type EdgeExpr = {
 } | {
     end: PeriodExpr;
 };
-type DateExpr = RollingExpr | PeriodExpr | EdgeExpr;
+type DateExpr<TAmount = Magnitude> = RollingExpr<TAmount> | PeriodExpr | EdgeExpr;
 type DateInputOrExpr = DateInputValue | DateExpr;
 type DateRuleValue = DateInputValue | DateExpr | [DateInputOrExpr, DateInputOrExpr] | string[];
 type WeekStart = 'monday' | 'sunday';
-type TimeZoneConfig = string | {
-    bind: string;
-};
+type TimeZoneConfig = string | ValueSourceOf<string>;
 type DateConfig = {
     now?: DateInputValue;
     timeZone?: TimeZoneConfig;
     weekStart?: WeekStart;
 };
-type ValueSource<TValue> = {
-    value: TValue;
-    path?: never;
-    bind?: never;
-    bindOptional?: never;
-} | {
-    path: string;
-    value?: never;
-    bind?: never;
-    bindOptional?: never;
-} | {
-    bind: string;
-    bindOptional?: boolean;
-    value?: never;
-    path?: never;
-};
-type NoValueSource = {
-    value?: never;
-    path?: never;
+type ValueSource<TValue, TOffset = never> = ValueSourceOf<TValue> & {
+    offset?: TOffset;
 };
+type NumberOffset = ValueSourceOf<number>;
+type DateOffset = ValueSourceOf<RollingExpr>;
+type NoValueSource = Never<keyof SourceSlots<unknown> | 'offset'>;
 type RuleBase<TOperator extends Operator> = {
     field: string;
     operator: TOperator;
@@ -230,13 +308,13 @@ type DateRuleBase<TOperator extends DateOperator> = {
     dateOperator: TOperator;
     error?: string;
 };
-type StrictEqualityRule<TValue = RuleValue> = (RuleBase<OperatorValues['equals']> & ValueSource<TValue>) | (RuleBase<OperatorValues['notEquals']> & ValueSource<TValue>);
-type StrictOrderedComparisonRule = (RuleBase<OperatorValues['lessThan']> & ValueSource<OrderedRuleValue>) | (RuleBase<OperatorValues['lessThanEquals']> & ValueSource<OrderedRuleValue>) | (RuleBase<OperatorValues['greaterThan']> & ValueSource<OrderedRuleValue>) | (RuleBase<OperatorValues['greaterThanEquals']> & ValueSource<OrderedRuleValue>);
+type StrictEqualityRule<TValue = RuleValue> = (RuleBase<OperatorValues['equals']> & ValueSource<TValue, NumberOffset>) | (RuleBase<OperatorValues['notEquals']> & ValueSource<TValue, NumberOffset>);
+type StrictOrderedComparisonRule = (RuleBase<OperatorValues['lessThan']> & ValueSource<OrderedRuleValue, NumberOffset>) | (RuleBase<OperatorValues['lessThanEquals']> & ValueSource<OrderedRuleValue, NumberOffset>) | (RuleBase<OperatorValues['greaterThan']> & ValueSource<OrderedRuleValue, NumberOffset>) | (RuleBase<OperatorValues['greaterThanEquals']> & ValueSource<OrderedRuleValue, NumberOffset>);
 type StrictMembershipRule<TValue = RuleValue> = (RuleBase<OperatorValues['in']> & ValueSource<TValue[]>) | (RuleBase<OperatorValues['notIn']> & ValueSource<TValue[]>);
 type StrictContainsRule<TValue = RuleValue> = (RuleBase<OperatorValues['contains']> & ValueSource<TValue>) | (RuleBase<OperatorValues['notContains']> & ValueSource<TValue>);
 type StrictPatternRule = (RuleBase<OperatorValues['matches']> & ValueSource<RegExp | string>) | (RuleBase<OperatorValues['notMatches']> & ValueSource<RegExp | string>);
 type StrictStringBoundaryRule = (RuleBase<OperatorValues['startsWith']> & ValueSource<string>) | (RuleBase<OperatorValues['endsWith']> & ValueSource<string>);
-type StrictRangeRule = (RuleBase<OperatorValues['between']> & ValueSource<[OrderedRuleValue, OrderedRuleValue]>) | (RuleBase<OperatorValues['notBetween']> & ValueSource<[OrderedRuleValue, OrderedRuleValue]>);
+type StrictRangeRule = (RuleBase<OperatorValues['between']> & ValueSource<[OrderedRuleValue, OrderedRuleValue], NumberOffset>) | (RuleBase<OperatorValues['notBetween']> & ValueSource<[OrderedRuleValue, OrderedRuleValue], NumberOffset>);
 type StrictPresenceRule = (RuleBase<OperatorValues['isEmpty']> & NoValueSource) | (RuleBase<OperatorValues['notEmpty']> & NoValueSource) | (RuleBase<OperatorValues['exists']> & NoValueSource) | (RuleBase<OperatorValues['notExists']> & NoValueSource);
 type StrictRule<TValue = RuleValue> = StrictEqualityRule<TValue> | StrictOrderedComparisonRule | StrictMembershipRule<TValue> | StrictContainsRule<TValue> | StrictPatternRule | StrictStringBoundaryRule | StrictRangeRule | StrictPresenceRule;
 type ArrayRuleBase<TOperator extends ArrayOperator> = {
@@ -272,15 +350,9 @@ type StrictArrayPresenceRule = (ArrayRuleBase<ArrayOperatorValues['empty']> & {
     count?: never;
 });
 type StrictArrayRule<TRuleValue = RuleValue, TDateValue = DateRuleValue> = StrictArrayPredicateRule<TRuleValue, TDateValue> | StrictArrayCountRule<TRuleValue, TDateValue> | StrictArrayPresenceRule;
-type StrictDateComparisonRule = (DateRuleBase<DateOperatorValues['before']> & ValueSource<DateInputValue>) | (DateRuleBase<DateOperatorValues['after']> & ValueSource<DateInputValue>) | (DateRuleBase<DateOperatorValues['onOrBefore']> & ValueSource<DateInputValue>) | (DateRuleBase<DateOperatorValues['onOrAfter']> & ValueSource<DateInputValue>) | (DateRuleBase<DateOperatorValues['notBefore']> & ValueSource<DateInputValue>) | (DateRuleBase<DateOperatorValues['notAfter']> & ValueSource<DateInputValue>);
-type StrictDateRangeRule = (DateRuleBase<DateOperatorValues['between']> & ValueSource<[DateInputValue, DateInputValue]>) | (DateRuleBase<DateOperatorValues['notBetween']> & ValueSource<[DateInputValue, DateInputValue]>);
-type StrictDateDayRule = (DateRuleBase<DateOperatorValues['dayIn']> & {
-    value: string[];
-    path?: never;
-}) | (DateRuleBase<DateOperatorValues['dayNotIn']> & {
-    value: string[];
-    path?: never;
-});
+type StrictDateComparisonRule = (DateRuleBase<DateOperatorValues['before']> & ValueSource<DateInputValue, DateOffset>) | (DateRuleBase<DateOperatorValues['after']> & ValueSource<DateInputValue, DateOffset>) | (DateRuleBase<DateOperatorValues['onOrBefore']> & ValueSource<DateInputValue, DateOffset>) | (DateRuleBase<DateOperatorValues['onOrAfter']> & ValueSource<DateInputValue, DateOffset>) | (DateRuleBase<DateOperatorValues['notBefore']> & ValueSource<DateInputValue, DateOffset>) | (DateRuleBase<DateOperatorValues['notAfter']> & ValueSource<DateInputValue, DateOffset>);
+type StrictDateRangeRule = (DateRuleBase<DateOperatorValues['between']> & ValueSource<[DateInputValue, DateInputValue], DateOffset>) | (DateRuleBase<DateOperatorValues['notBetween']> & ValueSource<[DateInputValue, DateInputValue], DateOffset>);
+type StrictDateDayRule = (DateRuleBase<DateOperatorValues['dayIn']> & ValueSource<string[]>) | (DateRuleBase<DateOperatorValues['dayNotIn']> & ValueSource<string[]>);
 type StrictDateRule = StrictDateComparisonRule | StrictDateRangeRule | StrictDateDayRule;
 type AggregateRuleBase<TRuleValue = RuleValue, TDateValue = DateRuleValue> = {
     field: string;
@@ -317,19 +389,12 @@ type AggregateRule<TRuleValue = RuleValue, TDateValue = DateRuleValue> = WindowF
     };
     condition?: Condition<TRuleValue, TDateValue>;
     operator: Operator;
-    value?: number | [number, number];
-    path?: string;
-    bind?: string;
-    bindOptional?: boolean;
     error?: string;
-};
-type Rule<TValue = RuleValue> = {
+} & ValueSourceFields<number | [number, number]>;
+type Rule<TValue = RuleValue> = ValueSourceFields<TValue> & {
     field: string;
     operator: Operator;
-    value?: TValue;
-    path?: string;
-    bind?: string;
-    bindOptional?: boolean;
+    offset?: NumberOffset;
     error?: string;
     caseInsensitive?: boolean;
     fuzzy?: boolean | FuzzyConfig;
@@ -342,13 +407,10 @@ type ArrayRule<TRuleValue = RuleValue, TDateValue = DateRuleValue> = WindowField
     count?: number;
     error?: string;
 };
-type DateRule<TValue = DateRuleValue> = {
+type DateRule<TValue = DateRuleValue> = ValueSourceFields<TValue> & {
     field: string;
     dateOperator: DateOperator;
-    value?: TValue;
-    path?: string;
-    bind?: string;
-    bindOptional?: boolean;
+    offset?: DateOffset;
     error?: string;
 };
 type All<TRuleValue = RuleValue, TDateValue = DateRuleValue> = {
@@ -382,6 +444,27 @@ type StrictIfThenElse<TRuleValue = RuleValue, TDateValue = DateRuleValue> = {
 };
 type StrictCondition<TRuleValue = RuleValue, TDateValue = DateRuleValue> = StrictRule<TRuleValue> | StrictAggregateRule<TRuleValue, TDateValue> | StrictArrayRule<TRuleValue, TDateValue> | StrictDateRule | StrictAll<TRuleValue, TDateValue> | StrictAny<TRuleValue, TDateValue> | StrictIfThenElse<TRuleValue, TDateValue> | boolean;
 
+type ScopeRef = {
+    depth: number;
+    path: string;
+};
+declare const parseScopeRef: (ref: string) => ScopeRef | null;
+type ScopedRef<S> = {
+    scope: S;
+    path: string;
+};
+type ScopeOutOfBounds = {
+    outOfBounds: string;
+};
+declare const resolveScopeRef: <S>(ref: string, scopes: readonly S[]) => ScopedRef<S> | ScopeOutOfBounds;
+
+/**
+ * The value of one `{ bind }` at evaluation. Key presence is the contract: an unsupplied
+ * binding is a caller bug (a forgotten scope must never silently run) unless the source marks
+ * it `bindOptional`, which reads as null. A supplied-but-undefined binding is null.
+ */
+declare const readBinding: (name: string, optional: boolean | undefined, bindings: Record<string, RuleValue> | undefined) => RuleValue;
+
 /** Names of every `{ bind }` token in the tree, optional or not — what a lens declares. */
 declare const bindingNames: (condition: Condition) => Set<string>;
 /**
@@ -890,20 +973,6 @@ declare const sourceValuesFromRows: (lensOrNarrowing: Lens | LensNarrowing, rows
 
 declare const stampCoercions: (condition: Condition, lensOrNarrowing: Lens | LensNarrowing) => Condition;
 
-type ScopeRef = {
-    depth: number;
-    path: string;
-};
-declare const parseScopeRef: (ref: string) => ScopeRef | null;
-type ScopedRef<S> = {
-    scope: S;
-    path: string;
-};
-type ScopeOutOfBounds = {
-    outOfBounds: string;
-};
-declare const resolveScopeRef: <S>(ref: string, scopes: readonly S[]) => ScopedRef<S> | ScopeOutOfBounds;
-
 /**
  * Execute a Prisma query plan produced by toPrisma().
  *
@@ -989,4 +1058,4 @@ declare const assertValidRule: (condition: unknown, options?: {
     target?: RuleTarget;
 }) => asserts condition is Condition;
 
-export { AGGREGATE_OPERATORS, ALL_KINDS, ARRAY_OPERATOR_CATALOG, type AggregateMode, type AggregateRule, type All, type Any, type ArrayCatalogEntry, ArrayOperator, type ArrayRule, type Bridge, type BridgeCardinality, type BridgeDictionary, type BridgeEndpoint, type BuildOptions, type CatalogEntry, type CheckOptions, type Condition, type CreateLensInput, DATE_OPERATOR_CATALOG, type DateConfig, type DateExpr, type DateInputOrExpr, type DateInputValue, DateOperator, type DateRule, type DateRuleValue, EQUATABLE_KINDS, type EdgeExpr, type EngineGlobalsState, type EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type FuzzyConfig, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type LensPathHop, type LensPathResolution, type ModelDefaultNarrowing, type ModelNarrowing, NULLABLE_KINDS, NUMERIC_KINDS, type NarrowingDefaults, ORDERABLE_KINDS, Operator, type OrderBy, type OrderedRuleValue, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaProvider, type PrismaStep, type PrismaWhere, type ProjectOptions, type ProjectedVisit, type RelativeUnits, type RollingExpr, type Rule, type RuleDescription, type RuleLensCheck, type RuleLensViolation, type RuleScalar, type RuleSourceValues, RuleTarget, type RuleValue, STRINGY_KINDS, type ScopeOutOfBounds, type ScopeRef, type ScopedRef, type SortDir, type SourceOption, type SourcePrismaQuery, type SourceQuery, type SourceRowShape, type SourceSpec, type SourceSqlQuery, type SourceValue, type SourceValues, type SqlResult, type StepRef, type StrictAggregateRule, type StrictAll, type StrictAny, type StrictArrayCountRule, type StrictArrayPredicateRule, type StrictArrayPresenceRule, type StrictArrayRule, type StrictCondition, type StrictContainsRule, type StrictDateComparisonRule, type StrictDateDayRule, type StrictDateRangeRule, type StrictDateRule, type StrictEqualityRule, type StrictIfThenElse, type StrictMembershipRule, type StrictOrderedComparisonRule, type StrictPatternRule, type StrictPresenceRule, type StrictRangeRule, type StrictRule, type StrictStringBoundaryRule, type TimeZoneConfig, type ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, assertValidRule, bindingNames, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, describeRule, engineGlobals, executePrismaQueryPlan, exposedSurface, fuzzyContains, getAggregateOperators, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, lensRequiredBindings, maxFuzzyDistance, parseScopeRef, projectByPath, requiredBindings, resolveBindings, resolveCaseInsensitive, resolveFuzzy, resolveLensBindings, resolveLensPath, resolveScopeRef, ruleSourceValues, sourceQueries, sourceValuesFromQueryRows, sourceValuesFromRows, stampCoercions, stitchFieldMaps, supportsQueryMode, toPrisma, toSql, validateBindNames, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };
+export { AGGREGATE_OPERATORS, ALL_KINDS, ARRAY_OPERATOR_CATALOG, type AggregateMode, type AggregateRule, type All, type Any, type ArrayCatalogEntry, ArrayOperator, type ArrayRule, type Bridge, type BridgeCardinality, type BridgeDictionary, type BridgeEndpoint, type BuildOptions, COERCIBLE_KINDS, COMPILE_COERCED_KINDS, type CatalogEntry, type CheckOptions, type Condition, type CreateLensInput, DATE_OPERATOR_CATALOG, type DateConfig, type DateExpr, type DateInputOrExpr, type DateInputValue, type DateOffset, DateOperator, type DateRule, type DateRuleValue, EQUATABLE_KINDS, type EdgeExpr, type EngineGlobalsState, type EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type FuzzyConfig, type GroupByStep, INTEGER_KINDS, INTERVAL_FIELDS, type IfThenElse, LOWER_BOUND_OPERATORS, type Lens, type LensNarrowing, type LensPathHop, type LensPathResolution, type Magnitude, type ModelDefaultNarrowing, type ModelNarrowing, NEGATED_COMPARISON_OPERATORS, NEGATED_OPERATORS, NEGATED_RANGE_OPERATORS, NEGATED_SINGLE_VALUE_OPERATORS, NO_VALUE_OPERATORS, NULLABLE_KINDS, NUMERIC_KINDS, type NarrowingDefaults, type NumberOffset, OFFSET_OPERATORS, ORDERABLE_KINDS, ORDERED_OPERATORS, Operator, type OrderBy, type OrderedRuleValue, PERIOD_UNITS, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaProvider, type PrismaStep, type PrismaWhere, type ProjectOptions, type ProjectedVisit, RANGE_OPERATORS, RELATIVE_UNITS, type RelativeUnit, type RelativeUnits, type RollingExpr, type Rule, type RuleDescription, type RuleLensCheck, type RuleLensViolation, type RuleScalar, type RuleSourceValues, RuleTarget, type RuleValue, SINGLE_VALUE_SHAPES, STRINGY_KINDS, type ScopeOutOfBounds, type ScopeRef, type ScopedRef, type SortDir, type SourceOption, type SourcePrismaQuery, type SourceQuery, type SourceRowShape, type SourceSpec, type SourceSqlQuery, type SourceValue, type SourceValues, type SqlResult, type StepRef, type StrictAggregateRule, type StrictAll, type StrictAny, type StrictArrayCountRule, type StrictArrayPredicateRule, type StrictArrayPresenceRule, type StrictArrayRule, type StrictCondition, type StrictContainsRule, type StrictDateComparisonRule, type StrictDateDayRule, type StrictDateRangeRule, type StrictDateRule, type StrictEqualityRule, type StrictIfThenElse, type StrictMembershipRule, type StrictOrderedComparisonRule, type StrictPatternRule, type StrictPresenceRule, type StrictRangeRule, type StrictRule, type StrictStringBoundaryRule, type TimeZoneConfig, type ToPrismaResult, UPPER_BOUND_OPERATORS, type ValidationIssue, type ValidationResult, ValueShape, type ValueSourceFields, type ValueSourceOf, WINDOW_OPERATORS, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, assertValidRule, bindingNames, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, describeRule, engineGlobals, executePrismaQueryPlan, exposedSurface, fuzzyContains, getAggregateOperators, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isCalendarUnit, isOperatorSupportedForTarget, isRelativeUnit, lensRequiredBindings, maxFuzzyDistance, parseScopeRef, projectByPath, readBinding, requiredBindings, resolveBindings, resolveCaseInsensitive, resolveFuzzy, resolveLensBindings, resolveLensPath, resolveScopeRef, ruleSourceValues, sourceQueries, sourceValuesFromQueryRows, sourceValuesFromRows, stampCoercions, stitchFieldMaps, supportsQueryMode, toPrisma, toSql, validateBindNames, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };