We investigate a PL topology question: which circle bundles can be triangulated over a given triangulation of the base? The question gets a simple answer emphasizing the role of minimal triangulations encoded by local systems of circular permutations of vertices of the base simplices. The answer is based on an experimental fact: the classical Huntington transitivity axiom for cyclic orders can be expressed as the universal binary Chern cocycle.