{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:GX4LH55FS7AMWWAHPVIHFRZU23","short_pith_number":"pith:GX4LH55F","canonical_record":{"source":{"id":"1906.07223","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-06-17T18:59:33Z","cross_cats_sorted":[],"title_canon_sha256":"cd8e870718a0a38aca2c79d7d987c3f39f4f4f64fe2f180ea7171ee696cab84b","abstract_canon_sha256":"7bedd0eac12bb7915dabd0d150558677dd3bd773e4ce52425b9f8238c6b21543"},"schema_version":"1.0"},"canonical_sha256":"35f8b3f7a597c0cb58077d5072c734d6e81cb323fa3e1514e2ab49e140e78fb2","source":{"kind":"arxiv","id":"1906.07223","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.07223","created_at":"2026-05-17T23:42:41Z"},{"alias_kind":"arxiv_version","alias_value":"1906.07223v2","created_at":"2026-05-17T23:42:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.07223","created_at":"2026-05-17T23:42:41Z"},{"alias_kind":"pith_short_12","alias_value":"GX4LH55FS7AM","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"GX4LH55FS7AMWWAH","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"GX4LH55F","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:GX4LH55FS7AMWWAHPVIHFRZU23","target":"record","payload":{"canonical_record":{"source":{"id":"1906.07223","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-06-17T18:59:33Z","cross_cats_sorted":[],"title_canon_sha256":"cd8e870718a0a38aca2c79d7d987c3f39f4f4f64fe2f180ea7171ee696cab84b","abstract_canon_sha256":"7bedd0eac12bb7915dabd0d150558677dd3bd773e4ce52425b9f8238c6b21543"},"schema_version":"1.0"},"canonical_sha256":"35f8b3f7a597c0cb58077d5072c734d6e81cb323fa3e1514e2ab49e140e78fb2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:41.302097Z","signature_b64":"LeKSOB4ewV6ffgKPuqc4DdLszrfFNhmj2UemyrZXSHocHy/ne420TvirwbcZcMlMU3/FDdJo8iyalIxUP2e/CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"35f8b3f7a597c0cb58077d5072c734d6e81cb323fa3e1514e2ab49e140e78fb2","last_reissued_at":"2026-05-17T23:42:41.301418Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:41.301418Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.07223","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-17T23:42:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wUuPfmRFRXegh1nPcPVdpIiUU7zY5Bovm5qwWwk04WwR+wyjEhkFPh9yaC6KMPwOZL8sp5nJqfIqCBQKak3eDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T03:05:20.905594Z"},"content_sha256":"3424697acda2eff2b7e19dd36d9df89f5cf288f169fe67610a1d6be01c125b71","schema_version":"1.0","event_id":"sha256:3424697acda2eff2b7e19dd36d9df89f5cf288f169fe67610a1d6be01c125b71"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:GX4LH55FS7AMWWAHPVIHFRZU23","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Eric Campbell, Guido Salvaneschi, Matthias Eichholz, Mira Mezini, Nate Foster","submitted_at":"2019-06-17T18:59:33Z","abstract_excerpt":"The P4 programming language offers high-level, declarative abstractions that bring the flexibility of software to the domain of networking. Unfortunately, the main abstraction used to represent packet data in P4, namely header types, lacks basic safety guarantees. Over the last few years, experience with an increasing number of programs has shown the risks of the unsafe approach, which often leads to subtle software bugs.\n  This paper proposes SafeP4, a domain-specific language for programmable data planes in which all packet data is guaranteed to have a well-defined meaning and satisfy essent"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.07223","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-17T23:42:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Geba3myaPMjq0z/hIzRMCPyAX450xdBabjHeOYNQqp1eRt+7V6djyRBFBck3EjHtNCw+sBZhqe1NU8Fpekt+Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T03:05:20.906045Z"},"content_sha256":"ca864732c80573428898fa3f9bade9cbc92014266dada19c2345dc8a6b040091","schema_version":"1.0","event_id":"sha256:ca864732c80573428898fa3f9bade9cbc92014266dada19c2345dc8a6b040091"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GX4LH55FS7AMWWAHPVIHFRZU23/bundle.json","state_url":"https://pith.science/pith/GX4LH55FS7AMWWAHPVIHFRZU23/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GX4LH55FS7AMWWAHPVIHFRZU23/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-05-24T03:05:20Z","links":{"resolver":"https://pith.science/pith/GX4LH55FS7AMWWAHPVIHFRZU23","bundle":"https://pith.science/pith/GX4LH55FS7AMWWAHPVIHFRZU23/bundle.json","state":"https://pith.science/pith/GX4LH55FS7AMWWAHPVIHFRZU23/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GX4LH55FS7AMWWAHPVIHFRZU23/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:GX4LH55FS7AMWWAHPVIHFRZU23","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":"7bedd0eac12bb7915dabd0d150558677dd3bd773e4ce52425b9f8238c6b21543","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-06-17T18:59:33Z","title_canon_sha256":"cd8e870718a0a38aca2c79d7d987c3f39f4f4f64fe2f180ea7171ee696cab84b"},"schema_version":"1.0","source":{"id":"1906.07223","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.07223","created_at":"2026-05-17T23:42:41Z"},{"alias_kind":"arxiv_version","alias_value":"1906.07223v2","created_at":"2026-05-17T23:42:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.07223","created_at":"2026-05-17T23:42:41Z"},{"alias_kind":"pith_short_12","alias_value":"GX4LH55FS7AM","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"GX4LH55FS7AMWWAH","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"GX4LH55F","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:ca864732c80573428898fa3f9bade9cbc92014266dada19c2345dc8a6b040091","target":"graph","created_at":"2026-05-17T23:42:41Z","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":"The P4 programming language offers high-level, declarative abstractions that bring the flexibility of software to the domain of networking. Unfortunately, the main abstraction used to represent packet data in P4, namely header types, lacks basic safety guarantees. Over the last few years, experience with an increasing number of programs has shown the risks of the unsafe approach, which often leads to subtle software bugs.\n  This paper proposes SafeP4, a domain-specific language for programmable data planes in which all packet data is guaranteed to have a well-defined meaning and satisfy essent","authors_text":"Eric Campbell, Guido Salvaneschi, Matthias Eichholz, Mira Mezini, Nate Foster","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-06-17T18:59:33Z","title":"How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.07223","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:3424697acda2eff2b7e19dd36d9df89f5cf288f169fe67610a1d6be01c125b71","target":"record","created_at":"2026-05-17T23:42:41Z","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":"7bedd0eac12bb7915dabd0d150558677dd3bd773e4ce52425b9f8238c6b21543","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-06-17T18:59:33Z","title_canon_sha256":"cd8e870718a0a38aca2c79d7d987c3f39f4f4f64fe2f180ea7171ee696cab84b"},"schema_version":"1.0","source":{"id":"1906.07223","kind":"arxiv","version":2}},"canonical_sha256":"35f8b3f7a597c0cb58077d5072c734d6e81cb323fa3e1514e2ab49e140e78fb2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"35f8b3f7a597c0cb58077d5072c734d6e81cb323fa3e1514e2ab49e140e78fb2","first_computed_at":"2026-05-17T23:42:41.301418Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:41.301418Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LeKSOB4ewV6ffgKPuqc4DdLszrfFNhmj2UemyrZXSHocHy/ne420TvirwbcZcMlMU3/FDdJo8iyalIxUP2e/CA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:41.302097Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.07223","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3424697acda2eff2b7e19dd36d9df89f5cf288f169fe67610a1d6be01c125b71","sha256:ca864732c80573428898fa3f9bade9cbc92014266dada19c2345dc8a6b040091"],"state_sha256":"26095ef6138ecf7d221aa3ec9ad2539b67af081a6bbd831da61c02b3167533db"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qlstwvWmsDw/UIuQysb2gyCy1O7z7rVIwU6B/KDe3xxSajjGDb5fQ2Hl0J4QNuk1YgkTc2on6h9J1HiP2EVjDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T03:05:20.908815Z","bundle_sha256":"afc3039f2cac537667a3ce0e3ffccc6ad0d481a7c2103180dd10a2e72bec8112"}}