Function push

src/workflow/panel/selectors.ts:58–69

(title: string)

  const seen = new Set<string>()
  const out: MergedPhase[] = []
  const push = (title: string): void => {
    if (seen.has(title)) return
    seen.add(title)
    const actual = actualByTitle.get(title)
    const inPhase = run.agents.filter(a => a.phase === title)
    out.push({
      title,
      status: derivePhaseStatus(actual, inPhase),
      done: inPhase.filter(a => a.status === 'done').length,
      total: inPhase.length,
    })
  }
  for (const t of run.declaredPhases) push(t)
  for (const p of run.phases) push(p.title)
  // Scripts that pass opts.phase directly to agent() (the ultracode pipeline pattern)