s1300.py

from research import *
s=begin(1300,'Register one-pass reversal of original components','What distinguishes theinversefamily fromaffineconversionandMirror?',{},['C1299','C1288','File52c §§1.2–1.4'])
op={'id':'reverse_original_components_once','input':'source-appointedorderedwordoforiginalnonnegativeintegerdurations','action':'Forpositive10^z m with10notdividingm, keep10^z andreverse decimaldigitsofm;zero maps tozero. Applyonceto eachadmittedoriginalpart.','output':'orderedtransformedwordwithoriginalpartitionprovenance','preserved':'sourcepartlabelsanddeclaredplaceholderpolicy;notgeneralsums','lost':'Repartitioningchangesoutput; do nottreattransformedwordasoriginalinput','domain':'File52c admittedsinglepassroutes;notgeneralMirror orsame-sidereflection','composition_conditions':'UniformrationalKeymayfollowondeclaredspan; sourcegridinterpretationandheldanchorretained','evidence':['File52c1.2','C1058–C1068 inherited','C1273–C1276'],'excluded':'inverseoftheinverse'}
a=artifact('model/operation_single_reversal.json',json.dumps(op,indent=2)+'\n')
finish(s,{'reversal_operation':a},'Theinverseoperation acts onanoriginalcomponentword withadmittedcutsanddigitpolicy. ItisdistinctfromMirror andaffineKeyconversion; theinventoryexcludesfeedingtransformedoutputsbackintoreversal.','Registergroupingandreflectionwiththeirrequiredmeasurecompatibility.',{'singlepass':'Applyonce' in op['action'],'exclusion':op['excluded']=='inverseoftheinverse'})