s796.py

from research import *
s=begin(796,'Explain the BJ fifty-year contraction by its two components','Why does removing57 appear as2450→2400?',{},['File53 §3A; literal trunk roles'])
p=json.loads((ROOT/'model/jubilees_inputs.json').read_text())['literal_inputs']['trunks']
spans={'Creation_to_Conquest':p['creation']-p['conquest'],'Fall_to_rest':p['fall']-p['rest'],'compressed_Creation_to_rest':p['compressed_creation']-p['rest'],'compressed_Fall_to_rest_diagnostic':p['fall']-57-p['rest'],'compressed_Creation_to_Conquest_diagnostic':p['compressed_creation']-p['conquest']}
finish(s,{'spans':spans,'net_change':57-7},'The displayed reduction50 combines a57 deletion with a7-year change of starting role. Deleting57 from the Fall while retaining rest yields2393, so the2450→2400 relation requires its declared endpoint pairing.','Test the positive four-node reflection in its actual comparison domain.',{'paired2450':spans['Creation_to_Conquest']==spans['Fall_to_rest']==2450,'compressed2400':spans['compressed_Creation_to_rest']==2400,'controls2393':spans['compressed_Fall_to_rest_diagnostic']==spans['compressed_Creation_to_Conquest_diagnostic']==2393})