from research import *
s=begin(555,'Specify the finite clutch action','What symmetry is licensed by the three admitted displacement states?',{'displacements':[0,7,14],'example':1933},['File61 §7.3A; File62 §1'])
d=[0,7,14];v=[1933-x for x in d];edges=[(0,7),(7,14)]
finish(s,{'rail':v,'half_step_edges':edges,'composite_edge':[0,14],'third_half_step':1912,'third_step_admitted':False},'H7 composed twice equals T14 on the declared original-to-full domain. The admitted rails form a finite directed chain, not a closed translation group. Historical event anchors remain fixed.','Generate Joseph collateral intervals from the same root boundaries.',{'composition':1933-7-7==1933-14,'finite_domain':21 not in d})