from pathlib import Path
import hashlib
ROOT=Path(__file__).resolve().parent.parent
def run(load,check):
 summaries=[];main=auth=0
 for n in range(414,423):
  c,d,r,nxt=[load(f'C{n}_{suffix}.json') for suffix in ['CERTIFICATE','DATA','RESULTS','NEXT_STEP']]
  check(f'C{n} completed',c['step']==d['step']==f'C{n}' and c['status']=='completed' and r['status']=='passed')
  for key,name in [('data_sha256',f'C{n}_DATA.json'),('results_sha256',f'C{n}_RESULTS.json'),('next_step_decision_sha256',f'C{n}_NEXT_STEP.json')]:check(f'C{n} '+key,hashlib.sha256((ROOT/'sources'/name).read_bytes()).hexdigest()==c[key])
  check(f'C{n} reassessed next decision',nxt['next_proposed_step']==f'C{n+1}' and not nxt['executed'] and bool(nxt['reason_selected_after_current_result']))
  prev='C413_CERTIFICATE.json' if n==414 else f'C{n-1}_CERTIFICATE.json';check(f'C{n} predecessor certificate',c['previous_certificate_sha256']==hashlib.sha256((ROOT/'sources'/prev).read_bytes()).hexdigest())
  main+=r['assertions_passed'];auth+=r['source_checks_passed'];summaries.append({'step':f'C{n}','title':c['title'],'main_result':c['main_result'],'checks':r['assertions_passed'],'source_checks':r['source_checks_passed']})
 check('C413 baseline data binding',hashlib.sha256((ROOT/'sources/C413_DATA.json').read_bytes()).hexdigest()==load('C413_CERTIFICATE.json')['data_sha256'])
 audit=load('PRE_C423_ARCHIVE_AUDIT.json');check('nine sealed predecessor packets',audit['status']=='passed' and audit['totals']['packets']==9 and audit['totals']['main_output_comparisons']==18 and audit['totals']['successful_publications']==27)
 expected={414:{'source_coordinates':373,'coordinate_2K_pairs':26,'labelled_2K_endpoint_pairs':46,'one_step_source_pairs':6,'two_step_source_pairs':0},415:{'paired_coordinate_cases':6,'raw_coordinate_lifts':19,'typed_record_lifts':10,'with_bridge_record_lifts':10,'rejected_alias_lifts':9},416:{'profile_contexts':2,'source_stations':8,'same_role_2K_pairs':4,'preserved_pairwise_intervals':6},417:{'contexts':96,'unordered_context_pairs':4560,'zero_offset_alias_pairs':24,'positive_offset_pairs':4536,'distinct_offsets':416,'same_role_2K_profiles':1},418:{'fixed_Gear_boundary_pairs':4,'all_event_Gear_boundary_pairs':36,'same_boundary_trials':18,'same_boundary_2K_hits':0,'mixed_boundary_2K_hits_all_Gears':3},419:{'regular_station_pairs':5,'cumulative_Shem_Flood_2K_pairs':6,'joined_trials':30,'two_17K_joins':0,'fixed_exchange_slots':20,'sourced_fixed_exchange_images':0},420:{'station_pairs':5,'operator_trials':20,'sourced_output_trials':1,'E_sourced_outputs':0,'E2_sourced_outputs':1,'complete_E2_ladders':0},421:{'first_pivot_coordinates':373,'sourced_two_pivot_solutions':1,'complete_source_paths':0},422:{'source_excerpt_cards':12,'direct_source_records_reconstructed':23,'translation_component_assignments':20,'preserved_translation_components':10,'fixed_E2_component_assignments':4,'preserved_fixed_E2_components':0,'joint_shifted_E2_comparisons':2,'new_source_points':0,'new_protocol_prescriptions_established':0}}
 for n,count in expected.items():check(f'C{n} conclusion inventory',load(f'C{n}_DATA.json')['counts']==count)
 sec=load('ROOT_SECOND_METHOD_RESULTS.json');check('alternate root verification',sec['status']=='passed' and sec['check_count']==595 and sec['source_records_reconstructed']==528 and sec['coordinate_2K_pairs']==26 and sec['paired500_transports']==6 and sec['typed_pair_lifts']==10 and sec['same_role_2K_profiles']==1 and sec['sourced_harmonic_endpoint_trials']==1 and sec['complete_same_map_E2_source_paths']==0 and not sec['C424_executed'] and not sec['new_independent_agent_review'])
 for name,want in [('File_18.md','68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5'),('File_09.md','45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e'),('C265_CERTIFICATE.json','112bdcdd23e7580512f6b6a1c4222f746e6552f71b92755932397dbd25dce2de')]:check('current source bytes '+name,hashlib.sha256((ROOT/'sources'/name).read_bytes()).hexdigest()==want)
 for name in ['File_02.md','File_46.md','File_11.md','C365_DATA.json']:check('retained source binding '+name,hashlib.sha256((ROOT/'sources'/name).read_bytes()).hexdigest()==load('C413_SOURCE_MANIFEST.json')[name]['sha256'])
 check('C265 actual checkpoint readable','C265' in (ROOT/'sources/C265_CHECKPOINT.md').read_text())
 check('authorization boundary',load('AUTHORIZATION.json')['authorized_steps']==[f'C{n}' for n in range(414,424)] and not load('AUTHORIZATION.json')['C424_authorized'])
 summary='C414–C423 complete. The finite source menu has26 coordinate pairs at2K, with46 labelled endpoint pairs. Six coordinate pairs survive a simultaneous−500 translation; none survives two. The six have10 continuous role-defined lifts; nine of19 raw coordinate lifts would switch source identities, and the separate3395→2895 bridge adds none. A complete same-role person profile is found: SP companion G3/CainanON/Terah+60/full430 versus MT G1/CainanOFF/Terah0/short sojourn. Noah births3899/2841, Shem births3399/2341, Noah deaths2949/1891 and Shem deaths2799/1741 all differ1058. Both950 and600 endpoint lifespans and all six pairwise intervals are preserved. Its one context offset is650+130+60+215+4−1=1058; the matches are not independent witnesses. An unfiltered96-context/4560-pair census finds exactly one such labelled profile. SP primary or LXX native at the selected upper settings gives1059. Adding SP Flood close3299 versus MT Flood start2241 yields a common500+100+350+150 five-station partition. Like-named Flood boundaries differ1059; all18 same-boundary Gear controls fail2K. The five new pairs yield no17K join in30 cumulative-source comparisons and no sourced image in20 inherited corner-exchange slots. Across20 fixed-pivot E/E²/P/J gap tests, one E² endpoint is sourced: held SP companion Noah3899 maps MT Noah2841 to MT G3 C1/T1/F1 Flood close2649. Its E intermediate2749 is absent. All sourced pivot choices reduce to3899,3899 for the same whole map; prime valuations extend the exclusion to every finite positive E/P/J word with that map. Twelve current excerpts reconstruct23 relevant records. Matched quarter-offset components pass the translation; fixed held3899 E² fails all four component assignments, while jointly shifting pivot and input gives a distinct comparison. No new source, prescribed combined protocol, global529/Mirror action or canonical edit is established.'
 restart='Latest completed C423; C424 is unexecuted and outside this completed authorization. Read the C423 synthesis and checkpoint, then the C414–C423 reading index. Use the C423 compact restart kit as the active packet; older archives are selective references. The new2K person profile is SP companion G3 C1/T1/F1 versus MT G1 C0/T0/F0. Keep the four person pairs and the explicit SPclose/MTstart fifth station distinct from a same-boundary Flood-year translation, which fails by one year. C414 is the complete26-pair source census, C415 the record-identity audit, C416 the four-station profile, C417 finite uniqueness, C418 Flood-boundary controls, C419 fixed Mirror failures, C420 the exact3899-held squared-E endpoint, C421 the absent-path proof and C422 direct source/component audit. The profile does not replace original i3/i5 two17K joins. The scalar1058→1250 is prior arithmetic; the new3899/2841/2649 source context is an endpoint comparison with absent2749. Preserve prior C413 source500/Shem-loop results and their limits; no completed research needs rerunning. K529,E25/23,P70/69; J300/299 is File02 gap conversion, not Residue Protocol or general date operator. Global paired Mirror January AD1; local junction January AD2; no civil year zero. Regular Gears Noah/Shem/Flood only. SP person companions remain local; Flood close is independent; SP primary Noah death remains inclusive/harmonic; both500/100 and502/98 modes remain valid. LXX native CainanON is not given a second insertion; OFF is theoretical removal. No new sourcepoint, phase, fitted anchor, global axis, upstream/cumulative Gear, primer reopening or canonical graph edit. Corrected LXX8464 supplement remains awareness only:1564→1700,2484→2700,920→1000; AD3746/2300 superseded. C-series, original unprefixed reports and Engine reports remain distinct. The earlier incomplete September17 local ZIP differs from the later verified intact original. Arithmetic, aliases, repeated paths and alternate implementations are not independent historical witnesses. Proposed C424 is a bounded audit of the16 labelled Flood-start/Noah-death2K pairs already enumerated by C414, checking their exact contexts and any additional station correspondence; it has not been performed.'
 return {'step':'C423','completed_steps':[f'C{n}' for n in range(414,424)],'predecessor_summaries':summaries,'predecessor_main_checks':main,'predecessor_authentication_checks':auth,'predecessor_sealed_audit_totals':audit['totals'],'root_second_method_checks':sec['check_count'],'reading_index_summary':summary,'restart_checkpoint':restart,'source_access':{'File_18':'actual bytes match retained SHA256','File_09':'actual bytes match retained SHA256','File_02_File_46_File_11_C365':'actual bytes match C413 frozen manifest','C265':'checkpoint readable; certificate matches retained hash'},'new_independent_agent_review':False,'C424_executed':False,'canonical_or_graph_edits':False}