4 Commits

Include renames

Author	SHA1	Message	Date
pj	127234b58c	docs(runner): say what makes the two reads comparable ... the reread's comment claimed the round trip was the only interval between them; what it left out is that the two rpcs have to read the same way, which the repo's own android backend did not do.	2026-08-16 01:20:33 +05:30
pj	8e37be2afd	test(runner): pin both guard writes to what the spec reads ... deleting lastAction.Relaunched or lastAction.Applied left the whole suite green, so the only producer of the two fields every spec-side guard reads had nothing holding it. both now assert the value out of the trace.	2026-08-16 01:01:03 +05:30
pj	2762dc3011	test(runner): answer Snapshot and Hierarchy off one tree in the fakes	2026-08-15 21:30:15 +05:30
pj	94a1d59d60	test(runner): an overlay dismissal must not convict the counting property	2026-08-15 21:03:23 +05:30