{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:ERA2XSMUDPOGJ2KKT4N7YY53VT","short_pith_number":"pith:ERA2XSMU","canonical_record":{"source":{"id":"1210.2297","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-08T14:34:25Z","cross_cats_sorted":[],"title_canon_sha256":"2c718dee712a0823312d45d767264cc581ab5959da1ab4da8fa1fd1e038c604e","abstract_canon_sha256":"848e273d8087e68423114753422cdcfd1a4e61b76c1d24afc66388d474158678"},"schema_version":"1.0"},"canonical_sha256":"2441abc9941bdc64e94a9f1bfc63bbacce54591cb6691d28b045b7198f262fb1","source":{"kind":"arxiv","id":"1210.2297","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2297","created_at":"2026-05-18T03:43:41Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2297v2","created_at":"2026-05-18T03:43:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2297","created_at":"2026-05-18T03:43:41Z"},{"alias_kind":"pith_short_12","alias_value":"ERA2XSMUDPOG","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"ERA2XSMUDPOGJ2KK","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"ERA2XSMU","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:ERA2XSMUDPOGJ2KKT4N7YY53VT","target":"record","payload":{"canonical_record":{"source":{"id":"1210.2297","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-08T14:34:25Z","cross_cats_sorted":[],"title_canon_sha256":"2c718dee712a0823312d45d767264cc581ab5959da1ab4da8fa1fd1e038c604e","abstract_canon_sha256":"848e273d8087e68423114753422cdcfd1a4e61b76c1d24afc66388d474158678"},"schema_version":"1.0"},"canonical_sha256":"2441abc9941bdc64e94a9f1bfc63bbacce54591cb6691d28b045b7198f262fb1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:41.673257Z","signature_b64":"yRZepGEYNa8jp2gdz/CORAHHSkh7UERhr2v7nfXgInHMEoA2CNHC01QAXJK8s+QV0/DXXs26407Q5t9UAb9ZDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2441abc9941bdc64e94a9f1bfc63bbacce54591cb6691d28b045b7198f262fb1","last_reissued_at":"2026-05-18T03:43:41.672527Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:41.672527Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.2297","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-18T03:43:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k84Didqj79hUVLgKEvmcvnF3EsRAlikZN9OV9ZP2I8+yl7lD7mMPUuZie20tB0J7m/Sh1pV1pbE+ZRjZRD8gBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T06:45:54.677323Z"},"content_sha256":"b1ca1c808be9476fb745c0c4e1b178a934d2f532317b58aff7a163b1897f4edf","schema_version":"1.0","event_id":"sha256:b1ca1c808be9476fb745c0c4e1b178a934d2f532317b58aff7a163b1897f4edf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:ERA2XSMUDPOGJ2KKT4N7YY53VT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Diagrammatic confluence for Constraint Handling Rules","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"R\\'emy Haemmerl\\'e","submitted_at":"2012-10-08T14:34:25Z","abstract_excerpt":"Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule application order, and also because it implies the logical consistency of the program declarative view. In this paper we are concerned with proving the confluence of non-terminating CHR programs. For this purpose, we derive from van Oostrom's decreasing diagrams method a novel criterion on CHR critical pairs that generalizes all preexisting criteria. We subsequently improve on a result on the modularity of CHR confluence,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2297","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-18T03:43:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6mlt8K8naWATgK7cx9tccl8qum6xYN/Kymc94ks2BXAuVPXXiBY3s6CDBjlUTzfmtQ9hDj3RWODuthEPjfx+CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T06:45:54.677672Z"},"content_sha256":"d658119e9b06f61798b982336811f42b1977b8ebf7c48a9afaf1cde05d2d1fb9","schema_version":"1.0","event_id":"sha256:d658119e9b06f61798b982336811f42b1977b8ebf7c48a9afaf1cde05d2d1fb9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ERA2XSMUDPOGJ2KKT4N7YY53VT/bundle.json","state_url":"https://pith.science/pith/ERA2XSMUDPOGJ2KKT4N7YY53VT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ERA2XSMUDPOGJ2KKT4N7YY53VT/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-28T06:45:54Z","links":{"resolver":"https://pith.science/pith/ERA2XSMUDPOGJ2KKT4N7YY53VT","bundle":"https://pith.science/pith/ERA2XSMUDPOGJ2KKT4N7YY53VT/bundle.json","state":"https://pith.science/pith/ERA2XSMUDPOGJ2KKT4N7YY53VT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ERA2XSMUDPOGJ2KKT4N7YY53VT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:ERA2XSMUDPOGJ2KKT4N7YY53VT","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":"848e273d8087e68423114753422cdcfd1a4e61b76c1d24afc66388d474158678","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-08T14:34:25Z","title_canon_sha256":"2c718dee712a0823312d45d767264cc581ab5959da1ab4da8fa1fd1e038c604e"},"schema_version":"1.0","source":{"id":"1210.2297","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2297","created_at":"2026-05-18T03:43:41Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2297v2","created_at":"2026-05-18T03:43:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2297","created_at":"2026-05-18T03:43:41Z"},{"alias_kind":"pith_short_12","alias_value":"ERA2XSMUDPOG","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"ERA2XSMUDPOGJ2KK","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"ERA2XSMU","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:d658119e9b06f61798b982336811f42b1977b8ebf7c48a9afaf1cde05d2d1fb9","target":"graph","created_at":"2026-05-18T03:43:41Z","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":"Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule application order, and also because it implies the logical consistency of the program declarative view. In this paper we are concerned with proving the confluence of non-terminating CHR programs. For this purpose, we derive from van Oostrom's decreasing diagrams method a novel criterion on CHR critical pairs that generalizes all preexisting criteria. We subsequently improve on a result on the modularity of CHR confluence,","authors_text":"R\\'emy Haemmerl\\'e","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-08T14:34:25Z","title":"Diagrammatic confluence for Constraint Handling Rules"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2297","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:b1ca1c808be9476fb745c0c4e1b178a934d2f532317b58aff7a163b1897f4edf","target":"record","created_at":"2026-05-18T03:43:41Z","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":"848e273d8087e68423114753422cdcfd1a4e61b76c1d24afc66388d474158678","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-08T14:34:25Z","title_canon_sha256":"2c718dee712a0823312d45d767264cc581ab5959da1ab4da8fa1fd1e038c604e"},"schema_version":"1.0","source":{"id":"1210.2297","kind":"arxiv","version":2}},"canonical_sha256":"2441abc9941bdc64e94a9f1bfc63bbacce54591cb6691d28b045b7198f262fb1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2441abc9941bdc64e94a9f1bfc63bbacce54591cb6691d28b045b7198f262fb1","first_computed_at":"2026-05-18T03:43:41.672527Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:43:41.672527Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yRZepGEYNa8jp2gdz/CORAHHSkh7UERhr2v7nfXgInHMEoA2CNHC01QAXJK8s+QV0/DXXs26407Q5t9UAb9ZDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:43:41.673257Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.2297","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b1ca1c808be9476fb745c0c4e1b178a934d2f532317b58aff7a163b1897f4edf","sha256:d658119e9b06f61798b982336811f42b1977b8ebf7c48a9afaf1cde05d2d1fb9"],"state_sha256":"137da64cf903b8cb65d4fc9a33fc8f0935667e4afab6707fdc750bc62d5ef565"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H1zidZTpse35iUKpJoWpDb9NfOv8j4ez7UxkSuwzB9a+LBYhkNTaokKXeDDnWmBMyLOIZfB9opL7vZfmOqLzCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T06:45:54.679565Z","bundle_sha256":"b338c48c37009b1c423f198d36c52e599e0aa98844b5b535ea7e2a701c74042e"}}