s613.py

from research import *
s=begin(613,'Declare the source cost of the compact model','Which inputs remain necessary after whole-family compression?',{'basis_policy':'retain supplied anchors, counts, phases, roles and interval data; distinguish formulas from inputs'},['C532–C612; C531 synthesis'])
basis={
 'Covenant':{'inputs':{'anchor':1866,'son_offsets':[1,15],'Ishmael_Levi_gap':161,'Ishmael_life':137,'Levi_life':137,'Joseph_offset_life':[4,110],'Isaac_Jacob_gap':60,'Jacob_life_call':[147,77],'Levi_terminal_gap':161},'rule':'local differences and anchored Keys'},
 'Cumulative_root':{'inputs':{'base':[2435,2260,2080,1933,1796,1663,1526],'phases':['0','7/2'],'clutch':[0,7,14]},'rule':'C0+p−d; collateral offsets±110'},
 'Carrier':{'inputs':{'quarter_pair':['40','161/4'],'source_partition':['805/2','161/2'],'Creation_cell':[14011,14008,14006,14004],'counts':[25,26,27]},'rule':'counted translation and admitted partial E'},
 'Enoch_cells':{'inputs':{'counts':[77,63,50],'g':[70,72],'T':110,'terminal_AD':65,'index':7,'u':['g','g+110']},'rule':'x=(N−7)u−64; role cell'},
 'Enoch_grid':{'inputs':{'rows':49,'g':[70,72],'civil_rail':[-110,0],'terminal_AD':65},'rule':'a(j)=65−(49−j)g+r; separate attribution'},
 'Rounded_prior':{'inputs':'latest File52c source rows, admitted partitions, anchors and rounding residuals','rule':'single-pass component reversal; anchored E/P/J; declared reflection'}
}
meta=artifact('model/source_basis.json',json.dumps(basis,indent=2,ensure_ascii=False)+'\n')
finish(s,{'families':list(basis),'basis_artifact':meta,'minimality_status':'compact candidate; no global minimum claim'},'The compact model still pays for its source data and role selections. Explicitly including Ishmael’s137-year lifespan resolves the C551 input-label omission. Formula reuse reduces repeated construction, not the need for source premises.','Record the exact interfaces linking these family modules.',{'family_count':len(basis)==6,'equal_life_explicit':basis['Covenant']['inputs']['Ishmael_life']==basis['Covenant']['inputs']['Levi_life']==137})