Specified expected output

The structural assertions include inversion, Helstrom saturation for fixed-seed random channels, data processing, the visibility–fidelity identity, subsystem support down-closure, all eight binary-channel support families on two records, a nonsymmetric complex-amplitude order-two FR point, sequential agreement, and one explicit gate-error bound. These are finite tests of the written theorems, not evidence that every possible circuit has been enumerated.