{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:Z5TAER474VNEPMKBABGZ5CH36W","short_pith_number":"pith:Z5TAER47","canonical_record":{"source":{"id":"2512.25065","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2025-12-31T18:58:19Z","cross_cats_sorted":["cs.AI","cs.DC"],"title_canon_sha256":"cb443d05fc721a987d5ff5c563b365886943e1b7149be6f08d46b08b050b0dd7","abstract_canon_sha256":"7d1f1a6235d472c5f575c0ed0d221246e537b69b1558a744cc941daa92fbbe9b"},"schema_version":"1.0"},"canonical_sha256":"cf6602479fe55a47b141004d9e88fbf582c5e0307188ef68b2216b5d2e89ff4f","source":{"kind":"arxiv","id":"2512.25065","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2512.25065","created_at":"2026-06-19T16:10:33Z"},{"alias_kind":"arxiv_version","alias_value":"2512.25065v2","created_at":"2026-06-19T16:10:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.25065","created_at":"2026-06-19T16:10:33Z"},{"alias_kind":"pith_short_12","alias_value":"Z5TAER474VNE","created_at":"2026-06-19T16:10:33Z"},{"alias_kind":"pith_short_16","alias_value":"Z5TAER474VNEPMKB","created_at":"2026-06-19T16:10:33Z"},{"alias_kind":"pith_short_8","alias_value":"Z5TAER47","created_at":"2026-06-19T16:10:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:Z5TAER474VNEPMKBABGZ5CH36W","target":"record","payload":{"canonical_record":{"source":{"id":"2512.25065","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2025-12-31T18:58:19Z","cross_cats_sorted":["cs.AI","cs.DC"],"title_canon_sha256":"cb443d05fc721a987d5ff5c563b365886943e1b7149be6f08d46b08b050b0dd7","abstract_canon_sha256":"7d1f1a6235d472c5f575c0ed0d221246e537b69b1558a744cc941daa92fbbe9b"},"schema_version":"1.0"},"canonical_sha256":"cf6602479fe55a47b141004d9e88fbf582c5e0307188ef68b2216b5d2e89ff4f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:10:33.862638Z","signature_b64":"MO31rgNTLSF87KlCysTK2Xld/LB1KICdLM3lxQQFP1jKHUa/r2g/RR7qX9qWwSDGHQilCVxQJqclB/n389VoAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cf6602479fe55a47b141004d9e88fbf582c5e0307188ef68b2216b5d2e89ff4f","last_reissued_at":"2026-06-19T16:10:33.862192Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:10:33.862192Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2512.25065","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-06-19T16:10:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DHQzIPWoqa5jxkkjAUYSdRLvuyi4q7fOJ3ckDxWtfxT510Pk5VCmVCxxn/G1ge+FVt4yCQIDbpWR5lghTuz9Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T07:49:37.509658Z"},"content_sha256":"8ba5ced6bdd35fc01fe8201054975a08549d249be6983b7e26f0d2246b95133f","schema_version":"1.0","event_id":"sha256:8ba5ced6bdd35fc01fe8201054975a08549d249be6983b7e26f0d2246b95133f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:Z5TAER474VNEPMKBABGZ5CH36W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.DC"],"primary_cat":"cs.OS","authors_text":"Aditya Akella, Daehyeok Kim, Divyanshu Saxena, Eric Hayden Campbell, Rohit Dwivedula, Sujay Yadalam","submitted_at":"2025-12-31T18:58:19Z","abstract_excerpt":"Systems resource management tasks rely primarily on hand-designed heuristics. However, growing hardware heterogeneity and workload diversity require heuristics specialized to particular deployment instances, making manual design expensive and difficult to scale. In this paper, we explore how to synthesize systems heuristics using LLMs. The main challenge is ensuring that generated heuristics execute safely, integrate correctly with the surrounding system, and still achieve strong performance. We propose Vulcan, a framework that identifies LLM-friendly interfaces that isolate core decision logi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.25065","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/2512.25065/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-06-19T16:10:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TyAsQ2Vc5OFBTs1rR+e4XxcjWZukbEt1c51DbjcUaaNEgj/LRfY5nEWNz9P8nQyzVK6jilNh0ZYj7GGnaG0CCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T07:49:37.510209Z"},"content_sha256":"c67e00a5f597cb7b9da5065bcbf64806bdbfd6589379dc760e737564cdc48008","schema_version":"1.0","event_id":"sha256:c67e00a5f597cb7b9da5065bcbf64806bdbfd6589379dc760e737564cdc48008"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z5TAER474VNEPMKBABGZ5CH36W/bundle.json","state_url":"https://pith.science/pith/Z5TAER474VNEPMKBABGZ5CH36W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z5TAER474VNEPMKBABGZ5CH36W/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-13T07:49:37Z","links":{"resolver":"https://pith.science/pith/Z5TAER474VNEPMKBABGZ5CH36W","bundle":"https://pith.science/pith/Z5TAER474VNEPMKBABGZ5CH36W/bundle.json","state":"https://pith.science/pith/Z5TAER474VNEPMKBABGZ5CH36W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z5TAER474VNEPMKBABGZ5CH36W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:Z5TAER474VNEPMKBABGZ5CH36W","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":"7d1f1a6235d472c5f575c0ed0d221246e537b69b1558a744cc941daa92fbbe9b","cross_cats_sorted":["cs.AI","cs.DC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2025-12-31T18:58:19Z","title_canon_sha256":"cb443d05fc721a987d5ff5c563b365886943e1b7149be6f08d46b08b050b0dd7"},"schema_version":"1.0","source":{"id":"2512.25065","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2512.25065","created_at":"2026-06-19T16:10:33Z"},{"alias_kind":"arxiv_version","alias_value":"2512.25065v2","created_at":"2026-06-19T16:10:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.25065","created_at":"2026-06-19T16:10:33Z"},{"alias_kind":"pith_short_12","alias_value":"Z5TAER474VNE","created_at":"2026-06-19T16:10:33Z"},{"alias_kind":"pith_short_16","alias_value":"Z5TAER474VNEPMKB","created_at":"2026-06-19T16:10:33Z"},{"alias_kind":"pith_short_8","alias_value":"Z5TAER47","created_at":"2026-06-19T16:10:33Z"}],"graph_snapshots":[{"event_id":"sha256:c67e00a5f597cb7b9da5065bcbf64806bdbfd6589379dc760e737564cdc48008","target":"graph","created_at":"2026-06-19T16:10:33Z","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/2512.25065/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Systems resource management tasks rely primarily on hand-designed heuristics. However, growing hardware heterogeneity and workload diversity require heuristics specialized to particular deployment instances, making manual design expensive and difficult to scale. In this paper, we explore how to synthesize systems heuristics using LLMs. The main challenge is ensuring that generated heuristics execute safely, integrate correctly with the surrounding system, and still achieve strong performance. We propose Vulcan, a framework that identifies LLM-friendly interfaces that isolate core decision logi","authors_text":"Aditya Akella, Daehyeok Kim, Divyanshu Saxena, Eric Hayden Campbell, Rohit Dwivedula, Sujay Yadalam","cross_cats":["cs.AI","cs.DC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2025-12-31T18:58:19Z","title":"Vulcan: Instance-specialized, Verifiable Systems Heuristics Through LLM-driven Search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.25065","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:8ba5ced6bdd35fc01fe8201054975a08549d249be6983b7e26f0d2246b95133f","target":"record","created_at":"2026-06-19T16:10:33Z","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":"7d1f1a6235d472c5f575c0ed0d221246e537b69b1558a744cc941daa92fbbe9b","cross_cats_sorted":["cs.AI","cs.DC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2025-12-31T18:58:19Z","title_canon_sha256":"cb443d05fc721a987d5ff5c563b365886943e1b7149be6f08d46b08b050b0dd7"},"schema_version":"1.0","source":{"id":"2512.25065","kind":"arxiv","version":2}},"canonical_sha256":"cf6602479fe55a47b141004d9e88fbf582c5e0307188ef68b2216b5d2e89ff4f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf6602479fe55a47b141004d9e88fbf582c5e0307188ef68b2216b5d2e89ff4f","first_computed_at":"2026-06-19T16:10:33.862192Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:10:33.862192Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MO31rgNTLSF87KlCysTK2Xld/LB1KICdLM3lxQQFP1jKHUa/r2g/RR7qX9qWwSDGHQilCVxQJqclB/n389VoAg==","signature_status":"signed_v1","signed_at":"2026-06-19T16:10:33.862638Z","signed_message":"canonical_sha256_bytes"},"source_id":"2512.25065","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ba5ced6bdd35fc01fe8201054975a08549d249be6983b7e26f0d2246b95133f","sha256:c67e00a5f597cb7b9da5065bcbf64806bdbfd6589379dc760e737564cdc48008"],"state_sha256":"c39c83e2b232fcc7c9cdd5317823865605b0ab7c438c1fdce0bf450641ed4627"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ViWgps8CVV2Ys6P27lAg4edAE1PUte7BsApTa5QfdOutTuxts0tdcihcYlSrbiGwNcoRsJo8yCjW/WzhkSD1CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T07:49:37.515486Z","bundle_sha256":"51c7b00ce080c5f1acb4a72b8ad9777415558271f4f679ce8ebc99d57cee2c8d"}}