Function covers

benchmarks/audit/wester.ts:386–386

(a: number[], b: number[])

  if (valid < minValid) return { v: 'inconclusive' };
  if (ok < valid) return { v: 'wrong' };
  if (c.op === 'factor' && /sqrt|√|abs|\|/i.test(res.text || '')) return { v: 'partial', note: 'non-polynomial form' };
  return { v: 'correct' };
}