{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ZNKDIOFYEXH735D3WRKMKLT5P6","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":"a5a48efb10aba1814eabb6446f10a1c820c727104d1ca9ac40c42689483edf57","cross_cats_sorted":["cs.CY","econ.TH"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2025-01-24T13:39:23Z","title_canon_sha256":"0cbdba795872f3b2b921b6a2a3dda7050e8deb17112ec5621e0c80e8686b1afa"},"schema_version":"1.0","source":{"id":"2501.14847","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.14847","created_at":"2026-07-05T10:38:41Z"},{"alias_kind":"arxiv_version","alias_value":"2501.14847v2","created_at":"2026-07-05T10:38:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.14847","created_at":"2026-07-05T10:38:41Z"},{"alias_kind":"pith_short_12","alias_value":"ZNKDIOFYEXH7","created_at":"2026-07-05T10:38:41Z"},{"alias_kind":"pith_short_16","alias_value":"ZNKDIOFYEXH735D3","created_at":"2026-07-05T10:38:41Z"},{"alias_kind":"pith_short_8","alias_value":"ZNKDIOFY","created_at":"2026-07-05T10:38:41Z"}],"graph_snapshots":[{"event_id":"sha256:6420f1be40e31e5eaa7804a56186a7797c67bf22e2acccae4fe1d33ee97f8073","target":"graph","created_at":"2026-07-05T10:38:41Z","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/2501.14847/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The single transferable vote (STV) is a system of preferential proportional voting employed in multi-seat elections. Each ballot cast by a voter is a (potentially partial) ranking over a set of candidates. The margin of victory, or simply 'margin', is the smallest number of ballots that need to be manipulated to alter the set of winners. Knowledge of the margin of an election gives greater insight into both how much time and money should be spent on auditing the election, and whether uncovered mistakes throw the election result into doubt -- requiring a costly repeat election -- or can be safe","authors_text":"Alexander Ek, Damjan Vukcevic, Michelle Blom, Peter J. Stuckey, Vanessa Teague","cross_cats":["cs.CY","econ.TH"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2025-01-24T13:39:23Z","title":"Efficient Lower Bounding of Single Transferable Vote Election Margins"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.14847","kind":"arxiv","version":2},"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:a0247fed0bfd5d73a44c0983d164f443feaf31d7f426fae1cce78cca49228ced","target":"record","created_at":"2026-07-05T10:38:41Z","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":"a5a48efb10aba1814eabb6446f10a1c820c727104d1ca9ac40c42689483edf57","cross_cats_sorted":["cs.CY","econ.TH"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2025-01-24T13:39:23Z","title_canon_sha256":"0cbdba795872f3b2b921b6a2a3dda7050e8deb17112ec5621e0c80e8686b1afa"},"schema_version":"1.0","source":{"id":"2501.14847","kind":"arxiv","version":2}},"canonical_sha256":"cb543438b825cffdf47bb454c52e7d7fbba2db162a316fb10f113e4b07a2e6ad","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cb543438b825cffdf47bb454c52e7d7fbba2db162a316fb10f113e4b07a2e6ad","first_computed_at":"2026-07-05T10:38:41.316940Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:38:41.316940Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Cnkft5Wq12+8s+S0J5Lr0wPy8//PK00S3TiIT2VKxowENNQqMbEiJ8KiQlemTUSztJOgHjd1DfYUtD/LQJQ7Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:38:41.317433Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.14847","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a0247fed0bfd5d73a44c0983d164f443feaf31d7f426fae1cce78cca49228ced","sha256:6420f1be40e31e5eaa7804a56186a7797c67bf22e2acccae4fe1d33ee97f8073"],"state_sha256":"e2dcbdce9fb77001ef03da9d6fe89fb6133b746eb9263e44acaef7cba2d2a1da"}