s838.py

from research import *
s=begin(838,'Separate ledger selection from scale','How do ritual disposition and shemitah scale interact with the finite overlay?',{},['File58 §§4.3,5'])
complete=[1,2,0,2];slaughtered=[1,2,0,1]
p=json.loads((ROOT/'model/Tishri_overlay_states.json').read_text())
scaled={k:7*x['total'] for k,x in p.items()}
finish(s,{'complete_rite':sum(complete),'slaughtered_subset':sum(slaughtered),'scaled_states':scaled,'scaled_calendar_increment':14,'scaled_complete_rite_increment':35,'derived_slaughtered_totals':[280+4,282+4]},'Selecting displayed ritual animals or slaughtered animals changes the measured object by one goat. Scaling then carries that difference to seven; it cannot be suppressed by retaining the same ledger name.','Regenerate every forward festival boundary from its day generator.',{'rite_difference':sum(complete)-sum(slaughtered)==1,'scaled_source':scaled['00']==1960,'linear_overlays':scaled['11']-scaled['00']==14+35})