{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:N3SF35XUDJUDXNX6AE7JCRQA6D","short_pith_number":"pith:N3SF35XU","canonical_record":{"source":{"id":"1612.06240","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2016-12-19T16:04:25Z","cross_cats_sorted":["math.CO","math.MP"],"title_canon_sha256":"5108039418e0dd58437babdddd77614955216e2e303377ef604b19709aaa9ac6","abstract_canon_sha256":"f06dfc3043e08d17b746ef652146bbd810c0e4f16edccffc7a1f5037c5a2877e"},"schema_version":"1.0"},"canonical_sha256":"6ee45df6f41a683bb6fe013e914600f0f2221c0a7fc441134fa58f107882ac79","source":{"kind":"arxiv","id":"1612.06240","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.06240","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"arxiv_version","alias_value":"1612.06240v1","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06240","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"pith_short_12","alias_value":"N3SF35XUDJUD","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"N3SF35XUDJUDXNX6","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"N3SF35XU","created_at":"2026-05-18T12:30:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:N3SF35XUDJUDXNX6AE7JCRQA6D","target":"record","payload":{"canonical_record":{"source":{"id":"1612.06240","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2016-12-19T16:04:25Z","cross_cats_sorted":["math.CO","math.MP"],"title_canon_sha256":"5108039418e0dd58437babdddd77614955216e2e303377ef604b19709aaa9ac6","abstract_canon_sha256":"f06dfc3043e08d17b746ef652146bbd810c0e4f16edccffc7a1f5037c5a2877e"},"schema_version":"1.0"},"canonical_sha256":"6ee45df6f41a683bb6fe013e914600f0f2221c0a7fc441134fa58f107882ac79","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:42.850292Z","signature_b64":"55wI2sXz2WDHxqt6gDcN25bFtHvO+nlWN0uxslmTlSqPbMO4EgAfHageP+++QqkLEUgRhmn9YEUYuHnkjc7OCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ee45df6f41a683bb6fe013e914600f0f2221c0a7fc441134fa58f107882ac79","last_reissued_at":"2026-05-18T00:54:42.849916Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:42.849916Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.06240","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:54:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vzJERWzdb6WWsH0Q8xYthnU+qi8KMgtvsDJshP3VKHM8cbcoL3z3MhVh6rZIcYDrj3JqsNNlT8gev3If8n5hDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T21:50:34.332766Z"},"content_sha256":"afa97d409e9833bd21f5c72e9f00b035eedfb45d2ca88971207997395421d04c","schema_version":"1.0","event_id":"sha256:afa97d409e9833bd21f5c72e9f00b035eedfb45d2ca88971207997395421d04c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:N3SF35XUDJUDXNX6AE7JCRQA6D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The algebras of graph rewriting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO","math.MP"],"primary_cat":"math-ph","authors_text":"Ilias Garnier, Nicolas Behr, Tobias Heindel, Vincent Danos","submitted_at":"2016-12-19T16:04:25Z","abstract_excerpt":"The concept of diagrammatic combinatorial Hopf algebras in the form introduced for describing the Heisenberg-Weyl algebra in~\\cite{blasiak2010combinatorial} is extended to the case of so-called rule diagrams that present graph rewriting rules and their composites. The resulting rule diagram algebra may then be suitably restricted in four different ways to what we call the rule algebras, which are non-commutative, unital associative algebras that implement the algebra of compositions of graph rewriting rules. Notably, our framework reveals that there exist two more types of graph rewriting syst"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06240","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:54:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w7JnIuEXlQNJX4PGDU5SRJaD8UeQPPtQDuHNd+1Gh9uCIBlDNluWJFQ7LJuRZ9keOUh42C/0ud8FI6XJwW0tDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T21:50:34.333106Z"},"content_sha256":"c552f8ea07db7dbeed4482523b39cdc192a5ba2c068d078647a9ac58e70c4e97","schema_version":"1.0","event_id":"sha256:c552f8ea07db7dbeed4482523b39cdc192a5ba2c068d078647a9ac58e70c4e97"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N3SF35XUDJUDXNX6AE7JCRQA6D/bundle.json","state_url":"https://pith.science/pith/N3SF35XUDJUDXNX6AE7JCRQA6D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N3SF35XUDJUDXNX6AE7JCRQA6D/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-04T21:50:34Z","links":{"resolver":"https://pith.science/pith/N3SF35XUDJUDXNX6AE7JCRQA6D","bundle":"https://pith.science/pith/N3SF35XUDJUDXNX6AE7JCRQA6D/bundle.json","state":"https://pith.science/pith/N3SF35XUDJUDXNX6AE7JCRQA6D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N3SF35XUDJUDXNX6AE7JCRQA6D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:N3SF35XUDJUDXNX6AE7JCRQA6D","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":"f06dfc3043e08d17b746ef652146bbd810c0e4f16edccffc7a1f5037c5a2877e","cross_cats_sorted":["math.CO","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2016-12-19T16:04:25Z","title_canon_sha256":"5108039418e0dd58437babdddd77614955216e2e303377ef604b19709aaa9ac6"},"schema_version":"1.0","source":{"id":"1612.06240","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.06240","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"arxiv_version","alias_value":"1612.06240v1","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06240","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"pith_short_12","alias_value":"N3SF35XUDJUD","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"N3SF35XUDJUDXNX6","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"N3SF35XU","created_at":"2026-05-18T12:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:c552f8ea07db7dbeed4482523b39cdc192a5ba2c068d078647a9ac58e70c4e97","target":"graph","created_at":"2026-05-18T00:54:42Z","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 concept of diagrammatic combinatorial Hopf algebras in the form introduced for describing the Heisenberg-Weyl algebra in~\\cite{blasiak2010combinatorial} is extended to the case of so-called rule diagrams that present graph rewriting rules and their composites. The resulting rule diagram algebra may then be suitably restricted in four different ways to what we call the rule algebras, which are non-commutative, unital associative algebras that implement the algebra of compositions of graph rewriting rules. Notably, our framework reveals that there exist two more types of graph rewriting syst","authors_text":"Ilias Garnier, Nicolas Behr, Tobias Heindel, Vincent Danos","cross_cats":["math.CO","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2016-12-19T16:04:25Z","title":"The algebras of graph rewriting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06240","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:afa97d409e9833bd21f5c72e9f00b035eedfb45d2ca88971207997395421d04c","target":"record","created_at":"2026-05-18T00:54:42Z","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":"f06dfc3043e08d17b746ef652146bbd810c0e4f16edccffc7a1f5037c5a2877e","cross_cats_sorted":["math.CO","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2016-12-19T16:04:25Z","title_canon_sha256":"5108039418e0dd58437babdddd77614955216e2e303377ef604b19709aaa9ac6"},"schema_version":"1.0","source":{"id":"1612.06240","kind":"arxiv","version":1}},"canonical_sha256":"6ee45df6f41a683bb6fe013e914600f0f2221c0a7fc441134fa58f107882ac79","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ee45df6f41a683bb6fe013e914600f0f2221c0a7fc441134fa58f107882ac79","first_computed_at":"2026-05-18T00:54:42.849916Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:42.849916Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"55wI2sXz2WDHxqt6gDcN25bFtHvO+nlWN0uxslmTlSqPbMO4EgAfHageP+++QqkLEUgRhmn9YEUYuHnkjc7OCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:42.850292Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.06240","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:afa97d409e9833bd21f5c72e9f00b035eedfb45d2ca88971207997395421d04c","sha256:c552f8ea07db7dbeed4482523b39cdc192a5ba2c068d078647a9ac58e70c4e97"],"state_sha256":"065c83003eed418edcad50b0f52a09998fe61f5c7f4d445f63671f8a87278449"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cfEb/4fzAxEPy3uX9ZebRvkFn0FCXOGPfo5sf8Z2flakeXUFeTrrWinD2i+tMronRMZlQJ81Im/KYZRbg7PpDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T21:50:34.335032Z","bundle_sha256":"5e60237abd4e60cfe003fa29a29a9507794089bea0d30fb952de0655c0fddd40"}}