{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:NSZP6LF7VGOQDSURWUCWCWC37O","short_pith_number":"pith:NSZP6LF7","canonical_record":{"source":{"id":"2605.20172","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-19T17:54:15Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"03ef56c65748773961215e88b00b9dce03b994b8b66b3f5f2d0f6816e96c6203","abstract_canon_sha256":"9cc35d329ca0fefcbbfeb5785775ed54ca58c20ace9affc8c1bfeb5aaeee8d83"},"schema_version":"1.0"},"canonical_sha256":"6cb2ff2cbfa99d01ca91b50561585bfbb4708763c9ca53c2ce67155270de9757","source":{"kind":"arxiv","id":"2605.20172","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.20172","created_at":"2026-05-20T02:06:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.20172v1","created_at":"2026-05-20T02:06:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.20172","created_at":"2026-05-20T02:06:06Z"},{"alias_kind":"pith_short_12","alias_value":"NSZP6LF7VGOQ","created_at":"2026-05-20T02:06:06Z"},{"alias_kind":"pith_short_16","alias_value":"NSZP6LF7VGOQDSUR","created_at":"2026-05-20T02:06:06Z"},{"alias_kind":"pith_short_8","alias_value":"NSZP6LF7","created_at":"2026-05-20T02:06:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:NSZP6LF7VGOQDSURWUCWCWC37O","target":"record","payload":{"canonical_record":{"source":{"id":"2605.20172","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-19T17:54:15Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"03ef56c65748773961215e88b00b9dce03b994b8b66b3f5f2d0f6816e96c6203","abstract_canon_sha256":"9cc35d329ca0fefcbbfeb5785775ed54ca58c20ace9affc8c1bfeb5aaeee8d83"},"schema_version":"1.0"},"canonical_sha256":"6cb2ff2cbfa99d01ca91b50561585bfbb4708763c9ca53c2ce67155270de9757","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T02:06:06.138825Z","signature_b64":"LP+FYW2woKjcqjO8OKmerEfS2ThrP45irT8ZAgSoVWHRNk/MT/xP2DXZdqViTB4LRHElpgfzNF2zTHdYI2WjAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6cb2ff2cbfa99d01ca91b50561585bfbb4708763c9ca53c2ce67155270de9757","last_reissued_at":"2026-05-20T02:06:06.138149Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T02:06:06.138149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.20172","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-20T02:06:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"55/6KsS30/6MArt5kOnOAizaUAIZQMtWbTx2fo3NhL8WKEsv0mn9l6tBOA8Y0aN4R0GZbZZNCHi5bJW55EV0CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:20:53.086458Z"},"content_sha256":"e2e44e77b5d97602f1295e347414768fefb565d7ded57efea2bc69ba2d2e2b7e","schema_version":"1.0","event_id":"sha256:e2e44e77b5d97602f1295e347414768fefb565d7ded57efea2bc69ba2d2e2b7e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:NSZP6LF7VGOQDSURWUCWCWC37O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Long-term Power Grid Planning via Answer Set Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Antonio Ielo, Francesco Doria, Francesco Percassi, Marco Maratea, Mauro Vallati, Sandra Castellanos-Paez","submitted_at":"2026-05-19T17:54:15Z","abstract_excerpt":"The Power grid is a critical infrastructure underpinning all aspects of modern society and its services. Maintaining its effectiveness requires continuous adaptations. In particular, addressing sustainability targets, demand patterns, and urbanisation trends requires implementing changes to the network. Actual developments can potentially span over a decade, with supply continuity and service quality that must be preserved throughout by ensuring conformance to several topological and combinatorial invariants. Long-term power grid planning deals with the above process, and although planning lan"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.20172","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.20172/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-20T02:06:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I9viCiBbMX8zhhcXwMVu6CEK0dtKOar84r9XlwV/zqAB2uVL2gMcoZjw1972uEG5s+ocqu/rJNQYhwDMLWPeDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:20:53.086885Z"},"content_sha256":"372126ef429d5d74f2d2a834525002cde25932a8297ba6a371ee563b15b40311","schema_version":"1.0","event_id":"sha256:372126ef429d5d74f2d2a834525002cde25932a8297ba6a371ee563b15b40311"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NSZP6LF7VGOQDSURWUCWCWC37O/bundle.json","state_url":"https://pith.science/pith/NSZP6LF7VGOQDSURWUCWCWC37O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NSZP6LF7VGOQDSURWUCWCWC37O/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-05-30T09:20:53Z","links":{"resolver":"https://pith.science/pith/NSZP6LF7VGOQDSURWUCWCWC37O","bundle":"https://pith.science/pith/NSZP6LF7VGOQDSURWUCWCWC37O/bundle.json","state":"https://pith.science/pith/NSZP6LF7VGOQDSURWUCWCWC37O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NSZP6LF7VGOQDSURWUCWCWC37O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NSZP6LF7VGOQDSURWUCWCWC37O","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":"9cc35d329ca0fefcbbfeb5785775ed54ca58c20ace9affc8c1bfeb5aaeee8d83","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-19T17:54:15Z","title_canon_sha256":"03ef56c65748773961215e88b00b9dce03b994b8b66b3f5f2d0f6816e96c6203"},"schema_version":"1.0","source":{"id":"2605.20172","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.20172","created_at":"2026-05-20T02:06:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.20172v1","created_at":"2026-05-20T02:06:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.20172","created_at":"2026-05-20T02:06:06Z"},{"alias_kind":"pith_short_12","alias_value":"NSZP6LF7VGOQ","created_at":"2026-05-20T02:06:06Z"},{"alias_kind":"pith_short_16","alias_value":"NSZP6LF7VGOQDSUR","created_at":"2026-05-20T02:06:06Z"},{"alias_kind":"pith_short_8","alias_value":"NSZP6LF7","created_at":"2026-05-20T02:06:06Z"}],"graph_snapshots":[{"event_id":"sha256:372126ef429d5d74f2d2a834525002cde25932a8297ba6a371ee563b15b40311","target":"graph","created_at":"2026-05-20T02:06:06Z","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.20172/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Power grid is a critical infrastructure underpinning all aspects of modern society and its services. Maintaining its effectiveness requires continuous adaptations. In particular, addressing sustainability targets, demand patterns, and urbanisation trends requires implementing changes to the network. Actual developments can potentially span over a decade, with supply continuity and service quality that must be preserved throughout by ensuring conformance to several topological and combinatorial invariants. Long-term power grid planning deals with the above process, and although planning lan","authors_text":"Antonio Ielo, Francesco Doria, Francesco Percassi, Marco Maratea, Mauro Vallati, Sandra Castellanos-Paez","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-19T17:54:15Z","title":"Long-term Power Grid Planning via Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.20172","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:e2e44e77b5d97602f1295e347414768fefb565d7ded57efea2bc69ba2d2e2b7e","target":"record","created_at":"2026-05-20T02:06:06Z","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":"9cc35d329ca0fefcbbfeb5785775ed54ca58c20ace9affc8c1bfeb5aaeee8d83","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-19T17:54:15Z","title_canon_sha256":"03ef56c65748773961215e88b00b9dce03b994b8b66b3f5f2d0f6816e96c6203"},"schema_version":"1.0","source":{"id":"2605.20172","kind":"arxiv","version":1}},"canonical_sha256":"6cb2ff2cbfa99d01ca91b50561585bfbb4708763c9ca53c2ce67155270de9757","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6cb2ff2cbfa99d01ca91b50561585bfbb4708763c9ca53c2ce67155270de9757","first_computed_at":"2026-05-20T02:06:06.138149Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T02:06:06.138149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LP+FYW2woKjcqjO8OKmerEfS2ThrP45irT8ZAgSoVWHRNk/MT/xP2DXZdqViTB4LRHElpgfzNF2zTHdYI2WjAA==","signature_status":"signed_v1","signed_at":"2026-05-20T02:06:06.138825Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.20172","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e2e44e77b5d97602f1295e347414768fefb565d7ded57efea2bc69ba2d2e2b7e","sha256:372126ef429d5d74f2d2a834525002cde25932a8297ba6a371ee563b15b40311"],"state_sha256":"1f39a2e18daaa6129d3657638f5ec67b5f9a92855eadfee8c0bf35141ec840fe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gx+XJZX3NXgbIJ+uyG4vx75OJOhffrTiVSv4HaWo7G/n6hciFVlZFblwuQrbB2m0fqjT3YksX1ul+487K65CBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T09:20:53.089345Z","bundle_sha256":"a7e373ab47b53509ddc3e52fb452570b14292880867e436b5b2f5b0fa01d5744"}}