{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4HAT4WXYM7VTHXGEHXGD7LGPBG","short_pith_number":"pith:4HAT4WXY","canonical_record":{"source":{"id":"2404.13672","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-04-21T14:22:53Z","cross_cats_sorted":["cs.PL","cs.SC","cs.SE"],"title_canon_sha256":"c15be275e8ad919c5b032d432455381cee7c57a53f5a114c87f5e5ae72fb69c1","abstract_canon_sha256":"dd63e5cfc90633b2b808c7abc4c929d686aa5a1f5c0061216e31a664f81359e7"},"schema_version":"1.0"},"canonical_sha256":"e1c13e5af867eb33dcc43dcc3faccf09a753d22393b620c728376902544a95d2","source":{"kind":"arxiv","id":"2404.13672","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.13672","created_at":"2026-07-05T08:10:35Z"},{"alias_kind":"arxiv_version","alias_value":"2404.13672v1","created_at":"2026-07-05T08:10:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.13672","created_at":"2026-07-05T08:10:35Z"},{"alias_kind":"pith_short_12","alias_value":"4HAT4WXYM7VT","created_at":"2026-07-05T08:10:35Z"},{"alias_kind":"pith_short_16","alias_value":"4HAT4WXYM7VTHXGE","created_at":"2026-07-05T08:10:35Z"},{"alias_kind":"pith_short_8","alias_value":"4HAT4WXY","created_at":"2026-07-05T08:10:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4HAT4WXYM7VTHXGEHXGD7LGPBG","target":"record","payload":{"canonical_record":{"source":{"id":"2404.13672","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-04-21T14:22:53Z","cross_cats_sorted":["cs.PL","cs.SC","cs.SE"],"title_canon_sha256":"c15be275e8ad919c5b032d432455381cee7c57a53f5a114c87f5e5ae72fb69c1","abstract_canon_sha256":"dd63e5cfc90633b2b808c7abc4c929d686aa5a1f5c0061216e31a664f81359e7"},"schema_version":"1.0"},"canonical_sha256":"e1c13e5af867eb33dcc43dcc3faccf09a753d22393b620c728376902544a95d2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:10:35.673466Z","signature_b64":"kvPj0UastK0FRTXmZuK77q2t8/ee3NPaKrhW6kwU2uJ6oMtfmyZzzFp8Cl5TyV+n3u/DX9BKu/zqDogoHLjRDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e1c13e5af867eb33dcc43dcc3faccf09a753d22393b620c728376902544a95d2","last_reissued_at":"2026-07-05T08:10:35.672937Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:10:35.672937Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.13672","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-05T08:10:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hl1fJ+YWUAZZa9baKirx4BnAXRj0Ac2XVmxIeRCQx6i+y60RsbemY62U5Iser30Mi1VgEXG/+OdCK9mmSq8mCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T05:29:17.538297Z"},"content_sha256":"4a9cf581749ba9bb5522119d7aef4be7c130b03f22e579d89663fec27820c8f2","schema_version":"1.0","event_id":"sha256:4a9cf581749ba9bb5522119d7aef4be7c130b03f22e579d89663fec27820c8f2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4HAT4WXYM7VTHXGEHXGD7LGPBG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL","cs.SC","cs.SE"],"primary_cat":"cs.LO","authors_text":"Daniel Ventura (INF, David Monniaux (CNRS - Verimag), Johannes Kepler University Linz), Jos\\'e F. Morales (IMDEA), Temur Kutsia (RISC, Universidade Federal de Goi\\'as)","submitted_at":"2024-04-21T14:22:53Z","abstract_excerpt":"This volume contains\n  * The post-proceedings of the Eighteenth Logical and Semantic Frameworks with Applications (LSFA 2023). The meeting was held on July 1-2, 2023, organised by the Sapienza Universit\\`a di Roma, Italy. LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.\n  * The post-proceedings of the Tenth Workshop on Horn clauses for"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.13672","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/2404.13672/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-05T08:10:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rENzeHb/awMv2TlvL6BDUVswYsR2d5vDSAEljBBzk+qQ0D1zhB4VYK9drqI1g0MZdSOVnJlUlffaGK0x++LhDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T05:29:17.539149Z"},"content_sha256":"48754f022b19c177c7f35d2474b204f4a8c48f80b022ea7638b5d2c2cdeef126","schema_version":"1.0","event_id":"sha256:48754f022b19c177c7f35d2474b204f4a8c48f80b022ea7638b5d2c2cdeef126"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4HAT4WXYM7VTHXGEHXGD7LGPBG/bundle.json","state_url":"https://pith.science/pith/4HAT4WXYM7VTHXGEHXGD7LGPBG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4HAT4WXYM7VTHXGEHXGD7LGPBG/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-06T05:29:17Z","links":{"resolver":"https://pith.science/pith/4HAT4WXYM7VTHXGEHXGD7LGPBG","bundle":"https://pith.science/pith/4HAT4WXYM7VTHXGEHXGD7LGPBG/bundle.json","state":"https://pith.science/pith/4HAT4WXYM7VTHXGEHXGD7LGPBG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4HAT4WXYM7VTHXGEHXGD7LGPBG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4HAT4WXYM7VTHXGEHXGD7LGPBG","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":"dd63e5cfc90633b2b808c7abc4c929d686aa5a1f5c0061216e31a664f81359e7","cross_cats_sorted":["cs.PL","cs.SC","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-04-21T14:22:53Z","title_canon_sha256":"c15be275e8ad919c5b032d432455381cee7c57a53f5a114c87f5e5ae72fb69c1"},"schema_version":"1.0","source":{"id":"2404.13672","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.13672","created_at":"2026-07-05T08:10:35Z"},{"alias_kind":"arxiv_version","alias_value":"2404.13672v1","created_at":"2026-07-05T08:10:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.13672","created_at":"2026-07-05T08:10:35Z"},{"alias_kind":"pith_short_12","alias_value":"4HAT4WXYM7VT","created_at":"2026-07-05T08:10:35Z"},{"alias_kind":"pith_short_16","alias_value":"4HAT4WXYM7VTHXGE","created_at":"2026-07-05T08:10:35Z"},{"alias_kind":"pith_short_8","alias_value":"4HAT4WXY","created_at":"2026-07-05T08:10:35Z"}],"graph_snapshots":[{"event_id":"sha256:48754f022b19c177c7f35d2474b204f4a8c48f80b022ea7638b5d2c2cdeef126","target":"graph","created_at":"2026-07-05T08:10: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2404.13672/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This volume contains\n  * The post-proceedings of the Eighteenth Logical and Semantic Frameworks with Applications (LSFA 2023). The meeting was held on July 1-2, 2023, organised by the Sapienza Universit\\`a di Roma, Italy. LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.\n  * The post-proceedings of the Tenth Workshop on Horn clauses for","authors_text":"Daniel Ventura (INF, David Monniaux (CNRS - Verimag), Johannes Kepler University Linz), Jos\\'e F. Morales (IMDEA), Temur Kutsia (RISC, Universidade Federal de Goi\\'as)","cross_cats":["cs.PL","cs.SC","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-04-21T14:22:53Z","title":"Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.13672","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:4a9cf581749ba9bb5522119d7aef4be7c130b03f22e579d89663fec27820c8f2","target":"record","created_at":"2026-07-05T08:10: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":"dd63e5cfc90633b2b808c7abc4c929d686aa5a1f5c0061216e31a664f81359e7","cross_cats_sorted":["cs.PL","cs.SC","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-04-21T14:22:53Z","title_canon_sha256":"c15be275e8ad919c5b032d432455381cee7c57a53f5a114c87f5e5ae72fb69c1"},"schema_version":"1.0","source":{"id":"2404.13672","kind":"arxiv","version":1}},"canonical_sha256":"e1c13e5af867eb33dcc43dcc3faccf09a753d22393b620c728376902544a95d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e1c13e5af867eb33dcc43dcc3faccf09a753d22393b620c728376902544a95d2","first_computed_at":"2026-07-05T08:10:35.672937Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:10:35.672937Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kvPj0UastK0FRTXmZuK77q2t8/ee3NPaKrhW6kwU2uJ6oMtfmyZzzFp8Cl5TyV+n3u/DX9BKu/zqDogoHLjRDA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:10:35.673466Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.13672","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a9cf581749ba9bb5522119d7aef4be7c130b03f22e579d89663fec27820c8f2","sha256:48754f022b19c177c7f35d2474b204f4a8c48f80b022ea7638b5d2c2cdeef126"],"state_sha256":"f4a746de159dfc3c748648304f32d18adb01f75f44cfc7773c48a63cd3e5ac11"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UOcllHh4f6vMrJ7ad6a2kAHo35YvPyTOhYSc6slwPCCglp2OuCSamTPNxZmhR97vfdoZtCg030cJX3hDXBl9Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T05:29:17.545175Z","bundle_sha256":"5898972976ddf24cfe15070e379a9400ffe1f313f568e80b8f24511db6ae8ad7"}}