Text this: Evidence-Tracked Tape Semantics for Probabilistic Computation