s1079.py

from research import *
family="round"
p=ROOT/'prep/manuscript_round.json'
packet=json.loads(p.read_text());modules=packet if isinstance(packet,list) else packet['modules'];m=modules[1]
textbody=m.get('text',m.get('body',''))
for old,new in []:textbody=textbody.replace(old,new)
s=begin(1079,'Manuscript: '+m['title'],'Does this section accurately connect its complete source family to the shared explanation?',{'draft_sha256':hashlib.sha256(p.read_bytes()).hexdigest(),'module_index':1},['C1071','prep/manuscript_round.json'])
sources=m.get('sources',[]);source_notes=[]
for x in sources:
 if isinstance(x,str):source_notes.append(x)
 else:source_notes.append(x.get('file','')+' '+(', '.join(x.get('sections',[])) if 'sections' in x else x.get('section','')))
steps=m.get('steps',[])
if not steps and family=='round':steps=['C932–C952','C1058–C1068']
content='### '+m['title']+'\n\n'+textbody+'\n\n*Sources:* '+'; '.join(source_notes)+'.\n\n*Research record:* '+', '.join('C'+str(x) if isinstance(x,int) else str(x) for x in steps)+'.\n'
rel='deliverables/sections/08_round_2.md'
a=artifact(rel,content)
checks={'forced_measurement':10*(2+10*6+100*10)==10620,'register_bound':'between 2 and 18' in textbody,'allocation_limit':'without recovering the internal split' in textbody}
finish(s,{'section':a,'body_words':len(textbody.split()),'source_references':len(source_notes)},"The regular register theorem is explained with explicit digit bounds, while the source-appointed internal split remains a separate input.",'Reassess the next explanatory section against its source roles and the sealed calculations.',checks)