If transaction was accepted by validator but returned error in result it is not tracked.

[otselnik]

Impact:

Noniterative transactions.
Step by step continue.

STR:

Continuously send a transaction, that is small enough to run noniterative, but with surely fail(Program failed to complete for example), until it will be accepted by a validator.
Example is 0x6ac954d8f9e7c0bf0c6f9bc0747faf550a84b5dff63b832efd8910925e1b9f99 transaction in all UniSwap tests, witch sometimes successfully executes in noniterative execution and sometimes successfully simulates on validator and than fails on execution.

Actual result:

Once proxy got the result without exceptions it acts like it was without errors.

Expected result:

Proxy must check errors in results.