{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TXVGBV34ZWMO4IVI7KC4WHH7TG","short_pith_number":"pith:TXVGBV34","canonical_record":{"source":{"id":"1802.03080","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-08T23:52:54Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"e40d29618f3d05c8e3b2f7e77542efb9a8c526a81b0d5341eb8d7d826e3cff18","abstract_canon_sha256":"9604382ad5eecf5bdbfb930eb3da705d127916a880060bd7bb339bc52c327d43"},"schema_version":"1.0"},"canonical_sha256":"9dea60d77ccd98ee22a8fa85cb1cff99806783c1bc98a7fdf75e1312d76c2a5f","source":{"kind":"arxiv","id":"1802.03080","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.03080","created_at":"2026-05-18T00:24:02Z"},{"alias_kind":"arxiv_version","alias_value":"1802.03080v1","created_at":"2026-05-18T00:24:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.03080","created_at":"2026-05-18T00:24:02Z"},{"alias_kind":"pith_short_12","alias_value":"TXVGBV34ZWMO","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TXVGBV34ZWMO4IVI","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TXVGBV34","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TXVGBV34ZWMO4IVI7KC4WHH7TG","target":"record","payload":{"canonical_record":{"source":{"id":"1802.03080","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-08T23:52:54Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"e40d29618f3d05c8e3b2f7e77542efb9a8c526a81b0d5341eb8d7d826e3cff18","abstract_canon_sha256":"9604382ad5eecf5bdbfb930eb3da705d127916a880060bd7bb339bc52c327d43"},"schema_version":"1.0"},"canonical_sha256":"9dea60d77ccd98ee22a8fa85cb1cff99806783c1bc98a7fdf75e1312d76c2a5f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:24:02.079515Z","signature_b64":"DapSOAnZEFKj6T89MVgpvejABhiqCttURd7eL3RYgFAKaLNPwvdqE54+Mo5vCrit/CktI2Zr1JOCaeGGYoefBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9dea60d77ccd98ee22a8fa85cb1cff99806783c1bc98a7fdf75e1312d76c2a5f","last_reissued_at":"2026-05-18T00:24:02.079005Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:24:02.079005Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.03080","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:24:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y54iwtGsVZzj4MUrmYy1T9KtyltL2aAIAI4lQ7/UWs/rj/nKK/7mnYDwPXPZsU7zTR1fJ/ro4qIFCcNfVSh5BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T08:24:32.708249Z"},"content_sha256":"512b6c8e1d68b064c09b24d3fb46279312142f01ddc5417005b0d914712a8534","schema_version":"1.0","event_id":"sha256:512b6c8e1d68b064c09b24d3fb46279312142f01ddc5417005b0d914712a8534"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TXVGBV34ZWMO4IVI7KC4WHH7TG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Abstraction, Composition and Contracts: A Sheaf Theoretic Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan","submitted_at":"2018-02-08T23:52:54Z","abstract_excerpt":"Complex systems of systems (SoS) are characterized by multiple interconnected subsystems. Typically, each subsystem is designed and analyzed using methodologies and formalisms that are specific to the particular subsystem model of computation considered --- Petri nets, continuous time ODEs, nondeterministic automata, to name a few. When interconnecting subsystems, a designer needs to choose, based on the specific subsystems models, a common abstraction framework to analyze the composition. In this paper we introduce a new framework for abstraction, composition and analysis of SoS that builds o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.03080","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:24:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VyldZoj4eutP0Y9d8u5dQqxrpVm1oztTfhAZTZcMkYDaJWgiJMHv/XvTnIzWPyULaIce/wmGh2y9o1Ypn2ySCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T08:24:32.708987Z"},"content_sha256":"b0fcdbf47172543b2a3bb6ae8c7fd9f108d217fe270d6de92d34735421a270e3","schema_version":"1.0","event_id":"sha256:b0fcdbf47172543b2a3bb6ae8c7fd9f108d217fe270d6de92d34735421a270e3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TXVGBV34ZWMO4IVI7KC4WHH7TG/bundle.json","state_url":"https://pith.science/pith/TXVGBV34ZWMO4IVI7KC4WHH7TG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TXVGBV34ZWMO4IVI7KC4WHH7TG/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-09T08:24:32Z","links":{"resolver":"https://pith.science/pith/TXVGBV34ZWMO4IVI7KC4WHH7TG","bundle":"https://pith.science/pith/TXVGBV34ZWMO4IVI7KC4WHH7TG/bundle.json","state":"https://pith.science/pith/TXVGBV34ZWMO4IVI7KC4WHH7TG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TXVGBV34ZWMO4IVI7KC4WHH7TG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TXVGBV34ZWMO4IVI7KC4WHH7TG","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9604382ad5eecf5bdbfb930eb3da705d127916a880060bd7bb339bc52c327d43","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-08T23:52:54Z","title_canon_sha256":"e40d29618f3d05c8e3b2f7e77542efb9a8c526a81b0d5341eb8d7d826e3cff18"},"schema_version":"1.0","source":{"id":"1802.03080","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.03080","created_at":"2026-05-18T00:24:02Z"},{"alias_kind":"arxiv_version","alias_value":"1802.03080v1","created_at":"2026-05-18T00:24:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.03080","created_at":"2026-05-18T00:24:02Z"},{"alias_kind":"pith_short_12","alias_value":"TXVGBV34ZWMO","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TXVGBV34ZWMO4IVI","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TXVGBV34","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:b0fcdbf47172543b2a3bb6ae8c7fd9f108d217fe270d6de92d34735421a270e3","target":"graph","created_at":"2026-05-18T00:24:02Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Complex systems of systems (SoS) are characterized by multiple interconnected subsystems. Typically, each subsystem is designed and analyzed using methodologies and formalisms that are specific to the particular subsystem model of computation considered --- Petri nets, continuous time ODEs, nondeterministic automata, to name a few. When interconnecting subsystems, a designer needs to choose, based on the specific subsystems models, a common abstraction framework to analyze the composition. In this paper we introduce a new framework for abstraction, composition and analysis of SoS that builds o","authors_text":"Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-08T23:52:54Z","title":"Abstraction, Composition and Contracts: A Sheaf Theoretic Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.03080","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:512b6c8e1d68b064c09b24d3fb46279312142f01ddc5417005b0d914712a8534","target":"record","created_at":"2026-05-18T00:24:02Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"9604382ad5eecf5bdbfb930eb3da705d127916a880060bd7bb339bc52c327d43","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-08T23:52:54Z","title_canon_sha256":"e40d29618f3d05c8e3b2f7e77542efb9a8c526a81b0d5341eb8d7d826e3cff18"},"schema_version":"1.0","source":{"id":"1802.03080","kind":"arxiv","version":1}},"canonical_sha256":"9dea60d77ccd98ee22a8fa85cb1cff99806783c1bc98a7fdf75e1312d76c2a5f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9dea60d77ccd98ee22a8fa85cb1cff99806783c1bc98a7fdf75e1312d76c2a5f","first_computed_at":"2026-05-18T00:24:02.079005Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:24:02.079005Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DapSOAnZEFKj6T89MVgpvejABhiqCttURd7eL3RYgFAKaLNPwvdqE54+Mo5vCrit/CktI2Zr1JOCaeGGYoefBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:24:02.079515Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.03080","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:512b6c8e1d68b064c09b24d3fb46279312142f01ddc5417005b0d914712a8534","sha256:b0fcdbf47172543b2a3bb6ae8c7fd9f108d217fe270d6de92d34735421a270e3"],"state_sha256":"699e8be2af58532038f946bb9981c2994b7caa2a74ce718d1ff99f54f4c836c3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TdJrJQ3qAMprwNv5LVh68zuAPEfdn8Ryn+lp/tQzZGmUJ4J4nitdSZVMU3jRN8JNmE3HAlXu0BU8bjXQVRhrAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T08:24:32.712823Z","bundle_sha256":"4291ecc03ffb2953ae48d757238029fe1800b2729e89d8658b0ec652b1a37d63"}}