s1304.py

from research import *
s=begin(1304,'Register the row-change and accumulation relation','Why do localmechanisms determinethewholecomparisonfield?',{},['C1303','C1254','C1166','C1216'])
relation={'id':'accumulation_linearity','class':'identity','inputs':'sameorderedlabeldomain,weightvectorsw,wprime,retainedterminals','statement':'Forcommonterminala, Xprime−X=U(wprime−w), U_ij=1 ifj>=i. Differentterminalsaddtheexplicitconstantoffset.','proof':'Subtractthetwosuffixsums termbyterm. Adjacentdifferencesrecovereachlocalchange.','source_applications':['MT/LXX complete19rowb/L fields','SP/LXX postFloodlife field','Roundedlocalerrorfieldwithzeroheaderror'],'evidence':['model/regular_kernel_complete_staircase.json','model/postflood_suffix_amplitude_field.json','model/whole_genealogy_rounding_interior_field.json'],'limit':'Differentlabeldomainsfirstrequireadeclaredinsertionorcomparisonadapter.'}
relation['evidence']=[p for p in relation['evidence'] if (ROOT/p).exists()]
a=artifact('model/relation_accumulation.json',json.dumps(relation,indent=2)+'\n')
finish(s,{'accumulation_relation':a},'Localchanges determine thewholefield because accumulationislinear on afixedorderedmeasurement. Theterminal androwdomain are part oftherelation, so aCainaninsertion mustbe representedexplicitlyfirst.','Register thecap-round square anditsinformationloss qualifications.',{'bound_examples':len(relation['evidence'])>=2,'domain_named':'sameordered' in relation['inputs']})