Primitive multiplicities and the certificate family

No record register is included in (eq:fgcost). A separate coherent-to-record comparison on an $n$-qubit input adds $\left|S\right|$ live qubits. The two costs are not to be added when the corresponding witness configurations are used in separate experiments, but neither may be silently omitted from its own experiment.