{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:HXKCUPF254RS7TLMYIN2LYWDYR","short_pith_number":"pith:HXKCUPF2","canonical_record":{"source":{"id":"2301.04205","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-01-10T20:46:20Z","cross_cats_sorted":[],"title_canon_sha256":"87e2954a4a409e4008b39f9de275c6e37750b6599d2b049cd9c7df358f4956f6","abstract_canon_sha256":"3c025449d4b54a5d561ce439bbf99a937522b26eced2b87def33b15fee2ffe5a"},"schema_version":"1.0"},"canonical_sha256":"3dd42a3cbaef232fcd6cc21ba5e2c3c4525c2b4b6ef8c512c41c9525f6c1d8ee","source":{"kind":"arxiv","id":"2301.04205","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.04205","created_at":"2026-07-05T07:49:59Z"},{"alias_kind":"arxiv_version","alias_value":"2301.04205v2","created_at":"2026-07-05T07:49:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.04205","created_at":"2026-07-05T07:49:59Z"},{"alias_kind":"pith_short_12","alias_value":"HXKCUPF254RS","created_at":"2026-07-05T07:49:59Z"},{"alias_kind":"pith_short_16","alias_value":"HXKCUPF254RS7TLM","created_at":"2026-07-05T07:49:59Z"},{"alias_kind":"pith_short_8","alias_value":"HXKCUPF2","created_at":"2026-07-05T07:49:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:HXKCUPF254RS7TLMYIN2LYWDYR","target":"record","payload":{"canonical_record":{"source":{"id":"2301.04205","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-01-10T20:46:20Z","cross_cats_sorted":[],"title_canon_sha256":"87e2954a4a409e4008b39f9de275c6e37750b6599d2b049cd9c7df358f4956f6","abstract_canon_sha256":"3c025449d4b54a5d561ce439bbf99a937522b26eced2b87def33b15fee2ffe5a"},"schema_version":"1.0"},"canonical_sha256":"3dd42a3cbaef232fcd6cc21ba5e2c3c4525c2b4b6ef8c512c41c9525f6c1d8ee","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:49:59.809329Z","signature_b64":"fFiVuiSauTVAZ7q1mnb1WK/NWAub7QS1jWpuB5VIool+LyfdyQV65RS39igqw7jksFbcW004hCEtsPnkrfeCAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3dd42a3cbaef232fcd6cc21ba5e2c3c4525c2b4b6ef8c512c41c9525f6c1d8ee","last_reissued_at":"2026-07-05T07:49:59.808894Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:49:59.808894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2301.04205","source_version":2,"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-05T07:49:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SEBluYBL/BCy02JgY6MdUtwobbBSIFok6rDGKhOpcOmkBYqll16EBtZ6zvTQrdlM0gXQllhqzZ/lr6EuU3aVBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T12:32:29.097843Z"},"content_sha256":"093932a056d3fa044b0fa791a618f99a575a431a142e3ad3a35729ba4622935c","schema_version":"1.0","event_id":"sha256:093932a056d3fa044b0fa791a618f99a575a431a142e3ad3a35729ba4622935c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:HXKCUPF254RS7TLMYIN2LYWDYR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Performance Verification Methodology for Resource Allocation Heuristics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Aditya Akella, Ahmed Saeed, Benjamin Mikek, Jehad Aly, Saksham Goel, Venkat Arun","submitted_at":"2023-01-10T20:46:20Z","abstract_excerpt":"Performance verification is a nascent but promising tool for understanding the performance and limitations of heuristics under realistic assumptions. Bespoke performance verification tools have already demonstrated their value in settings like congestion control and packet scheduling. In this paper, we aim to emphasize the broad applicability and utility of performance verification. To that end, we highlight the design principles of performance verification. Then, we leverage that understanding to develop a set of easy-to-follow guidelines that are applicable to a wide range of resource alloca"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.04205","kind":"arxiv","version":2},"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/2301.04205/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-05T07:49:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oQ2eQvEDoYh0e9h/wX9PDaIZBI3BhzPsJ4mXAMNs+djxRpSRwFlh94yGEU/9LlZuyriS2PoEiKxhARuKBBzYDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T12:32:29.098339Z"},"content_sha256":"c2f7f503202d2cc1aa28caa8cd0168f4cdea0399f7150f70cb101930a5f4a31d","schema_version":"1.0","event_id":"sha256:c2f7f503202d2cc1aa28caa8cd0168f4cdea0399f7150f70cb101930a5f4a31d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HXKCUPF254RS7TLMYIN2LYWDYR/bundle.json","state_url":"https://pith.science/pith/HXKCUPF254RS7TLMYIN2LYWDYR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HXKCUPF254RS7TLMYIN2LYWDYR/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-05T12:32:29Z","links":{"resolver":"https://pith.science/pith/HXKCUPF254RS7TLMYIN2LYWDYR","bundle":"https://pith.science/pith/HXKCUPF254RS7TLMYIN2LYWDYR/bundle.json","state":"https://pith.science/pith/HXKCUPF254RS7TLMYIN2LYWDYR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HXKCUPF254RS7TLMYIN2LYWDYR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:HXKCUPF254RS7TLMYIN2LYWDYR","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":"3c025449d4b54a5d561ce439bbf99a937522b26eced2b87def33b15fee2ffe5a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-01-10T20:46:20Z","title_canon_sha256":"87e2954a4a409e4008b39f9de275c6e37750b6599d2b049cd9c7df358f4956f6"},"schema_version":"1.0","source":{"id":"2301.04205","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.04205","created_at":"2026-07-05T07:49:59Z"},{"alias_kind":"arxiv_version","alias_value":"2301.04205v2","created_at":"2026-07-05T07:49:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.04205","created_at":"2026-07-05T07:49:59Z"},{"alias_kind":"pith_short_12","alias_value":"HXKCUPF254RS","created_at":"2026-07-05T07:49:59Z"},{"alias_kind":"pith_short_16","alias_value":"HXKCUPF254RS7TLM","created_at":"2026-07-05T07:49:59Z"},{"alias_kind":"pith_short_8","alias_value":"HXKCUPF2","created_at":"2026-07-05T07:49:59Z"}],"graph_snapshots":[{"event_id":"sha256:c2f7f503202d2cc1aa28caa8cd0168f4cdea0399f7150f70cb101930a5f4a31d","target":"graph","created_at":"2026-07-05T07:49:59Z","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/2301.04205/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Performance verification is a nascent but promising tool for understanding the performance and limitations of heuristics under realistic assumptions. Bespoke performance verification tools have already demonstrated their value in settings like congestion control and packet scheduling. In this paper, we aim to emphasize the broad applicability and utility of performance verification. To that end, we highlight the design principles of performance verification. Then, we leverage that understanding to develop a set of easy-to-follow guidelines that are applicable to a wide range of resource alloca","authors_text":"Aditya Akella, Ahmed Saeed, Benjamin Mikek, Jehad Aly, Saksham Goel, Venkat Arun","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-01-10T20:46:20Z","title":"A Performance Verification Methodology for Resource Allocation Heuristics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.04205","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:093932a056d3fa044b0fa791a618f99a575a431a142e3ad3a35729ba4622935c","target":"record","created_at":"2026-07-05T07:49:59Z","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":"3c025449d4b54a5d561ce439bbf99a937522b26eced2b87def33b15fee2ffe5a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-01-10T20:46:20Z","title_canon_sha256":"87e2954a4a409e4008b39f9de275c6e37750b6599d2b049cd9c7df358f4956f6"},"schema_version":"1.0","source":{"id":"2301.04205","kind":"arxiv","version":2}},"canonical_sha256":"3dd42a3cbaef232fcd6cc21ba5e2c3c4525c2b4b6ef8c512c41c9525f6c1d8ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3dd42a3cbaef232fcd6cc21ba5e2c3c4525c2b4b6ef8c512c41c9525f6c1d8ee","first_computed_at":"2026-07-05T07:49:59.808894Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:49:59.808894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fFiVuiSauTVAZ7q1mnb1WK/NWAub7QS1jWpuB5VIool+LyfdyQV65RS39igqw7jksFbcW004hCEtsPnkrfeCAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:49:59.809329Z","signed_message":"canonical_sha256_bytes"},"source_id":"2301.04205","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:093932a056d3fa044b0fa791a618f99a575a431a142e3ad3a35729ba4622935c","sha256:c2f7f503202d2cc1aa28caa8cd0168f4cdea0399f7150f70cb101930a5f4a31d"],"state_sha256":"0e0a8a2f3cc42465f7ab13af19b6f9634984ef8843d0c12d5433322cd8cc05c3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qse+6YlsAy69uyvFRP00eyftgq9A8zgJAhJA8Q7P0v9w4u7YlCkh0POeR8BFAB+MVy4WxXFbQoTEYhMoLXRNDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T12:32:29.102168Z","bundle_sha256":"470ec6dd814fa3efb1a8a8021172a231bf814283d1be8b1311cc050d86374e5c"}}