{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:TXLDVK3RDUML7ZPSYWUTFAXGIF","short_pith_number":"pith:TXLDVK3R","canonical_record":{"source":{"id":"2509.07609","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-09-09T11:34:40Z","cross_cats_sorted":[],"title_canon_sha256":"94539b916c15ec74c8ffbba6c3c9718df35a0ca6eb1409754b07ec809341abe1","abstract_canon_sha256":"d76d87f1f6b340af242f098df5cb0a6ae5c67c1a7f6f29c4b7d3683edb5796a2"},"schema_version":"1.0"},"canonical_sha256":"9dd63aab711d18bfe5f2c5a93282e6415667956fa955915f6e4607c0119a6db3","source":{"kind":"arxiv","id":"2509.07609","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.07609","created_at":"2026-07-05T12:07:24Z"},{"alias_kind":"arxiv_version","alias_value":"2509.07609v1","created_at":"2026-07-05T12:07:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.07609","created_at":"2026-07-05T12:07:24Z"},{"alias_kind":"pith_short_12","alias_value":"TXLDVK3RDUML","created_at":"2026-07-05T12:07:24Z"},{"alias_kind":"pith_short_16","alias_value":"TXLDVK3RDUML7ZPS","created_at":"2026-07-05T12:07:24Z"},{"alias_kind":"pith_short_8","alias_value":"TXLDVK3R","created_at":"2026-07-05T12:07:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:TXLDVK3RDUML7ZPSYWUTFAXGIF","target":"record","payload":{"canonical_record":{"source":{"id":"2509.07609","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-09-09T11:34:40Z","cross_cats_sorted":[],"title_canon_sha256":"94539b916c15ec74c8ffbba6c3c9718df35a0ca6eb1409754b07ec809341abe1","abstract_canon_sha256":"d76d87f1f6b340af242f098df5cb0a6ae5c67c1a7f6f29c4b7d3683edb5796a2"},"schema_version":"1.0"},"canonical_sha256":"9dd63aab711d18bfe5f2c5a93282e6415667956fa955915f6e4607c0119a6db3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:07:24.561815Z","signature_b64":"MMMnZjRu9jtxNljh2V+8c6NBJTUM//61j0ZDKA1zGQVLMh9vzlNSstIQYOwmsz3zWgco+GHgGz60zsnsZWxZBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9dd63aab711d18bfe5f2c5a93282e6415667956fa955915f6e4607c0119a6db3","last_reissued_at":"2026-07-05T12:07:24.561341Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:07:24.561341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.07609","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-05T12:07:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tf1oNgyp4njncaw3W8XYXKafVFj0KAkdslp/IdeKkd9l3kXD6AiUBN35keg4FRbY55Vxei8Jv4Q8M9rmcQ48CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T23:49:12.029588Z"},"content_sha256":"a04bc595b4ed3d0bdc2755f3b84d6b74e430a3b4f48bf55e250b90ddbd1cef8c","schema_version":"1.0","event_id":"sha256:a04bc595b4ed3d0bdc2755f3b84d6b74e430a3b4f48bf55e250b90ddbd1cef8c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:TXLDVK3RDUML7ZPSYWUTFAXGIF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Cao Nguyen Pham, Martin Odersky, Oliver Bra\\v{c}evac, Yichen Xu","submitted_at":"2025-09-09T11:34:40Z","abstract_excerpt":"Capturing types in Scala unify static effect and resource tracking with object capabilities, enabling lightweight effect polymorphism with minimal notational overhead. However, their expressiveness has been insufficient for tracking capabilities embedded in generic data structures, preventing them from scaling to the standard collections library -- an essential prerequisite for broader adoption. This limitation stems from the inability to name capabilities within the system's notion of box types.\n  This paper develops System Capless, a new foundation for capturing types that provides the theor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.07609","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/2509.07609/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-05T12:07:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N4zzDntm/HlG8Ehe+qfxOJLRXarjIDR2lQFVBYYkkibWGuFw2i+D/zF4ZrX4F7S2Ky8l2+ZKCVFup+FiphKWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T23:49:12.030109Z"},"content_sha256":"66970c4ef8bebfa41985a786d8e383533dcf1d84deda4dda50b6f0ef56835984","schema_version":"1.0","event_id":"sha256:66970c4ef8bebfa41985a786d8e383533dcf1d84deda4dda50b6f0ef56835984"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TXLDVK3RDUML7ZPSYWUTFAXGIF/bundle.json","state_url":"https://pith.science/pith/TXLDVK3RDUML7ZPSYWUTFAXGIF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TXLDVK3RDUML7ZPSYWUTFAXGIF/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-07T23:49:12Z","links":{"resolver":"https://pith.science/pith/TXLDVK3RDUML7ZPSYWUTFAXGIF","bundle":"https://pith.science/pith/TXLDVK3RDUML7ZPSYWUTFAXGIF/bundle.json","state":"https://pith.science/pith/TXLDVK3RDUML7ZPSYWUTFAXGIF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TXLDVK3RDUML7ZPSYWUTFAXGIF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:TXLDVK3RDUML7ZPSYWUTFAXGIF","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":"d76d87f1f6b340af242f098df5cb0a6ae5c67c1a7f6f29c4b7d3683edb5796a2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-09-09T11:34:40Z","title_canon_sha256":"94539b916c15ec74c8ffbba6c3c9718df35a0ca6eb1409754b07ec809341abe1"},"schema_version":"1.0","source":{"id":"2509.07609","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.07609","created_at":"2026-07-05T12:07:24Z"},{"alias_kind":"arxiv_version","alias_value":"2509.07609v1","created_at":"2026-07-05T12:07:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.07609","created_at":"2026-07-05T12:07:24Z"},{"alias_kind":"pith_short_12","alias_value":"TXLDVK3RDUML","created_at":"2026-07-05T12:07:24Z"},{"alias_kind":"pith_short_16","alias_value":"TXLDVK3RDUML7ZPS","created_at":"2026-07-05T12:07:24Z"},{"alias_kind":"pith_short_8","alias_value":"TXLDVK3R","created_at":"2026-07-05T12:07:24Z"}],"graph_snapshots":[{"event_id":"sha256:66970c4ef8bebfa41985a786d8e383533dcf1d84deda4dda50b6f0ef56835984","target":"graph","created_at":"2026-07-05T12:07:24Z","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/2509.07609/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Capturing types in Scala unify static effect and resource tracking with object capabilities, enabling lightweight effect polymorphism with minimal notational overhead. However, their expressiveness has been insufficient for tracking capabilities embedded in generic data structures, preventing them from scaling to the standard collections library -- an essential prerequisite for broader adoption. This limitation stems from the inability to name capabilities within the system's notion of box types.\n  This paper develops System Capless, a new foundation for capturing types that provides the theor","authors_text":"Cao Nguyen Pham, Martin Odersky, Oliver Bra\\v{c}evac, Yichen Xu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-09-09T11:34:40Z","title":"What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.07609","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:a04bc595b4ed3d0bdc2755f3b84d6b74e430a3b4f48bf55e250b90ddbd1cef8c","target":"record","created_at":"2026-07-05T12:07:24Z","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":"d76d87f1f6b340af242f098df5cb0a6ae5c67c1a7f6f29c4b7d3683edb5796a2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-09-09T11:34:40Z","title_canon_sha256":"94539b916c15ec74c8ffbba6c3c9718df35a0ca6eb1409754b07ec809341abe1"},"schema_version":"1.0","source":{"id":"2509.07609","kind":"arxiv","version":1}},"canonical_sha256":"9dd63aab711d18bfe5f2c5a93282e6415667956fa955915f6e4607c0119a6db3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9dd63aab711d18bfe5f2c5a93282e6415667956fa955915f6e4607c0119a6db3","first_computed_at":"2026-07-05T12:07:24.561341Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:07:24.561341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MMMnZjRu9jtxNljh2V+8c6NBJTUM//61j0ZDKA1zGQVLMh9vzlNSstIQYOwmsz3zWgco+GHgGz60zsnsZWxZBg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:07:24.561815Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.07609","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a04bc595b4ed3d0bdc2755f3b84d6b74e430a3b4f48bf55e250b90ddbd1cef8c","sha256:66970c4ef8bebfa41985a786d8e383533dcf1d84deda4dda50b6f0ef56835984"],"state_sha256":"c87434aa80adfac7c0baa5c143a3ea1399233f7e803de4bee455f869a61203c6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"baGI0nvcHExxlnUGy97Xuz1gwLuANtbwq/Adjl2UpfgGOEJJEhW1OAshZfvn3G5J/0lV20Nd/lkdq32Wvb20Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T23:49:12.035177Z","bundle_sha256":"73a1f9238248d6148a4b9d12b0df8c4da36f37fb0f561f4b3908d2ac141ea8eb"}}