s839.py

from research import *
s=begin(839,'Regenerate the full forward festival path','Does one day generator recover every supplied cumulative and chronological row?',{'anchor':1859,'scale':7},['File58 §7.1'])
p=json.loads((ROOT/'model/list_inputs.json').read_text());v=p['orders']['feast'];prefix=[sum(v[:k]) for k in range(9)];coords=[1859-7*x for x in prefix]
literal=p['tables']['forward']['rows']
a=artifact('model/festival_forward_path.json',json.dumps({'weights':v,'prefix_counts':prefix,'BC':coords,'prefix_formula_first7':'30k−k(k−1)/2'},indent=2)+'\n')
finish(s,{'path':a,'prefix_counts':prefix,'BC':coords},'The complete forward path follows the descending day total and one appended Eighth-Day10. All eight source boundaries are forced once the source order, scale7, and1859 anchor are fixed.','Generate the complete declared reverse order through the same accumulation rule.',{'literal_prefix':[7*x for x in prefix[1:]]==[int(x['cells'][4]) for x in literal],'literal_dates':coords[1:]==[int(x['cells'][5].split()[0]) for x in literal],'formula':all(prefix[k]==30*k-k*(k-1)//2 for k in range(8))})