s836.py

from research import *
s=begin(836,'Test whether the margins determine the ledger','Can preserved category/species totals recover every internal cell?',{},['C835; diagnostic only'])
p=json.loads((ROOT/'model/Tishri_count_matrix.json').read_text());a=p['matrix'];b=[r[:] for r in a]
for i,j,d in [(2,0,1),(2,2,-1),(3,0,-1),(3,2,1)]:b[i][j]+=d
row=lambda m:[sum(r) for r in m];col=lambda m:[sum(r[j] for r in m) for j in range(4)]
finish(s,{'diagnostic_changed_rows':{'NewMoon':b[2],'Trumpets':b[3]},'kernel_move':'a2×2 +1,−1,−1,+1 cell circulation','source_status':'not an admitted offering variant'},'Both margins survive a nonzero cell circulation. Totals compress the ledger but do not reconstruct its source cells; the complete table supplies information beyond280.','Evaluate the source-admitted calendar/corpus overlay states.',{'rows_preserved':row(a)==row(b),'columns_preserved':col(a)==col(b),'different_nonnegative':a!=b and min(sum(b,[]))>=0})