Reference. Sampling and replay under fixed assumptions [ftip-00J7]
Reference. Sampling and replay under fixed assumptions [ftip-00J7]
The sampling identity in Theorem [ftip-0078] assumes independent events, while the replay result in Theorem [ftip-00HG] assumes deterministic execution with fixed inputs. Neither assumption follows from the other.