[TS PBT] Challenge context-scoped observed function summaries during symbolic search #403

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-time selected value observations and numeric relations remain in #397/#398. Context-scoped helper-summary inference, speculative substitution and refinement are a separate research direction and are not required for the agreed delivery.

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.