Do not return unproven comments

[icecream17]

Stockfish/src/search.cpp

Lines 832 to 837 in 77eeea4

	// Step 7. Futility pruning: child node (~50 Elo)
	if ( !PvNode
	&& depth < 9
	&& eval - futility_margin(depth, improving) >= beta
	&& eval < VALUE_KNOWN_WIN) // Do not return unproven wins
	return eval;

I'm a bit confused about this comment, it looks like the opposite thing is happening.
The code disallows proven wins right???

It returns positive eval, and for example VALUE_MATE > VALUE_KNOWN_WIN... so I don't know what it could possibly be.

[noobpwnftw]

This code is to perform pruning, which means it has not yet performed any search to "prove" that any value is in fact truth. For any value > VALUE_KNOWN_WIN, it is bad to assume such unproven results, therefore the above condition does what it says it does and the logic is correct.

[icecream17]

Oh I see. Thanks