Skip to content

test(oracle): dump the furthest-progressing attempt on statelessreset-client failure - #82

Merged
ericsssan merged 1 commit into
mainfrom
test/oracle-srst-debug-furthest
Jul 25, 2026
Merged

ericsssan merged 1 commit into
mainfrom
test/oracle-srst-debug-furthest

Conversation

@ericsssan

Copy link
Copy Markdown
Owner

Final follow-up nit from the #79 review.

Problem

On final failure the retry loop dumped try$attempts (the last attempt) unconditionally. If a late attempt failed early (e.g. a bind race, rank 1) while an earlier one ran the whole sequence and missed the reset (rank 5 — the informative case), the debug showed the least useful attempt.

Fix

A small note RANK REASON helper records each attempt's stage rank (1 = phase-1 bind … 5 = ran to the [SRST] check) and remembers the furthest-progressing attempt's dir; ties prefer the later/freshest attempt. The failure dump uses that dir.

Verification

  • Selection logic unit-checked: picks the latest rank-5 attempt over an earlier rank-5, and a later rank-1 failure does not overwrite it.
  • Fault injection (no reset ever sent): still red after 3 attempts, now reports debug (furthest attempt: .../try3).
  • Real statelessreset-client green; self-test 15/15; full matrix 78/78.

Harness-only (oracle/run.sh).

…-client failure

Follow-up nit from the #79 review. On final failure the retry loop dumped
`try$attempts` (the last attempt) unconditionally, so a late attempt that failed
early — e.g. a bind race (rank 1) — would hide an earlier attempt that ran the whole
sequence and missed the reset (rank 5), which is the informative one.

Track each attempt's stage rank via a small `note RANK REASON` helper and dump the
furthest-progressing attempt (ties prefer the later/freshest one). Verified: the
selection logic picks the latest rank-5 attempt over an earlier one and ignores a
later low-rank failure; fault injection (no reset ever sent) still fails red after 3
attempts and now reports 'debug (furthest attempt: .../try3)'. Full matrix 78/78.
@ericsssan
ericsssan merged commit 2ccba64 into main Jul 25, 2026
16 of 18 checks passed
@ericsssan
ericsssan deleted the test/oracle-srst-debug-furthest branch July 25, 2026 12:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant