Temporal Workflow Design in Practice: Modeling a Construction Worker’s Full Shift with Signals, Updates, and Idempotency