Re: QUIT and ABORT

On 2025-05-24 18:20, mhx wrote:

The standard contains the list of standard words, and the behavior of
each standard word is well specified (as far as a standard program
concerns).

 True, and verifiable.
 

(by design; of course, the standard may contain mistakes)

 You mean: Will contain mistakes :--)

As you wish ;)

Therefore, the behavior of a standard system can be falsified using
standard program examples. That is, if and only if the system deviates
from the specified behavior, this can be demonstrated by some standard
program.

 What exactly do you want to do with this? It is not possible to test
all possible programs using all available words (e.g., we can always
add another word to a program). Thus the clause gives no guarantee
to a user and does not allow the vendor to claim anything.

This allows the vendor to claim that the system's behavior conforms the standard to the best of his knowledge.  Typically, "to the best of his knowledge" is always implied and this explicit clause is not necessary.
That is, the behavior of the system can be assumed compliant as long as counterexamples are not known.
When a counterexample become known, the deviation of this version of the system should be documented and the vendor should correct the system to make the new version compliant.

Simple example:
A `standard program` from user A returns the wrong result. User A
claims this is because the Forth system from vendor B contains a
bug.

To support his claim, the user A should provide a small program (so that it is obvious that this program is standard compliant) that demonstrates the behavior deviation of the system from the vendor B.
--
Ruvim