{
  "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."
}