atomize alley invariant check
add barrier spin model