s1117.py

from research import *
names=['INDEPENDENT_C953_C983.json','INDEPENDENT_C984_C1007.json','INDEPENDENT_C1008_C1031.json','INDEPENDENT_C1032_C1057.json','INDEPENDENT_C1058_C1070.json']
reports=[json.loads((ROOT/'evidence'/n).read_text()) for n in names]
s=begin(1117,'Consolidate independent mathematical reviews','Do the separate family reviews require any unresolved numerical correction?',{'reports':names},['evidence/'+n for n in names]+['C952','C983','C1031','C1070','C1102'])
counts=[reports[0]['passed_checks'],reports[1]['pass_count'],reports[2]['counts']['checks'],reports[3]['passed'],sum(x['pass'] for x in reports[4]['checks'])]
bound=[{'path':'evidence/'+n,'sha256':hashlib.sha256((ROOT/'evidence'/n).read_bytes()).hexdigest(),'checks':c,'status':r['status']} for n,c,r in zip(names,counts,reports)]
corrections=['C952 retains original1400 tail and Nativity6 continuation provenance','C983 adds varying Noah placement to the differential formula and corrects the count locator','C1031 assigns9660|2940 to SupplementA10.3','C1070 qualifies215 translation, fixes NT metric locator and conditional mixed-calendar reading','C1102 scopes one-zero register to primary legs; completed paths use general rule','C1070 question says140 where completed result correctly says139; cycle final counts use the journal']
a=artifact('model/consolidated_family_reviews.json',json.dumps({'reports':bound,'scope_corrections':corrections,'numerical_corrections_outstanding':[],'meaning':'verification checks, not independent discoveries or chance evidence'},indent=2)+'\n')
finish(s,{'review_register':a,'checks_by_review':counts,'outstanding_numerical_corrections':[]},'All five family reviews pass their numerical checks. Their source, held-variable and domain corrections are carried forward explicitly, without rewriting the historical research record.','Apply the final integration and copyediting review to improve the reader-facing explanation.',{'SP_pass':reports[0]['failed_checks']==0,'keys_pass':counts[1]==reports[1]['check_count'],'covenant_pass':counts[3]==reports[3]['total'],'inverse_pass':reports[4]['all_numerical_checks_pass'],'review_count':len(bound)==5})