Stockfish question

[Cardoso]

Hi,
reading the Stockfish source, in the search.cpp, I noticed the refinedValue comes either from the hashtable if possible or from the static eval.
When it comes from the hashtable, it is usually a bound either a lower bound (fail high) or an upper bound (fail low).
My question is, is this sound ? Since we don't have a real value to assess the current position but only a bound, is it ok to set refinedValue this way?

best regards,
Alvaro

[lech]

Hi,
reading the Stockfish source, in the search.cpp, I noticed the refinedValue comes either from the hashtable if possible or from the static eval.
When it comes from the hashtable, it is usually a bound either a lower bound (fail high) or an upper bound (fail low).
My question is, is this sound ? Since we don't have a real value to assess the current position but only a bound, is it ok to set refinedValue this way?

best regards,
Alvaro

Yes, because in 8th point you should be over beta. StaticEval can be below beta. The real values ​​are important in the PV line only.