{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:JKANV6SJEO52TFHTISOZDQODLK","short_pith_number":"pith:JKANV6SJ","canonical_record":{"source":{"id":"2607.24504","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-27T14:36:56Z","cross_cats_sorted":[],"title_canon_sha256":"94cb135f4f91ebae941375760fe7da493839894c38e4551f4f0ee8fe9aa5a9b5","abstract_canon_sha256":"e89df890fb127e8d8ba460f0e1a057a781da4dcf37176b9e4fcbc6158f6a3611"},"schema_version":"1.0"},"canonical_sha256":"4a80dafa4923bba994f3449d91c1c35aa0b3b14e890b66fab7e90528fdeab052","source":{"kind":"arxiv","id":"2607.24504","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.24504","created_at":"2026-07-28T02:24:06Z"},{"alias_kind":"arxiv_version","alias_value":"2607.24504v1","created_at":"2026-07-28T02:24:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.24504","created_at":"2026-07-28T02:24:06Z"},{"alias_kind":"pith_short_12","alias_value":"JKANV6SJEO52","created_at":"2026-07-28T02:24:06Z"},{"alias_kind":"pith_short_16","alias_value":"JKANV6SJEO52TFHT","created_at":"2026-07-28T02:24:06Z"},{"alias_kind":"pith_short_8","alias_value":"JKANV6SJ","created_at":"2026-07-28T02:24:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:JKANV6SJEO52TFHTISOZDQODLK","target":"record","payload":{"canonical_record":{"source":{"id":"2607.24504","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-27T14:36:56Z","cross_cats_sorted":[],"title_canon_sha256":"94cb135f4f91ebae941375760fe7da493839894c38e4551f4f0ee8fe9aa5a9b5","abstract_canon_sha256":"e89df890fb127e8d8ba460f0e1a057a781da4dcf37176b9e4fcbc6158f6a3611"},"schema_version":"1.0"},"canonical_sha256":"4a80dafa4923bba994f3449d91c1c35aa0b3b14e890b66fab7e90528fdeab052","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-28T02:24:06.981403Z","signature_b64":"DfWK6PR6Sgpat74AmMnlX1k5AFtxmhfOSkYvfhkdLnRsILXTVXoqXMzET4V6SuKupmKJYrwzXciveGO0WBYGDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a80dafa4923bba994f3449d91c1c35aa0b3b14e890b66fab7e90528fdeab052","last_reissued_at":"2026-07-28T02:24:06.980582Z","signature_status":"signed_v1","first_computed_at":"2026-07-28T02:24:06.980582Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.24504","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-28T02:24:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pymGmhbkvJ4oDwDxqoMU8cZ6thNRJCElVh5e0iLCcQmpjvsBVGps56gPBkUAmHNYYoQUxg7p53fOQoLcGkR8Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T06:20:20.575233Z"},"content_sha256":"e17b575e715e55f4e390285168d6b23795bff58361329719397f3042001dd7fd","schema_version":"1.0","event_id":"sha256:e17b575e715e55f4e390285168d6b23795bff58361329719397f3042001dd7fd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:JKANV6SJEO52TFHTISOZDQODLK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Classifying Capabilities (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Cao Nguyen Pham (1), Martin Odersky (1) ((1) EPFL), Oliver Bra\\v{c}evac (1), Yaoyu Zhao (1), Yichen Xu (1)","submitted_at":"2026-07-27T14:36:56Z","abstract_excerpt":"Capture checking in Scala 3 enables lightweight and practical effect and resource tracking by recording capabilities in types. However, the system offers no way to reason about kinds of capabilities. Natural constraints such as \"retaining only the control-flow capabilities of this closure\" or \"excluding all thread-local capabilities from this argument\" become inexpressible. Both arise in the Scala 3 standard library: \"Try\" re-throws caught exceptions, so it retains only the control-flow capabilities of its body, and \"Future\" must not capture thread-local resources. The inability to state these"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.24504","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/2607.24504/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-28T02:24:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7+FcQ/jCkxJti5KSqvEVBvSipuhYjqcaANUxOxYDmvGJiCJYsXnk8TWUGfsa0FI8apBMyRgjJWTbRCdiC5VsDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T06:20:20.575745Z"},"content_sha256":"4d2b0342bb300b22bc0356b62eff6e6f14a1e1789f842c3f3e50222b745af0f3","schema_version":"1.0","event_id":"sha256:4d2b0342bb300b22bc0356b62eff6e6f14a1e1789f842c3f3e50222b745af0f3"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:JKANV6SJEO52TFHTISOZDQODLK","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.5075/epfl-thesis-5935) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Lukas Rytz. 2014.A Practical Effect System for Scala. Ph.D. Dissertation. EPFL, Lausanne, Switzerland. doi:10.5075/ep fl-thesis-5935 (cit. on p. 25). 28 Cao Nguyen Pham, Oliver Bračevac, Yichen Xu, Yaoyu Zhao, and Martin Odersky","arxiv_id":"2607.24504","detector":"doi_compliance","evidence":{"ref_index":40,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.5075/ep","reconstructed_doi":"10.5075/epfl-thesis-5935"},"severity":"advisory","ref_index":40,"audited_at":"2026-07-31T13:11:54.108643Z","event_type":"pith.integrity.v1","detected_doi":"10.5075/epfl-thesis-5935","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"ca01a0fd98e92987ec6ebf9c42e1e3f1271a5045c0a2f34598fdd7a98bf86d03","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":14397,"payload_sha256":"fa0ed6e8948d7c11eb31ecfa9f75d2e0f164dec4b5eef8add1e63d6c790e3e80","signature_b64":"nS9O8dqPhiOW22aiRHePQU3QwICwVQpYQuUw2uylNcHMw8rKONfbuOodEUPqRx/hvBB0IUnJi4WQbZ88uWjfDA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-31T13:16:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"STH05ZbuWJbkJyuJ52kCQvTGwdPmjQp0Iim3f0n458sT3UKnw849/B4Fk2tmHJ5pJD/XP5Sc/tmHEuNUL+fBCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T06:20:20.583488Z"},"content_sha256":"b4e8fe5e09fac95585631eb09cd40c3ec79e9e47f3e2d0d33e80143aa4cfca15","schema_version":"1.0","event_id":"sha256:b4e8fe5e09fac95585631eb09cd40c3ec79e9e47f3e2d0d33e80143aa4cfca15"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:JKANV6SJEO52TFHTISOZDQODLK","target":"integrity","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1080/00927879208824453 resolves to 'Difference semigroups'. A reader following the printed text alone cannot reach it.","snippet":"Boris M. Schein. 1992. Difference semigroups.Communications in Algebra, 20, 8, 2153–2169. doi:10.1080/00927879208 824453 (cit. on p. 10)","arxiv_id":"2607.24504","detector":"doi_compliance","evidence":{"ref_index":48,"verdict_class":"incontrovertible","resolved_title":"Difference semigroups","printed_excerpt":"10.1080/00927879208","reconstructed_doi":"10.1080/00927879208824453"},"severity":"advisory","ref_index":48,"audited_at":"2026-07-31T13:11:54.108643Z","event_type":"pith.integrity.v1","detected_doi":"10.1080/00927879208824453","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"fcb5dbe6d481b289412a2926678a23bb196d1a0bf9f90fb79278599e6ff46a7e","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"Difference semigroups","detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":14396,"payload_sha256":"bf07edf613932b44aee0a427017ca707adaf28415a60cb725ba9f247975c5810","signature_b64":"bflsIxp92NWD4pvUiGFMdMwhRAa3cDPqgTs+O088r4tTO6DumV+qWB779gtrLBFl5ZcP5KqHwbFyj6DnLU+EDw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-31T13:16:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a4/I/ICE4iQx0hwiKNA2WdiTwLOH5c6mYzufvIPmmqQ0ORyRHEPVGj1Ju6WPQ7x+8wdGAxUMMUpVllqQeIX2Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T06:20:20.584239Z"},"content_sha256":"ca8b695a0d7570122b3735cf4e4320546bfba2664cb7e20af40bd8306a2ee50c","schema_version":"1.0","event_id":"sha256:ca8b695a0d7570122b3735cf4e4320546bfba2664cb7e20af40bd8306a2ee50c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JKANV6SJEO52TFHTISOZDQODLK/bundle.json","state_url":"https://pith.science/pith/JKANV6SJEO52TFHTISOZDQODLK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JKANV6SJEO52TFHTISOZDQODLK/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-08T06:20:20Z","links":{"resolver":"https://pith.science/pith/JKANV6SJEO52TFHTISOZDQODLK","bundle":"https://pith.science/pith/JKANV6SJEO52TFHTISOZDQODLK/bundle.json","state":"https://pith.science/pith/JKANV6SJEO52TFHTISOZDQODLK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JKANV6SJEO52TFHTISOZDQODLK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JKANV6SJEO52TFHTISOZDQODLK","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e89df890fb127e8d8ba460f0e1a057a781da4dcf37176b9e4fcbc6158f6a3611","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-27T14:36:56Z","title_canon_sha256":"94cb135f4f91ebae941375760fe7da493839894c38e4551f4f0ee8fe9aa5a9b5"},"schema_version":"1.0","source":{"id":"2607.24504","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.24504","created_at":"2026-07-28T02:24:06Z"},{"alias_kind":"arxiv_version","alias_value":"2607.24504v1","created_at":"2026-07-28T02:24:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.24504","created_at":"2026-07-28T02:24:06Z"},{"alias_kind":"pith_short_12","alias_value":"JKANV6SJEO52","created_at":"2026-07-28T02:24:06Z"},{"alias_kind":"pith_short_16","alias_value":"JKANV6SJEO52TFHT","created_at":"2026-07-28T02:24:06Z"},{"alias_kind":"pith_short_8","alias_value":"JKANV6SJ","created_at":"2026-07-28T02:24:06Z"}],"graph_snapshots":[{"event_id":"sha256:4d2b0342bb300b22bc0356b62eff6e6f14a1e1789f842c3f3e50222b745af0f3","target":"graph","created_at":"2026-07-28T02:24:06Z","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/2607.24504/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Capture checking in Scala 3 enables lightweight and practical effect and resource tracking by recording capabilities in types. However, the system offers no way to reason about kinds of capabilities. Natural constraints such as \"retaining only the control-flow capabilities of this closure\" or \"excluding all thread-local capabilities from this argument\" become inexpressible. Both arise in the Scala 3 standard library: \"Try\" re-throws caught exceptions, so it retains only the control-flow capabilities of its body, and \"Future\" must not capture thread-local resources. The inability to state these","authors_text":"Cao Nguyen Pham (1), Martin Odersky (1) ((1) EPFL), Oliver Bra\\v{c}evac (1), Yaoyu Zhao (1), Yichen Xu (1)","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-27T14:36:56Z","title":"Classifying Capabilities (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.24504","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:e17b575e715e55f4e390285168d6b23795bff58361329719397f3042001dd7fd","target":"record","created_at":"2026-07-28T02:24:06Z","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":"e89df890fb127e8d8ba460f0e1a057a781da4dcf37176b9e4fcbc6158f6a3611","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-27T14:36:56Z","title_canon_sha256":"94cb135f4f91ebae941375760fe7da493839894c38e4551f4f0ee8fe9aa5a9b5"},"schema_version":"1.0","source":{"id":"2607.24504","kind":"arxiv","version":1}},"canonical_sha256":"4a80dafa4923bba994f3449d91c1c35aa0b3b14e890b66fab7e90528fdeab052","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4a80dafa4923bba994f3449d91c1c35aa0b3b14e890b66fab7e90528fdeab052","first_computed_at":"2026-07-28T02:24:06.980582Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-28T02:24:06.980582Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DfWK6PR6Sgpat74AmMnlX1k5AFtxmhfOSkYvfhkdLnRsILXTVXoqXMzET4V6SuKupmKJYrwzXciveGO0WBYGDQ==","signature_status":"signed_v1","signed_at":"2026-07-28T02:24:06.981403Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.24504","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:b4e8fe5e09fac95585631eb09cd40c3ec79e9e47f3e2d0d33e80143aa4cfca15","sha256:ca8b695a0d7570122b3735cf4e4320546bfba2664cb7e20af40bd8306a2ee50c"]}],"invalid_events":[],"applied_event_ids":["sha256:e17b575e715e55f4e390285168d6b23795bff58361329719397f3042001dd7fd","sha256:4d2b0342bb300b22bc0356b62eff6e6f14a1e1789f842c3f3e50222b745af0f3"],"state_sha256":"0f56c60b6e276a319238122af201836ff464c4f17b05f60ae0a3ae189208d6fe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V3DOqidXNTTud33GFKJOSis04yHe7QIxUz3/D55w/H3LAedViQ7l8hbSRy9DJYcyt+lB+64paXswSc+VvR2XBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T06:20:20.587718Z","bundle_sha256":"c6d5524619ef55605c3273147806b19fab119256a2f414c0576796220ee277fe"}}