@matthieumordrel/chart-studio 0.3.0 → 0.4.0

package/dist/core/model-chart.types.d.mts

@@ -0,0 +1,199 @@
+import { ChartType, ChartTypeConfig, ColumnHintFor, FiltersConfig, GroupByConfig, MetricConfig, ResolvedFilterColumnIdFromSchema, ResolvedGroupByColumnIdFromSchema, ResolvedMetricColumnIdFromSchema, ResolvedXAxisColumnIdFromSchema, TimeBucket, TimeBucketConfig, XAxisConfig } from "./types.mjs";
+import { MetricBuilder, MetricBuilderConfig, SelectableControlBuilder, SelectableControlBuilderConfig } from "./schema-builder.types.mjs";
+import { DatasetColumns, DatasetRow, DefinedDatasetChartSchema } from "./dataset-builder.types.mjs";
+import { MaterializedViewDefinition } from "./materialized-view.types.mjs";
+import { DefinedDataModel, ModelDatasetId, ModelDatasets, ModelRelationshipDefinition } from "./data-model.types.mjs";
+
+//#region src/core/model-chart.types.d.ts
+type Simplify<T> = { [TKey in keyof T]: T[TKey] } & {};
+declare const MODEL_CHART_BUILDER_KIND: unique symbol;
+type IsUnion<T, TWhole = T> = T extends TWhole ? ([TWhole] extends [T] ? false : true) : never;
+type StripIdSuffix<TValue extends string> = TValue extends `${infer TPrefix}Id` ? TPrefix : never;
+type MergeColumns<TLeft extends Record<string, unknown> | undefined, TRight extends Record<string, unknown>> = [TLeft] extends [Record<string, unknown>] ? Simplify<Extract<TLeft, Record<string, unknown>> & TRight> : TRight;
+type UnionToIntersection<TUnion> = (TUnion extends unknown ? (value: TUnion) => void : never) extends ((value: infer TIntersection) => void) ? TIntersection : never;
+type AliasableLookupRelationshipUnion<TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends string> = { [TRelationshipId in keyof TRelationships]: TRelationships[TRelationshipId] extends ModelRelationshipDefinition<infer TFromDatasetId extends string, TBaseDatasetId, any, infer TToColumn extends string> ? StripIdSuffix<TToColumn> extends infer TAlias extends string ? TToColumn extends `${string}Id` ? {
+  id: Extract<TRelationshipId, string>;
+  alias: TAlias;
+  fromDataset: TFromDatasetId;
+  toColumn: TToColumn;
+} : never : never : never }[keyof TRelationships];
+type UniqueLookupRelationshipUnion<TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends string> = AliasableLookupRelationshipUnion<TRelationships, TBaseDatasetId> extends infer TRelationship ? TRelationship extends {
+  alias: infer TAlias extends string;
+} ? IsUnion<Extract<AliasableLookupRelationshipUnion<TRelationships, TBaseDatasetId>, {
+  alias: TAlias;
+}>['fromDataset']> extends true ? never : TRelationship : never : never;
+type DirectXAxisFieldId<TDatasets extends ModelDatasets, TBaseDatasetId extends ModelDatasetId<TDatasets>> = ResolvedXAxisColumnIdFromSchema<DatasetRow<TDatasets[TBaseDatasetId]>, TDatasets[TBaseDatasetId]>;
+type DirectGroupByFieldId<TDatasets extends ModelDatasets, TBaseDatasetId extends ModelDatasetId<TDatasets>> = ResolvedGroupByColumnIdFromSchema<DatasetRow<TDatasets[TBaseDatasetId]>, TDatasets[TBaseDatasetId]>;
+type DirectFilterFieldId<TDatasets extends ModelDatasets, TBaseDatasetId extends ModelDatasetId<TDatasets>> = ResolvedFilterColumnIdFromSchema<DatasetRow<TDatasets[TBaseDatasetId]>, TDatasets[TBaseDatasetId]>;
+type DirectMetricFieldId<TDatasets extends ModelDatasets, TBaseDatasetId extends ModelDatasetId<TDatasets>> = ResolvedMetricColumnIdFromSchema<DatasetRow<TDatasets[TBaseDatasetId]>, TDatasets[TBaseDatasetId]>;
+type ModelChartXAxisFieldId<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends ModelDatasetId<TDatasets>> = DirectXAxisFieldId<TDatasets, TBaseDatasetId> | Extract<UniqueLookupRelationshipUnion<TRelationships, TBaseDatasetId> extends infer TRelationship ? TRelationship extends {
+  alias: infer TAlias extends string;
+  fromDataset: infer TFromDatasetId extends ModelDatasetId<TDatasets>;
+} ? `${TAlias}.${ResolvedXAxisColumnIdFromSchema<DatasetRow<TDatasets[TFromDatasetId]>, TDatasets[TFromDatasetId]>}` : never : never, string>;
+type ModelChartGroupByFieldId<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends ModelDatasetId<TDatasets>> = DirectGroupByFieldId<TDatasets, TBaseDatasetId> | Extract<UniqueLookupRelationshipUnion<TRelationships, TBaseDatasetId> extends infer TRelationship ? TRelationship extends {
+  alias: infer TAlias extends string;
+  fromDataset: infer TFromDatasetId extends ModelDatasetId<TDatasets>;
+} ? `${TAlias}.${ResolvedGroupByColumnIdFromSchema<DatasetRow<TDatasets[TFromDatasetId]>, TDatasets[TFromDatasetId]>}` : never : never, string>;
+type ModelChartFilterFieldId<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends ModelDatasetId<TDatasets>> = DirectFilterFieldId<TDatasets, TBaseDatasetId> | Extract<UniqueLookupRelationshipUnion<TRelationships, TBaseDatasetId> extends infer TRelationship ? TRelationship extends {
+  alias: infer TAlias extends string;
+  fromDataset: infer TFromDatasetId extends ModelDatasetId<TDatasets>;
+} ? `${TAlias}.${ResolvedFilterColumnIdFromSchema<DatasetRow<TDatasets[TFromDatasetId]>, TDatasets[TFromDatasetId]>}` : never : never, string>;
+type ModelChartMetricFieldId<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends ModelDatasetId<TDatasets>> = DirectMetricFieldId<TDatasets, TBaseDatasetId> | Extract<UniqueLookupRelationshipUnion<TRelationships, TBaseDatasetId> extends infer TRelationship ? TRelationship extends {
+  alias: infer TAlias extends string;
+  fromDataset: infer TFromDatasetId extends ModelDatasetId<TDatasets>;
+} ? `${TAlias}.${ResolvedMetricColumnIdFromSchema<DatasetRow<TDatasets[TFromDatasetId]>, TDatasets[TFromDatasetId]>}` : never : never, string>;
+type QualifiedModelChartFieldId<TBaseDatasetId extends string, TFieldId extends string> = `${TBaseDatasetId}.${TFieldId}`;
+type InferredModelChartXAxisFieldId<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>> = Extract<{ [TBaseDatasetId in ModelDatasetId<TDatasets>]: QualifiedModelChartFieldId<TBaseDatasetId, ModelChartXAxisFieldId<TDatasets, TRelationships, TBaseDatasetId>> }[ModelDatasetId<TDatasets>], string>;
+type InferredModelChartGroupByFieldId<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>> = Extract<{ [TBaseDatasetId in ModelDatasetId<TDatasets>]: QualifiedModelChartFieldId<TBaseDatasetId, ModelChartGroupByFieldId<TDatasets, TRelationships, TBaseDatasetId>> }[ModelDatasetId<TDatasets>], string>;
+type InferredModelChartFilterFieldId<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>> = Extract<{ [TBaseDatasetId in ModelDatasetId<TDatasets>]: QualifiedModelChartFieldId<TBaseDatasetId, ModelChartFilterFieldId<TDatasets, TRelationships, TBaseDatasetId>> }[ModelDatasetId<TDatasets>], string>;
+type InferredModelChartMetricFieldId<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>> = Extract<{ [TBaseDatasetId in ModelDatasetId<TDatasets>]: QualifiedModelChartFieldId<TBaseDatasetId, ModelChartMetricFieldId<TDatasets, TRelationships, TBaseDatasetId>> }[ModelDatasetId<TDatasets>], string>;
+type BaseDatasetIdFromQualifiedFieldId<TFieldId extends string> = TFieldId extends `${infer TBaseDatasetId}.${string}` ? TBaseDatasetId : never;
+type UniqueQualifiedBaseDatasetId<TFieldIds extends string> = [TFieldIds] extends [never] ? undefined : IsUnion<BaseDatasetIdFromQualifiedFieldId<TFieldIds>> extends true ? never : BaseDatasetIdFromQualifiedFieldId<TFieldIds>;
+type BaseDatasetIdFromSelectableBuilderConfig<TConfig> = UniqueQualifiedBaseDatasetId<Extract<SelectableConfigFieldIds<TConfig>, `${string}.${string}`>>;
+type BaseDatasetIdFromMetricBuilderConfig<TConfig> = UniqueQualifiedBaseDatasetId<Extract<MetricConfigFieldIds<TConfig>, `${string}.${string}`>>;
+type MergeInferredBaseDatasetId<TExistingBaseDatasetId extends string | undefined, TNextBaseDatasetId extends string | undefined> = [TExistingBaseDatasetId] extends [undefined] ? TNextBaseDatasetId : [TNextBaseDatasetId] extends [undefined] ? TExistingBaseDatasetId : TExistingBaseDatasetId extends TNextBaseDatasetId ? TExistingBaseDatasetId : never;
+interface InferredModelChartBuilder<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends ModelDatasetId<TDatasets> | undefined = undefined, TXAxis extends XAxisConfig<any> | undefined = undefined, TGroupBy extends GroupByConfig<any> | undefined = undefined, TFilters extends FiltersConfig<any> | undefined = undefined, TMetric extends MetricConfig<any> | undefined = undefined, TChartType extends ChartTypeConfig | undefined = undefined, TTimeBucket extends TimeBucketConfig | undefined = undefined, TConnectNulls extends boolean | undefined = undefined> {
+  xAxis<const TBuilder extends SelectableControlBuilder<InferredModelChartXAxisFieldId<TDatasets, TRelationships>, true>>(defineXAxis: (xAxis: SelectableControlBuilder<InferredModelChartXAxisFieldId<TDatasets, TRelationships>, true>) => TBuilder): InferredModelChartBuilder<TDatasets, TRelationships, MergeInferredBaseDatasetId<TBaseDatasetId, Extract<BaseDatasetIdFromSelectableBuilderConfig<SelectableControlBuilderConfig<TBuilder>>, ModelDatasetId<TDatasets> | undefined>>, SelectableControlBuilderConfig<TBuilder>, TGroupBy, TFilters, TMetric, TChartType, TTimeBucket, TConnectNulls>;
+  groupBy<const TBuilder extends SelectableControlBuilder<InferredModelChartGroupByFieldId<TDatasets, TRelationships>, true>>(defineGroupBy: (groupBy: SelectableControlBuilder<InferredModelChartGroupByFieldId<TDatasets, TRelationships>, true>) => TBuilder): InferredModelChartBuilder<TDatasets, TRelationships, MergeInferredBaseDatasetId<TBaseDatasetId, Extract<BaseDatasetIdFromSelectableBuilderConfig<SelectableControlBuilderConfig<TBuilder>>, ModelDatasetId<TDatasets> | undefined>>, TXAxis, SelectableControlBuilderConfig<TBuilder>, TFilters, TMetric, TChartType, TTimeBucket, TConnectNulls>;
+  filters<const TBuilder extends SelectableControlBuilder<InferredModelChartFilterFieldId<TDatasets, TRelationships>, false>>(defineFilters: (filters: SelectableControlBuilder<InferredModelChartFilterFieldId<TDatasets, TRelationships>, false>) => TBuilder): InferredModelChartBuilder<TDatasets, TRelationships, MergeInferredBaseDatasetId<TBaseDatasetId, Extract<BaseDatasetIdFromSelectableBuilderConfig<SelectableControlBuilderConfig<TBuilder>>, ModelDatasetId<TDatasets> | undefined>>, TXAxis, TGroupBy, SelectableControlBuilderConfig<TBuilder>, TMetric, TChartType, TTimeBucket, TConnectNulls>;
+  metric<const TBuilder extends MetricBuilder<InferredModelChartMetricFieldId<TDatasets, TRelationships>, any, any, any>>(defineMetric: (metric: MetricBuilder<InferredModelChartMetricFieldId<TDatasets, TRelationships>>) => TBuilder): InferredModelChartBuilder<TDatasets, TRelationships, MergeInferredBaseDatasetId<TBaseDatasetId, Extract<BaseDatasetIdFromMetricBuilderConfig<MetricBuilderConfig<TBuilder>>, ModelDatasetId<TDatasets> | undefined>>, TXAxis, TGroupBy, TFilters, MetricBuilderConfig<TBuilder>, TChartType, TTimeBucket, TConnectNulls>;
+  chartType<const TBuilder extends SelectableControlBuilder<ChartType, true>>(defineChartType: (chartType: SelectableControlBuilder<ChartType, true>) => TBuilder): InferredModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, TGroupBy, TFilters, TMetric, SelectableControlBuilderConfig<TBuilder>, TTimeBucket, TConnectNulls>;
+  timeBucket<const TBuilder extends SelectableControlBuilder<TimeBucket, true>>(defineTimeBucket: (timeBucket: SelectableControlBuilder<TimeBucket, true>) => TBuilder): InferredModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, TGroupBy, TFilters, TMetric, TChartType, SelectableControlBuilderConfig<TBuilder>, TConnectNulls>;
+  connectNulls<const TValue extends boolean>(value: TValue): InferredModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, TGroupBy, TFilters, TMetric, TChartType, TTimeBucket, TValue>;
+  readonly [MODEL_CHART_BUILDER_KIND]: 'inferred';
+}
+interface ModelChartStartBuilder<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>> extends InferredModelChartBuilder<TDatasets, TRelationships> {
+  from<const TBaseDatasetId extends ModelDatasetId<TDatasets>>(dataset: TBaseDatasetId): ModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId>;
+}
+interface ModelChartBuilder<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends ModelDatasetId<TDatasets>, TXAxis extends XAxisConfig<any> | undefined = undefined, TGroupBy extends GroupByConfig<any> | undefined = undefined, TFilters extends FiltersConfig<any> | undefined = undefined, TMetric extends MetricConfig<any> | undefined = undefined, TChartType extends ChartTypeConfig | undefined = undefined, TTimeBucket extends TimeBucketConfig | undefined = undefined, TConnectNulls extends boolean | undefined = undefined> {
+  xAxis<const TBuilder extends SelectableControlBuilder<ModelChartXAxisFieldId<TDatasets, TRelationships, TBaseDatasetId>, true>>(defineXAxis: (xAxis: SelectableControlBuilder<ModelChartXAxisFieldId<TDatasets, TRelationships, TBaseDatasetId>, true>) => TBuilder): ModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, SelectableControlBuilderConfig<TBuilder>, TGroupBy, TFilters, TMetric, TChartType, TTimeBucket, TConnectNulls>;
+  groupBy<const TBuilder extends SelectableControlBuilder<ModelChartGroupByFieldId<TDatasets, TRelationships, TBaseDatasetId>, true>>(defineGroupBy: (groupBy: SelectableControlBuilder<ModelChartGroupByFieldId<TDatasets, TRelationships, TBaseDatasetId>, true>) => TBuilder): ModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, SelectableControlBuilderConfig<TBuilder>, TFilters, TMetric, TChartType, TTimeBucket, TConnectNulls>;
+  filters<const TBuilder extends SelectableControlBuilder<ModelChartFilterFieldId<TDatasets, TRelationships, TBaseDatasetId>, false>>(defineFilters: (filters: SelectableControlBuilder<ModelChartFilterFieldId<TDatasets, TRelationships, TBaseDatasetId>, false>) => TBuilder): ModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, TGroupBy, SelectableControlBuilderConfig<TBuilder>, TMetric, TChartType, TTimeBucket, TConnectNulls>;
+  metric<const TBuilder extends MetricBuilder<ModelChartMetricFieldId<TDatasets, TRelationships, TBaseDatasetId>, any, any, any>>(defineMetric: (metric: MetricBuilder<ModelChartMetricFieldId<TDatasets, TRelationships, TBaseDatasetId>>) => TBuilder): ModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, TGroupBy, TFilters, MetricBuilderConfig<TBuilder>, TChartType, TTimeBucket, TConnectNulls>;
+  chartType<const TBuilder extends SelectableControlBuilder<ChartType, true>>(defineChartType: (chartType: SelectableControlBuilder<ChartType, true>) => TBuilder): ModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, TGroupBy, TFilters, TMetric, SelectableControlBuilderConfig<TBuilder>, TTimeBucket, TConnectNulls>;
+  timeBucket<const TBuilder extends SelectableControlBuilder<TimeBucket, true>>(defineTimeBucket: (timeBucket: SelectableControlBuilder<TimeBucket, true>) => TBuilder): ModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, TGroupBy, TFilters, TMetric, TChartType, SelectableControlBuilderConfig<TBuilder>, TConnectNulls>;
+  connectNulls<const TValue extends boolean>(value: TValue): ModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, TGroupBy, TFilters, TMetric, TChartType, TTimeBucket, TValue>;
+  readonly [MODEL_CHART_BUILDER_KIND]: 'explicit';
+}
+type ExplicitBuilderBaseDatasetId<TBuilder> = TBuilder extends ModelChartBuilder<any, any, infer TBaseDatasetId, any, any, any, any, any, any, any> ? TBaseDatasetId : never;
+type InferredBuilderBaseDatasetId<TBuilder> = TBuilder extends InferredModelChartBuilder<any, any, infer TBaseDatasetId, any, any, any, any, any, any, any> ? TBaseDatasetId : never;
+type BuilderXAxisConfig<TBuilder> = TBuilder extends ModelChartBuilder<any, any, any, infer TXAxis, any, any, any, any, any, any> ? TXAxis : TBuilder extends InferredModelChartBuilder<any, any, any, infer TXAxis, any, any, any, any, any, any> ? TXAxis : never;
+type BuilderGroupByConfig<TBuilder> = TBuilder extends ModelChartBuilder<any, any, any, any, infer TGroupBy, any, any, any, any, any> ? TGroupBy : TBuilder extends InferredModelChartBuilder<any, any, any, any, infer TGroupBy, any, any, any, any, any> ? TGroupBy : never;
+type BuilderFiltersConfig<TBuilder> = TBuilder extends ModelChartBuilder<any, any, any, any, any, infer TFilters, any, any, any, any> ? TFilters : TBuilder extends InferredModelChartBuilder<any, any, any, any, any, infer TFilters, any, any, any, any> ? TFilters : never;
+type BuilderMetricConfig<TBuilder> = TBuilder extends ModelChartBuilder<any, any, any, any, any, any, infer TMetric, any, any, any> ? TMetric : TBuilder extends InferredModelChartBuilder<any, any, any, any, any, any, infer TMetric, any, any, any> ? TMetric : never;
+type BuilderChartTypeConfig<TBuilder> = TBuilder extends ModelChartBuilder<any, any, any, any, any, any, any, infer TChartType, any, any> ? TChartType : TBuilder extends InferredModelChartBuilder<any, any, any, any, any, any, any, infer TChartType, any, any> ? TChartType : never;
+type BuilderTimeBucketConfig<TBuilder> = TBuilder extends ModelChartBuilder<any, any, any, any, any, any, any, any, infer TTimeBucket, any> ? TTimeBucket : TBuilder extends InferredModelChartBuilder<any, any, any, any, any, any, any, any, infer TTimeBucket, any> ? TTimeBucket : never;
+type BuilderConnectNulls<TBuilder> = TBuilder extends ModelChartBuilder<any, any, any, any, any, any, any, any, any, infer TConnectNulls> ? TConnectNulls : TBuilder extends InferredModelChartBuilder<any, any, any, any, any, any, any, any, any, infer TConnectNulls> ? TConnectNulls : never;
+type StripBaseDatasetPrefix<TFieldId extends string, TBaseDatasetId extends string> = TFieldId extends `${TBaseDatasetId}.${infer TRest}` ? TRest : TFieldId;
+type CompiledFieldId<TFieldId extends string> = TFieldId extends `${infer TAlias}.${infer TColumnId}` ? `${TAlias}${Capitalize<TColumnId>}` : TFieldId;
+type SelectableConfigFieldIds<TConfig> = Extract<TConfig extends {
+  allowed?: readonly (infer TAllowed extends string)[];
+} ? TAllowed : never, string> | Extract<TConfig extends {
+  hidden?: readonly (infer THidden extends string)[];
+} ? THidden : never, string> | Extract<TConfig extends {
+  default?: infer TDefault extends string;
+} ? TDefault : never, string>;
+type MetricConfigFieldIds<TConfig> = Extract<(TConfig extends {
+  allowed?: readonly (infer TAllowed)[];
+} ? TAllowed : never) | (TConfig extends {
+  hidden?: readonly (infer THidden)[];
+} ? THidden : never) | (TConfig extends {
+  default?: infer TDefault;
+} ? TDefault : never), {
+  kind: 'aggregate';
+  columnId: string;
+}>['columnId'];
+type ConfiguredLookupFieldPaths<TBuilder> = Extract<SelectableConfigFieldIds<BuilderXAxisConfig<TBuilder>> | SelectableConfigFieldIds<BuilderGroupByConfig<TBuilder>> | SelectableConfigFieldIds<BuilderFiltersConfig<TBuilder>> | MetricConfigFieldIds<BuilderMetricConfig<TBuilder>>, `${string}.${string}`>;
+type LookupRelationshipForPath<TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends string, TPath extends string> = TPath extends `${infer TAlias}.${string}` ? Extract<UniqueLookupRelationshipUnion<TRelationships, TBaseDatasetId>, {
+  alias: TAlias;
+}> : never;
+type LookupColumnValue<TDataset, TColumnId extends string> = TColumnId extends keyof DatasetRow<TDataset> ? DatasetRow<TDataset>[TColumnId] | null : TDataset extends {
+  columns?: infer TColumns extends Record<string, unknown>;
+} ? TColumnId extends keyof TColumns ? TColumns[TColumnId] extends {
+  kind: 'derived';
+  accessor: (row: any) => infer TValue;
+} ? TValue | null : unknown : never : never;
+type ProjectedLookupRowField<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends ModelDatasetId<TDatasets>, TPath extends string> = TPath extends `${string}.${infer TColumnId extends string}` ? LookupRelationshipForPath<TRelationships, TBaseDatasetId, TPath> extends {
+  fromDataset: infer TFromDatasetId extends ModelDatasetId<TDatasets>;
+} ? { [TCompiledId in CompiledFieldId<TPath>]: LookupColumnValue<TDatasets[TFromDatasetId], TColumnId> } : {} : {};
+type ProjectedLookupColumns<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends ModelDatasetId<TDatasets>, TLookupPaths extends string> = { [TLookupPath in TLookupPaths as CompiledFieldId<TLookupPath>]: TLookupPath extends `${string}.${infer TColumnId extends string}` ? LookupRelationshipForPath<TRelationships, TBaseDatasetId, TLookupPath> extends {
+  fromDataset: infer TFromDatasetId extends ModelDatasetId<TDatasets>;
+} ? ColumnHintFor<LookupColumnValue<TDatasets[TFromDatasetId], TColumnId>, any> : never : never };
+type MapStringArray<TValue> = TValue extends readonly (infer TItem extends string)[] ? readonly CompiledFieldId<TItem>[] : never;
+type MapMetricValue<TValue> = TValue extends {
+  kind: 'aggregate';
+  columnId: infer TColumnId extends string;
+} ? Simplify<Omit<TValue, 'columnId'> & {
+  columnId: CompiledFieldId<TColumnId>;
+}> : TValue;
+type MapMetricArray<TValue> = TValue extends readonly (infer TItem)[] ? readonly MapMetricValue<TItem>[] : never;
+type NormalizeSelectableConfig<TConfig, TBaseDatasetId extends string> = [TConfig] extends [undefined] ? undefined : Simplify<(TConfig extends {
+  allowed?: readonly (infer TAllowed)[];
+} ? {
+  allowed?: readonly StripBaseDatasetPrefix<Extract<TAllowed, string>, TBaseDatasetId>[];
+} : {}) & (TConfig extends {
+  hidden?: readonly (infer THidden)[];
+} ? {
+  hidden?: readonly StripBaseDatasetPrefix<Extract<THidden, string>, TBaseDatasetId>[];
+} : {}) & (TConfig extends {
+  default?: infer TDefault extends string;
+} ? {
+  default?: StripBaseDatasetPrefix<TDefault, TBaseDatasetId>;
+} : {})>;
+type NormalizeMetricValue<TValue, TBaseDatasetId extends string> = TValue extends {
+  kind: 'aggregate';
+  columnId: infer TColumnId extends string;
+} ? Simplify<Omit<TValue, 'columnId'> & {
+  columnId: StripBaseDatasetPrefix<TColumnId, TBaseDatasetId>;
+}> : TValue;
+type NormalizeMetricArray<TValue, TBaseDatasetId extends string> = TValue extends readonly (infer TItem)[] ? readonly NormalizeMetricValue<TItem, TBaseDatasetId>[] : never;
+type NormalizeMetricConfig<TConfig, TBaseDatasetId extends string> = [TConfig] extends [undefined] ? undefined : Simplify<(TConfig extends {
+  allowed?: readonly unknown[];
+} ? {
+  allowed?: NormalizeMetricArray<TConfig['allowed'], TBaseDatasetId>;
+} : {}) & (TConfig extends {
+  hidden?: readonly unknown[];
+} ? {
+  hidden?: NormalizeMetricArray<TConfig['hidden'], TBaseDatasetId>;
+} : {}) & (TConfig extends {
+  default?: infer TDefault;
+} ? {
+  default?: NormalizeMetricValue<TDefault, TBaseDatasetId>;
+} : {})>;
+type ResolvedBuilderBaseDatasetId<TBuilder> = [ExplicitBuilderBaseDatasetId<TBuilder>] extends [never] ? InferredBuilderBaseDatasetId<TBuilder> : ExplicitBuilderBaseDatasetId<TBuilder>;
+type NormalizedBuilderXAxisConfig<TBuilder> = TBuilder extends InferredModelChartBuilder<any, any, any, any, any, any, any, any, any, any> ? [ResolvedBuilderBaseDatasetId<TBuilder>] extends [infer TBaseDatasetId extends string] ? NormalizeSelectableConfig<BuilderXAxisConfig<TBuilder>, TBaseDatasetId> : BuilderXAxisConfig<TBuilder> : BuilderXAxisConfig<TBuilder>;
+type NormalizedBuilderGroupByConfig<TBuilder> = TBuilder extends InferredModelChartBuilder<any, any, any, any, any, any, any, any, any, any> ? [ResolvedBuilderBaseDatasetId<TBuilder>] extends [infer TBaseDatasetId extends string] ? NormalizeSelectableConfig<BuilderGroupByConfig<TBuilder>, TBaseDatasetId> : BuilderGroupByConfig<TBuilder> : BuilderGroupByConfig<TBuilder>;
+type NormalizedBuilderFiltersConfig<TBuilder> = TBuilder extends InferredModelChartBuilder<any, any, any, any, any, any, any, any, any, any> ? [ResolvedBuilderBaseDatasetId<TBuilder>] extends [infer TBaseDatasetId extends string] ? NormalizeSelectableConfig<BuilderFiltersConfig<TBuilder>, TBaseDatasetId> : BuilderFiltersConfig<TBuilder> : BuilderFiltersConfig<TBuilder>;
+type NormalizedBuilderMetricConfig<TBuilder> = TBuilder extends InferredModelChartBuilder<any, any, any, any, any, any, any, any, any, any> ? [ResolvedBuilderBaseDatasetId<TBuilder>] extends [infer TBaseDatasetId extends string] ? NormalizeMetricConfig<BuilderMetricConfig<TBuilder>, TBaseDatasetId> : BuilderMetricConfig<TBuilder> : BuilderMetricConfig<TBuilder>;
+type MapSelectableConfig<TConfig> = [TConfig] extends [undefined] ? undefined : Simplify<(TConfig extends {
+  allowed?: readonly string[];
+} ? {
+  allowed?: MapStringArray<TConfig['allowed']>;
+} : {}) & (TConfig extends {
+  hidden?: readonly string[];
+} ? {
+  hidden?: MapStringArray<TConfig['hidden']>;
+} : {}) & (TConfig extends {
+  default?: infer TDefault extends string;
+} ? {
+  default?: CompiledFieldId<TDefault>;
+} : {})>;
+type MapMetricConfig<TConfig> = [TConfig] extends [undefined] ? undefined : Simplify<(TConfig extends {
+  allowed?: readonly unknown[];
+} ? {
+  allowed?: MapMetricArray<TConfig['allowed']>;
+} : {}) & (TConfig extends {
+  hidden?: readonly unknown[];
+} ? {
+  hidden?: MapMetricArray<TConfig['hidden']>;
+} : {}) & (TConfig extends {
+  default?: infer TDefault;
+} ? {
+  default?: MapMetricValue<TDefault>;
+} : {})>;
+type BroadCompiledModelChartDefinition<TChartId extends string> = DefinedDatasetChartSchema<any, Record<string, unknown> | undefined, XAxisConfig<string> | undefined, GroupByConfig<string> | undefined, FiltersConfig<string> | undefined, MetricConfig<string> | undefined, ChartTypeConfig | undefined, TimeBucketConfig | undefined, boolean | undefined, TChartId, unknown>;
+type CompiledModelChartOwner<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBuilder, TBaseDatasetId extends ModelDatasetId<TDatasets>> = [ConfiguredLookupFieldPaths<TBuilder>] extends [never] ? TDatasets[TBaseDatasetId] : MaterializedViewDefinition<any, Record<string, unknown> | undefined, readonly string[] | undefined, DefinedDataModel<TDatasets, TRelationships, any, any>, string, TBaseDatasetId, string>;
+type CompileModelChartDefinition<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBuilder, TChartId extends string> = CompileModelChartDefinitionFromState<TDatasets, TRelationships, Extract<ResolvedBuilderBaseDatasetId<TBuilder>, ModelDatasetId<TDatasets>>, NormalizedBuilderXAxisConfig<TBuilder>, NormalizedBuilderGroupByConfig<TBuilder>, NormalizedBuilderFiltersConfig<TBuilder>, NormalizedBuilderMetricConfig<TBuilder>, BuilderChartTypeConfig<TBuilder>, BuilderTimeBucketConfig<TBuilder>, BuilderConnectNulls<TBuilder>, TChartId, CompiledModelChartOwner<TDatasets, TRelationships, TBuilder, Extract<ResolvedBuilderBaseDatasetId<TBuilder>, ModelDatasetId<TDatasets>>>>;
+type CompileModelChartDefinitionFromState<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TBaseDatasetId extends ModelDatasetId<TDatasets>, TXAxis extends XAxisConfig<any> | undefined, TGroupBy extends GroupByConfig<any> | undefined, TFilters extends FiltersConfig<any> | undefined, TMetric extends MetricConfig<any> | undefined, TChartType extends ChartTypeConfig | undefined, TTimeBucket extends TimeBucketConfig | undefined, TConnectNulls extends boolean | undefined, TChartId extends string, TOwner = unknown> = [ModelDatasetId<TDatasets>] extends [never] ? BroadCompiledModelChartDefinition<TChartId> : TBaseDatasetId extends ModelDatasetId<TDatasets> ? DefinedDatasetChartSchema<Simplify<DatasetRow<TDatasets[TBaseDatasetId]> & UnionToIntersection<ProjectedLookupRowField<TDatasets, TRelationships, TBaseDatasetId, ConfiguredLookupFieldPaths<ModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, TGroupBy, TFilters, TMetric, TChartType, TTimeBucket, TConnectNulls>>>>>, MergeColumns<DatasetColumns<TDatasets[TBaseDatasetId]>, ProjectedLookupColumns<TDatasets, TRelationships, TBaseDatasetId, ConfiguredLookupFieldPaths<ModelChartBuilder<TDatasets, TRelationships, TBaseDatasetId, TXAxis, TGroupBy, TFilters, TMetric, TChartType, TTimeBucket, TConnectNulls>>>>, MapSelectableConfig<TXAxis>, MapSelectableConfig<TGroupBy>, MapSelectableConfig<TFilters>, MapMetricConfig<TMetric>, TChartType, TTimeBucket, TConnectNulls, TChartId, TOwner> : BroadCompiledModelChartDefinition<TChartId>;
+//#endregion
+export { CompileModelChartDefinition, InferredModelChartBuilder, ModelChartBuilder, ModelChartStartBuilder };

