s1170.py

from research import *
from algebra import Matrix
s=begin(1170,'Include the baseline early-remainder relation','Does the MT Arphaxad/Shelah constraint reduce the complete family model rather than only a projection?',{},['C1160','C1169'])
d=json.loads((ROOT/'model/postflood_native_joint_model.json').read_text());M=Matrix(d['matrix'])
constraint=[0]*21;constraint[2]=-1;constraint[3]=1;constraint[4]=1;constraint[5]=-1
K=Matrix(constraint).T if False else Matrix([constraint]);basis=K.nullspace();N=Matrix([list(v) for v in basis]).T
restricted=M*N
a=artifact('model/postflood_native_with_early_relation.json',json.dumps(clean({'constraint':constraint,'meaning':'MT L_Arphaxad-b_Arphaxad = MT L_Shelah-b_Shelah','domain_dimension':N.cols,'output_rank':restricted.rank(),'extra_source_magnitude_not_added':True,'qualification':'one independent relation, not a claim of an exhaustive minimal source basis'}),indent=2)+'\n')
finish(s,{'restricted_native_model':a,'rank':restricted.rank()},'Including the shared MT403 remainder as a relation reduces the declared whole-family dimension from21 to20. The reduction applies to all native outputs coherently; it does not make403 or the remaining baseline ages self-explanatory.','Test another explicit repeated baseline value and keep its numerical role separate from shared operators.',{'constraint_holds':sum(x*y for x,y in zip(constraint,d['source_parameters']))==0,'rank20':restricted.rank()==20,'one_relation':K.rank()==1})