{"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"}