mikedev115/aetox/aetox-verify

Aetox Verify

No claim without fresh evidence. If the command that proves it was not run in this turn, on this code, the claim is not made.

The gate

Before saying done, fixed, passing, working:

1. Name the command that would prove it.
2. Run it, whole and fresh. Not the run from before the last edit.
3. Read all of it: the exit code, the failure count, the last lines.
4. Does the output say what you are about to say? If not, say what it does

say, with the output.

1. Only then, the claim, with the evidence beside it.

What proves what

The words that mean stop

"Should work now", "I am confident", "looks right", "the tests will pass": each is a claim made before its command. Run the command instead; if it cannot be run, say that it cannot and why, and say the claim is untested.

Partial verification is reported as partial: what was run, what was not, and what is therefore unknown.