{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:VAG3XZNAVDXYJCSIALKSKPHZSO","short_pith_number":"pith:VAG3XZNA","canonical_record":{"source":{"id":"1908.09681","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-08-26T13:40:51Z","cross_cats_sorted":[],"title_canon_sha256":"bc3e8289a556bffee294c4d5bfa061af5a564a5240611ab2d4f280ec824d4ade","abstract_canon_sha256":"0b4ebf1fd06028e241f67855fc9d1ab8dda0a0cc64de53451a40072b2adbdd54"},"schema_version":"1.0"},"canonical_sha256":"a80dbbe5a0a8ef848a4802d5253cf99380b473b50cd7df32d00bc34f6f00ed45","source":{"kind":"arxiv","id":"1908.09681","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.09681","created_at":"2026-07-05T01:13:23Z"},{"alias_kind":"arxiv_version","alias_value":"1908.09681v4","created_at":"2026-07-05T01:13:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.09681","created_at":"2026-07-05T01:13:23Z"},{"alias_kind":"pith_short_12","alias_value":"VAG3XZNAVDXY","created_at":"2026-07-05T01:13:23Z"},{"alias_kind":"pith_short_16","alias_value":"VAG3XZNAVDXYJCSI","created_at":"2026-07-05T01:13:23Z"},{"alias_kind":"pith_short_8","alias_value":"VAG3XZNA","created_at":"2026-07-05T01:13:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:VAG3XZNAVDXYJCSIALKSKPHZSO","target":"record","payload":{"canonical_record":{"source":{"id":"1908.09681","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-08-26T13:40:51Z","cross_cats_sorted":[],"title_canon_sha256":"bc3e8289a556bffee294c4d5bfa061af5a564a5240611ab2d4f280ec824d4ade","abstract_canon_sha256":"0b4ebf1fd06028e241f67855fc9d1ab8dda0a0cc64de53451a40072b2adbdd54"},"schema_version":"1.0"},"canonical_sha256":"a80dbbe5a0a8ef848a4802d5253cf99380b473b50cd7df32d00bc34f6f00ed45","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:13:23.481797Z","signature_b64":"ZICWIGe3YD5KhHtzZcBvaMIwXJNkKx7YWh4L6jsB7I+xa9Fdu67c9iOCxuVrzC43srvK+10O/fY9CPnG+hqxBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a80dbbe5a0a8ef848a4802d5253cf99380b473b50cd7df32d00bc34f6f00ed45","last_reissued_at":"2026-07-05T01:13:23.481310Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:13:23.481310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.09681","source_version":4,"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-05T01:13:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JQleqnpldRsvsynYTsrtk7LI0D+hynuiyZkUlzM4XtnI9F6SIgQKuWJe+jyn8CkG94TNEtunyfhDdT5/W6poBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T03:28:08.786183Z"},"content_sha256":"69c68af0c9dbb17ffcd196f0848b436cff1e119c71e3b9ad1db7115c58becadb","schema_version":"1.0","event_id":"sha256:69c68af0c9dbb17ffcd196f0848b436cff1e119c71e3b9ad1db7115c58becadb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:VAG3XZNAVDXYJCSIALKSKPHZSO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Kindly Bent to Free Us","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Gabriel Radanne, Hannes Saffrich, Peter Thiemann","submitted_at":"2019-08-26T13:40:51Z","abstract_excerpt":"Systems programming often requires the manipulation of resources like file handles, network connections, or dynamically allocated memory. Programmers need to follow certain protocols to handle these resources correctly. Violating these protocols causes bugs ranging from type mismatches over data races to use-after-free errors and memory leaks. These bugs often lead to security vulnerabilities.\n  While statically typed programming languages guarantee type soundness and memory safety by design, most of them do not address issues arising from improper handling of resources. An important step towa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.09681","kind":"arxiv","version":4},"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/1908.09681/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-05T01:13:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jL3MamU+G38k1EQ4RMbwo3Z8JGeMPd1POCMknATVewaPXTrm3s7akcLYdwEHqf/V8D01ygkB+N65uPBEd+meAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T03:28:08.786663Z"},"content_sha256":"b1052b04040cc90ee27e1c1488574c799e2e3456e9be1877b4a17730f671b6d0","schema_version":"1.0","event_id":"sha256:b1052b04040cc90ee27e1c1488574c799e2e3456e9be1877b4a17730f671b6d0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VAG3XZNAVDXYJCSIALKSKPHZSO/bundle.json","state_url":"https://pith.science/pith/VAG3XZNAVDXYJCSIALKSKPHZSO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VAG3XZNAVDXYJCSIALKSKPHZSO/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-21T03:28:08Z","links":{"resolver":"https://pith.science/pith/VAG3XZNAVDXYJCSIALKSKPHZSO","bundle":"https://pith.science/pith/VAG3XZNAVDXYJCSIALKSKPHZSO/bundle.json","state":"https://pith.science/pith/VAG3XZNAVDXYJCSIALKSKPHZSO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VAG3XZNAVDXYJCSIALKSKPHZSO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:VAG3XZNAVDXYJCSIALKSKPHZSO","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":"0b4ebf1fd06028e241f67855fc9d1ab8dda0a0cc64de53451a40072b2adbdd54","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-08-26T13:40:51Z","title_canon_sha256":"bc3e8289a556bffee294c4d5bfa061af5a564a5240611ab2d4f280ec824d4ade"},"schema_version":"1.0","source":{"id":"1908.09681","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.09681","created_at":"2026-07-05T01:13:23Z"},{"alias_kind":"arxiv_version","alias_value":"1908.09681v4","created_at":"2026-07-05T01:13:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.09681","created_at":"2026-07-05T01:13:23Z"},{"alias_kind":"pith_short_12","alias_value":"VAG3XZNAVDXY","created_at":"2026-07-05T01:13:23Z"},{"alias_kind":"pith_short_16","alias_value":"VAG3XZNAVDXYJCSI","created_at":"2026-07-05T01:13:23Z"},{"alias_kind":"pith_short_8","alias_value":"VAG3XZNA","created_at":"2026-07-05T01:13:23Z"}],"graph_snapshots":[{"event_id":"sha256:b1052b04040cc90ee27e1c1488574c799e2e3456e9be1877b4a17730f671b6d0","target":"graph","created_at":"2026-07-05T01:13: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/1908.09681/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Systems programming often requires the manipulation of resources like file handles, network connections, or dynamically allocated memory. Programmers need to follow certain protocols to handle these resources correctly. Violating these protocols causes bugs ranging from type mismatches over data races to use-after-free errors and memory leaks. These bugs often lead to security vulnerabilities.\n  While statically typed programming languages guarantee type soundness and memory safety by design, most of them do not address issues arising from improper handling of resources. An important step towa","authors_text":"Gabriel Radanne, Hannes Saffrich, Peter Thiemann","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-08-26T13:40:51Z","title":"Kindly Bent to Free Us"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.09681","kind":"arxiv","version":4},"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:69c68af0c9dbb17ffcd196f0848b436cff1e119c71e3b9ad1db7115c58becadb","target":"record","created_at":"2026-07-05T01:13: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":"0b4ebf1fd06028e241f67855fc9d1ab8dda0a0cc64de53451a40072b2adbdd54","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-08-26T13:40:51Z","title_canon_sha256":"bc3e8289a556bffee294c4d5bfa061af5a564a5240611ab2d4f280ec824d4ade"},"schema_version":"1.0","source":{"id":"1908.09681","kind":"arxiv","version":4}},"canonical_sha256":"a80dbbe5a0a8ef848a4802d5253cf99380b473b50cd7df32d00bc34f6f00ed45","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a80dbbe5a0a8ef848a4802d5253cf99380b473b50cd7df32d00bc34f6f00ed45","first_computed_at":"2026-07-05T01:13:23.481310Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:13:23.481310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZICWIGe3YD5KhHtzZcBvaMIwXJNkKx7YWh4L6jsB7I+xa9Fdu67c9iOCxuVrzC43srvK+10O/fY9CPnG+hqxBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:13:23.481797Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.09681","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:69c68af0c9dbb17ffcd196f0848b436cff1e119c71e3b9ad1db7115c58becadb","sha256:b1052b04040cc90ee27e1c1488574c799e2e3456e9be1877b4a17730f671b6d0"],"state_sha256":"fa2ed021c9d232e9d3f9d5ac5b61ab179b702b18bbbf49070023dcb3a5413676"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"luk9BCZYUayf70xsARYca4p+PkYjT52PY2ZpMWOeGZYG1nldWNZTKdhpvSMGIblbfvjbZ141eAq41dCBUVLiBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T03:28:08.790485Z","bundle_sha256":"fcedb9dfb877116a165a11dea5d1f066342a41c894e2702afdfeaa106772be55"}}