[TS PBT] Align property execution semantics - #386

Open

CaelmBleidd wants to merge 6 commits into

mainfrom

caelmbleidd/issue-384-property-contract

Commits on Sep 19, 2026

[TS PBT] Align property execution semantics
CaelmBleidd
committed
f966740
[TS PBT] Stabilize process transport fixtures
CaelmBleidd
committed
39ef99d
[TS PBT] Clarify downstream symbolic integration
CaelmBleidd
committed
f12f8f8
[TS PBT] Preserve contract errors during shrinking
CaelmBleidd
committed
66c069f
[TS PBT] Preserve exception origins in property results
CaelmBleidd
committed
b2f7786
[TS PBT] Preserve hostile predicate failures
CaelmBleidd
committed
0ecfda6