package/dist/core/model-inference.mjs

@@ -0,0 +1,169 @@
+//#region src/core/model-inference.ts
+const MODEL_RUNTIME_METADATA = Symbol("model-runtime-metadata");
+function singularizeDatasetId(datasetId) {
+	if (datasetId.endsWith("ies")) return `${datasetId.slice(0, -3)}y`;
+	if (datasetId.endsWith("s")) return datasetId.slice(0, -1);
+	return datasetId;
+}
+function stripIdSuffix(value) {
+	return value.endsWith("Id") ? value.slice(0, -2) : void 0;
+}
+function resolveRelationshipAlias(relationship) {
+	return stripIdSuffix(relationship.to.column);
+}
+function buildRelationshipId(toDatasetId, toColumnId, fromDatasetId, fromKeyId) {
+	return `${toDatasetId}.${toColumnId} -> ${fromDatasetId}.${fromKeyId}`;
+}
+function resolveRelationshipSourceKeyId(dataset) {
+	if (dataset.key?.length === 1) return dataset.key[0];
+}
+function buildInferredForeignKeyColumnId(sourceDatasetId, sourceKeyId) {
+	if (sourceKeyId === "id") return `${singularizeDatasetId(sourceDatasetId)}Id`;
+	return sourceKeyId.endsWith("Id") ? sourceKeyId : void 0;
+}
+function inferModelRelationships(datasets, explicitRelationships, excludedFieldPairs) {
+	const relationships = { ...explicitRelationships };
+	const metadata = { inferredRelationships: /* @__PURE__ */ new Map() };
+	const explicitTargetPairs = new Set(Object.values(explicitRelationships).map((relationship) => `${relationship.to.dataset}.${relationship.to.column}`));
+	const candidatesByFieldPair = /* @__PURE__ */ new Map();
+	Object.entries(datasets).forEach(([targetDatasetId]) => {
+		Object.entries(datasets).forEach(([sourceDatasetId, sourceDataset]) => {
+			if (sourceDatasetId === targetDatasetId) return;
+			const sourceKeyId = resolveRelationshipSourceKeyId(sourceDataset);
+			if (!sourceKeyId) return;
+			const targetColumnId = buildInferredForeignKeyColumnId(sourceDatasetId, sourceKeyId);
+			if (!targetColumnId) return;
+			const fieldPairId = `${targetDatasetId}.${targetColumnId}`;
+			if (explicitTargetPairs.has(fieldPairId) || excludedFieldPairs.has(fieldPairId)) return;
+			const candidate = {
+				id: buildRelationshipId(targetDatasetId, targetColumnId, sourceDatasetId, sourceKeyId),
+				fromDataset: sourceDatasetId,
+				fromKey: sourceKeyId,
+				toDataset: targetDatasetId,
+				toColumn: targetColumnId
+			};
+			const existing = candidatesByFieldPair.get(fieldPairId);
+			if (existing) {
+				existing.push(candidate);
+				return;
+			}
+			candidatesByFieldPair.set(fieldPairId, [candidate]);
+		});
+	});
+	candidatesByFieldPair.forEach((candidates) => {
+		if (candidates.length !== 1) return;
+		const candidate = candidates[0];
+		relationships[candidate.id] = {
+			kind: "relationship",
+			id: candidate.id,
+			from: {
+				dataset: candidate.fromDataset,
+				key: candidate.fromKey
+			},
+			to: {
+				dataset: candidate.toDataset,
+				column: candidate.toColumn
+			},
+			reverse: {
+				dataset: candidate.toDataset,
+				column: candidate.toColumn,
+				to: {
+					dataset: candidate.fromDataset,
+					key: candidate.fromKey
+				}
+			}
+		};
+		metadata.inferredRelationships.set(candidate.id, candidate);
+	});
+	return {
+		relationships,
+		metadata
+	};
+}
+function isVisibleDatasetColumn(column) {
+	return column !== false;
+}
+function isCategoricalLabelColumn(column) {
+	if (!column || column === false || typeof column !== "object") return false;
+	const typedColumn = column;
+	if (typedColumn["kind"] === "derived") return typedColumn["type"] === "category" || typedColumn["type"] === "boolean";
+	if ("type" in typedColumn) return typedColumn["type"] === "category" || typedColumn["type"] === "boolean";
+	return true;
+}
+function selectAttributeLabelColumn(_datasetId, dataset, sourceKeyId) {
+	for (const preferredId of [
+		"name",
+		"title",
+		"label"
+	]) {
+		if (preferredId === sourceKeyId) continue;
+		const column = dataset.columns?.[preferredId];
+		if (column !== void 0 && isVisibleDatasetColumn(column) && isCategoricalLabelColumn(column)) return preferredId;
+	}
+	if (dataset.columns) {
+		for (const [columnId, column] of Object.entries(dataset.columns)) if (columnId !== sourceKeyId && !columnId.endsWith("Id") && isVisibleDatasetColumn(column) && isCategoricalLabelColumn(column)) return columnId;
+	}
+	if (dataset.columns?.[sourceKeyId] !== false) return sourceKeyId;
+	return dataset.columns ? Object.keys(dataset.columns).find((columnId) => columnId !== sourceKeyId && dataset.columns?.[columnId] !== false) : sourceKeyId;
+}
+function inferModelAttributes(datasets, relationships, explicitAttributes) {
+	const attributes = { ...explicitAttributes };
+	const relationshipsByAlias = /* @__PURE__ */ new Map();
+	Object.values(relationships).forEach((relationship) => {
+		const alias = resolveRelationshipAlias(relationship);
+		if (!alias) return;
+		const existing = relationshipsByAlias.get(alias);
+		if (existing) {
+			existing.push(relationship);
+			return;
+		}
+		relationshipsByAlias.set(alias, [relationship]);
+	});
+	relationshipsByAlias.forEach((matchingRelationships, alias) => {
+		if (alias in attributes) return;
+		const sourceDatasetIds = [...new Set(matchingRelationships.map((relationship) => relationship.from.dataset))];
+		const sourceKeyIds = [...new Set(matchingRelationships.map((relationship) => relationship.from.key))];
+		if (sourceDatasetIds.length !== 1 || sourceKeyIds.length !== 1) return;
+		const sourceDatasetId = sourceDatasetIds[0];
+		const sourceKeyId = sourceKeyIds[0];
+		const sourceDataset = datasets[sourceDatasetId];
+		if (!sourceDataset) return;
+		const labelColumnId = selectAttributeLabelColumn(sourceDatasetId, sourceDataset, sourceKeyId);
+		if (!labelColumnId) return;
+		attributes[alias] = {
+			id: alias,
+			kind: "select",
+			source: {
+				dataset: sourceDatasetId,
+				key: sourceKeyId,
+				label: labelColumnId
+			},
+			targets: matchingRelationships.map((relationship) => ({
+				dataset: relationship.to.dataset,
+				column: relationship.to.column,
+				via: relationship.id
+			}))
+		};
+	});
+	return attributes;
+}
+function rewriteInferredRelationshipError(metadata, error) {
+	if (!(error instanceof Error)) throw error;
+	for (const relationship of metadata.inferredRelationships.values()) if (error.message.startsWith(`Relationship "${relationship.id}"`)) throw new Error(`Inferred relationship "${relationship.toDataset}.${relationship.toColumn} -> ${relationship.fromDataset}.${relationship.fromKey}" failed validation: ${error.message.slice(`Relationship "${relationship.id}" `.length)} If this is not a real foreign key, exclude it with: exclude: ['${relationship.toDataset}.${relationship.toColumn}']`);
+	throw error;
+}
+function attachModelRuntimeMetadata(model, metadata) {
+	Object.defineProperty(model, MODEL_RUNTIME_METADATA, {
+		value: { inferredRelationships: new Map(metadata.inferredRelationships) },
+		enumerable: false,
+		configurable: false,
+		writable: false
+	});
+}
+function getModelRuntimeMetadata(model) {
+	const metadata = model[MODEL_RUNTIME_METADATA];
+	if (metadata && typeof metadata === "object") return metadata;
+	return { inferredRelationships: /* @__PURE__ */ new Map() };
+}
+//#endregion
+export { attachModelRuntimeMetadata, getModelRuntimeMetadata, inferModelAttributes, inferModelRelationships, resolveRelationshipAlias, rewriteInferredRelationshipError };

