s1238.py

from research import *
s=begin(1238,'Separate cycle compatibility from selection of the downstream node','Does Adam130 alone force the sourceMoses2580 position?',{},['C1237','File51a §7A.2'])
target=6*430;other=5*490;diag=[{'T':T,'Adam_to_Seth':130,'Seth_to_node':T-130,'hits_prespecified_targets':T==target and T-130==other} for T in [2575,2580,2585]]
a=artifact('model/Moses_bridge_dependency.json',json.dumps({'bridge':target-other,'necessary_identity':'6*430-5*490=130','conditional_sufficiency':'If T=6*430 and p=130 then T-p=5*490; if p=130 alone T remains free.','formal_diagnostics':diag,'scope':'Neighbouring T examples test logical implication only; they are not proposed eventdates or sourcevariants.'},indent=2)+'\n')
finish(s,{'bridge_dependency':a},'Adam130 links the two specified target lengths but does not independently choose their downstream node. The full source path supplies2580; the bridge then explains its simultaneous430/490 description.','Trace the post-Flood130|800 partition back through the unrounded source intervals.',{'bridge130':target-other==130,'not_sufficient':sum(x['hits_prespecified_targets'] for x in diag)==1,'same_p':all(x['Adam_to_Seth']==130 for x in diag)})