s1162.py

from research import *
from algebra import Matrix
s=begin(1162,'Parametrize the late remainder-preserving block','What shared rule generates the Peleg/Reu/Serug rows across MT,SP andLXX?',{},['C1151','C1152'])
def out(v):
 b=v[:3];r=v[3:6];u=v[6];return [x for t in range(3) for B,R in zip(b,r) for x in [B+(u if t else 0),B+R+(u if t==2 else 0)]]
params=[30,32,30,209,207,200,100];M=Matrix([out([int(i==j) for i in range(7)]) for j in range(7)]).T;v=out(params)
a=artifact('model/postflood_late_block_rank.json',json.dumps(clean({'parameters':['b_Peleg','b_Reu','b_Serug','r_Peleg','r_Reu','r_Serug','u'],'source_parameters':params,'rank':M.rank(),'matrix':M.tolist(),'outputs':v,'MT_to_SP':'R_u preserveslife','SP_to_LXX':'A_u preservesbegetting','MT_to_LXX':'A_u R_u preservesremainder'}),indent=2)+'\n')
finish(s,{'late_block_model':a,'rank':M.rank(),'outputs':v},'The late block has seven free coordinates in this model: six baseline components and one shared century. MT→SP preserves each life; SP→LXX preserves the raised begetting age; the combined MT→LXX move preserves the original remainder.','Check that the intermediate rows in this factorization are actual suppliedSP rows.',{'rank7':M.rank()==7,'LXX_lives':v[-5::2]==[339,339,330],'SP_lives':v[7:12:2]==[239,239,230]})