Function note

benchmarks/audit/solve.ts:245–246

(x: { v: Verdict; note?: string })

for (const cat of cats) {
  const n = cases.filter((c) => c.cat === cat).length;
  md.push(
    `| ${cat} | ${n} | ${tally((r) => r.ce.v, (c) => c.cat === cat)} | ` +
      `${tally((r) => r.rf.v, (c) => c.cat === cat)} | ` +
      `${tally((r) => r.sy.v, (c) => c.cat === cat)} | ` +
      `${tally((r) => r.wo.v, (c) => c.cat === cat)} |`