{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:YSAP2QJLDXPXSLXJ2FFXXBBWKC","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":"673d10990aa0c2f199ddb239a1c2fb3053b8185b0c182443859b281f4ff9372c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T12:01:54Z","title_canon_sha256":"59ac1f4b8855a81241607566f7835741ceb0bdc581d33cebe31d9dbdac093c45"},"schema_version":"1.0","source":{"id":"1409.2307","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2307","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2307v1","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2307","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"pith_short_12","alias_value":"YSAP2QJLDXPX","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"YSAP2QJLDXPXSLXJ","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"YSAP2QJL","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:9436b1e3f3270c903431e211d7e70f06ea22527cb3562cd98fd9bc4b370af22b","target":"graph","created_at":"2026-05-18T02:43:17Z","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":"Fundamental building blocks for managing and understanding software evolution in the context of model-driven engineering are differencing operators one can use for model comparisons. Semantic model differencing deals with the definition and computation of semantic diff operators for model comparison, operators whose input consists of two models and whose output is a set of diff witnesses, instances of one model that are not instances of the other. However, in many cases the complete set of diff witnesses is too large to be efficiently computed and effectively presented. Moreover, many of the w","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-08T12:01:54Z","title":"Summarizing Semantic Model Differences"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2307","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:8316c5e611082f2f0d2966ce38d628ba4cf6b6aa1918e7a8b13536a75c23a82b","target":"record","created_at":"2026-05-18T02:43:17Z","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":"673d10990aa0c2f199ddb239a1c2fb3053b8185b0c182443859b281f4ff9372c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T12:01:54Z","title_canon_sha256":"59ac1f4b8855a81241607566f7835741ceb0bdc581d33cebe31d9dbdac093c45"},"schema_version":"1.0","source":{"id":"1409.2307","kind":"arxiv","version":1}},"canonical_sha256":"c480fd412b1ddf792ee9d14b7b84365083dd1f3eff177b93668f652f8052819a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c480fd412b1ddf792ee9d14b7b84365083dd1f3eff177b93668f652f8052819a","first_computed_at":"2026-05-18T02:43:17.447833Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:43:17.447833Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dSwcFOhsVbULGFoVHHp0jPSbvZJFgHRzugFThTkL5iUZFoKbWBPbtnDufMM20E+9u8OAalJ70iALdqzQ8rVnDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:43:17.448259Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.2307","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8316c5e611082f2f0d2966ce38d628ba4cf6b6aa1918e7a8b13536a75c23a82b","sha256:9436b1e3f3270c903431e211d7e70f06ea22527cb3562cd98fd9bc4b370af22b"],"state_sha256":"003732940909ec81146aaa4b4b80ee842ae7d2b7b732764d2118139a4cc87251"}