When a test oracle is relaxed to accept a new engine answer, enumerate every step it reclassifies and check that the relaxed rule does not trust the engine own judgement

Review pattern from a driver-tracing engine change. The replay oracle used to flag any step whose driver was none (no driver found). A fix made processes that never wrote (a flop before its first clock edge, a latch whose enable is low) report none with the start value, and the oracle was changed to accept none when since == 0 and the engine added no writeNotFound reason. To judge whether that is a semantics fix or a weakened test: (1) run the new engine under the old oracle rule to count exactly what moved (here 25 FAIL lines = 65 steps = 37 distinct signal/time pairs). (2) Print each reclassified step with value, width, since and reasons, dedupe across dump variants, and check each one against the RTL. All were 4-state, all x at t=0, written by nothing yet, so the change was legitimate. (3) Still flag the relaxed rule if it relies on the engine own decision (here the absence of a reason the engine adds when its start-value check fails). A bug in that check would be invisible to the oracle. Make the oracle check the value independently (all x for 4-state, all 0 for 2-state, else the initializer). Separately: a fixture design that passes on both the old and new engine is not evidence that a field-observed bug class is fixed. Reproduce the field shape (here an initial block made opaque by unknown system tasks like $fsdbDumpvars) on both engines.