currently-known full CTM for this state.
Referenced by allocSize(), init_ctm(), init_ctm_vac(), serialize(), and validate().