s1015.py

from research import *
s=begin(1015,'Which Tishri predicates do the work?','What freedoms return if daily44 or equal-festival conditions are removed?',{},['C1014'])
from algebra import Matrix
p=json.loads((ROOT/'model/tishri_template_constraints.json').read_text());base=p['base'];e=p['extra_predicates'];nodaily=Matrix(base+e[:2]);nofestival=Matrix(base+[e[2]])
finish(s,{'without_daily_rank':nodaily.rank(),'without_daily_kernel':[list(v) for v in nodaily.nullspace()],'without_equal_festivals_rank':nofestival.rank(),'without_equal_festivals_kernel':[list(v) for v in nofestival.nullspace()]},'Daily44 removes the Daily/Sabbath exchange; the two festival equalities remove two allocation freedoms. This complements the earlier margin-only ambiguity result.','Recover the Sukkot daily sequence while exposing its decrement premise.',{'daily_freedom':nodaily.rank()==6,'festival_freedoms':nofestival.rank()==5})