proposeGate property

Completer<void>? proposeGate
getter/setter pair

When set, propose PARKS (after counting/recording) until this gate completes — the mid-flight interleaving harness (#330): a test can swap the wallet session (or fire a second action) while a propose is in flight, then release it and assert the stale continuation writes nothing.

Implementation

Completer<void>? proposeGate;