[TS PBT] Project properties and search violations with USVM - #387

Open

CaelmBleidd wants to merge 8 commits into

caelmbleidd/issue-384-property-contractfrom

caelmbleidd/issues-351-352-usvm-property-search

Commits on Sep 8, 2026

[TS PBT] Align property execution semantics
CaelmBleidd
committed
e3179ec
[TS PBT] Stabilize process transport fixtures
CaelmBleidd
committed
bf594d5
[TS PBT] Clarify downstream symbolic integration
CaelmBleidd
committed
174af1a

Commits on Sep 17, 2026