{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:MYZOTUQJJGBATALEKBWRTXGGXS","short_pith_number":"pith:MYZOTUQJ","canonical_record":{"source":{"id":"2606.26386","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-24T21:11:34Z","cross_cats_sorted":[],"title_canon_sha256":"03da5fb7cca5386f9c0a460a3c7c893cf67574f597d90f926c66416280507c7e","abstract_canon_sha256":"ab5cc39a3889b52dd47058a4affdef455d6c21d2e4da884c5372f5aa93421c57"},"schema_version":"1.0"},"canonical_sha256":"6632e9d2094982098164506d19dcc6bc88fa8e4f0256ec5dcf0d2a73ec66fb74","source":{"kind":"arxiv","id":"2606.26386","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.26386","created_at":"2026-06-26T00:15:38Z"},{"alias_kind":"arxiv_version","alias_value":"2606.26386v1","created_at":"2026-06-26T00:15:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26386","created_at":"2026-06-26T00:15:38Z"},{"alias_kind":"pith_short_12","alias_value":"MYZOTUQJJGBA","created_at":"2026-06-26T00:15:38Z"},{"alias_kind":"pith_short_16","alias_value":"MYZOTUQJJGBATALE","created_at":"2026-06-26T00:15:38Z"},{"alias_kind":"pith_short_8","alias_value":"MYZOTUQJ","created_at":"2026-06-26T00:15:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:MYZOTUQJJGBATALEKBWRTXGGXS","target":"record","payload":{"canonical_record":{"source":{"id":"2606.26386","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-24T21:11:34Z","cross_cats_sorted":[],"title_canon_sha256":"03da5fb7cca5386f9c0a460a3c7c893cf67574f597d90f926c66416280507c7e","abstract_canon_sha256":"ab5cc39a3889b52dd47058a4affdef455d6c21d2e4da884c5372f5aa93421c57"},"schema_version":"1.0"},"canonical_sha256":"6632e9d2094982098164506d19dcc6bc88fa8e4f0256ec5dcf0d2a73ec66fb74","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-26T00:15:38.946481Z","signature_b64":"5v5q5b3SypFp8DSjKe+I+AU+ndl02QQcmCGmsfPMN3KTENZmCjXXAuEYScB9iwCLNeRblbJxVjT/embEXZtLCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6632e9d2094982098164506d19dcc6bc88fa8e4f0256ec5dcf0d2a73ec66fb74","last_reissued_at":"2026-06-26T00:15:38.946021Z","signature_status":"signed_v1","first_computed_at":"2026-06-26T00:15:38.946021Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.26386","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-06-26T00:15:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ck15TgLf3HSZHl4E+5pl5LfERGRk/5oD9p80cVd2t0XePC++VI7GMcxM4Oi4Sec1gJ0pjIlx4qtbge3+cbynBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T02:26:27.443846Z"},"content_sha256":"9fa98dceab42a152ad8a4115415133310540e11521cbdeb204ea9cc51e16b3ae","schema_version":"1.0","event_id":"sha256:9fa98dceab42a152ad8a4115415133310540e11521cbdeb204ea9cc51e16b3ae"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:MYZOTUQJJGBATALEKBWRTXGGXS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Typestate Approach to Purpose-aware Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Anitha Gollamudi (1), Joan Montas (1), Matteo Cimini (1) ((1) University of Massachusetts Lowell), Samuel Dodson (1)","submitted_at":"2026-06-24T21:11:34Z","abstract_excerpt":"Real-world applications often require verification that sensitive data is being used for their intended purpose. However, existing literature offers limited results regarding compile-time guarantees in this domain. In this paper, we explore the use of typestate to reason about the purpose of data. In typestate, types have a state, which can transition to other states in the style of automata. In our approach, the state of the type of sensitive data is defined as the set of purposes for which the data can be used. This set can grow or shrink at runtime as purposes can be added or removed during"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26386","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/2606.26386/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-06-26T00:15:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gh19t7YnxWIlPIGcj/m5wfAc/COyoRhTqXLz2F4HNtsu4+GvoITX+9eepBjoXKFYLopwdFfMWWv9A/nbSVnjAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T02:26:27.444232Z"},"content_sha256":"a070af69d55dfbe9bf9e28fbe6b9a86ba6a70e14a7ee92d89424886c107c48d6","schema_version":"1.0","event_id":"sha256:a070af69d55dfbe9bf9e28fbe6b9a86ba6a70e14a7ee92d89424886c107c48d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MYZOTUQJJGBATALEKBWRTXGGXS/bundle.json","state_url":"https://pith.science/pith/MYZOTUQJJGBATALEKBWRTXGGXS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MYZOTUQJJGBATALEKBWRTXGGXS/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-28T02:26:27Z","links":{"resolver":"https://pith.science/pith/MYZOTUQJJGBATALEKBWRTXGGXS","bundle":"https://pith.science/pith/MYZOTUQJJGBATALEKBWRTXGGXS/bundle.json","state":"https://pith.science/pith/MYZOTUQJJGBATALEKBWRTXGGXS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MYZOTUQJJGBATALEKBWRTXGGXS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:MYZOTUQJJGBATALEKBWRTXGGXS","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":"ab5cc39a3889b52dd47058a4affdef455d6c21d2e4da884c5372f5aa93421c57","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-24T21:11:34Z","title_canon_sha256":"03da5fb7cca5386f9c0a460a3c7c893cf67574f597d90f926c66416280507c7e"},"schema_version":"1.0","source":{"id":"2606.26386","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.26386","created_at":"2026-06-26T00:15:38Z"},{"alias_kind":"arxiv_version","alias_value":"2606.26386v1","created_at":"2026-06-26T00:15:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26386","created_at":"2026-06-26T00:15:38Z"},{"alias_kind":"pith_short_12","alias_value":"MYZOTUQJJGBA","created_at":"2026-06-26T00:15:38Z"},{"alias_kind":"pith_short_16","alias_value":"MYZOTUQJJGBATALE","created_at":"2026-06-26T00:15:38Z"},{"alias_kind":"pith_short_8","alias_value":"MYZOTUQJ","created_at":"2026-06-26T00:15:38Z"}],"graph_snapshots":[{"event_id":"sha256:a070af69d55dfbe9bf9e28fbe6b9a86ba6a70e14a7ee92d89424886c107c48d6","target":"graph","created_at":"2026-06-26T00:15:38Z","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/2606.26386/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Real-world applications often require verification that sensitive data is being used for their intended purpose. However, existing literature offers limited results regarding compile-time guarantees in this domain. In this paper, we explore the use of typestate to reason about the purpose of data. In typestate, types have a state, which can transition to other states in the style of automata. In our approach, the state of the type of sensitive data is defined as the set of purposes for which the data can be used. This set can grow or shrink at runtime as purposes can be added or removed during","authors_text":"Anitha Gollamudi (1), Joan Montas (1), Matteo Cimini (1) ((1) University of Massachusetts Lowell), Samuel Dodson (1)","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-24T21:11:34Z","title":"A Typestate Approach to Purpose-aware Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26386","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:9fa98dceab42a152ad8a4115415133310540e11521cbdeb204ea9cc51e16b3ae","target":"record","created_at":"2026-06-26T00:15:38Z","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":"ab5cc39a3889b52dd47058a4affdef455d6c21d2e4da884c5372f5aa93421c57","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-24T21:11:34Z","title_canon_sha256":"03da5fb7cca5386f9c0a460a3c7c893cf67574f597d90f926c66416280507c7e"},"schema_version":"1.0","source":{"id":"2606.26386","kind":"arxiv","version":1}},"canonical_sha256":"6632e9d2094982098164506d19dcc6bc88fa8e4f0256ec5dcf0d2a73ec66fb74","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6632e9d2094982098164506d19dcc6bc88fa8e4f0256ec5dcf0d2a73ec66fb74","first_computed_at":"2026-06-26T00:15:38.946021Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-26T00:15:38.946021Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5v5q5b3SypFp8DSjKe+I+AU+ndl02QQcmCGmsfPMN3KTENZmCjXXAuEYScB9iwCLNeRblbJxVjT/embEXZtLCw==","signature_status":"signed_v1","signed_at":"2026-06-26T00:15:38.946481Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.26386","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9fa98dceab42a152ad8a4115415133310540e11521cbdeb204ea9cc51e16b3ae","sha256:a070af69d55dfbe9bf9e28fbe6b9a86ba6a70e14a7ee92d89424886c107c48d6"],"state_sha256":"1338a631c55de99825b4f44055a45436d5cece7fbc3a552cb447c88bc2e589a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oRJFlav30xkPvabPWmCadDRVgtpAQbRWZV9l8t19/feSLFFKB+FKiVUmdgZdHOiT2J5NA8J0TJeHFuGEa94gCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T02:26:27.446184Z","bundle_sha256":"01afebf9d051f1b68700bf21a6edfbd3104eeb1fc87a3c82512681cd688b8c22"}}