@inixiative/json-rules 2.7.0 → 2.9.0

package/dist/index.d.cts

@@ -386,6 +386,13 @@ type ModelDefaultNarrowing = {
      * Composes via filter-first semantic at every visit of this model.
      */
     where?: Condition;
+    /**
+     * Per-field eligibility `where` over THIS model — decorates a field's option
+     * picker. The field's selectable values = DISTINCT(field) over this model
+     * filtered by `where` (plus the model's own narrowing). Composes like `where`:
+     * general via `mapDefaults`, path-specific via `root`/`relations`, AND-only.
+     */
+    sources?: Record<string, Condition>;
 };
 /** Narrowing for a model at a specific traversal path. Adds relations to the default shape. */
 type ModelNarrowing = ModelDefaultNarrowing & {
@@ -435,17 +442,6 @@ type CreateLensInput = {
 };
 declare const createLens: (input: CreateLensInput) => Lens;
 
-declare const validateNarrowing: (narrowing: LensNarrowing) => void;
-
-type ProjectedVisit = {
-    mapName: string;
-    modelName: string;
-    fields: Record<string, FieldMapEntry>;
-    whereClauses: Condition[];
-};
-type PathProjection = Map<string, ProjectedVisit>;
-declare const projectByPath: (lensOrNarrowing: Lens | LensNarrowing) => PathProjection;
-
 declare const FieldKind: {
     readonly String: "String";
     readonly Boolean: "Boolean";
@@ -534,6 +530,75 @@ declare const getOperatorsForKind: (kind: FieldKind, target?: RuleTarget) => {
 };
 declare const getArrayOperators: (target?: RuleTarget) => ArrayOperator[];
 
+type RuleDescription = {
+    sources: string[];
+    bridgesCrossed: boolean;
+    supportedTargets: RuleTarget[];
+    violations: string[];
+};
+declare const describeRule: (rule: Condition, lensOrNarrowing: Lens | LensNarrowing) => RuleDescription;
+
+declare const exposedSurface: (lensOrNarrowing: Lens | LensNarrowing) => Lens;
+
+declare const validateNarrowing: (narrowing: LensNarrowing) => void;
+
+type ProjectedVisit = {
+    mapName: string;
+    modelName: string;
+    fields: Record<string, FieldMapEntry>;
+    whereClauses: Condition[];
+    /** Per-field source eligibility wheres, composed across layers (general + path). */
+    sources: Record<string, Condition[]>;
+};
+type PathProjection = Map<string, ProjectedVisit>;
+declare const projectByPath: (lensOrNarrowing: Lens | LensNarrowing) => PathProjection;
+
+type SourcePrismaQuery = {
+    model: string;
+    distinct: string[];
+    select: Record<string, true>;
+    where: PrismaWhere;
+    /** Present only if the composed where used count operators (run via executePrismaQueryPlan). */
+    steps?: PrismaStep[];
+};
+/** `sql` is null when the composed where uses a predicate SQL can't express
+ * (e.g. array-condition operators); `error` then carries why. Prisma still
+ * compiles — run that, or fall back to fetch + `check()`. */
+type SourceSqlQuery = {
+    sql: string | null;
+    params: unknown[];
+    error?: string;
+};
+type SourceQuery = {
+    path: string;
+    mapName: string;
+    model: string;
+    field: string;
+    composedWhere: Condition;
+    prisma: SourcePrismaQuery;
+    sql: SourceSqlQuery;
+};
+/**
+ * Compile a DISTINCT(value) query — Prisma and SQL — per sourced field across
+ * the projected lens. The WHERE is the field's composed eligibility: the model's
+ * own narrowing at that path AND its source where(s). The app runs these (with
+ * its own client) to materialize each field's option set.
+ */
+declare const sourceQueries: (lensOrNarrowing: Lens | LensNarrowing) => SourceQuery[];
+type SourceValues = {
+    path: string;
+    field: string;
+    values: readonly string[];
+};
+/**
+ * Decorate fetched DISTINCT values back onto the projected lens. Each result's
+ * values land on `projection.get(path).fields[field].values` — the existing
+ * pseudo-enum primitive the builder reads. Per-path, so the same model at two
+ * paths can carry different option sets. Pure: returns a new projection;
+ * results for unknown paths or fields are ignored.
+ */
+declare const applySourceValues: (projection: PathProjection, results: readonly SourceValues[]) => PathProjection;
+
 /**
  * Execute a Prisma query plan produced by toPrisma().
  *
@@ -619,4 +684,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 EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type ModelDefaultNarrowing, type ModelNarrowing, NUMERIC_KINDS, type NarrowingDefaults, ORDERABLE_KINDS, Operator, type OrderBy, type OrderedRuleValue, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaStep, type PrismaWhere, type ProjectedVisit, type RelativeUnits, type RollingExpr, type Rule, type RuleLensCheck, type RuleLensViolation, type RuleScalar, RuleTarget, type RuleValue, STRINGY_KINDS, type SortDir, 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 ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, assertValidRule, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, executePrismaQueryPlan, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, projectByPath, stitchFieldMaps, toPrisma, toSql, 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, 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 EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type ModelDefaultNarrowing, type ModelNarrowing, NUMERIC_KINDS, type NarrowingDefaults, ORDERABLE_KINDS, Operator, type OrderBy, type OrderedRuleValue, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaStep, type PrismaWhere, type ProjectedVisit, type RelativeUnits, type RollingExpr, type Rule, type RuleDescription, type RuleLensCheck, type RuleLensViolation, type RuleScalar, RuleTarget, type RuleValue, STRINGY_KINDS, type SortDir, type SourcePrismaQuery, type SourceQuery, type SourceSqlQuery, 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 ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, applySourceValues, assertValidRule, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, describeRule, executePrismaQueryPlan, exposedSurface, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, projectByPath, sourceQueries, stitchFieldMaps, toPrisma, toSql, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };

package/dist/index.d.ts

@@ -386,6 +386,13 @@ type ModelDefaultNarrowing = {
      * Composes via filter-first semantic at every visit of this model.
      */
     where?: Condition;
+    /**
+     * Per-field eligibility `where` over THIS model — decorates a field's option
+     * picker. The field's selectable values = DISTINCT(field) over this model
+     * filtered by `where` (plus the model's own narrowing). Composes like `where`:
+     * general via `mapDefaults`, path-specific via `root`/`relations`, AND-only.
+     */
+    sources?: Record<string, Condition>;
 };
 /** Narrowing for a model at a specific traversal path. Adds relations to the default shape. */
 type ModelNarrowing = ModelDefaultNarrowing & {
@@ -435,17 +442,6 @@ type CreateLensInput = {
 };
 declare const createLens: (input: CreateLensInput) => Lens;
 
-declare const validateNarrowing: (narrowing: LensNarrowing) => void;
-
-type ProjectedVisit = {
-    mapName: string;
-    modelName: string;
-    fields: Record<string, FieldMapEntry>;
-    whereClauses: Condition[];
-};
-type PathProjection = Map<string, ProjectedVisit>;
-declare const projectByPath: (lensOrNarrowing: Lens | LensNarrowing) => PathProjection;
-
 declare const FieldKind: {
     readonly String: "String";
     readonly Boolean: "Boolean";
@@ -534,6 +530,75 @@ declare const getOperatorsForKind: (kind: FieldKind, target?: RuleTarget) => {
 };
 declare const getArrayOperators: (target?: RuleTarget) => ArrayOperator[];
 
+type RuleDescription = {
+    sources: string[];
+    bridgesCrossed: boolean;
+    supportedTargets: RuleTarget[];
+    violations: string[];
+};
+declare const describeRule: (rule: Condition, lensOrNarrowing: Lens | LensNarrowing) => RuleDescription;
+
+declare const exposedSurface: (lensOrNarrowing: Lens | LensNarrowing) => Lens;
+
+declare const validateNarrowing: (narrowing: LensNarrowing) => void;
+
+type ProjectedVisit = {
+    mapName: string;
+    modelName: string;
+    fields: Record<string, FieldMapEntry>;
+    whereClauses: Condition[];
+    /** Per-field source eligibility wheres, composed across layers (general + path). */
+    sources: Record<string, Condition[]>;
+};
+type PathProjection = Map<string, ProjectedVisit>;
+declare const projectByPath: (lensOrNarrowing: Lens | LensNarrowing) => PathProjection;
+
+type SourcePrismaQuery = {
+    model: string;
+    distinct: string[];
+    select: Record<string, true>;
+    where: PrismaWhere;
+    /** Present only if the composed where used count operators (run via executePrismaQueryPlan). */
+    steps?: PrismaStep[];
+};
+/** `sql` is null when the composed where uses a predicate SQL can't express
+ * (e.g. array-condition operators); `error` then carries why. Prisma still
+ * compiles — run that, or fall back to fetch + `check()`. */
+type SourceSqlQuery = {
+    sql: string | null;
+    params: unknown[];
+    error?: string;
+};
+type SourceQuery = {
+    path: string;
+    mapName: string;
+    model: string;
+    field: string;
+    composedWhere: Condition;
+    prisma: SourcePrismaQuery;
+    sql: SourceSqlQuery;
+};
+/**
+ * Compile a DISTINCT(value) query — Prisma and SQL — per sourced field across
+ * the projected lens. The WHERE is the field's composed eligibility: the model's
+ * own narrowing at that path AND its source where(s). The app runs these (with
+ * its own client) to materialize each field's option set.
+ */
+declare const sourceQueries: (lensOrNarrowing: Lens | LensNarrowing) => SourceQuery[];
+type SourceValues = {
+    path: string;
+    field: string;
+    values: readonly string[];
+};
+/**
+ * Decorate fetched DISTINCT values back onto the projected lens. Each result's
+ * values land on `projection.get(path).fields[field].values` — the existing
+ * pseudo-enum primitive the builder reads. Per-path, so the same model at two
+ * paths can carry different option sets. Pure: returns a new projection;
+ * results for unknown paths or fields are ignored.
+ */
+declare const applySourceValues: (projection: PathProjection, results: readonly SourceValues[]) => PathProjection;
+
 /**
  * Execute a Prisma query plan produced by toPrisma().
  *
@@ -619,4 +684,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 EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type ModelDefaultNarrowing, type ModelNarrowing, NUMERIC_KINDS, type NarrowingDefaults, ORDERABLE_KINDS, Operator, type OrderBy, type OrderedRuleValue, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaStep, type PrismaWhere, type ProjectedVisit, type RelativeUnits, type RollingExpr, type Rule, type RuleLensCheck, type RuleLensViolation, type RuleScalar, RuleTarget, type RuleValue, STRINGY_KINDS, type SortDir, 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 ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, assertValidRule, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, executePrismaQueryPlan, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, projectByPath, stitchFieldMaps, toPrisma, toSql, 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, 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 EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type ModelDefaultNarrowing, type ModelNarrowing, NUMERIC_KINDS, type NarrowingDefaults, ORDERABLE_KINDS, Operator, type OrderBy, type OrderedRuleValue, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaStep, type PrismaWhere, type ProjectedVisit, type RelativeUnits, type RollingExpr, type Rule, type RuleDescription, type RuleLensCheck, type RuleLensViolation, type RuleScalar, RuleTarget, type RuleValue, STRINGY_KINDS, type SortDir, type SourcePrismaQuery, type SourceQuery, type SourceSqlQuery, 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 ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, applySourceValues, assertValidRule, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, describeRule, executePrismaQueryPlan, exposedSurface, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, projectByPath, sourceQueries, stitchFieldMaps, toPrisma, toSql, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };