Categorical Rollup Design¶
Exact one-column categorical rollup design under saturated Q.
- class updatesupport.rollup.CategoricalRollupCandidate(groups, public_cells, hidden_cells, observed_value, lower, upper, ambiguity, base_ambiguity, passes_bucket_budget, meets_ambiguity_limit, decision_invariant, decision_certified, certifies_claim)[source]¶
Bases:
objectOne exact categorical grouping evaluated under saturated Q.
- Parameters:
- class updatesupport.rollup.CategoricalRollupDesign(claim, column, categories, output_column, max_groups, max_categories, bucket_budget, evaluated_partition_count, selected, base, best_by_group_count, frontier, status, title='Categorical Rollup Design', limitations=())[source]¶
Bases:
ReportArtifactMixinExact reporting design over rollups of one categorical column.
- Parameters:
claim (ClaimSpec)
column (str)
output_column (str)
max_groups (int)
max_categories (int)
bucket_budget (int | None)
evaluated_partition_count (int)
selected (CategoricalRollupCandidate)
base (CategoricalRollupCandidate)
best_by_group_count (tuple[CategoricalRollupCandidate, ...])
frontier (tuple[CategoricalRollupCandidate, ...])
status (str)
title (str)
- selected: CategoricalRollupCandidate¶
- best_by_group_count: tuple[CategoricalRollupCandidate, ...]¶
- frontier: tuple[CategoricalRollupCandidate, ...]¶
- updatesupport.rollup.design_categorical_rollup(data, claim, *, column, max_groups=None, max_categories=9, bucket_budget=None, output_column=None, tolerance=1e-09, title='Categorical Rollup Design')[source]¶
Design an exact global rollup of one categorical column.
Every set partition of the retained category levels up to
max_groupsis evaluated with the saturated public-fiber range formula. The selected design is the smallest budget-feasible rollup that certifies the claim, or the lowest-ambiguity budget-feasible design when no certifying rollup exists.