{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:NMVGVG4RKOPO5UW3UCUQU6O76H","short_pith_number":"pith:NMVGVG4R","canonical_record":{"source":{"id":"1807.00137","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-30T08:00:49Z","cross_cats_sorted":[],"title_canon_sha256":"462b307b7bae10ccf4e947c604335e56dfcc878fa1123bdf9e70064e56b27c0b","abstract_canon_sha256":"4fb2a8e3a51c66e3cf2f7d3f4c66e12718279327f5901d965092f863440c4676"},"schema_version":"1.0"},"canonical_sha256":"6b2a6a9b91539eeed2dba0a90a79dff1df74bb30dcc732dd5f51e56348c94ae8","source":{"kind":"arxiv","id":"1807.00137","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.00137","created_at":"2026-05-18T00:10:21Z"},{"alias_kind":"arxiv_version","alias_value":"1807.00137v2","created_at":"2026-05-18T00:10:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.00137","created_at":"2026-05-18T00:10:21Z"},{"alias_kind":"pith_short_12","alias_value":"NMVGVG4RKOPO","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NMVGVG4RKOPO5UW3","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NMVGVG4R","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:NMVGVG4RKOPO5UW3UCUQU6O76H","target":"record","payload":{"canonical_record":{"source":{"id":"1807.00137","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-30T08:00:49Z","cross_cats_sorted":[],"title_canon_sha256":"462b307b7bae10ccf4e947c604335e56dfcc878fa1123bdf9e70064e56b27c0b","abstract_canon_sha256":"4fb2a8e3a51c66e3cf2f7d3f4c66e12718279327f5901d965092f863440c4676"},"schema_version":"1.0"},"canonical_sha256":"6b2a6a9b91539eeed2dba0a90a79dff1df74bb30dcc732dd5f51e56348c94ae8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:21.534087Z","signature_b64":"65SaIEco+MqCn51MxFLG1Vk0bVGKBOBSxnANzGfrxKwzm1NkfijuNLRl+FTGXK9kyOaV5GoukJy52hoUXXkbBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6b2a6a9b91539eeed2dba0a90a79dff1df74bb30dcc732dd5f51e56348c94ae8","last_reissued_at":"2026-05-18T00:10:21.533387Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:21.533387Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.00137","source_version":2,"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-18T00:10:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bYNGITx7xvSKetol8+g0DerY99ISHMgj1+26QsutDbipfQPlMeZsHisbq9kW/bHbz8UPlEQ06Eo/XNwJKfbQBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:45:19.478160Z"},"content_sha256":"e039845192371289748969916064ce3d26b8b14b6d0fe66ca906a0062bec347c","schema_version":"1.0","event_id":"sha256:e039845192371289748969916064ce3d26b8b14b6d0fe66ca906a0062bec347c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:NMVGVG4RKOPO5UW3UCUQU6O76H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Flexible recovery of uniqueness and immutability (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Elena Zucca, James Cone, Marco Servetto, Paola Giannini","submitted_at":"2018-06-30T08:00:49Z","abstract_excerpt":"We present an imperative object calculus where types are annotated with qualifiers for aliasing and mutation control. There are two key novelties with respect to similar proposals. First, the type system is very expressive. Notably, it adopts the \"recovery\" approach, that is, using the type context to justify strengthening types, greatly improving its power by permitting to recover uniqueness and immutability properties even in presence of other references. This is achieved by rules which restrict the use of such other references in the portion of code which is recovered. Second, execution is "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.00137","kind":"arxiv","version":2},"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-18T00:10:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xbbYvYyxYRDL4zx4rBvbRpaax7mjaIF+CiSEVLEaU4EEvWZadQgO7s047Ct+izXguBnuQWO/J0uKSVSH03sgDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:45:19.478538Z"},"content_sha256":"7d20ff14328f2985f276885c56ebaaa597849af45898719c4cda549d116e0032","schema_version":"1.0","event_id":"sha256:7d20ff14328f2985f276885c56ebaaa597849af45898719c4cda549d116e0032"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NMVGVG4RKOPO5UW3UCUQU6O76H/bundle.json","state_url":"https://pith.science/pith/NMVGVG4RKOPO5UW3UCUQU6O76H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NMVGVG4RKOPO5UW3UCUQU6O76H/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-23T23:45:19Z","links":{"resolver":"https://pith.science/pith/NMVGVG4RKOPO5UW3UCUQU6O76H","bundle":"https://pith.science/pith/NMVGVG4RKOPO5UW3UCUQU6O76H/bundle.json","state":"https://pith.science/pith/NMVGVG4RKOPO5UW3UCUQU6O76H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NMVGVG4RKOPO5UW3UCUQU6O76H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:NMVGVG4RKOPO5UW3UCUQU6O76H","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":"4fb2a8e3a51c66e3cf2f7d3f4c66e12718279327f5901d965092f863440c4676","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-30T08:00:49Z","title_canon_sha256":"462b307b7bae10ccf4e947c604335e56dfcc878fa1123bdf9e70064e56b27c0b"},"schema_version":"1.0","source":{"id":"1807.00137","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.00137","created_at":"2026-05-18T00:10:21Z"},{"alias_kind":"arxiv_version","alias_value":"1807.00137v2","created_at":"2026-05-18T00:10:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.00137","created_at":"2026-05-18T00:10:21Z"},{"alias_kind":"pith_short_12","alias_value":"NMVGVG4RKOPO","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NMVGVG4RKOPO5UW3","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NMVGVG4R","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:7d20ff14328f2985f276885c56ebaaa597849af45898719c4cda549d116e0032","target":"graph","created_at":"2026-05-18T00:10:21Z","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":"We present an imperative object calculus where types are annotated with qualifiers for aliasing and mutation control. There are two key novelties with respect to similar proposals. First, the type system is very expressive. Notably, it adopts the \"recovery\" approach, that is, using the type context to justify strengthening types, greatly improving its power by permitting to recover uniqueness and immutability properties even in presence of other references. This is achieved by rules which restrict the use of such other references in the portion of code which is recovered. Second, execution is ","authors_text":"Elena Zucca, James Cone, Marco Servetto, Paola Giannini","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-30T08:00:49Z","title":"Flexible recovery of uniqueness and immutability (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.00137","kind":"arxiv","version":2},"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:e039845192371289748969916064ce3d26b8b14b6d0fe66ca906a0062bec347c","target":"record","created_at":"2026-05-18T00:10:21Z","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":"4fb2a8e3a51c66e3cf2f7d3f4c66e12718279327f5901d965092f863440c4676","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-30T08:00:49Z","title_canon_sha256":"462b307b7bae10ccf4e947c604335e56dfcc878fa1123bdf9e70064e56b27c0b"},"schema_version":"1.0","source":{"id":"1807.00137","kind":"arxiv","version":2}},"canonical_sha256":"6b2a6a9b91539eeed2dba0a90a79dff1df74bb30dcc732dd5f51e56348c94ae8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b2a6a9b91539eeed2dba0a90a79dff1df74bb30dcc732dd5f51e56348c94ae8","first_computed_at":"2026-05-18T00:10:21.533387Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:21.533387Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"65SaIEco+MqCn51MxFLG1Vk0bVGKBOBSxnANzGfrxKwzm1NkfijuNLRl+FTGXK9kyOaV5GoukJy52hoUXXkbBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:21.534087Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.00137","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e039845192371289748969916064ce3d26b8b14b6d0fe66ca906a0062bec347c","sha256:7d20ff14328f2985f276885c56ebaaa597849af45898719c4cda549d116e0032"],"state_sha256":"aa4e52224b40f70f09f7d3b9672905b125bd565068f6c2c5ee7188abffaa2848"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gSP1OXRkoxTmc8enxUPE9J/SdCrRbGhIBD5XcJeOBWiXp3/csF8iubcEYOOGnXsBG4Lc8g7Cjg13V4ER/IDoCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T23:45:19.480800Z","bundle_sha256":"36fd15395b1b8a71dd83650211544f7d8ad8f6cca123748b7eae4964b183ea16"}}