s1046.py

from research import *
s=begin(1046,'Retained biological rows complete identification','Do the source qI=1 and Isaac→Jacob60 remove the residual ambiguity?',{},['C1045','File60 §2'])
from algebra import Matrix
p=json.loads((ROOT/'model/covenant_normalized_constraints.json').read_text());extra=[[int(j==2) for j in range(13)],[int(j==4) for j in range(13)]];ranks=[Matrix(p['matrix']+extra[:i]).rank() for i in range(3)]
finish(s,{'successive_ranks':ranks,'held_source_values':{'qI':1,'Isaac_to_Jacob':60}},'The two retained source rows restore full rank13. The familiar pattern relations therefore leave real explanatory work to the biological and event data.','Eliminate the common-point variable to separate a generated coordinate from a cycle condition.',{'rank_closure':ranks==[11,12,13],'source_roles_distinct':2!=4})