from research import *
s=begin(1016,'Source sequence constraint','What does the seven-day total determine once the decrement is retained?',{'total':189,'days':7,'decrement':1,'uniform_nonbull':17},['File58 Sukkot ledger','C1015'])
p=s['inputs'];first=F(p['total'],p['days'])+F((p['days']-1)*p['decrement'],2);seq=[first-i for i in range(7)];bulls=[v-17 for v in seq];alts=[[10+d*(3-i) for i in range(7)] for d in [1,2,3]]
finish(s,{'day_totals':seq,'bulls_given_nonbull17':bulls,'diagnostic_positive_bull_alternatives':alts,'status':'decrement1 and nonbull17 retained as source assumptions'},'The source decrement1 and total189 determine30…24; the retained nonbull17 then gives13…7. Total70 alone permits other positive arithmetic bull sequences, so the source decrement carries information.','Test scale and placement recovery on the already published festival walk.',{'source_totals':sum(seq)==189,'bull_total':sum(bulls)==70,'alternatives_not_unique':all(sum(v)==70 for v in alts) and len(alts)>1})