package/dist/core/model-inference.types.d.mts

@@ -0,0 +1,71 @@
+import { InferableFieldKey, ResolvedGroupByColumnIdFromSchema } from "./types.mjs";
+import { DatasetRow, DefinedDataset, SingleDatasetKeyId } from "./dataset-builder.types.mjs";
+import { ModelAttributeDefinition, ModelDatasets, ModelRelationshipDefinition } from "./data-model.types.mjs";
+
+//#region src/core/model-inference.types.d.ts
+type Simplify<T> = { [TKey in keyof T]: T[TKey] } & {};
+type IsUnion<T, TWhole = T> = T extends TWhole ? ([TWhole] extends [T] ? false : true) : never;
+type SingularizeDatasetId<TDatasetId extends string> = TDatasetId extends `${infer TStem}ies` ? `${TStem}y` : TDatasetId extends `${infer TStem}s` ? TStem : TDatasetId;
+type StripIdSuffix<TValue extends string> = TValue extends `${infer TPrefix}Id` ? TPrefix : never;
+type ExplicitTargetPairUnion<TRelationships extends Record<string, ModelRelationshipDefinition>> = { [TRelationshipId in keyof TRelationships]: TRelationships[TRelationshipId] extends ModelRelationshipDefinition<any, infer TToDatasetId extends string, any, infer TToColumn extends string> ? `${TToDatasetId}.${TToColumn}` : never }[keyof TRelationships];
+type ExcludedFieldPairUnion<TExclude> = TExclude extends readonly (infer TFieldPair extends string)[] ? TFieldPair : never;
+type SafeRelationshipKeyId<TDataset> = SingleDatasetKeyId<TDataset> extends infer TKeyId extends string ? TKeyId : never;
+type InferredForeignKeyColumnId<TDatasetId extends string, TKeyId extends string> = TKeyId extends 'id' ? `${SingularizeDatasetId<TDatasetId>}Id` : TKeyId extends `${string}Id` ? TKeyId : never;
+type RelationshipCandidate<TFromDatasetId extends string, TFromKey extends string, TToDatasetId extends string, TToColumn extends string> = {
+  id: `${TToDatasetId}.${TToColumn} -> ${TFromDatasetId}.${TFromKey}`;
+  pair: `${TToDatasetId}.${TToColumn}`;
+  alias: StripIdSuffix<TToColumn>;
+  fromDataset: TFromDatasetId;
+  fromKey: TFromKey;
+  toDataset: TToDatasetId;
+  toColumn: TToColumn;
+};
+type InferredRelationshipCandidateUnion<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TExclude extends readonly string[] | undefined> = { [TToDatasetId in Extract<keyof TDatasets, string>]: { [TFromDatasetId in Extract<keyof TDatasets, string>]: TFromDatasetId extends TToDatasetId ? never : SafeRelationshipKeyId<TDatasets[TFromDatasetId]> extends infer TFromKey extends string ? InferredForeignKeyColumnId<TFromDatasetId, TFromKey> extends infer TToColumn extends string ? TToColumn extends InferableFieldKey<DatasetRow<TDatasets[TToDatasetId]>> ? `${TToDatasetId}.${TToColumn}` extends ExplicitTargetPairUnion<TRelationships> | ExcludedFieldPairUnion<TExclude> ? never : RelationshipCandidate<TFromDatasetId, TFromKey, TToDatasetId, TToColumn> : never : never : never }[Extract<keyof TDatasets, string>] }[Extract<keyof TDatasets, string>];
+type UniqueRelationshipCandidateUnion<TCandidates> = TCandidates extends infer TCandidate ? TCandidate extends {
+  pair: infer TPair extends string;
+} ? Extract<TCandidates, {
+  pair: TPair;
+}> extends infer TMatchingCandidate ? TMatchingCandidate extends {
+  fromDataset: infer TFromDataset;
+} ? IsUnion<TFromDataset> extends true ? never : TCandidate : never : never : never : never;
+type AliasableRelationshipUnion<TRelationships extends Record<string, ModelRelationshipDefinition>> = { [TRelationshipId in keyof TRelationships]: TRelationships[TRelationshipId] extends ModelRelationshipDefinition<infer TFromDatasetId extends string, infer TToDatasetId extends string, infer TFromKey extends string, infer TToColumn extends string> ? StripIdSuffix<TToColumn> extends infer TAlias extends string ? TToColumn extends `${string}Id` ? {
+  id: Extract<TRelationshipId, string>;
+  alias: TAlias;
+  fromDataset: TFromDatasetId;
+  fromKey: TFromKey;
+  toDataset: TToDatasetId;
+  toColumn: TToColumn;
+} : never : never : never }[keyof TRelationships];
+type LabelColumnCandidates<TDataset extends DefinedDataset<any, any, any>> = Exclude<ResolvedGroupByColumnIdFromSchema<DatasetRow<TDataset>, TDataset>, SafeRelationshipKeyId<TDataset> | `${string}Id`> | SafeRelationshipKeyId<TDataset>;
+type InferredAttributeAliasUnion<TRelationships extends Record<string, ModelRelationshipDefinition>, TAttributes extends Record<string, ModelAttributeDefinition>> = Exclude<AliasableRelationshipUnion<TRelationships>['alias'], Extract<keyof TAttributes, string>>;
+type UniqueAttributeAliasUnion<TRelationships extends Record<string, ModelRelationshipDefinition>, TAttributes extends Record<string, ModelAttributeDefinition>> = InferredAttributeAliasUnion<TRelationships, TAttributes> extends infer TAlias ? TAlias extends string ? IsUnion<Extract<AliasableRelationshipUnion<TRelationships>, {
+  alias: TAlias;
+}>['fromDataset']> extends true ? never : TAlias : never : never;
+type AttributeSourceDatasetId<TRelationships extends Record<string, ModelRelationshipDefinition>, TAlias extends string> = Extract<Extract<AliasableRelationshipUnion<TRelationships>, {
+  alias: TAlias;
+}>['fromDataset'], string>;
+type AttributeSourceKeyId<TRelationships extends Record<string, ModelRelationshipDefinition>, TAlias extends string> = Extract<Extract<AliasableRelationshipUnion<TRelationships>, {
+  alias: TAlias;
+}>['fromKey'], string>;
+type AttributeTargetsForAlias<TRelationships extends Record<string, ModelRelationshipDefinition>, TAlias extends string> = readonly (Extract<AliasableRelationshipUnion<TRelationships>, {
+  alias: TAlias;
+}> extends infer TRelationship ? TRelationship extends {
+  id: infer TRelationshipId extends string;
+  toDataset: infer TToDatasetId extends string;
+  toColumn: infer TToColumn extends string;
+} ? {
+  dataset: TToDatasetId;
+  column: TToColumn;
+  via: TRelationshipId;
+} : never : never)[];
+type CanInferAttributeForAlias<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TAlias extends string> = LabelColumnCandidates<TDatasets[AttributeSourceDatasetId<TRelationships, TAlias>]> extends never ? false : true;
+type InferRelationshipsForModel<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TExclude extends readonly string[] | undefined> = Simplify<TRelationships & { [TRelationship in UniqueRelationshipCandidateUnion<InferredRelationshipCandidateUnion<TDatasets, TRelationships, TExclude>> as TRelationship['id']]: ModelRelationshipDefinition<TRelationship['fromDataset'], TRelationship['toDataset'], TRelationship['fromKey'], TRelationship['toColumn']> }>;
+type InferAttributesForModel<TDatasets extends ModelDatasets, TRelationships extends Record<string, ModelRelationshipDefinition>, TAttributes extends Record<string, ModelAttributeDefinition>> = Simplify<TAttributes & { [TAlias in UniqueAttributeAliasUnion<TRelationships, TAttributes> as CanInferAttributeForAlias<TDatasets, TRelationships, TAlias> extends true ? TAlias : never]: ModelAttributeDefinition<AttributeSourceDatasetId<TRelationships, TAlias>, AttributeTargetsForAlias<TRelationships, TAlias>> & {
+  source: {
+    dataset: AttributeSourceDatasetId<TRelationships, TAlias>;
+    key: AttributeSourceKeyId<TRelationships, TAlias>;
+    label: LabelColumnCandidates<TDatasets[AttributeSourceDatasetId<TRelationships, TAlias>]>;
+  };
+} }>;
+//#endregion
+export { InferAttributesForModel, InferRelationshipsForModel };

