[Feature Request] Improve wait_condition semantics

Ideally, the following would not happen:

@workflow.defn
class WaitForSharedMutableStateWorkflow:
    def __init__(self) -> None:
        self.cond = False

    @workflow.run
    async def run(self):
        self.cond = True
        await asyncio.gather(self.coro("1"), self.coro("2"))

    async def coro(self, id: str):
        await workflow.wait_condition(lambda: self.cond)
        print(f"after wait coro {id} sees {self.cond}")  # ❗❗ <== coro2 sees False❗
        self.cond = False
        await asyncio.sleep(1)
        self.cond = True

Completely eliminating the possibility would be ideal, but best-effort improvements would also be welcome.

Inizia riproducendo l’esempio workflow.wait_condition con asyncio.gather e le due chiamate a coro mostrate nell’issue, quindi esamina come wait_condition riprende i workflow concorrenti. Definisci e documenta il comportamento previsto per lo stato mutabile condiviso; il lavoro è concluso quando viene eliminato il caso dimostrato in cui coro2 vede False, oppure viene coperto un comportamento best-effort chiaramente specificato.