Live Fraction and Effective Rate
Live fraction is a budget ratio, not a free parameter. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
The live time is 4 seconds out of 12 seconds.
The reduced live fraction is 1/3.