s1014.py

from research import *
s=begin(1014,'Tishri reconstruction with retained templates','Do source predicates remove the ambiguity left by species totals?',{},['C1008','File58 §3.1','C836'])
from algebra import Matrix
p=json.loads((ROOT/'model/structural_transfer_inputs.json').read_text());base=p['Tishri_template_matrix'];extras=[[0,0,0,1,-1,0,0],[0,0,0,0,1,0,-1],[1,0,0,0,0,0,0]];M=Matrix(base+extras);rhs=Matrix(p['Tishri_species_totals']+[0,0,44]);v=M.gauss_jordan_solve(rhs)[0]
a=artifact('model/tishri_template_constraints.json',json.dumps(clean({'base':base,'extra_predicates':extras,'rhs':list(rhs),'solution':list(v),'rank':M.rank()}),indent=2)+'\n')
finish(s,{'constraint_packet':a,'species_only_rank':Matrix(base).rank(),'full_rank':M.rank(),'amplitudes':list(v)},'With source row templates, two equal-festival conditions and daily44 retained, the full seven-category ledger is uniquely recovered. The templates themselves contain source numbers.','Remove those predicates one at a time to identify what they supply.',{'base_rank':Matrix(base).rank()==4,'full_rank':M.rank()==7,'source_amplitudes':list(v)==[44,6,1,1,1,1,1]})