[TS PBT] Preserve a shared incremental search session across feedback rounds #481

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.

One USVM search follows one PBT evidence snapshot. It does not need an API to pause for new PBT generations, import later rounds or invalidate hypothesis revisions. Ordinary queue/solver state inside that single search remains necessary. PR #549 is withdrawn without merging; useful existing merged machine infrastructure is not removed.

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.