{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:5HJZEXTMGKZUSKNGOTOA52BP5K","short_pith_number":"pith:5HJZEXTM","canonical_record":{"source":{"id":"2005.14510","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-29T11:48:16Z","cross_cats_sorted":[],"title_canon_sha256":"299a8fdc58ed419c0b3f0640eb7f8155149a07a6b0b6f981a68b83824acfa3e3","abstract_canon_sha256":"1b766441627f18f719bc826ee9b28f3ec7e92169aafd4652c388255b660bda19"},"schema_version":"1.0"},"canonical_sha256":"e9d3925e6c32b34929a674dc0ee82fea88bfee8802cb08753c3084a387026f45","source":{"kind":"arxiv","id":"2005.14510","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.14510","created_at":"2026-07-05T01:06:37Z"},{"alias_kind":"arxiv_version","alias_value":"2005.14510v1","created_at":"2026-07-05T01:06:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.14510","created_at":"2026-07-05T01:06:37Z"},{"alias_kind":"pith_short_12","alias_value":"5HJZEXTMGKZU","created_at":"2026-07-05T01:06:37Z"},{"alias_kind":"pith_short_16","alias_value":"5HJZEXTMGKZUSKNG","created_at":"2026-07-05T01:06:37Z"},{"alias_kind":"pith_short_8","alias_value":"5HJZEXTM","created_at":"2026-07-05T01:06:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:5HJZEXTMGKZUSKNGOTOA52BP5K","target":"record","payload":{"canonical_record":{"source":{"id":"2005.14510","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-29T11:48:16Z","cross_cats_sorted":[],"title_canon_sha256":"299a8fdc58ed419c0b3f0640eb7f8155149a07a6b0b6f981a68b83824acfa3e3","abstract_canon_sha256":"1b766441627f18f719bc826ee9b28f3ec7e92169aafd4652c388255b660bda19"},"schema_version":"1.0"},"canonical_sha256":"e9d3925e6c32b34929a674dc0ee82fea88bfee8802cb08753c3084a387026f45","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:06:37.556032Z","signature_b64":"Bzi/a8d7Y9ESJLH9a+1QYudTfL8ZUWTki13VXoYmJ7KjfqSeM3PkSGyl6KpIPg5kIFRHLvc6r3K4PskDZOrlBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e9d3925e6c32b34929a674dc0ee82fea88bfee8802cb08753c3084a387026f45","last_reissued_at":"2026-07-05T01:06:37.555518Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:06:37.555518Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.14510","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-07-05T01:06:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a7jbYQ0tIqe/VhYbULUOLQ9Vb5qU5R6gAVkDfrWC/T2vlcNIkf7o9iHk+GFOCuwmoAJDVS858gfAJ9kv2gZpBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T19:25:31.290330Z"},"content_sha256":"08e13ec6a2464df52e51820532ddda1e17bf1773d99cf227e7317178f012329e","schema_version":"1.0","event_id":"sha256:08e13ec6a2464df52e51820532ddda1e17bf1773d99cf227e7317178f012329e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:5HJZEXTMGKZUSKNGOTOA52BP5K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Avoiding Unnecessary Information Loss: Correct and Efficient Model Synchronization Based on Triple Graph Grammars","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andy Sch\\\"urr, Gabriele Taentzer, Jens Kosiol, Lars Fritsche","submitted_at":"2020-05-29T11:48:16Z","abstract_excerpt":"Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple Graph Grammars (TGGs) specify model consistency by means of rules that describe how to create consistent pairs of models. These rules can be used to automatically derive further rules, which describe how to propagate changes from one model to the other or how to change one model in such a way that propagation is guaranteed to be possible. Restricting model synchronization to these derived rules, however, may lead to unnecessary deletion and recreati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.14510","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2005.14510/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:06:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BqKUcCoBcvI1/BXnFl8QLpnPDAN7hF9ZxBRnfvfvQi0wPrkr3GdqhFRD94PfZdb/qjat/6MIB/B8XDseIqoPAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T19:25:31.291423Z"},"content_sha256":"3a37ff5d1672012fc61a403182b713ea324dc4e896f0d45a36e06ff83877f9b1","schema_version":"1.0","event_id":"sha256:3a37ff5d1672012fc61a403182b713ea324dc4e896f0d45a36e06ff83877f9b1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5HJZEXTMGKZUSKNGOTOA52BP5K/bundle.json","state_url":"https://pith.science/pith/5HJZEXTMGKZUSKNGOTOA52BP5K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5HJZEXTMGKZUSKNGOTOA52BP5K/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-08-14T19:25:31Z","links":{"resolver":"https://pith.science/pith/5HJZEXTMGKZUSKNGOTOA52BP5K","bundle":"https://pith.science/pith/5HJZEXTMGKZUSKNGOTOA52BP5K/bundle.json","state":"https://pith.science/pith/5HJZEXTMGKZUSKNGOTOA52BP5K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5HJZEXTMGKZUSKNGOTOA52BP5K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:5HJZEXTMGKZUSKNGOTOA52BP5K","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":"1b766441627f18f719bc826ee9b28f3ec7e92169aafd4652c388255b660bda19","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-29T11:48:16Z","title_canon_sha256":"299a8fdc58ed419c0b3f0640eb7f8155149a07a6b0b6f981a68b83824acfa3e3"},"schema_version":"1.0","source":{"id":"2005.14510","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.14510","created_at":"2026-07-05T01:06:37Z"},{"alias_kind":"arxiv_version","alias_value":"2005.14510v1","created_at":"2026-07-05T01:06:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.14510","created_at":"2026-07-05T01:06:37Z"},{"alias_kind":"pith_short_12","alias_value":"5HJZEXTMGKZU","created_at":"2026-07-05T01:06:37Z"},{"alias_kind":"pith_short_16","alias_value":"5HJZEXTMGKZUSKNG","created_at":"2026-07-05T01:06:37Z"},{"alias_kind":"pith_short_8","alias_value":"5HJZEXTM","created_at":"2026-07-05T01:06:37Z"}],"graph_snapshots":[{"event_id":"sha256:3a37ff5d1672012fc61a403182b713ea324dc4e896f0d45a36e06ff83877f9b1","target":"graph","created_at":"2026-07-05T01:06:37Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2005.14510/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple Graph Grammars (TGGs) specify model consistency by means of rules that describe how to create consistent pairs of models. These rules can be used to automatically derive further rules, which describe how to propagate changes from one model to the other or how to change one model in such a way that propagation is guaranteed to be possible. Restricting model synchronization to these derived rules, however, may lead to unnecessary deletion and recreati","authors_text":"Andy Sch\\\"urr, Gabriele Taentzer, Jens Kosiol, Lars Fritsche","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-29T11:48:16Z","title":"Avoiding Unnecessary Information Loss: Correct and Efficient Model Synchronization Based on Triple Graph Grammars"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.14510","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:08e13ec6a2464df52e51820532ddda1e17bf1773d99cf227e7317178f012329e","target":"record","created_at":"2026-07-05T01:06:37Z","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":"1b766441627f18f719bc826ee9b28f3ec7e92169aafd4652c388255b660bda19","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-29T11:48:16Z","title_canon_sha256":"299a8fdc58ed419c0b3f0640eb7f8155149a07a6b0b6f981a68b83824acfa3e3"},"schema_version":"1.0","source":{"id":"2005.14510","kind":"arxiv","version":1}},"canonical_sha256":"e9d3925e6c32b34929a674dc0ee82fea88bfee8802cb08753c3084a387026f45","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e9d3925e6c32b34929a674dc0ee82fea88bfee8802cb08753c3084a387026f45","first_computed_at":"2026-07-05T01:06:37.555518Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:06:37.555518Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Bzi/a8d7Y9ESJLH9a+1QYudTfL8ZUWTki13VXoYmJ7KjfqSeM3PkSGyl6KpIPg5kIFRHLvc6r3K4PskDZOrlBA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:06:37.556032Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.14510","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:08e13ec6a2464df52e51820532ddda1e17bf1773d99cf227e7317178f012329e","sha256:3a37ff5d1672012fc61a403182b713ea324dc4e896f0d45a36e06ff83877f9b1"],"state_sha256":"7b68260e1de4ddba92c388b8641579e0317d8afd15d396787abcd33bba0749e1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FtgA48VVkd9mT5Poci/vgtr9ZNDmO4W7b5oMXjuMGiqINKAGScHCqFlOwP3TI5wy/mEWTr19q4uhBoKKWFiFAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T19:25:31.299143Z","bundle_sha256":"e5cd9c5a3e6a187e75497ba15a2922662f5916760aa496d9479621c424d3ffff"}}