Skip to content

fix: remove arbitrary physical candidate limits - #730

Open
zzylol wants to merge 1 commit into
mainfrom
fix/708-mask-routing
Open

zzylol wants to merge 1 commit into
mainfrom
fix/708-mask-routing

Conversation

@zzylol

@zzylol zzylol commented Sep 14, 2026

Copy link
Copy Markdown
Contributor

Fixes #708.

Physical alternatives use sets of materialization keys, so the 64-candidate limit is not a representation constraint. Remove that rejection and the 63-set enumeration cutoff, which omitted later leaves' singleton/complement choices. Keep the existing key-set representation and remove redundant deduplication for the distinct large-inventory choices.

Before this PR: 100 optional keys produced only 63 materialization candidates, and selection rejected any inventory with more than 64 alternatives, including a cheaper candidate at position 65.

After this PR: 100 keys produce 202 materialization candidates plus native execution, and the selector considers every supplied alternative. Search remains exhaustive through four keys; larger inventories use all/none plus every singleton/complement pair (2 + 2N), with non-exhaustive coverage disclosed. Larger inventories require more compilation and pricing work; this does not claim a global optimum.

Verification: Both regressions failed against the original behavior and passed after the fix. All 411 control-plane tests and 24 focused runtime tests passed. Coverage includes mask-to-binding consistency, absence of deployed raw scans, exact-leaf composition and fallback, materialized subDAG boundaries, shared dependencies, and binary operand ordering. No runtime routing changes were needed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Why are physical alternatives capped at 64?

1 participant