TypeScript で実装したワークフローの「正しさ」を Lean とランダムテストで検証する