from research import *
p=ROOT/'prep/Technical_Companion_Draft.md'
raw=p.read_text()
s=begin(1115,'Adopt the technical companion','Does the consolidated reference preserve each proved model and its domain?',{'draft_sha256':hashlib.sha256(p.read_bytes()).hexdigest()},['C932–C1070','prep/Technical_Companion_Draft.md'])
content=raw.replace('A_gf(k)','A_{gf}(k)')
a=artifact('deliverables/490d_Chronological_Families_Technical_Companion_C1131.md',content)
checks={'nine_sections':all('## '+str(i)+'.' in content for i in range(1,10)),'terminal_covariance_qualified':'not the admitted state change retaining terminal 1406' in content,'tail_provenance':'1400→4100' in content,'601_conditional':'Holding the begetting chain' in content,'allocation_subscript':'A_{gf}(k)' in content,'singlepass':'no second decimal inversion' in content}
finish(s,{'technical_companion':a,'sections':9,'words':len(content.split())},'The proof reference consolidates ordered reconstruction, cap inversion, decimal carries, Key constraints, affine domains, Covenant joins and counted structures without enlarging their admitted domains.','Build a claim-to-source index so the reader can audit each part of the explanation.',checks)
Evidence
s1115.py
Edition and provenance
s1115.py
SHA-256 eaf087fabf9c437e995ac97c7a135614d34ee227ed93a1e8b273d510e507592e
C480–C1634/Research_Cycles/C0932_C1131/evidence/s1115.py