Fixed parties, dimensions, and Choi convention

Positivity and (eq:normalization) imply that (eq:probability) is nonnegative and sums to one. The process-matrix framework does not assume an externally supplied global causal order OCB. This is not a statement that every valid process lacks a definite-order realization.