Currently, the only condition that's being checked for the braided sectors is a hexagon equation. I phrase it like that, since we're only checking the overbraiding condition, while underbraidings must also be satisfied.
Besides the two hexagon equations, unitary braided categories must also satisfy the ribbon condition (which is in fact mentioned in the docs). As of now, ZNElement{p} with non-trivial cocycle and non-selfduality seem to not satisfy this, hinting at either incorrect R-symbols or simply not being braided.
Currently, the only condition that's being checked for the braided sectors is a hexagon equation. I phrase it like that, since we're only checking the overbraiding condition, while underbraidings must also be satisfied.
Besides the two hexagon equations, unitary braided categories must also satisfy the ribbon condition (which is in fact mentioned in the docs). As of now,
ZNElement{p}with non-trivial cocycle and non-selfduality seem to not satisfy this, hinting at either incorrect R-symbols or simply not being braided.