Independence is the point
The QC programmer works from the same specification as production, never from the production code itself, so agreement means the logic is actually correct.
What's included
The QC programmer works from the same specification as production, never from the production code itself, so agreement means the logic is actually correct.
The same independent QC discipline continues into conduct as SDTM/ADaM Dataset QC on each accruing data cut.