s1355.py

from research import *
s=begin(1355,'Verify counted-list examples and identify their state','Are the reader totals and reconstructions faithfully scoped?',{},['inherited/model/structural_transfer_inputs.json','draft/08a_counts.md'])
d=json.loads((ROOT/'inherited/model/structural_transfer_inputs.json').read_text());c=d['Esau_counts']
def prefix(order):return [sum(c[j] for j in order[:i]) for i in range(1,len(order)+1)]
r={'clean_prefixes':prefix(d['clean_order']),'female_prefixes':prefix(d['female_order']),'grand_total':sum(c),'Tishri_total':sum(d['Tishri_species_totals']),'required_calendar_state':'Numbers-only Tishri1–22, Enochian fixed-week state, three Sabbaths','Sukkot_daily':[30-i for i in range(7)]}
a=artifact('model/main_count_claim_check.json',json.dumps(r,indent=2)+'\n')
finish(s,{'check':a},'The printed registers and totals agree with the source template. The Tishri paragraph needs its source boundary and three-Sabbath calendar state stated beside the 280 total.','Verify the complete NT suffix table.',{'clean':r['clean_prefixes']==[20,40,50,250,450,490],'female':r['female_prefixes']==[200,400,430,470,490],'totals':r['grand_total']==550 and r['Tishri_total']==280 and sum(r['Sukkot_daily'])==189})