{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:7WIIVMXWQMBWADDVVABVYA2WZL","short_pith_number":"pith:7WIIVMXW","canonical_record":{"source":{"id":"2010.04801","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2020-10-09T20:57:05Z","cross_cats_sorted":[],"title_canon_sha256":"75564592136d9a690291919274a983618021ae01a68eaefdffc3b56a7e96623a","abstract_canon_sha256":"64dcd6ce238528013e08c15e1f3112649c10b492fd92e47c8c9413a6597577b6"},"schema_version":"1.0"},"canonical_sha256":"fd908ab2f68303600c75a8035c0356cad988a2d0034c1e9a05c2df12a419ef0a","source":{"kind":"arxiv","id":"2010.04801","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2010.04801","created_at":"2026-07-05T02:11:23Z"},{"alias_kind":"arxiv_version","alias_value":"2010.04801v2","created_at":"2026-07-05T02:11:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2010.04801","created_at":"2026-07-05T02:11:23Z"},{"alias_kind":"pith_short_12","alias_value":"7WIIVMXWQMBW","created_at":"2026-07-05T02:11:23Z"},{"alias_kind":"pith_short_16","alias_value":"7WIIVMXWQMBWADDV","created_at":"2026-07-05T02:11:23Z"},{"alias_kind":"pith_short_8","alias_value":"7WIIVMXW","created_at":"2026-07-05T02:11:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:7WIIVMXWQMBWADDVVABVYA2WZL","target":"record","payload":{"canonical_record":{"source":{"id":"2010.04801","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2020-10-09T20:57:05Z","cross_cats_sorted":[],"title_canon_sha256":"75564592136d9a690291919274a983618021ae01a68eaefdffc3b56a7e96623a","abstract_canon_sha256":"64dcd6ce238528013e08c15e1f3112649c10b492fd92e47c8c9413a6597577b6"},"schema_version":"1.0"},"canonical_sha256":"fd908ab2f68303600c75a8035c0356cad988a2d0034c1e9a05c2df12a419ef0a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:11:23.885098Z","signature_b64":"daE60ZlUfZ2xBRwINYIvbSR1heBUW7fT7Eh00eOobNWwolCHxh9qdXERnmRbS+hqpZ/OfUrr+vfAsJHJEfU5Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd908ab2f68303600c75a8035c0356cad988a2d0034c1e9a05c2df12a419ef0a","last_reissued_at":"2026-07-05T02:11:23.884753Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:11:23.884753Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2010.04801","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-07-05T02:11:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"biXsVHNdowiYkGkBsPjxhZ14ZvFKZa0QTE4wFK5AnVgVjiOVKNz+Ppg12wE1CstmgGhCw0NI0Ijrosq1QCwABA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:45:15.962838Z"},"content_sha256":"d5a454c46802dfd0f83259ce09f3f30f8609adfe2fdcbaaca068773dc8f14334","schema_version":"1.0","event_id":"sha256:d5a454c46802dfd0f83259ce09f3f30f8609adfe2fdcbaaca068773dc8f14334"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:7WIIVMXWQMBWADDVVABVYA2WZL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semi-Automated Protocol Disambiguation and Code Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Barath Raghavan, Jane Yen, Qinyuan Ye, Ramesh Govindan, Tam\\'as L\\'evai, Xiang Ren","submitted_at":"2020-10-09T20:57:05Z","abstract_excerpt":"For decades, Internet protocols have been specified using natural language. Given the ambiguity inherent in such text, it is not surprising that protocol implementations have long exhibited bugs. In this paper, we apply natural language processing (NLP) to effect semi-automated generation of protocol implementations from specification text. Our system, SAGE, can uncover ambiguous or under-specified sentences in specifications; once these are clarified by the spec author, SAGE can generate protocol code automatically. Using SAGE, we discover 5 instances of ambiguity and 6 instances of under-spe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2010.04801","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2010.04801/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-05T02:11:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"et57ng/5hCN3er54niSQCVlUu08XBSp0T+c7rVRnGd09rnbpTxBKIdphA21KeCADchjsA06Y/a5SPyjY/Ji/Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:45:15.963212Z"},"content_sha256":"feeb9512cd0df819ea4e3a4b182fc19f573c5da7bb1db30a574c426b757e0f41","schema_version":"1.0","event_id":"sha256:feeb9512cd0df819ea4e3a4b182fc19f573c5da7bb1db30a574c426b757e0f41"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7WIIVMXWQMBWADDVVABVYA2WZL/bundle.json","state_url":"https://pith.science/pith/7WIIVMXWQMBWADDVVABVYA2WZL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7WIIVMXWQMBWADDVVABVYA2WZL/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-07-06T15:45:15Z","links":{"resolver":"https://pith.science/pith/7WIIVMXWQMBWADDVVABVYA2WZL","bundle":"https://pith.science/pith/7WIIVMXWQMBWADDVVABVYA2WZL/bundle.json","state":"https://pith.science/pith/7WIIVMXWQMBWADDVVABVYA2WZL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7WIIVMXWQMBWADDVVABVYA2WZL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:7WIIVMXWQMBWADDVVABVYA2WZL","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":"64dcd6ce238528013e08c15e1f3112649c10b492fd92e47c8c9413a6597577b6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2020-10-09T20:57:05Z","title_canon_sha256":"75564592136d9a690291919274a983618021ae01a68eaefdffc3b56a7e96623a"},"schema_version":"1.0","source":{"id":"2010.04801","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2010.04801","created_at":"2026-07-05T02:11:23Z"},{"alias_kind":"arxiv_version","alias_value":"2010.04801v2","created_at":"2026-07-05T02:11:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2010.04801","created_at":"2026-07-05T02:11:23Z"},{"alias_kind":"pith_short_12","alias_value":"7WIIVMXWQMBW","created_at":"2026-07-05T02:11:23Z"},{"alias_kind":"pith_short_16","alias_value":"7WIIVMXWQMBWADDV","created_at":"2026-07-05T02:11:23Z"},{"alias_kind":"pith_short_8","alias_value":"7WIIVMXW","created_at":"2026-07-05T02:11:23Z"}],"graph_snapshots":[{"event_id":"sha256:feeb9512cd0df819ea4e3a4b182fc19f573c5da7bb1db30a574c426b757e0f41","target":"graph","created_at":"2026-07-05T02:11: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/2010.04801/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"For decades, Internet protocols have been specified using natural language. Given the ambiguity inherent in such text, it is not surprising that protocol implementations have long exhibited bugs. In this paper, we apply natural language processing (NLP) to effect semi-automated generation of protocol implementations from specification text. Our system, SAGE, can uncover ambiguous or under-specified sentences in specifications; once these are clarified by the spec author, SAGE can generate protocol code automatically. Using SAGE, we discover 5 instances of ambiguity and 6 instances of under-spe","authors_text":"Barath Raghavan, Jane Yen, Qinyuan Ye, Ramesh Govindan, Tam\\'as L\\'evai, Xiang Ren","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2020-10-09T20:57:05Z","title":"Semi-Automated Protocol Disambiguation and Code Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2010.04801","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:d5a454c46802dfd0f83259ce09f3f30f8609adfe2fdcbaaca068773dc8f14334","target":"record","created_at":"2026-07-05T02:11: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":"64dcd6ce238528013e08c15e1f3112649c10b492fd92e47c8c9413a6597577b6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2020-10-09T20:57:05Z","title_canon_sha256":"75564592136d9a690291919274a983618021ae01a68eaefdffc3b56a7e96623a"},"schema_version":"1.0","source":{"id":"2010.04801","kind":"arxiv","version":2}},"canonical_sha256":"fd908ab2f68303600c75a8035c0356cad988a2d0034c1e9a05c2df12a419ef0a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd908ab2f68303600c75a8035c0356cad988a2d0034c1e9a05c2df12a419ef0a","first_computed_at":"2026-07-05T02:11:23.884753Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:11:23.884753Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"daE60ZlUfZ2xBRwINYIvbSR1heBUW7fT7Eh00eOobNWwolCHxh9qdXERnmRbS+hqpZ/OfUrr+vfAsJHJEfU5Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:11:23.885098Z","signed_message":"canonical_sha256_bytes"},"source_id":"2010.04801","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d5a454c46802dfd0f83259ce09f3f30f8609adfe2fdcbaaca068773dc8f14334","sha256:feeb9512cd0df819ea4e3a4b182fc19f573c5da7bb1db30a574c426b757e0f41"],"state_sha256":"9f41669b4f860e6e0653feec41ea2941ff8c59e00e3dd995a139614c108082f0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R2DPoRQFKMltAezn7yyJOpRKJ8zY4DF3oXN2fj4FQAK7VdnXLuWjyv5Pa1Zesiaiq2hYEpBDG5MspZdOKpnQDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T15:45:15.965203Z","bundle_sha256":"433520009fbf59ebdaf678aca9f1829065bfee2f7529f07f4e7e4dcf336b91fc"}}