s1282.py

from research import *
s=begin(1282,'Specify the four-part common presentation','What compact structure can now explain thefamilies withoutreplacing theirsourcepremises?',{},['Strategy §§1,5G,6','Strategy review afterC1281','prep/common_representation_architecture.md'])
spec={'parts':[{'id':'inputs','content':'Source-labelled primitive packets, with derivedsummaries marked asderived'},{'id':'operations','content':'Declaredmap withinputmeasure, support,count,anchor andoutputrole'},{'id':'relations','content':'Verifiedcomposition/conservation relation withitsdomain andcounterexample limits'},{'id':'reconstructions','content':'Completefamilyoutput, retainedsourcecost, evidencebinding andnew/inheritedstatus'}],'central_claim':'Relatedfamilies aredifferent measurements anddeclaredtransformations ofsource-labelledorderedstructures.','completion_test':'Areader canfollow eachmajorfamily fromitsinputs throughanadmittedoperation tothecompletefield andidentify whatwasnotderived.','scope':'Presentation ofverifiedconstructions; no universalchronologyconversion orminimalityclaim.'}
a=artifact('model/common_presentation_specification.json',json.dumps(spec,indent=2)+'\n')
finish(s,{'specification':a},'Thecommonpresentation will use fourlinkedregisters: sourceinputs, operations, relations andreconstructions. Theirpurpose is toshow eachfamily’s entrypoint andderivation inone coherentexplanation.','Define therole-bearingrecord requiredto preserve identitiesacross theseinterfaces.',{'fourparts':len(spec['parts'])==4,'ids_unique':len({x['id'] for x in spec['parts']})==4})