import hashlib

def run(load,read,check):
    for name in ['C365_DATA.json','C287_DATA.json']:
        check('inherited cumulative/corner source hash '+name,hashlib.sha256(read(name).encode()).hexdigest()==load('C423_SOURCE_MANIFEST.json')[name]['sha256'])
    cum=load('C365_DATA.json')['cumulative_register'];by={}
    for i,r in enumerate(cum):by.setdefault(r['coordinate'],[]).append(i)
    check('cumulative domain is explicitly LXX48, with no regular Gear',len(cum)==48 and {r['tradition'] for r in cum}=={'LXX'} and all(r['regular_Gear'] is None for r in cum))
    controls=[]
    for i in [3,5]:
        r=next(z for z in load('C287_DATA.json')['rows'] if z['i']==i);a=r['S']+r['Noah_required']
        check('original17K control '+str(i),a==r['F']+r['R'] and a-r['Noah_required']==r['S'] and a-r['R']==r['F'] and r['S'] in by and r['F'] in by and r['R']-r['S']==r['Noah_required']-r['F']==8993)
        controls.append({'i':i,'exchange_constant':a,'regular':[r['Noah_required'],r['R']],'cumulative':[r['S'],r['F']]})
    constants=[r['exchange_constant'] for r in controls];check('held exchanges unchanged',constants==[-2639,-2635])
    local=load('C438_DATA.json');slots=[];orbits=[];center_rows=[]
    for a in constants:
        for f in local['families']:
            c=f['center'];imagec=a-c
            center_rows.append({'exchange':a,'regular_center':c,'cumulative_image':imagec,'source_indices':by.get(imagec,[])})
            for x in f['source_domain']:
                y=a-x
                slots.append({'exchange':a,'center':c,'regular':x,'cumulative_image':y,'source_indices':by.get(y,[])})
                check(f'reflection-conjugacy {a}/{c}/{x}',a-(2*c-x)==2*imagec-(a-x))
        for r in local['coordinate_orbits']:
            x,y=r['lower'],r['upper'];u,v=a-x,a-y
            orbits.append({'exchange':a,'center':r['center'],'regular_pair':[x,y],'cumulative_images':[u,v],'source_indices':[by.get(u,[]),by.get(v,[])],'complete':u in by and v in by,'fixed':x==y})
    core=[3620,3206,3188,3170,2756,2148,2020,1956]
    coretrials=[{'exchange':a,'regular':x,'image':a-x,'source_indices':by.get(a-x,[])} for a in constants for x in core]
    check('all16 core/path images absent',len(coretrials)==16 and not any(r['source_indices'] for r in coretrials))
    check('416 slot trials yield37 source memberships',len(slots)==416 and sum(bool(r['source_indices']) for r in slots)==37)
    hits=[r for r in orbits if r['complete']]
    check('212 orbit trials yield five complete images, four fixed',len(orbits)==212 and len(hits)==5 and sum(r['fixed'] for r in hits)==4)
    nonfixed=[r for r in hits if not r['fixed']]
    check('sole nontrivial image is inherited MT Gear4-year pair',len(nonfixed)==1 and nonfixed[0]['exchange']==-2639 and nonfixed[0]['regular_pair']==[3246,3250] and nonfixed[0]['cumulative_images']==[-5885,-5889])
    check('image records are OFF Shem annual states5 and1',[cum[ids[0]]['annual_index'] for ids in nonfixed[0]['source_indices']]==[5,1] and all(cum[ids[0]]['role']=='Shem' and cum[ids[0]]['Cainan']==0 for ids in nonfixed[0]['source_indices']))
    check('no nonzero529 gap among retained orbit images',all(abs(r['regular_pair'][1]-r['regular_pair'][0]) in [0,4] for r in hits))
    return {'step':'C443','domain':{'description':'Frozen C365 LXX cumulative Noah/Shem/Flood register','records':48,'regular_Gears_applied':False},
            'positive17K_controls':controls,'slot_trials':slots,'orbit_trials':orbits,'complete_orbit_images':hits,'center_images':center_rows,'core_profile_and_path_trials':coretrials,
            'counts':{'slot_trials':416,'sourced_slot_memberships':37,'orbit_trials':212,'complete_orbit_images':5,'nonfixed_orbit_images':1,'core_image_trials':16,'core_source_hits':0},
            'limits':'No complete inherited-Mirror image of the new3188 profile or two-E paths in this fixed48-record cumulative menu. The positive four-year pair remains a distinct partial result; no global/repository-wide absence or cumulative Gear transport is claimed.'}