- mutual_watch_wasm_actors: watcher notified when watched WASM actor stops
- select_instruction_in_handle: wasm select (ternary) based on payload presence
- wasm_to_wasm_to_native_relay: 3-layer echo1→echo2→inbox relay
- prop_any_dest_address_bytes_never_panic: arbitrary 32-byte dest address never panics
All 158 tests pass (11 property tests). No new bugs found.
Authored by Claude, lovingly guided by Zachery Aaron Shores-Chmielewski
945f64ca0b