{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:KAIXSIFGSSFSG37CYPRU7775FZ","short_pith_number":"pith:KAIXSIFG","canonical_record":{"source":{"id":"1306.1919","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-06-08T13:31:59Z","cross_cats_sorted":[],"title_canon_sha256":"1233e0bdf21a34f06476b392afc938c9ca5afa61a7364f99da9c94555ad3d2eb","abstract_canon_sha256":"75fec4591300154188d9e097d8aeed94e914239e7323ff147c42af3b465699ca"},"schema_version":"1.0"},"canonical_sha256":"50117920a6948b236fe2c3e34ffffd2e71be171795e0272ab95af96f753b504b","source":{"kind":"arxiv","id":"1306.1919","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.1919","created_at":"2026-05-18T03:21:22Z"},{"alias_kind":"arxiv_version","alias_value":"1306.1919v1","created_at":"2026-05-18T03:21:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.1919","created_at":"2026-05-18T03:21:22Z"},{"alias_kind":"pith_short_12","alias_value":"KAIXSIFGSSFS","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"KAIXSIFGSSFSG37C","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"KAIXSIFG","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:KAIXSIFGSSFSG37CYPRU7775FZ","target":"record","payload":{"canonical_record":{"source":{"id":"1306.1919","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-06-08T13:31:59Z","cross_cats_sorted":[],"title_canon_sha256":"1233e0bdf21a34f06476b392afc938c9ca5afa61a7364f99da9c94555ad3d2eb","abstract_canon_sha256":"75fec4591300154188d9e097d8aeed94e914239e7323ff147c42af3b465699ca"},"schema_version":"1.0"},"canonical_sha256":"50117920a6948b236fe2c3e34ffffd2e71be171795e0272ab95af96f753b504b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:21:22.873413Z","signature_b64":"ZCCmxzyg0SaXeW51gO6mktRK4mu0VEsEVyNZ6AZ5MEO/YCmdRFtQ0HLvjr04FQIOT1QSulztqKEXXWbXTzZxAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"50117920a6948b236fe2c3e34ffffd2e71be171795e0272ab95af96f753b504b","last_reissued_at":"2026-05-18T03:21:22.872688Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:21:22.872688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1306.1919","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-05-18T03:21:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5nkjzFAjQvBKcUCcvGZuq0Fmd3qb5NwcbxKFSD/NmMrZklbbuDn98NDe6zu6BwGfzEpfRTPADhhN8PYbDKezBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:49:56.779128Z"},"content_sha256":"6699504be50f6118b6b8eed6043f3cbb1a12dfad317e20828d55df0f27c86d96","schema_version":"1.0","event_id":"sha256:6699504be50f6118b6b8eed6043f3cbb1a12dfad317e20828d55df0f27c86d96"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:KAIXSIFGSSFSG37CYPRU7775FZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Practical Inlining of Functions with Free Variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"John Reppy, Lars Bergstrom, Matthew Fluet, Nora Sandler","submitted_at":"2013-06-08T13:31:59Z","abstract_excerpt":"A long-standing practical challenge in the optimization of higher-order languages is inlining functions with free variables. Inlining code statically at a function call site is safe if the compiler can guarantee that the free variables have the same bindings at the inlining point as they do at the point where the function is bound as a closure (code and free variables). There have been many attempts to create a heuristic to check this correctness condition, from Shivers' kCFA-based reflow analysis to Might's Delta-CFA and anodization, but all of those have performance unsuitable for practical "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.1919","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":""},"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-05-18T03:21:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zCpiu2BshUucumihu3zy6wfSDNuWv+/I5S0ZfAEkjftvgRm3QN5Y5Cgj2670ptxsbm6YYyn7MsA0po++iyf2CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:49:56.779537Z"},"content_sha256":"15d0259482908a4c507babf91a5114ad82b6c218ad946592aa4e9fa652ba1828","schema_version":"1.0","event_id":"sha256:15d0259482908a4c507babf91a5114ad82b6c218ad946592aa4e9fa652ba1828"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KAIXSIFGSSFSG37CYPRU7775FZ/bundle.json","state_url":"https://pith.science/pith/KAIXSIFGSSFSG37CYPRU7775FZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KAIXSIFGSSFSG37CYPRU7775FZ/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-05-26T21:49:56Z","links":{"resolver":"https://pith.science/pith/KAIXSIFGSSFSG37CYPRU7775FZ","bundle":"https://pith.science/pith/KAIXSIFGSSFSG37CYPRU7775FZ/bundle.json","state":"https://pith.science/pith/KAIXSIFGSSFSG37CYPRU7775FZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KAIXSIFGSSFSG37CYPRU7775FZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:KAIXSIFGSSFSG37CYPRU7775FZ","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":"75fec4591300154188d9e097d8aeed94e914239e7323ff147c42af3b465699ca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-06-08T13:31:59Z","title_canon_sha256":"1233e0bdf21a34f06476b392afc938c9ca5afa61a7364f99da9c94555ad3d2eb"},"schema_version":"1.0","source":{"id":"1306.1919","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.1919","created_at":"2026-05-18T03:21:22Z"},{"alias_kind":"arxiv_version","alias_value":"1306.1919v1","created_at":"2026-05-18T03:21:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.1919","created_at":"2026-05-18T03:21:22Z"},{"alias_kind":"pith_short_12","alias_value":"KAIXSIFGSSFS","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"KAIXSIFGSSFSG37C","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"KAIXSIFG","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:15d0259482908a4c507babf91a5114ad82b6c218ad946592aa4e9fa652ba1828","target":"graph","created_at":"2026-05-18T03:21:22Z","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"},"paper":{"abstract_excerpt":"A long-standing practical challenge in the optimization of higher-order languages is inlining functions with free variables. Inlining code statically at a function call site is safe if the compiler can guarantee that the free variables have the same bindings at the inlining point as they do at the point where the function is bound as a closure (code and free variables). There have been many attempts to create a heuristic to check this correctness condition, from Shivers' kCFA-based reflow analysis to Might's Delta-CFA and anodization, but all of those have performance unsuitable for practical ","authors_text":"John Reppy, Lars Bergstrom, Matthew Fluet, Nora Sandler","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-06-08T13:31:59Z","title":"Practical Inlining of Functions with Free Variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.1919","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:6699504be50f6118b6b8eed6043f3cbb1a12dfad317e20828d55df0f27c86d96","target":"record","created_at":"2026-05-18T03:21:22Z","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":"75fec4591300154188d9e097d8aeed94e914239e7323ff147c42af3b465699ca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-06-08T13:31:59Z","title_canon_sha256":"1233e0bdf21a34f06476b392afc938c9ca5afa61a7364f99da9c94555ad3d2eb"},"schema_version":"1.0","source":{"id":"1306.1919","kind":"arxiv","version":1}},"canonical_sha256":"50117920a6948b236fe2c3e34ffffd2e71be171795e0272ab95af96f753b504b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"50117920a6948b236fe2c3e34ffffd2e71be171795e0272ab95af96f753b504b","first_computed_at":"2026-05-18T03:21:22.872688Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:21:22.872688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZCCmxzyg0SaXeW51gO6mktRK4mu0VEsEVyNZ6AZ5MEO/YCmdRFtQ0HLvjr04FQIOT1QSulztqKEXXWbXTzZxAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:21:22.873413Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.1919","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6699504be50f6118b6b8eed6043f3cbb1a12dfad317e20828d55df0f27c86d96","sha256:15d0259482908a4c507babf91a5114ad82b6c218ad946592aa4e9fa652ba1828"],"state_sha256":"a348f2265c99593244b18499d1866f39eccd2ce058c7b7daebe507752fe422b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PM4t0td69WEMJxTc4m56GOdHDvMHx1xmggZbhxHbF+2ggZokTsD2tJAFR07Qod5EnoQQyTrxusVmG68oBKf1Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T21:49:56.782656Z","bundle_sha256":"763c91c756ea56337e0923046501a1c690848dcde2204c309b6d8e8f2eb82f9c"}}