{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:OFLL2ZRX2GE3VGDCXCFVDKYAOF","short_pith_number":"pith:OFLL2ZRX","canonical_record":{"source":{"id":"1411.4597","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-14T13:45:16Z","cross_cats_sorted":[],"title_canon_sha256":"a952711591d69de05c08c7559d782d5a5f8ede1621914d808ad7883e805ffd53","abstract_canon_sha256":"771eab4e09fc24c376b0a84746f498f540a29060715bccd827a89be3859f8206"},"schema_version":"1.0"},"canonical_sha256":"7156bd6637d189ba9862b88b51ab00714d9b04d6eeb758adfc370ea69dc67954","source":{"kind":"arxiv","id":"1411.4597","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.4597","created_at":"2026-05-18T01:55:52Z"},{"alias_kind":"arxiv_version","alias_value":"1411.4597v2","created_at":"2026-05-18T01:55:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.4597","created_at":"2026-05-18T01:55:52Z"},{"alias_kind":"pith_short_12","alias_value":"OFLL2ZRX2GE3","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"OFLL2ZRX2GE3VGDC","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"OFLL2ZRX","created_at":"2026-05-18T12:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:OFLL2ZRX2GE3VGDCXCFVDKYAOF","target":"record","payload":{"canonical_record":{"source":{"id":"1411.4597","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-14T13:45:16Z","cross_cats_sorted":[],"title_canon_sha256":"a952711591d69de05c08c7559d782d5a5f8ede1621914d808ad7883e805ffd53","abstract_canon_sha256":"771eab4e09fc24c376b0a84746f498f540a29060715bccd827a89be3859f8206"},"schema_version":"1.0"},"canonical_sha256":"7156bd6637d189ba9862b88b51ab00714d9b04d6eeb758adfc370ea69dc67954","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:55:52.957679Z","signature_b64":"8zgdSI8auOfl/z2wMZPeu6lmN6BUxca4QVdwhb7ncAx1kOhoGUGOxHXApbNVS2hfD56XsCL7dTT46A5TpbW5Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7156bd6637d189ba9862b88b51ab00714d9b04d6eeb758adfc370ea69dc67954","last_reissued_at":"2026-05-18T01:55:52.957155Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:55:52.957155Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.4597","source_version":2,"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-18T01:55:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c+obvpNtuQVKi0swTGgqpQ0Sh6V/AUvySLoCczMlpTrqBaLg1rnEzNyEu2150sDG4BMZR7FUkDJEM68jJzinCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T22:57:16.095697Z"},"content_sha256":"53d876fcd82a3416bff059af2f05296e20c766d60e9dfe5abe77ab29ba6e80af","schema_version":"1.0","event_id":"sha256:53d876fcd82a3416bff059af2f05296e20c766d60e9dfe5abe77ab29ba6e80af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:OFLL2ZRX2GE3VGDCXCFVDKYAOF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anadrea Corradini, Dominique Duval, Fr\\'ed\\'eric Prost, Leila Ribeiro, Rachid Echahed","submitted_at":"2014-11-14T13:45:16Z","abstract_excerpt":"The several algebraic approaches to graph transformation proposed in the literature all ensure that if an item is preserved by a rule, so are its connections with the context graph where it is embedded. But there are applications in which it is desirable, for example when cloning an item, to specify different embeddings for the original and for the copy. Therefore we propose a conservative extension of these approaches where a rule can specify how the embedding of a preserved item should be changed, typically by removing certain connections."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.4597","kind":"arxiv","version":2},"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-18T01:55:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F1Pk5NpUKUWVJ24pJ26GNeyVsJAlZ2wOPWS0Byzc5u+eGUJwGAwM38VX/ecJsXAfJwwuZ6n+tYzGrmlY0NC5Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T22:57:16.096057Z"},"content_sha256":"8280987a67168d75d1de5d6e26e49a9419025e6177bbdf9db33dc890aa3de9f4","schema_version":"1.0","event_id":"sha256:8280987a67168d75d1de5d6e26e49a9419025e6177bbdf9db33dc890aa3de9f4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OFLL2ZRX2GE3VGDCXCFVDKYAOF/bundle.json","state_url":"https://pith.science/pith/OFLL2ZRX2GE3VGDCXCFVDKYAOF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OFLL2ZRX2GE3VGDCXCFVDKYAOF/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-21T22:57:16Z","links":{"resolver":"https://pith.science/pith/OFLL2ZRX2GE3VGDCXCFVDKYAOF","bundle":"https://pith.science/pith/OFLL2ZRX2GE3VGDCXCFVDKYAOF/bundle.json","state":"https://pith.science/pith/OFLL2ZRX2GE3VGDCXCFVDKYAOF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OFLL2ZRX2GE3VGDCXCFVDKYAOF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:OFLL2ZRX2GE3VGDCXCFVDKYAOF","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":"771eab4e09fc24c376b0a84746f498f540a29060715bccd827a89be3859f8206","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-14T13:45:16Z","title_canon_sha256":"a952711591d69de05c08c7559d782d5a5f8ede1621914d808ad7883e805ffd53"},"schema_version":"1.0","source":{"id":"1411.4597","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.4597","created_at":"2026-05-18T01:55:52Z"},{"alias_kind":"arxiv_version","alias_value":"1411.4597v2","created_at":"2026-05-18T01:55:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.4597","created_at":"2026-05-18T01:55:52Z"},{"alias_kind":"pith_short_12","alias_value":"OFLL2ZRX2GE3","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"OFLL2ZRX2GE3VGDC","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"OFLL2ZRX","created_at":"2026-05-18T12:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:8280987a67168d75d1de5d6e26e49a9419025e6177bbdf9db33dc890aa3de9f4","target":"graph","created_at":"2026-05-18T01:55:52Z","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":"The several algebraic approaches to graph transformation proposed in the literature all ensure that if an item is preserved by a rule, so are its connections with the context graph where it is embedded. But there are applications in which it is desirable, for example when cloning an item, to specify different embeddings for the original and for the copy. Therefore we propose a conservative extension of these approaches where a rule can specify how the embedding of a preserved item should be changed, typically by removing certain connections.","authors_text":"Anadrea Corradini, Dominique Duval, Fr\\'ed\\'eric Prost, Leila Ribeiro, Rachid Echahed","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-14T13:45:16Z","title":"AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.4597","kind":"arxiv","version":2},"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:53d876fcd82a3416bff059af2f05296e20c766d60e9dfe5abe77ab29ba6e80af","target":"record","created_at":"2026-05-18T01:55:52Z","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":"771eab4e09fc24c376b0a84746f498f540a29060715bccd827a89be3859f8206","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-14T13:45:16Z","title_canon_sha256":"a952711591d69de05c08c7559d782d5a5f8ede1621914d808ad7883e805ffd53"},"schema_version":"1.0","source":{"id":"1411.4597","kind":"arxiv","version":2}},"canonical_sha256":"7156bd6637d189ba9862b88b51ab00714d9b04d6eeb758adfc370ea69dc67954","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7156bd6637d189ba9862b88b51ab00714d9b04d6eeb758adfc370ea69dc67954","first_computed_at":"2026-05-18T01:55:52.957155Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:55:52.957155Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8zgdSI8auOfl/z2wMZPeu6lmN6BUxca4QVdwhb7ncAx1kOhoGUGOxHXApbNVS2hfD56XsCL7dTT46A5TpbW5Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:55:52.957679Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.4597","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53d876fcd82a3416bff059af2f05296e20c766d60e9dfe5abe77ab29ba6e80af","sha256:8280987a67168d75d1de5d6e26e49a9419025e6177bbdf9db33dc890aa3de9f4"],"state_sha256":"a5b3eda71ff16776e8856e1f3c86c6b93e87fecbde956b547a848110bbbf0c82"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YchRHRwXApzbMVIp9Lc+3ezVclu4/0YBPa8HEiQobx3yCElojZy9CUaSEjo3PKLYdch5Axrqpyo89I3vhoEeDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T22:57:16.098142Z","bundle_sha256":"9948ead4858bcbbcf35c04cfe5728a19faf15c2eb353909389540742aaf67f3e"}}