A worksheet is not finished when it has computed a number. It is finished when it says whether the number is acceptable, and against what. That last step is usually the point of the document: a section is adequate, a bolt is not, a temperature rise is within what the datasheet allows.
check states a condition and reports a verdict on it. It binds nothing and nothing reads it — it exists to be read by a person, and counted by whatever runs the worksheet.
The allowable stress, and the stress that is actually there.
Both of these have to hold, and one statement says so.
Nothing here is wrong: the arithmetic is right and the design is not. The worksheet still evaluates, nomo check still reports it as a worksheet that works, and the exit code says a check failed rather than that the sheet did.