s1184.py

from research import *
from algebra import Matrix
s=begin(1184,'Recover amplitudes from local named observations','Which five source differences identify the unrestricted model?',{},['C1182'])
d=json.loads((ROOT/'model/whole_genealogy_five_model.json').read_text());labels=['Adam:b','Lamech:L','Arphaxad:L','Eber:L','Nahor:L'];indices=[d['labels'].index(x) for x in labels];H=Matrix([d['matrix'][i] for i in indices]);obs=[d['outputs'][i] for i in indices];sol=list(H.inv()*Matrix(obs))
a=artifact('model/whole_genealogy_local_recovery.json',json.dumps(clean({'observations':dict(zip(labels,obs)),'measurement_matrix':H.tolist(),'determinant':H.det(),'recovered':sol,'four_model_check':'Eber:L + Nahor:L equals Adam:b; an extra observed relation'}),indent=2)+'\n')
finish(s,{'recovery':a,'observations':dict(zip(labels,obs))},'Adam’s begetting difference and four named lifespan differences recover the five amplitudes directly. The four-parameter version predicts a relation among these five already-known observations.','Determine exactly what the two chronology head differences conceal.',{'unit_basis':H.det()==1,'recovery_exact':sol==d['values']})