{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:QKQNAQCXN4HTXEPTWCQ4SKLM4E","short_pith_number":"pith:QKQNAQCX","canonical_record":{"source":{"id":"2506.12202","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-06-13T20:11:22Z","cross_cats_sorted":["cs.AI","cs.CR","cs.LG"],"title_canon_sha256":"df1ee9fa39588e805a02886f6f932ff1d84aae355b759ea91594b2a7a62d12c9","abstract_canon_sha256":"85c25df981cae216415c8db2786991a206753c8131188c3de101f82f12fb119a"},"schema_version":"1.0"},"canonical_sha256":"82a0d040576f0f3b91f3b0a1c9296ce1252cea131e41f4b49891e687578a7ba2","source":{"kind":"arxiv","id":"2506.12202","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.12202","created_at":"2026-07-05T11:21:23Z"},{"alias_kind":"arxiv_version","alias_value":"2506.12202v1","created_at":"2026-07-05T11:21:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.12202","created_at":"2026-07-05T11:21:23Z"},{"alias_kind":"pith_short_12","alias_value":"QKQNAQCXN4HT","created_at":"2026-07-05T11:21:23Z"},{"alias_kind":"pith_short_16","alias_value":"QKQNAQCXN4HTXEPT","created_at":"2026-07-05T11:21:23Z"},{"alias_kind":"pith_short_8","alias_value":"QKQNAQCX","created_at":"2026-07-05T11:21:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:QKQNAQCXN4HTXEPTWCQ4SKLM4E","target":"record","payload":{"canonical_record":{"source":{"id":"2506.12202","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-06-13T20:11:22Z","cross_cats_sorted":["cs.AI","cs.CR","cs.LG"],"title_canon_sha256":"df1ee9fa39588e805a02886f6f932ff1d84aae355b759ea91594b2a7a62d12c9","abstract_canon_sha256":"85c25df981cae216415c8db2786991a206753c8131188c3de101f82f12fb119a"},"schema_version":"1.0"},"canonical_sha256":"82a0d040576f0f3b91f3b0a1c9296ce1252cea131e41f4b49891e687578a7ba2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:21:23.202890Z","signature_b64":"dHTOquglO/9BY1UFFRk2DCbMGTBx1CWLyJYhDzNfi277HY25QOqxvH77Ii74tgV6nnH2qKxnXaWy4j0GxY7kDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"82a0d040576f0f3b91f3b0a1c9296ce1252cea131e41f4b49891e687578a7ba2","last_reissued_at":"2026-07-05T11:21:23.202402Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:21:23.202402Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.12202","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-07-05T11:21:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LbiRg/wbNcc+LRfahCx0KLy71RjU2uhGeafBaquaS4hEimpcgsRG2h4TybL2Ta+kQGejxzihA1yklWxyWD09Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T22:55:05.873593Z"},"content_sha256":"727fdfd0f90e1cbc2591b1f618397b01f44669ac27ebb05c6185573931673d37","schema_version":"1.0","event_id":"sha256:727fdfd0f90e1cbc2591b1f618397b01f44669ac27ebb05c6185573931673d37"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:QKQNAQCXN4HTXEPTWCQ4SKLM4E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CR","cs.LG"],"primary_cat":"cs.PL","authors_text":"Botong Zhang, David Mell, Nathan Yu, Osbert Bastani, Ramya Ramalingam, Shuo Li, Stephen Mell, Steve Zdancewic","submitted_at":"2025-06-13T20:11:22Z","abstract_excerpt":"Modern large language models (LLMs) are often deployed as agents, calling external tools adaptively to solve tasks. Rather than directly calling tools, it can be more effective for LLMs to write code to perform the tool calls, enabling them to automatically generate complex control flow such as conditionals and loops. Such code actions are typically provided as Python code, since LLMs are quite proficient at it; however, Python may not be the ideal language due to limited built-in support for performance, security, and reliability. We propose a novel programming language for code actions, call"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.12202","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/2506.12202/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-05T11:21:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"67V1Kgdinailc3zYWHm3TFbEWc4ITR+MDQdynnZO0cW2exK0YtQI1sPVymPppJTc1AXCJF9KlGT0F5APbmPAAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T22:55:05.874108Z"},"content_sha256":"5dd77a512e01a6ffd23fecc6de91e9bfd83cd5e8a458981d0129fb68d8c87f46","schema_version":"1.0","event_id":"sha256:5dd77a512e01a6ffd23fecc6de91e9bfd83cd5e8a458981d0129fb68d8c87f46"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QKQNAQCXN4HTXEPTWCQ4SKLM4E/bundle.json","state_url":"https://pith.science/pith/QKQNAQCXN4HTXEPTWCQ4SKLM4E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QKQNAQCXN4HTXEPTWCQ4SKLM4E/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-15T22:55:05Z","links":{"resolver":"https://pith.science/pith/QKQNAQCXN4HTXEPTWCQ4SKLM4E","bundle":"https://pith.science/pith/QKQNAQCXN4HTXEPTWCQ4SKLM4E/bundle.json","state":"https://pith.science/pith/QKQNAQCXN4HTXEPTWCQ4SKLM4E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QKQNAQCXN4HTXEPTWCQ4SKLM4E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QKQNAQCXN4HTXEPTWCQ4SKLM4E","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":"85c25df981cae216415c8db2786991a206753c8131188c3de101f82f12fb119a","cross_cats_sorted":["cs.AI","cs.CR","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-06-13T20:11:22Z","title_canon_sha256":"df1ee9fa39588e805a02886f6f932ff1d84aae355b759ea91594b2a7a62d12c9"},"schema_version":"1.0","source":{"id":"2506.12202","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.12202","created_at":"2026-07-05T11:21:23Z"},{"alias_kind":"arxiv_version","alias_value":"2506.12202v1","created_at":"2026-07-05T11:21:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.12202","created_at":"2026-07-05T11:21:23Z"},{"alias_kind":"pith_short_12","alias_value":"QKQNAQCXN4HT","created_at":"2026-07-05T11:21:23Z"},{"alias_kind":"pith_short_16","alias_value":"QKQNAQCXN4HTXEPT","created_at":"2026-07-05T11:21:23Z"},{"alias_kind":"pith_short_8","alias_value":"QKQNAQCX","created_at":"2026-07-05T11:21:23Z"}],"graph_snapshots":[{"event_id":"sha256:5dd77a512e01a6ffd23fecc6de91e9bfd83cd5e8a458981d0129fb68d8c87f46","target":"graph","created_at":"2026-07-05T11:21:23Z","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/2506.12202/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern large language models (LLMs) are often deployed as agents, calling external tools adaptively to solve tasks. Rather than directly calling tools, it can be more effective for LLMs to write code to perform the tool calls, enabling them to automatically generate complex control flow such as conditionals and loops. Such code actions are typically provided as Python code, since LLMs are quite proficient at it; however, Python may not be the ideal language due to limited built-in support for performance, security, and reliability. We propose a novel programming language for code actions, call","authors_text":"Botong Zhang, David Mell, Nathan Yu, Osbert Bastani, Ramya Ramalingam, Shuo Li, Stephen Mell, Steve Zdancewic","cross_cats":["cs.AI","cs.CR","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-06-13T20:11:22Z","title":"A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.12202","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:727fdfd0f90e1cbc2591b1f618397b01f44669ac27ebb05c6185573931673d37","target":"record","created_at":"2026-07-05T11:21:23Z","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":"85c25df981cae216415c8db2786991a206753c8131188c3de101f82f12fb119a","cross_cats_sorted":["cs.AI","cs.CR","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-06-13T20:11:22Z","title_canon_sha256":"df1ee9fa39588e805a02886f6f932ff1d84aae355b759ea91594b2a7a62d12c9"},"schema_version":"1.0","source":{"id":"2506.12202","kind":"arxiv","version":1}},"canonical_sha256":"82a0d040576f0f3b91f3b0a1c9296ce1252cea131e41f4b49891e687578a7ba2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"82a0d040576f0f3b91f3b0a1c9296ce1252cea131e41f4b49891e687578a7ba2","first_computed_at":"2026-07-05T11:21:23.202402Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:21:23.202402Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dHTOquglO/9BY1UFFRk2DCbMGTBx1CWLyJYhDzNfi277HY25QOqxvH77Ii74tgV6nnH2qKxnXaWy4j0GxY7kDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:21:23.202890Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.12202","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:727fdfd0f90e1cbc2591b1f618397b01f44669ac27ebb05c6185573931673d37","sha256:5dd77a512e01a6ffd23fecc6de91e9bfd83cd5e8a458981d0129fb68d8c87f46"],"state_sha256":"751e30fd3f7a7c7cbd9fb083f220d363aeb9c2a07f4c25967e810418fbd97435"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mh6nq2c4rC7e/ZVTLgvozpoJTibYwZQyvuCEFGn2NA70CTQ1LkhlttyIw6HupTBqecc16yKhElJ8+0VcKCcWAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T22:55:05.879240Z","bundle_sha256":"d2b9657f505b51c4c3cabde8ae6f53940a55a506b6adcb64d3906f1a401a118f"}}