C1: soundness for sequential radiation programmes

For a fixed interface and library, define

The complete output is deterministic unless a success flag and its failure output are explicitly part of the task.

Increasing capacity or enlarging the implementation library cannot increase this infimum. Relaxing an error target cannot remove a feasible programme.