{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:ANARRZRT4Z4TMHHIUBVFKKG2ON","short_pith_number":"pith:ANARRZRT","canonical_record":{"source":{"id":"2211.10675","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-11-19T11:59:45Z","cross_cats_sorted":["cs.LO","cs.SC","cs.SE"],"title_canon_sha256":"8c5c64d9fb2f50b4b49df1490f9e3242b4c0ecf5b146997fc2ca02b4e48f9a09","abstract_canon_sha256":"9a110ab68d9e938179fb7ed44333b3a946df5d25e913a5ad01f35b70994a233a"},"schema_version":"1.0"},"canonical_sha256":"034118e633e679361ce8a06a5528da737e6954bdf72b16259fe91f65ac507fb4","source":{"kind":"arxiv","id":"2211.10675","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.10675","created_at":"2026-07-05T05:17:33Z"},{"alias_kind":"arxiv_version","alias_value":"2211.10675v1","created_at":"2026-07-05T05:17:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.10675","created_at":"2026-07-05T05:17:33Z"},{"alias_kind":"pith_short_12","alias_value":"ANARRZRT4Z4T","created_at":"2026-07-05T05:17:33Z"},{"alias_kind":"pith_short_16","alias_value":"ANARRZRT4Z4TMHHI","created_at":"2026-07-05T05:17:33Z"},{"alias_kind":"pith_short_8","alias_value":"ANARRZRT","created_at":"2026-07-05T05:17:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:ANARRZRT4Z4TMHHIUBVFKKG2ON","target":"record","payload":{"canonical_record":{"source":{"id":"2211.10675","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-11-19T11:59:45Z","cross_cats_sorted":["cs.LO","cs.SC","cs.SE"],"title_canon_sha256":"8c5c64d9fb2f50b4b49df1490f9e3242b4c0ecf5b146997fc2ca02b4e48f9a09","abstract_canon_sha256":"9a110ab68d9e938179fb7ed44333b3a946df5d25e913a5ad01f35b70994a233a"},"schema_version":"1.0"},"canonical_sha256":"034118e633e679361ce8a06a5528da737e6954bdf72b16259fe91f65ac507fb4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:17:33.045076Z","signature_b64":"0FJV2qT8JBMLbYyG6OeI1+wTfyu92Nca6+e2n2pepLF97oRinANumN7mBpLNCjKbqHLLl2X4wvrM1lktqMoyCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"034118e633e679361ce8a06a5528da737e6954bdf72b16259fe91f65ac507fb4","last_reissued_at":"2026-07-05T05:17:33.044682Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:17:33.044682Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2211.10675","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-05T05:17:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hw+lT/khVoZPR/ItH7hdWMWa8/US/KiQV5XtsAMXW4D8JUlw7YAaOl8Rhs6GU2x9rXJFH3yibGeBCnIHNrD8AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T13:23:40.897251Z"},"content_sha256":"71052ae8b6f2218b699801c2252666920e3cacdde21233470e79264ab462559b","schema_version":"1.0","event_id":"sha256:71052ae8b6f2218b699801c2252666920e3cacdde21233470e79264ab462559b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:ANARRZRT4Z4TMHHIUBVFKKG2ON","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","cs.SC","cs.SE"],"primary_cat":"cs.PL","authors_text":"Geoffrey W. Hamilton (Dublin City University, Ireland), Italy), Maurizio Proietti (IASI-CNR, Temesghen Kahsai (Amazon, USA)","submitted_at":"2022-11-19T11:59:45Z","abstract_excerpt":"These proceedings include selected papers presented at the 9th Workshop on  Horn Clauses for Verification and Synthesis and the Tenth International Workshop on Verification and Program Transformation, both affiliated with ETAPS 2022.\n  Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses.\n  The HCVS series of workshops aims to bring together researchers working in the communities of Constraint/Logic Programming (e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.10675","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/2211.10675/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-05T05:17:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v0sLeEUpbiVCgYJsj5RaPRXEGpuI/vLJoqVePNvDI6g+PjiFot1M887mj3ft9wObUnuxir7whMc5AGve3ppYAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T13:23:40.897787Z"},"content_sha256":"161c5700d93f46c30b69cc203ae39bd2c3a6a70c4bcc503b067e80d4ecec33dd","schema_version":"1.0","event_id":"sha256:161c5700d93f46c30b69cc203ae39bd2c3a6a70c4bcc503b067e80d4ecec33dd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ANARRZRT4Z4TMHHIUBVFKKG2ON/bundle.json","state_url":"https://pith.science/pith/ANARRZRT4Z4TMHHIUBVFKKG2ON/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ANARRZRT4Z4TMHHIUBVFKKG2ON/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-06T13:23:40Z","links":{"resolver":"https://pith.science/pith/ANARRZRT4Z4TMHHIUBVFKKG2ON","bundle":"https://pith.science/pith/ANARRZRT4Z4TMHHIUBVFKKG2ON/bundle.json","state":"https://pith.science/pith/ANARRZRT4Z4TMHHIUBVFKKG2ON/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ANARRZRT4Z4TMHHIUBVFKKG2ON/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:ANARRZRT4Z4TMHHIUBVFKKG2ON","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":"9a110ab68d9e938179fb7ed44333b3a946df5d25e913a5ad01f35b70994a233a","cross_cats_sorted":["cs.LO","cs.SC","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-11-19T11:59:45Z","title_canon_sha256":"8c5c64d9fb2f50b4b49df1490f9e3242b4c0ecf5b146997fc2ca02b4e48f9a09"},"schema_version":"1.0","source":{"id":"2211.10675","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.10675","created_at":"2026-07-05T05:17:33Z"},{"alias_kind":"arxiv_version","alias_value":"2211.10675v1","created_at":"2026-07-05T05:17:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.10675","created_at":"2026-07-05T05:17:33Z"},{"alias_kind":"pith_short_12","alias_value":"ANARRZRT4Z4T","created_at":"2026-07-05T05:17:33Z"},{"alias_kind":"pith_short_16","alias_value":"ANARRZRT4Z4TMHHI","created_at":"2026-07-05T05:17:33Z"},{"alias_kind":"pith_short_8","alias_value":"ANARRZRT","created_at":"2026-07-05T05:17:33Z"}],"graph_snapshots":[{"event_id":"sha256:161c5700d93f46c30b69cc203ae39bd2c3a6a70c4bcc503b067e80d4ecec33dd","target":"graph","created_at":"2026-07-05T05:17:33Z","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/2211.10675/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"These proceedings include selected papers presented at the 9th Workshop on  Horn Clauses for Verification and Synthesis and the Tenth International Workshop on Verification and Program Transformation, both affiliated with ETAPS 2022.\n  Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses.\n  The HCVS series of workshops aims to bring together researchers working in the communities of Constraint/Logic Programming (e","authors_text":"Geoffrey W. Hamilton (Dublin City University, Ireland), Italy), Maurizio Proietti (IASI-CNR, Temesghen Kahsai (Amazon, USA)","cross_cats":["cs.LO","cs.SC","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-11-19T11:59:45Z","title":"Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.10675","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:71052ae8b6f2218b699801c2252666920e3cacdde21233470e79264ab462559b","target":"record","created_at":"2026-07-05T05:17:33Z","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":"9a110ab68d9e938179fb7ed44333b3a946df5d25e913a5ad01f35b70994a233a","cross_cats_sorted":["cs.LO","cs.SC","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-11-19T11:59:45Z","title_canon_sha256":"8c5c64d9fb2f50b4b49df1490f9e3242b4c0ecf5b146997fc2ca02b4e48f9a09"},"schema_version":"1.0","source":{"id":"2211.10675","kind":"arxiv","version":1}},"canonical_sha256":"034118e633e679361ce8a06a5528da737e6954bdf72b16259fe91f65ac507fb4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"034118e633e679361ce8a06a5528da737e6954bdf72b16259fe91f65ac507fb4","first_computed_at":"2026-07-05T05:17:33.044682Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:17:33.044682Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0FJV2qT8JBMLbYyG6OeI1+wTfyu92Nca6+e2n2pepLF97oRinANumN7mBpLNCjKbqHLLl2X4wvrM1lktqMoyCA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:17:33.045076Z","signed_message":"canonical_sha256_bytes"},"source_id":"2211.10675","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:71052ae8b6f2218b699801c2252666920e3cacdde21233470e79264ab462559b","sha256:161c5700d93f46c30b69cc203ae39bd2c3a6a70c4bcc503b067e80d4ecec33dd"],"state_sha256":"f74d9cfd1cae7483a5c1ea1a053f7a4100be00cab2aaefb685cad423ae0dc53c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QoMhbHvaMZtNnWbsgWm0fFPPfVHppozvO2pKLo4CmsTTM5lLeSqB0U+GFbE1LAOVhzINYCuOTvSioUH2MxkPDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T13:23:40.903788Z","bundle_sha256":"6abaca982280bb0054e7756390f3effb9828dc9346b0ac9d31f060b7c3663134"}}