Function solveSound

benchmarks/audit/wester.ts:383–385

(res: any)

    valid++;
    if (Math.abs(g - r) <= c.tol * (1 + Math.abs(r)) + 1e-9) ok++;
  }
  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' };
}