s912.py

from research import *
s=begin(912,'Create a compact source-only regeneration example','Can the entire paired festival field be generated without storing any output dates?',{},['File58 declared festival order,scale7,anchor1859'])
p=json.loads((ROOT/'model/list_inputs.json').read_text())
packet={'source':'File58 forward/reverse festival construction','weights':p['orders']['feast'],'scale':7,'anchor_BC':1859,'orders':['forward','reverse'],'claim':'source-appointed animal-year construction'}
out={}
for name in packet['orders']:
 weights=packet['weights'] if name=='forward' else list(reversed(packet['weights']))
 prefix=[0]
 for w in weights:prefix.append(prefix[-1]+w)
 out[name]=[packet['anchor_BC']-packet['scale']*v for v in prefix]
 assert out[name]==json.loads((ROOT/('model/festival_'+name+'_path.json')).read_text())['BC']
a=artifact('model/compact_festival_source_packet.json',json.dumps(packet,indent=2)+'\n')
program="""import json
from pathlib import Path
p=json.loads((Path(__file__).resolve().parent.parent/'model/compact_festival_source_packet.json').read_text())
for name in p['orders']:
    weights=p['weights'] if name=='forward' else list(reversed(p['weights']))
    total=0; dates=[p['anchor_BC']]
    for weight in weights:
        total+=weight; dates.append(p['anchor_BC']-p['scale']*total)
    print(name, dates)
"""
b=artifact('evidence/regenerate_festival.py',program)
finish(s,{'source_only_packet':a,'regenerator':b,'generated_fields':out},'One eight-weight source packet, two declared orders, a scale and an anchor regenerate all18 boundaries. Generated dates have been removed from the input. This is explanatory compression conditional on source premises, not source-independent prediction.','Clarify which retained information is primitive and which can be computed.',{'no_output_dates':'BC' not in packet and 'dates' not in packet,'both_fields':len(out)==2 and all(len(v)==9 for v in out.values()),'one_source_sequence':len(packet['weights'])==8})