Function validate_krausMapFields

quest/src/core/validation.cpp:3047–3079

 */

void validate_krausMapFields(KrausMap map, const char* caller) {

    tokenSubs vars = {
        {"${NUM_QUBITS}",   map.numQubits},
        {"${NUM_MATRICES}", map.numMatrices},
        {"${NUM_ROWS}",     map.numRows}};

    // assert valid fields
    auto msg = report::INVALID_KRAUS_MAP_FIELDS;
    assertThat(map.numQubits >= 1, msg, vars, caller);
    assertThat(map.numMatrices >= 1, msg, vars, caller);
    assertThat(map.numRows == powerOf2(map.numQubits), msg, vars, caller);

    // check only outer CPU matrix list is allocated, to avoid expensive enumerating of matrices/rows
    assertThat(mem_isOuterAllocated(map.matrices), report::INVALID_KRAUS_MAP_MATRIX_LIST_MEM_PTR, caller);

    // assert isApproxCPTP heap flag allocated, and that is has a valid value
    assertThat(mem_isAllocated(map.isApproxCPTP), report::INVALID_HEAP_FLAG_PTR, caller);

    // and that its value is a boolean
    int flag = *map.isApproxCPTP;
    bool valid = flag == 0 || flag == 1 || flag == validate_STRUCT_PROPERTY_UNKNOWN_FLAG;
    tokenSubs moreVars = {{"${BAD_FLAG}", flag}, {"${UNKNOWN_FLAG}", validate_STRUCT_PROPERTY_UNKNOWN_FLAG}};
    assertThat(valid, report::INVALID_HEAP_FLAG_VALUE, moreVars, caller);

    // assert the superoperator dimension matches the map's
    assertThat(map.numQubits == map.superop.numQubits, report::INVALID_KRAUS_MAP_SUPER_OP_NUM_QUBITS, 
        {{"${MAP_QUBITS}", map.numQubits}, {"${SUPER_OP_QUBITS}", map.superop.numQubits}}, caller);

    // assert the superoperator fields are valid (e.g. dims match, ptrs are valid)
    bool isInKrausMap = true;
    assertSuperOpFieldsAreValid(map.superop, isInKrausMap, caller);
}

void validate_krausMapIsSynced(KrausMap map, const char* caller) {