{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:SZXCQN5ELVIHOIX5PD2TUL7IFK","short_pith_number":"pith:SZXCQN5E","canonical_record":{"source":{"id":"2606.00131","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-28T20:43:55Z","cross_cats_sorted":["cs.AI","cs.LG","cs.PL"],"title_canon_sha256":"97ea71b01ea48c88021f1a8b7790929e525e16ad70aa156181667aecd484007a","abstract_canon_sha256":"f6ded324611ea1a8b2901b4f94a44e496ebc7542884a274811affd0bd2fee986"},"schema_version":"1.0"},"canonical_sha256":"966e2837a45d507722fd78f53a2fe82a93f701ebf698be35300470e18f68d1d7","source":{"kind":"arxiv","id":"2606.00131","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.00131","created_at":"2026-06-02T01:03:19Z"},{"alias_kind":"arxiv_version","alias_value":"2606.00131v1","created_at":"2026-06-02T01:03:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.00131","created_at":"2026-06-02T01:03:19Z"},{"alias_kind":"pith_short_12","alias_value":"SZXCQN5ELVIH","created_at":"2026-06-02T01:03:19Z"},{"alias_kind":"pith_short_16","alias_value":"SZXCQN5ELVIHOIX5","created_at":"2026-06-02T01:03:19Z"},{"alias_kind":"pith_short_8","alias_value":"SZXCQN5E","created_at":"2026-06-02T01:03:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:SZXCQN5ELVIHOIX5PD2TUL7IFK","target":"record","payload":{"canonical_record":{"source":{"id":"2606.00131","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-28T20:43:55Z","cross_cats_sorted":["cs.AI","cs.LG","cs.PL"],"title_canon_sha256":"97ea71b01ea48c88021f1a8b7790929e525e16ad70aa156181667aecd484007a","abstract_canon_sha256":"f6ded324611ea1a8b2901b4f94a44e496ebc7542884a274811affd0bd2fee986"},"schema_version":"1.0"},"canonical_sha256":"966e2837a45d507722fd78f53a2fe82a93f701ebf698be35300470e18f68d1d7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T01:03:19.208025Z","signature_b64":"ydksNsG3h2HdFNFbSJcZkCUbj5UhjIQNFHhtZRqKD9GCZi4SFKHwBbzmBf95AkKo0Gorr7m5cxhjq0ZcQfDTAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"966e2837a45d507722fd78f53a2fe82a93f701ebf698be35300470e18f68d1d7","last_reissued_at":"2026-06-02T01:03:19.207633Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T01:03:19.207633Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.00131","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-06-02T01:03:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PUdKEYor5aq7JfwbYvPZ4N+KDiXZiiaXNhxeR1NnTZfZ/egeKUr7LJfc7vLqBlP2U7cN9tKqyu5pl3qJaVnBAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T19:02:40.401395Z"},"content_sha256":"e41d87a29c441cceb0c268abdeb442a4bfbbe34fb2f6ed232b9114f438a0301b","schema_version":"1.0","event_id":"sha256:e41d87a29c441cceb0c268abdeb442a4bfbbe34fb2f6ed232b9114f438a0301b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:SZXCQN5ELVIHOIX5PD2TUL7IFK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.PL"],"primary_cat":"cs.SE","authors_text":"Aiden Grossman, Amir Yazdanbakhsh, Chaitanya Mamatha Ananda, Mircea Trofin, Rajiv Gupta, Sriraman Tallam, Xinliang David Li","submitted_at":"2026-05-28T20:43:55Z","abstract_excerpt":"Post-link optimizers (PLOs) such as Propeller and BOLT have demonstrated that precise, profile-guided code layout can extract significant performance gains from heavily optimized binaries. However, these systems are currently restricted to intraprocedural techniques, leaving the global potential of interprocedural layout largely untapped. Interprocedural code layout is historically difficult due to a combinatorially intractable search space and complex call-return semantics that are challenging to model. Consequently, the performance potential of fine-grained interprocedural layout remains unp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.00131","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/2606.00131/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-02T01:03:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iQOr24xgsqu8xssPlxlglH0GXwvlNZDBD1SzVrX70J6A9rh0czJ+0GeTqQaJHz8h4OFNn6bNrsL7obYJik94Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T19:02:40.401785Z"},"content_sha256":"21cfd4e8e728f15712db03148a72f6977bc9ed6d21cfcde78c20f3d1a897ee6c","schema_version":"1.0","event_id":"sha256:21cfd4e8e728f15712db03148a72f6977bc9ed6d21cfcde78c20f3d1a897ee6c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SZXCQN5ELVIHOIX5PD2TUL7IFK/bundle.json","state_url":"https://pith.science/pith/SZXCQN5ELVIHOIX5PD2TUL7IFK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SZXCQN5ELVIHOIX5PD2TUL7IFK/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-06-21T19:02:40Z","links":{"resolver":"https://pith.science/pith/SZXCQN5ELVIHOIX5PD2TUL7IFK","bundle":"https://pith.science/pith/SZXCQN5ELVIHOIX5PD2TUL7IFK/bundle.json","state":"https://pith.science/pith/SZXCQN5ELVIHOIX5PD2TUL7IFK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SZXCQN5ELVIHOIX5PD2TUL7IFK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:SZXCQN5ELVIHOIX5PD2TUL7IFK","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":"f6ded324611ea1a8b2901b4f94a44e496ebc7542884a274811affd0bd2fee986","cross_cats_sorted":["cs.AI","cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-28T20:43:55Z","title_canon_sha256":"97ea71b01ea48c88021f1a8b7790929e525e16ad70aa156181667aecd484007a"},"schema_version":"1.0","source":{"id":"2606.00131","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.00131","created_at":"2026-06-02T01:03:19Z"},{"alias_kind":"arxiv_version","alias_value":"2606.00131v1","created_at":"2026-06-02T01:03:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.00131","created_at":"2026-06-02T01:03:19Z"},{"alias_kind":"pith_short_12","alias_value":"SZXCQN5ELVIH","created_at":"2026-06-02T01:03:19Z"},{"alias_kind":"pith_short_16","alias_value":"SZXCQN5ELVIHOIX5","created_at":"2026-06-02T01:03:19Z"},{"alias_kind":"pith_short_8","alias_value":"SZXCQN5E","created_at":"2026-06-02T01:03:19Z"}],"graph_snapshots":[{"event_id":"sha256:21cfd4e8e728f15712db03148a72f6977bc9ed6d21cfcde78c20f3d1a897ee6c","target":"graph","created_at":"2026-06-02T01:03:19Z","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/2606.00131/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Post-link optimizers (PLOs) such as Propeller and BOLT have demonstrated that precise, profile-guided code layout can extract significant performance gains from heavily optimized binaries. However, these systems are currently restricted to intraprocedural techniques, leaving the global potential of interprocedural layout largely untapped. Interprocedural code layout is historically difficult due to a combinatorially intractable search space and complex call-return semantics that are challenging to model. Consequently, the performance potential of fine-grained interprocedural layout remains unp","authors_text":"Aiden Grossman, Amir Yazdanbakhsh, Chaitanya Mamatha Ananda, Mircea Trofin, Rajiv Gupta, Sriraman Tallam, Xinliang David Li","cross_cats":["cs.AI","cs.LG","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-28T20:43:55Z","title":"AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.00131","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:e41d87a29c441cceb0c268abdeb442a4bfbbe34fb2f6ed232b9114f438a0301b","target":"record","created_at":"2026-06-02T01:03:19Z","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":"f6ded324611ea1a8b2901b4f94a44e496ebc7542884a274811affd0bd2fee986","cross_cats_sorted":["cs.AI","cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-28T20:43:55Z","title_canon_sha256":"97ea71b01ea48c88021f1a8b7790929e525e16ad70aa156181667aecd484007a"},"schema_version":"1.0","source":{"id":"2606.00131","kind":"arxiv","version":1}},"canonical_sha256":"966e2837a45d507722fd78f53a2fe82a93f701ebf698be35300470e18f68d1d7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"966e2837a45d507722fd78f53a2fe82a93f701ebf698be35300470e18f68d1d7","first_computed_at":"2026-06-02T01:03:19.207633Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T01:03:19.207633Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ydksNsG3h2HdFNFbSJcZkCUbj5UhjIQNFHhtZRqKD9GCZi4SFKHwBbzmBf95AkKo0Gorr7m5cxhjq0ZcQfDTAA==","signature_status":"signed_v1","signed_at":"2026-06-02T01:03:19.208025Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.00131","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e41d87a29c441cceb0c268abdeb442a4bfbbe34fb2f6ed232b9114f438a0301b","sha256:21cfd4e8e728f15712db03148a72f6977bc9ed6d21cfcde78c20f3d1a897ee6c"],"state_sha256":"c983743449a75f907f1783cc6c153241aa89d404b771ec42437b284df9e181a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mEi0uQqjMst88CO2rRKuQ03rQKIBlNigEy+alJXx2p8HmXgjNBQ3HJEC9lHQhz1yiOM9ixvpbqzgw2fuWmG/CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T19:02:40.403895Z","bundle_sha256":"09ae1620c0ab52a931e2291ee03e6d167fd88488582bddd880683454bd683808"}}