from research import *
s=begin(856,'Resolve retained-zero cases without changing the operation','Do Adam and Jacob follow the same register model?',{},['C852; latest File52c placeholder rule'])
f=json.loads((ROOT/'model/inverse_paired_field.json').read_text());cases=[]
for x in f:
    n=x['routes']['Nativity']['duration']//10
    if n%10:continue
    cases.append({'name':x['name'],'n':n,'source_durations':[x['routes'][r]['duration'] for r in ['Nativity','Conquest']],'placeholder_counts':[x['routes'][r]['trailing_zero_count'] for r in ['Nativity','Conquest']],'endpoints':[x['routes'][r]['endpoint'] for r in ['Nativity','Conquest']],'delta':x['routes']['Conquest']['endpoint']-x['routes']['Nativity']['endpoint']})
long=json.loads((ROOT/'model/inverse_long_core_branches.json').read_text());short=json.loads((ROOT/'model/inverse_short_core_branches.json').read_text())
finish(s,{'retained_zero_cases':cases,'complete_case_partition':[len(long),len(short),len(cases)]},'Adam’s two-placeholders route gives7200 separation; Jacob’s fully retained2000/600 values give0. The exceptional-looking rows are ordinary cases of the stated zero-place rule.','Test the full paired-field law and rule out one affine column conversion.',{'complete':len(long)+len(short)+len(cases)==32,'cases':sorted(x['n'] for x in cases)==[200,410],'deltas':sorted(x['delta'] for x in cases)==[0,7200]})