Function rule

scripts/agent-eval/compare-arms.mjs:114–114

(title)

  // together into one unreadable number.
  const row = (label, cells) => out.push('  ' + label.padEnd(W) + cells.map((c) => ' ' + String(c).padStart(C - 1)).join(''));
  const rule = (title) => out.push(`  ${title}`);

  row('', arms.map((a) => a.label));
  row('runs', arms.map((a) => a.runs.length));