{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:TBNQ4IYMXY36RO5ZPBZMULVIOX","short_pith_number":"pith:TBNQ4IYM","canonical_record":{"source":{"id":"1308.3939","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:27Z","cross_cats_sorted":[],"title_canon_sha256":"967ea42a2ec23c9f68907587145643b1d6d5f2814be0998a246e2c5297789160","abstract_canon_sha256":"34df059e86e6f88aa93ea824494248aa361140db5463357a7410e0fa55311e77"},"schema_version":"1.0"},"canonical_sha256":"985b0e230cbe37e8bbb97872ca2ea875f43a87c2be60d3f740f8094545b0ed70","source":{"kind":"arxiv","id":"1308.3939","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.3939","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"arxiv_version","alias_value":"1308.3939v1","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.3939","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"pith_short_12","alias_value":"TBNQ4IYMXY36","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"TBNQ4IYMXY36RO5Z","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"TBNQ4IYM","created_at":"2026-05-18T12:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:TBNQ4IYMXY36RO5ZPBZMULVIOX","target":"record","payload":{"canonical_record":{"source":{"id":"1308.3939","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:27Z","cross_cats_sorted":[],"title_canon_sha256":"967ea42a2ec23c9f68907587145643b1d6d5f2814be0998a246e2c5297789160","abstract_canon_sha256":"34df059e86e6f88aa93ea824494248aa361140db5463357a7410e0fa55311e77"},"schema_version":"1.0"},"canonical_sha256":"985b0e230cbe37e8bbb97872ca2ea875f43a87c2be60d3f740f8094545b0ed70","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:15:35.253671Z","signature_b64":"knvGEb7uGbyey9BLiN4KuXiR/9achQXO5XuePoUpWOsXTl7t1CzQoAf055fnzHbhWcLmz/rXVgfcbNVIl3SpCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"985b0e230cbe37e8bbb97872ca2ea875f43a87c2be60d3f740f8094545b0ed70","last_reissued_at":"2026-05-18T03:15:35.253217Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:15:35.253217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.3939","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-18T03:15:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IwB7JXIMlD2xx0mpBbdJkyLFjYrPFKiz9IRl3eF2A/2B6f/IUJQO4j7Qp2w2U4JZlDWUR9n369bQeCNyvt5UCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T16:59:18.308916Z"},"content_sha256":"571b3904900abae3cd54d897090e4a7d785c61f9acb43654a2ea92f4a08a44f6","schema_version":"1.0","event_id":"sha256:571b3904900abae3cd54d897090e4a7d785c61f9acb43654a2ea92f4a08a44f6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:TBNQ4IYMXY36RO5ZPBZMULVIOX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Dragan Ivanovi\\'c","submitted_at":"2013-08-19T07:15:27Z","abstract_excerpt":"Programming languages and techniques based on logic and constraints, such as the Constraint Handling Rules (CHR), can support many common programming tasks that can be expressed in the form of a search for feasible or optimal solutions. Developing new constraint solvers using CHR is especially interesting in configuration management for large scale, distributed and dynamic cloud applications, where dynamic configuration and component selection is an integral part of the programming environment. Writing CHR-style constraint solvers in a domain-specific language which is a subset of Java -- inst"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.3939","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-18T03:15:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SYuexj4ENDB2Ih26liNKmPNJ3bg0O6/gM7WHZIlLUNkzyte/vUvagtQZnzImOp6juQGTq7hQKVRFTPHpgxdgCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T16:59:18.309906Z"},"content_sha256":"0e2423d493befa3bea6d242568cdbb30e842d34b894bec067aac5a07098ee211","schema_version":"1.0","event_id":"sha256:0e2423d493befa3bea6d242568cdbb30e842d34b894bec067aac5a07098ee211"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TBNQ4IYMXY36RO5ZPBZMULVIOX/bundle.json","state_url":"https://pith.science/pith/TBNQ4IYMXY36RO5ZPBZMULVIOX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TBNQ4IYMXY36RO5ZPBZMULVIOX/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-08T16:59:18Z","links":{"resolver":"https://pith.science/pith/TBNQ4IYMXY36RO5ZPBZMULVIOX","bundle":"https://pith.science/pith/TBNQ4IYMXY36RO5ZPBZMULVIOX/bundle.json","state":"https://pith.science/pith/TBNQ4IYMXY36RO5ZPBZMULVIOX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TBNQ4IYMXY36RO5ZPBZMULVIOX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:TBNQ4IYMXY36RO5ZPBZMULVIOX","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":"34df059e86e6f88aa93ea824494248aa361140db5463357a7410e0fa55311e77","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:27Z","title_canon_sha256":"967ea42a2ec23c9f68907587145643b1d6d5f2814be0998a246e2c5297789160"},"schema_version":"1.0","source":{"id":"1308.3939","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.3939","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"arxiv_version","alias_value":"1308.3939v1","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.3939","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"pith_short_12","alias_value":"TBNQ4IYMXY36","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"TBNQ4IYMXY36RO5Z","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"TBNQ4IYM","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:0e2423d493befa3bea6d242568cdbb30e842d34b894bec067aac5a07098ee211","target":"graph","created_at":"2026-05-18T03:15:35Z","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":"Programming languages and techniques based on logic and constraints, such as the Constraint Handling Rules (CHR), can support many common programming tasks that can be expressed in the form of a search for feasible or optimal solutions. Developing new constraint solvers using CHR is especially interesting in configuration management for large scale, distributed and dynamic cloud applications, where dynamic configuration and component selection is an integral part of the programming environment. Writing CHR-style constraint solvers in a domain-specific language which is a subset of Java -- inst","authors_text":"Dragan Ivanovi\\'c","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:27Z","title":"Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.3939","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:571b3904900abae3cd54d897090e4a7d785c61f9acb43654a2ea92f4a08a44f6","target":"record","created_at":"2026-05-18T03:15:35Z","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":"34df059e86e6f88aa93ea824494248aa361140db5463357a7410e0fa55311e77","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:27Z","title_canon_sha256":"967ea42a2ec23c9f68907587145643b1d6d5f2814be0998a246e2c5297789160"},"schema_version":"1.0","source":{"id":"1308.3939","kind":"arxiv","version":1}},"canonical_sha256":"985b0e230cbe37e8bbb97872ca2ea875f43a87c2be60d3f740f8094545b0ed70","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"985b0e230cbe37e8bbb97872ca2ea875f43a87c2be60d3f740f8094545b0ed70","first_computed_at":"2026-05-18T03:15:35.253217Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:15:35.253217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"knvGEb7uGbyey9BLiN4KuXiR/9achQXO5XuePoUpWOsXTl7t1CzQoAf055fnzHbhWcLmz/rXVgfcbNVIl3SpCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:15:35.253671Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.3939","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:571b3904900abae3cd54d897090e4a7d785c61f9acb43654a2ea92f4a08a44f6","sha256:0e2423d493befa3bea6d242568cdbb30e842d34b894bec067aac5a07098ee211"],"state_sha256":"aafc065b746344579f232bb0eb189d5be2d85541b4e36fb0be6ecdff491cd387"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F+alsuI6N9b97ZWxJT+Uy8ja6BQl4P5UU9Iqxe7yWHNhw4pN1DgI8bIdM8bE+fQ8ndoiJHNbxmj2+betizvuDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T16:59:18.317589Z","bundle_sha256":"21ea88986bbd2899078655e886e6c94548fbfd14b7589f6c4e90ed5f2312c41f"}}