package/dist/core/pipeline.mjs

@@ -139,6 +139,37 @@ function extractAvailableFilters(data, columns) {
 	});
 }
 /**
+* Recompute option counts using cross-filtering: for each column, apply filters
+* from all *other* columns, then count. This keeps same-column options from
+* zeroing each other out while still reflecting the impact of other filters.
+*
+* @param baseFilters - The available filters with labels and original ordering
+* @param data - Data already filtered by date range (effectiveData)
+* @param columns - All column definitions
+* @param activeFilters - The user's current filter selections
+* @returns A new array of AvailableFilter with updated counts
+*/
+function computeFilteredCounts(baseFilters, data, columns, activeFilters) {
+	if (activeFilters.size === 0) return baseFilters;
+	return baseFilters.map((filter) => {
+		const crossFiltered = applyFilters(data, columns, new Map([...activeFilters].filter(([columnId]) => columnId !== filter.columnId)));
+		const column = columns.find((c) => c.id === filter.columnId);
+		if (!column) return filter;
+		const countMap = /* @__PURE__ */ new Map();
+		for (const item of crossFiltered) {
+			const value = getStringValue(item, column);
+			countMap.set(value, (countMap.get(value) ?? 0) + 1);
+		}
+		return {
+			...filter,
+			options: filter.options.map((option) => ({
+				...option,
+				count: countMap.get(option.value) ?? 0
+			}))
+		};
+	});
+}
+/**
 * Derive one human-facing filter option label from the typed column value while
 * keeping the underlying filter state keyed by the stable string value.
 */
@@ -150,4 +181,4 @@ function formatFilterOptionLabel(item, column) {
 	});
 }
 //#endregion
-export { applyFilters, extractAvailableFilters, runPipeline };
+export { applyFilters, computeFilteredCounts, extractAvailableFilters, runPipeline };