{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:YMPA634DRG4XWEXVSKFBIBIBXP","short_pith_number":"pith:YMPA634D","canonical_record":{"source":{"id":"1311.2702","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-12T07:44:10Z","cross_cats_sorted":["cs.AI","cs.CL","cs.HC","cs.LO"],"title_canon_sha256":"efb629db00c7c28b48ed13cde1ac51a646fd986fd3eb91efe2f83dedf00b81e7","abstract_canon_sha256":"7be46ced1f8a69c11e132a1be8c0191a610e1c9d3417f47eba043a50becafa8f"},"schema_version":"1.0"},"canonical_sha256":"c31e0f6f8389b97b12f5928a140501bbd29e16d128d28dcd4f28018083f0dcd5","source":{"kind":"arxiv","id":"1311.2702","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.2702","created_at":"2026-05-18T03:07:22Z"},{"alias_kind":"arxiv_version","alias_value":"1311.2702v1","created_at":"2026-05-18T03:07:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2702","created_at":"2026-05-18T03:07:22Z"},{"alias_kind":"pith_short_12","alias_value":"YMPA634DRG4X","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"YMPA634DRG4XWEXV","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"YMPA634D","created_at":"2026-05-18T12:28:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:YMPA634DRG4XWEXVSKFBIBIBXP","target":"record","payload":{"canonical_record":{"source":{"id":"1311.2702","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-12T07:44:10Z","cross_cats_sorted":["cs.AI","cs.CL","cs.HC","cs.LO"],"title_canon_sha256":"efb629db00c7c28b48ed13cde1ac51a646fd986fd3eb91efe2f83dedf00b81e7","abstract_canon_sha256":"7be46ced1f8a69c11e132a1be8c0191a610e1c9d3417f47eba043a50becafa8f"},"schema_version":"1.0"},"canonical_sha256":"c31e0f6f8389b97b12f5928a140501bbd29e16d128d28dcd4f28018083f0dcd5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:22.102598Z","signature_b64":"OyjdFoP25FgNGZSaAP7q55ZE+BycmckhvntmYNBfFg3SjMzR4pQwdiOh3Ia828kh7xSTqy862+achygj2W14Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c31e0f6f8389b97b12f5928a140501bbd29e16d128d28dcd4f28018083f0dcd5","last_reissued_at":"2026-05-18T03:07:22.102000Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:22.102000Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.2702","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-05-18T03:07:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U83NFXCf2MmKim9C4SUp7Uza2NkDpqNoliTpQtbuckFVEJhoC5aJKmHU6YfqGOjn+67EKHIgyE+H3dV2cmbIBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T10:45:03.851629Z"},"content_sha256":"e5914270146e97b267141b4a085d8e66873ab5293d786201fbadf92f5f758b19","schema_version":"1.0","event_id":"sha256:e5914270146e97b267141b4a085d8e66873ab5293d786201fbadf92f5f758b19"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:YMPA634DRG4XWEXVSKFBIBIBXP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifiable Source Code Documentation in Controlled Natural Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CL","cs.HC","cs.LO"],"primary_cat":"cs.SE","authors_text":"Alexandre Bergel, Tobias Kuhn","submitted_at":"2013-11-12T07:44:10Z","abstract_excerpt":"Writing documentation about software internals is rarely considered a rewarding activity. It is highly time-consuming and the resulting documentation is fragile when the software is continuously evolving in a multi-developer setting. Unfortunately, traditional programming environments poorly support the writing and maintenance of documentation. Consequences are severe as the lack of documentation on software structure negatively impacts the overall quality of the software product. We show that using a controlled natural language with a reasoner and a query engine is a viable technique for veri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.2702","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":""},"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-18T03:07:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yx1SDnOLfT/LNuYEVew3t2x5jt0oNHbVxv0v5sWKtfVvjvrQi/mmx14AIl8wmJFA/Bq5IuCIOlcI/Y6K9X8ODA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T10:45:03.852498Z"},"content_sha256":"d2109cc25659eede5f27e51206baad20230f69e80485ead2b48e680a06f2995a","schema_version":"1.0","event_id":"sha256:d2109cc25659eede5f27e51206baad20230f69e80485ead2b48e680a06f2995a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP/bundle.json","state_url":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YMPA634DRG4XWEXVSKFBIBIBXP/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-30T10:45:03Z","links":{"resolver":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP","bundle":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP/bundle.json","state":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YMPA634DRG4XWEXVSKFBIBIBXP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:YMPA634DRG4XWEXVSKFBIBIBXP","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":"7be46ced1f8a69c11e132a1be8c0191a610e1c9d3417f47eba043a50becafa8f","cross_cats_sorted":["cs.AI","cs.CL","cs.HC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-12T07:44:10Z","title_canon_sha256":"efb629db00c7c28b48ed13cde1ac51a646fd986fd3eb91efe2f83dedf00b81e7"},"schema_version":"1.0","source":{"id":"1311.2702","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.2702","created_at":"2026-05-18T03:07:22Z"},{"alias_kind":"arxiv_version","alias_value":"1311.2702v1","created_at":"2026-05-18T03:07:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2702","created_at":"2026-05-18T03:07:22Z"},{"alias_kind":"pith_short_12","alias_value":"YMPA634DRG4X","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"YMPA634DRG4XWEXV","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"YMPA634D","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:d2109cc25659eede5f27e51206baad20230f69e80485ead2b48e680a06f2995a","target":"graph","created_at":"2026-05-18T03:07:22Z","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":"Writing documentation about software internals is rarely considered a rewarding activity. It is highly time-consuming and the resulting documentation is fragile when the software is continuously evolving in a multi-developer setting. Unfortunately, traditional programming environments poorly support the writing and maintenance of documentation. Consequences are severe as the lack of documentation on software structure negatively impacts the overall quality of the software product. We show that using a controlled natural language with a reasoner and a query engine is a viable technique for veri","authors_text":"Alexandre Bergel, Tobias Kuhn","cross_cats":["cs.AI","cs.CL","cs.HC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-12T07:44:10Z","title":"Verifiable Source Code Documentation in Controlled Natural Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.2702","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:e5914270146e97b267141b4a085d8e66873ab5293d786201fbadf92f5f758b19","target":"record","created_at":"2026-05-18T03:07:22Z","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":"7be46ced1f8a69c11e132a1be8c0191a610e1c9d3417f47eba043a50becafa8f","cross_cats_sorted":["cs.AI","cs.CL","cs.HC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-12T07:44:10Z","title_canon_sha256":"efb629db00c7c28b48ed13cde1ac51a646fd986fd3eb91efe2f83dedf00b81e7"},"schema_version":"1.0","source":{"id":"1311.2702","kind":"arxiv","version":1}},"canonical_sha256":"c31e0f6f8389b97b12f5928a140501bbd29e16d128d28dcd4f28018083f0dcd5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c31e0f6f8389b97b12f5928a140501bbd29e16d128d28dcd4f28018083f0dcd5","first_computed_at":"2026-05-18T03:07:22.102000Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:07:22.102000Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OyjdFoP25FgNGZSaAP7q55ZE+BycmckhvntmYNBfFg3SjMzR4pQwdiOh3Ia828kh7xSTqy862+achygj2W14Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:07:22.102598Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.2702","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e5914270146e97b267141b4a085d8e66873ab5293d786201fbadf92f5f758b19","sha256:d2109cc25659eede5f27e51206baad20230f69e80485ead2b48e680a06f2995a"],"state_sha256":"e9fc338cc9adef7c7011d501726179d0f4225d408e7145b5ee1394446eeecd41"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cmgmbkstgXEnkLzijZkoX6RX7tVvjtJ2uetaK6AuM5xq0pgTfHGr6f+qdx36BZ7YlCU9ns5H25Eymw4aSDJWDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T10:45:03.855763Z","bundle_sha256":"39817c53d89daa7578527105a664f94838f3d793252903717bf47bf253f4e3d6"}}