Evidence-Tracked Tape Semantics for Probabilistic Computation. - Liron Cohen 001; Tomer Samara (CoRR, 2026)