{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:IZ5B7TI3THIKZ6VVLJCDBTTLBY","short_pith_number":"pith:IZ5B7TI3","canonical_record":{"source":{"id":"2605.26591","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T06:23:07Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"391c0f3d7d06a12c15483830706d1bb2760a83c540ed73206a7b9d3b201be634","abstract_canon_sha256":"d04cd02226be55189f02b3812a12d4ff32fc77c834e14a716bb9db876413212c"},"schema_version":"1.0"},"canonical_sha256":"467a1fcd1b99d0acfab55a4430ce6b0e2e224aa7572ae9c24eb4009bac0db9c3","source":{"kind":"arxiv","id":"2605.26591","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.26591","created_at":"2026-05-27T01:06:01Z"},{"alias_kind":"arxiv_version","alias_value":"2605.26591v1","created_at":"2026-05-27T01:06:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.26591","created_at":"2026-05-27T01:06:01Z"},{"alias_kind":"pith_short_12","alias_value":"IZ5B7TI3THIK","created_at":"2026-05-27T01:06:01Z"},{"alias_kind":"pith_short_16","alias_value":"IZ5B7TI3THIKZ6VV","created_at":"2026-05-27T01:06:01Z"},{"alias_kind":"pith_short_8","alias_value":"IZ5B7TI3","created_at":"2026-05-27T01:06:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:IZ5B7TI3THIKZ6VVLJCDBTTLBY","target":"record","payload":{"canonical_record":{"source":{"id":"2605.26591","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T06:23:07Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"391c0f3d7d06a12c15483830706d1bb2760a83c540ed73206a7b9d3b201be634","abstract_canon_sha256":"d04cd02226be55189f02b3812a12d4ff32fc77c834e14a716bb9db876413212c"},"schema_version":"1.0"},"canonical_sha256":"467a1fcd1b99d0acfab55a4430ce6b0e2e224aa7572ae9c24eb4009bac0db9c3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-27T01:06:01.076276Z","signature_b64":"owY35Nl634K5iIRU4szmVZ7mpiDMwUiDThTdon/0Lm5pgone7E/+aanDyAS4iCkyZ0NeEIEpkuyayvePWswABA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"467a1fcd1b99d0acfab55a4430ce6b0e2e224aa7572ae9c24eb4009bac0db9c3","last_reissued_at":"2026-05-27T01:06:01.075277Z","signature_status":"signed_v1","first_computed_at":"2026-05-27T01:06:01.075277Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.26591","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-27T01:06:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5s2WrF8tJYpA3GKN6zpQnS2RJkFR19/8sMsXj0QZP0fCt6xe6gfI+p0PGhRWAzJ4Zy4wczsNXoTwDmFjGxwtAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T11:05:15.996421Z"},"content_sha256":"7243e6472af5cf19baaa2f052168e42cae3d256fd0ff068ef19cae59257d63c0","schema_version":"1.0","event_id":"sha256:7243e6472af5cf19baaa2f052168e42cae3d256fd0ff068ef19cae59257d63c0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:IZ5B7TI3THIKZ6VVLJCDBTTLBY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A proof-theoretic approach to abstract interpretation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Alessandra Palmigiano, Apostolos Tzimoulis, Caterina Urban, Vijay D'Silva","submitted_at":"2026-05-26T06:23:07Z","abstract_excerpt":"This paper develops a proof-theoretic framework for abstract interpretation by systematically associating logical systems with finite abstractions. Building on earlier work on the internal logics of abstractions, we propose a general procedure for generating a logic whose Lindenbaum-Tarski algebra is isomorphic to a given abstract lattice. The approach identifies logical connectives preserved by the concretization map and derives corresponding proof rules and axioms. The paper establishes soundness and completeness results under suitable conditions, extends the framework to Cartesian products "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.26591","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/2605.26591/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-05-27T01:06:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YiwnIgRg9mAHLsvPmLMQBTHiAhmwG8+mtkllK0NtMhOVVsJlPXNEc21GlM2VHbQDXcN3HC0iGFqmAIJ15TT/Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T11:05:15.996806Z"},"content_sha256":"ce143357284aa4ae9d3d1e1e366b88aa4c2991f59cdef806c4b2366b3acf5646","schema_version":"1.0","event_id":"sha256:ce143357284aa4ae9d3d1e1e366b88aa4c2991f59cdef806c4b2366b3acf5646"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IZ5B7TI3THIKZ6VVLJCDBTTLBY/bundle.json","state_url":"https://pith.science/pith/IZ5B7TI3THIKZ6VVLJCDBTTLBY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IZ5B7TI3THIKZ6VVLJCDBTTLBY/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-02T11:05:15Z","links":{"resolver":"https://pith.science/pith/IZ5B7TI3THIKZ6VVLJCDBTTLBY","bundle":"https://pith.science/pith/IZ5B7TI3THIKZ6VVLJCDBTTLBY/bundle.json","state":"https://pith.science/pith/IZ5B7TI3THIKZ6VVLJCDBTTLBY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IZ5B7TI3THIKZ6VVLJCDBTTLBY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IZ5B7TI3THIKZ6VVLJCDBTTLBY","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":"d04cd02226be55189f02b3812a12d4ff32fc77c834e14a716bb9db876413212c","cross_cats_sorted":["math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T06:23:07Z","title_canon_sha256":"391c0f3d7d06a12c15483830706d1bb2760a83c540ed73206a7b9d3b201be634"},"schema_version":"1.0","source":{"id":"2605.26591","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.26591","created_at":"2026-05-27T01:06:01Z"},{"alias_kind":"arxiv_version","alias_value":"2605.26591v1","created_at":"2026-05-27T01:06:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.26591","created_at":"2026-05-27T01:06:01Z"},{"alias_kind":"pith_short_12","alias_value":"IZ5B7TI3THIK","created_at":"2026-05-27T01:06:01Z"},{"alias_kind":"pith_short_16","alias_value":"IZ5B7TI3THIKZ6VV","created_at":"2026-05-27T01:06:01Z"},{"alias_kind":"pith_short_8","alias_value":"IZ5B7TI3","created_at":"2026-05-27T01:06:01Z"}],"graph_snapshots":[{"event_id":"sha256:ce143357284aa4ae9d3d1e1e366b88aa4c2991f59cdef806c4b2366b3acf5646","target":"graph","created_at":"2026-05-27T01:06:01Z","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/2605.26591/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper develops a proof-theoretic framework for abstract interpretation by systematically associating logical systems with finite abstractions. Building on earlier work on the internal logics of abstractions, we propose a general procedure for generating a logic whose Lindenbaum-Tarski algebra is isomorphic to a given abstract lattice. The approach identifies logical connectives preserved by the concretization map and derives corresponding proof rules and axioms. The paper establishes soundness and completeness results under suitable conditions, extends the framework to Cartesian products ","authors_text":"Alessandra Palmigiano, Apostolos Tzimoulis, Caterina Urban, Vijay D'Silva","cross_cats":["math.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T06:23:07Z","title":"A proof-theoretic approach to abstract interpretation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.26591","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:7243e6472af5cf19baaa2f052168e42cae3d256fd0ff068ef19cae59257d63c0","target":"record","created_at":"2026-05-27T01:06:01Z","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":"d04cd02226be55189f02b3812a12d4ff32fc77c834e14a716bb9db876413212c","cross_cats_sorted":["math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T06:23:07Z","title_canon_sha256":"391c0f3d7d06a12c15483830706d1bb2760a83c540ed73206a7b9d3b201be634"},"schema_version":"1.0","source":{"id":"2605.26591","kind":"arxiv","version":1}},"canonical_sha256":"467a1fcd1b99d0acfab55a4430ce6b0e2e224aa7572ae9c24eb4009bac0db9c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"467a1fcd1b99d0acfab55a4430ce6b0e2e224aa7572ae9c24eb4009bac0db9c3","first_computed_at":"2026-05-27T01:06:01.075277Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-27T01:06:01.075277Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"owY35Nl634K5iIRU4szmVZ7mpiDMwUiDThTdon/0Lm5pgone7E/+aanDyAS4iCkyZ0NeEIEpkuyayvePWswABA==","signature_status":"signed_v1","signed_at":"2026-05-27T01:06:01.076276Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.26591","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7243e6472af5cf19baaa2f052168e42cae3d256fd0ff068ef19cae59257d63c0","sha256:ce143357284aa4ae9d3d1e1e366b88aa4c2991f59cdef806c4b2366b3acf5646"],"state_sha256":"59a4af3b93b54cc43f0467a167f9b755d8a02e00ab5d7a19b97de87d257bac6e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WR1PbEMon7+MR8rAdPvBO5tqS3HUKegZIRWac4K3TkkBjH6whK3TbBYMGh6HNKZ6Vha9aWIp6Is4GpFlI+puCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T11:05:15.998908Z","bundle_sha256":"b662cc2801ae32b7f795999fc8b90f4e356b3f21fb870cfc0c33de2eebcb8fbe"}}