A redress score is itself an average of other races, so one redress result must never be folded into another's pool — otherwise the two values become order-dependent (each averaging the other's placeholder). Both redress races are the mean of the boat's actually-sailed races. 4 boats, 4 races, no discards. Alice is granted redress (RDG type 1, all_races) in races 1 and 2, and sails races 3 (2nd = 2) and 4 (3rd = 3). Each redress = mean of her sailed races, excluding the other RDG race: (2 + 3) / 2 = 2.5. So race 1 = race 2 = 2.5.
Scoring configuration: No discards. DNF/OCS scoring: A5.2 (series entries).
Points (no discards):
Bob: [1, 1, 1, 1] total 4 (rank 1)
Carol: [2, 2, 3, 2] total 9 (rank 2)
Alice: [2.5/RDG, 2.5/RDG, 2, 3] total 10 (rank 3)
Dave: [3, 3, 4, 4] total 14 (rank 4)