The tick-lock case only asserted probe_store() returned an error, which any other probe failure would also satisfy. Assert the error names .tick.lock so the case proves that branch fired. Gate r1 (PM12, quality) Low finding.