s1197.py

from research import *
s=begin(1197,'Test late-block recovery under shared century operations','Do the exact Reu recovery and shared source operations determine Peleg and Serug?',{},['C1192','C1162','C1171'])
rows=json.loads((ROOT/'model/ordinary_joint_rounding_fibres.json').read_text())['rows'];by={(x['tradition'],x['name']):x for x in rows};allowed=[]
for b in by['MT','Peleg']['candidates_b']:
 if all(b+shift in by[t,name]['candidates_b'] for t,shift in [('MT',0),('SP',100),('LXX',100)] for name in ['Peleg','Serug']):allowed.append(b)
a=artifact('model/late_block_joint_rounding_recovery.json',json.dumps({'premises':['all9 exactL and roundedb/r','shared u100 operations','Peleg and Serug equal begetting ages within each tradition'],'free_MT_Peleg_Serug_b':allowed,'MT_Reu_b':by['MT','Reu']['candidates_b'],'scope':'formal conditioned fibre; equalities and u are supplied source relations'},indent=2)+'\n')
finish(s,{'late_block':a,'remaining_common_choices':allowed},'Reu is conditionally fixed at32, while Peleg and Serug can jointly take28,29,30 or31 in MT, with the century counterparts in SP/LXX. The shared row grammar narrows the block but does not generate the source30.','Identify the exact missing kind of input rather than search for a new numerical target.',{'four_choices':allowed==[28,29,30,31],'source30_present':30 in allowed,'Reu32':by['MT','Reu']['candidates_b']==[32]})