[TS PBT] Search bounded generator choices while preserving dependent input structure #400

Closed as not planned on 2026-10-16

The project owner chose one PBT generation phase followed by USVM-only search and concrete candidate validation. The current plan is #345.

Native generator-choice search is outside the agreed two-phase delivery. Existing declared domains and joint generator support remain in use; unsupported generators stay explicit. No generator-choice trace/search/reduction engine will be implemented under the current plan.

This is a scope decision, not a claim that the former acceptance was implemented. The earlier description remains in issue edit history and the pre-change audit snapshot. Reopening this extension requires a separate scope decision.