{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:AIZDJH5PYL3RAG3KCHZOR7VGPG","short_pith_number":"pith:AIZDJH5P","canonical_record":{"source":{"id":"1409.2485","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T14:34:13Z","cross_cats_sorted":[],"title_canon_sha256":"03be0813a3cab77701bd15e3995e3cd31d51a89ce69c1e60b4f7a19c860506bb","abstract_canon_sha256":"6cde1ab8955797673d68b48da9df40d221ad098c79cbdab1d3f9a6df4907e86c"},"schema_version":"1.0"},"canonical_sha256":"0232349fafc2f7101b6a11f2e8fea679b5d14f723e074d655e524b4bf0e6e5c8","source":{"kind":"arxiv","id":"1409.2485","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2485","created_at":"2026-05-18T02:43:10Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2485v1","created_at":"2026-05-18T02:43:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2485","created_at":"2026-05-18T02:43:10Z"},{"alias_kind":"pith_short_12","alias_value":"AIZDJH5PYL3R","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"AIZDJH5PYL3RAG3K","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"AIZDJH5P","created_at":"2026-05-18T12:28:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:AIZDJH5PYL3RAG3KCHZOR7VGPG","target":"record","payload":{"canonical_record":{"source":{"id":"1409.2485","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T14:34:13Z","cross_cats_sorted":[],"title_canon_sha256":"03be0813a3cab77701bd15e3995e3cd31d51a89ce69c1e60b4f7a19c860506bb","abstract_canon_sha256":"6cde1ab8955797673d68b48da9df40d221ad098c79cbdab1d3f9a6df4907e86c"},"schema_version":"1.0"},"canonical_sha256":"0232349fafc2f7101b6a11f2e8fea679b5d14f723e074d655e524b4bf0e6e5c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:10.373819Z","signature_b64":"GZsv/KijQF9lp+Vy4dw89QkFhtjh8VMTGFBEUdWD1yvyA6UvUL1S5y5fqkRlO6g6Hin7CzQl4V1B3MZkw7NNDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0232349fafc2f7101b6a11f2e8fea679b5d14f723e074d655e524b4bf0e6e5c8","last_reissued_at":"2026-05-18T02:43:10.373363Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:10.373363Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.2485","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-18T02:43:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hRM4TLcrBOE0/DsJyUWSq7YQdqgPQaivWXvCZJ9dJ/ABf0cBuIGNcL0/z4NutXmpkTinTu2fcJeRp9VpGJIDDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T08:21:38.296947Z"},"content_sha256":"83e7403ca795fdb704e6d42cb37faec787d43c04c41692c4b4fbdb92e959ee7b","schema_version":"1.0","event_id":"sha256:83e7403ca795fdb704e6d42cb37faec787d43c04c41692c4b4fbdb92e959ee7b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:AIZDJH5PYL3RAG3KCHZOR7VGPG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Manifesto for Semantic Model Differencing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Jan Oliver Ringert, Shahar Maoz","submitted_at":"2014-09-08T14:34:13Z","abstract_excerpt":"Models are heavily used in software engineering and together with their systems they evolve over time. Thus, managing their changes is an important challenge for system maintainability. Existing approaches to model differencing concentrate on heuristics matching between model elements and on finding and presenting differences at a concrete or abstract syntactic level. While showing some success, these approaches are inherently limited to comparing syntactic structures. This paper is a manifesto for research on semantic model differencing. We present our vision to develop semantic diff operator"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2485","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-18T02:43:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QBa+Ehh/h4CbLDEo+EPbQrNgtsngLzK4IXYGHr00/xVLcoXvynYzXwuMwyczwn9+Oh1RxdnqXCDk+Aj7ggQTAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T08:21:38.297623Z"},"content_sha256":"a965b0762b92c8e7c7a2c217019299d0d90b1c91751baf184a7ad6dec7f17a5c","schema_version":"1.0","event_id":"sha256:a965b0762b92c8e7c7a2c217019299d0d90b1c91751baf184a7ad6dec7f17a5c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AIZDJH5PYL3RAG3KCHZOR7VGPG/bundle.json","state_url":"https://pith.science/pith/AIZDJH5PYL3RAG3KCHZOR7VGPG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AIZDJH5PYL3RAG3KCHZOR7VGPG/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-06T08:21:38Z","links":{"resolver":"https://pith.science/pith/AIZDJH5PYL3RAG3KCHZOR7VGPG","bundle":"https://pith.science/pith/AIZDJH5PYL3RAG3KCHZOR7VGPG/bundle.json","state":"https://pith.science/pith/AIZDJH5PYL3RAG3KCHZOR7VGPG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AIZDJH5PYL3RAG3KCHZOR7VGPG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:AIZDJH5PYL3RAG3KCHZOR7VGPG","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":"6cde1ab8955797673d68b48da9df40d221ad098c79cbdab1d3f9a6df4907e86c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T14:34:13Z","title_canon_sha256":"03be0813a3cab77701bd15e3995e3cd31d51a89ce69c1e60b4f7a19c860506bb"},"schema_version":"1.0","source":{"id":"1409.2485","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2485","created_at":"2026-05-18T02:43:10Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2485v1","created_at":"2026-05-18T02:43:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2485","created_at":"2026-05-18T02:43:10Z"},{"alias_kind":"pith_short_12","alias_value":"AIZDJH5PYL3R","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"AIZDJH5PYL3RAG3K","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"AIZDJH5P","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:a965b0762b92c8e7c7a2c217019299d0d90b1c91751baf184a7ad6dec7f17a5c","target":"graph","created_at":"2026-05-18T02:43:10Z","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":"Models are heavily used in software engineering and together with their systems they evolve over time. Thus, managing their changes is an important challenge for system maintainability. Existing approaches to model differencing concentrate on heuristics matching between model elements and on finding and presenting differences at a concrete or abstract syntactic level. While showing some success, these approaches are inherently limited to comparing syntactic structures. This paper is a manifesto for research on semantic model differencing. We present our vision to develop semantic diff operator","authors_text":"Bernhard Rumpe, Jan Oliver Ringert, Shahar Maoz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T14:34:13Z","title":"A Manifesto for Semantic Model Differencing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2485","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:83e7403ca795fdb704e6d42cb37faec787d43c04c41692c4b4fbdb92e959ee7b","target":"record","created_at":"2026-05-18T02:43:10Z","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":"6cde1ab8955797673d68b48da9df40d221ad098c79cbdab1d3f9a6df4907e86c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T14:34:13Z","title_canon_sha256":"03be0813a3cab77701bd15e3995e3cd31d51a89ce69c1e60b4f7a19c860506bb"},"schema_version":"1.0","source":{"id":"1409.2485","kind":"arxiv","version":1}},"canonical_sha256":"0232349fafc2f7101b6a11f2e8fea679b5d14f723e074d655e524b4bf0e6e5c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0232349fafc2f7101b6a11f2e8fea679b5d14f723e074d655e524b4bf0e6e5c8","first_computed_at":"2026-05-18T02:43:10.373363Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:43:10.373363Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GZsv/KijQF9lp+Vy4dw89QkFhtjh8VMTGFBEUdWD1yvyA6UvUL1S5y5fqkRlO6g6Hin7CzQl4V1B3MZkw7NNDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:43:10.373819Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.2485","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83e7403ca795fdb704e6d42cb37faec787d43c04c41692c4b4fbdb92e959ee7b","sha256:a965b0762b92c8e7c7a2c217019299d0d90b1c91751baf184a7ad6dec7f17a5c"],"state_sha256":"7da6982756dc8a8a2a014dc2f7879b303935b94a7e735202b6a1f5fdba2f3bdb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MB39hffFx9OfDeiPyj/MsQPJUaR4A4+sTzuMHlnRME1qJNLv6fJ/OQ2eytUaXVs6jkxQWNWaArWRB96xYxIiBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T08:21:38.301749Z","bundle_sha256":"9f922824be3232bf917575a1a0196c9dd2d71e00f3e8ec476b03ba15673427ab"}}