Evidence

s1085.py

Download source fileOpen in research workspace
from research import *
family="keys"
p=ROOT/'prep/manuscript_keys.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(1085,'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_keys.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/14_keys_2.md'
a=artifact(rel,content)
checks={'fractions':F(1,6)*F(3,13)==F(1,26),'source_paths':F(805,2)+E*F(161,2)==490 and 12075+483*E==12600,'basis_limit':'equivalent description' in textbody}
finish(s,{'section':a,'body_words':len(textbody.split()),'source_references':len(source_notes)},"The allocation section separates selected-part expansion, nested selection and successive whole-span Keys, with source cuts explicitly retained.",'Reassess the next explanatory section against its source roles and the sealed calculations.',checks)

Edition and provenance

s1085.py

SHA-256 9fbded71213e5296492fd8e65c11b7f4f40055bfb45532b70a10af9e74968167

C480–C1634/Research_Cycles/C0932_C1131/evidence/s1085.py