s603.py

from research import *
s=begin(603,'Execute the bounded Lukan weekly overlay','Does accumulating ten614-week differences transport the existing local70 interval?',{'primary_pair':[5936,5866],'weeks':10,'diagonals':[600,614],'Joshua_translation':4600},['File69 §4.12; Appendix B.6'])
d=10*(614-600);pair=[x+d for x in [5936,5866]];target=[x-4600 for x in pair];strict=[pair[0],pair[0]-72]
finish(s,{'transport':d,'companion_pair':pair,'Joshua_pair':target,'strict72_diagnostic':strict,'strict72_target':[x-4600 for x in strict]},'The source accumulates140 and translates the existing70-year pair to6076/6006; subtracting4600 yields1476/1406. Replacing its local gap by72 would yield1404 instead. The overlay changes placement, not every metric.','Execute the separate twenty-generation Enochic companion overlay.',{'source_pair':pair==[6076,6006],'target':target==[1476,1406],'counterexample':strict[-1]-4600==1404})