Evidence

s1008.py

Download source fileOpen in research workspace
from research import *
s=begin(1008,'Freeze structural transfer inputs','Which complete source registers will test recoverability across families?',{},['File58 §§3.1,13','File43 §3.4','File54 §6','File70 AppendixB.1'])
p={'Esau_counts':[200,20,200,20,40,10,30,20,10],'Esau_names':['female goats','male goats','ewes','rams','cows','bulls','camel female block','female donkeys','male donkeys'],'clean_order':[1,3,5,0,2,4],'female_order':[0,2,6,4,7],'unclean_order':[7,6,8],'Tishri_species_totals':[75,18,176,11],'Tishri_template_matrix':[[0,0,2,1,1,70,1],[0,0,1,1,1,14,1],[1,1,7,7,7,98,7],[0,0,1,1,1,7,1]],'toledot_occurrence_to_section':[1,2,3,4,5,6,7,8,9,9,10],'scope':'source templates and measured registers retained; no new historical provenance'}
a=artifact('model/structural_transfer_inputs.json',json.dumps(p,indent=2)+'\n')
finish(s,{'packet':a},'Complete ordered registers, ritual templates and section multiplicities are fixed before inversion. Their numeric source content remains part of the premises.','Combine the Esau clean and female registers with the grand total.',{'nine_counts':len(p['Esau_counts'])==9,'source_total':sum(p['Esau_counts'])==550,'occurrence_count':len(p['toledot_occurrence_to_section'])==11})

Linked sources and evidence

Edition and provenance

s1008.py

SHA-256 9f81373837eda0250b1f1f61f015458b3d7bfa7546500815f0ab365dcfda5431

C480–C1634/Research_Cycles/C0932_C1131/evidence/s1008.py