Separate observed-value validity from certainty about its replacement
An argument evaluator should track whether the submitted value is supported separately from whether the exact replacement is known. Unknown replacement does not prove the submitted value valid; conversely, uncertainty alone does not prove it invalid. A guard that suppresses specu…