s847.py

from research import *
s=begin(847,'Resolve the female register as a two-endpoint measurement','How do400/430/470/490 arise when the chronological endpoints also change?',{},['File58 §13.2'])
p=json.loads((ROOT/'model/list_inputs.json').read_text());rows=json.loads((ROOT/'model/Esau_joint_measurements.json').read_text())['rows'];order=p['orders']['drove']
female=sorted([x for x in rows if x['sex']!='male'],key=lambda x:order.index(x['species']));v=[x['count'] for x in female];prefix=[sum(v[:i]) for i in range(1,6)]
heads=[1846,1876,1876,1896];tails=[1446,1446,1406,1406];spans=[a-b for a,b in zip(heads,tails)]
changes=[{'head':heads[i+1]-heads[i],'tail':tails[i+1]-tails[i],'span':spans[i+1]-spans[i]} for i in range(3)]
finish(s,{'female_source_counts':v,'prefix_register':prefix,'chronology_heads':heads,'chronology_tails':tails,'span_changes':changes},'The30,40,20 increments come respectively from an earlier head, a later tail, and an earlier head. This is a two-endpoint span register, not one chronology walk from a fixed anchor.','Test a second list’s declared regroupings against the same measurement grammar.',{'register':prefix==[200,400,430,470,490],'spans':spans==prefix[1:],'response':all(x['span']==x['head']-x['tail'] for x in changes)})