s1142.py

from research import *
s=begin(1142,'Explain the Methuselah249 reduction by local changes','Which pieces of the retained source shift produce249 rather than250?',{},['C1141','File18 §§2.1.3,3.1'])
dM=187-67;dL=182-52;convention=1;reduction=dM+dL-convention
a=artifact('model/Methuselah_reduction_decomposition.json',json.dumps({'begetting_reductions':[dM,dL],'inclusive_difference':convention,'lifespan_reduction':reduction,'equation':'(187+182+600)-(67+52+600+1)=120+130-1=249','ordinal_lamech_comparison':'182-53=129; with the declared full53 path, the one-year correction occurs elsewhere, not twice'},indent=2)+'\n')
finish(s,{'local_reduction':a,'reduction':reduction},'The249 reduction is120+130−1: two local age changes and one count-convention difference. Using the ordinal53 label gives129 at that stage, but the completed52 primary path must not receive a second correction.','Place all nine ancestral rows on the same capacity-and-slack comparison.',{'exact_reduction':reduction==969-720,'same_primary_count':67+52+601==720,'ordinal_identity':120+(182-53)==249})