{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:YMPA634DRG4XWEXVSKFBIBIBXP","short_pith_number":"pith:YMPA634D","schema_version":"1.0","canonical_sha256":"c31e0f6f8389b97b12f5928a140501bbd29e16d128d28dcd4f28018083f0dcd5","source":{"kind":"arxiv","id":"1311.2702","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1311.2702","created_at":"2026-05-18T03:07:22.102075+00:00"},{"alias_kind":"arxiv_version","alias_value":"1311.2702v1","created_at":"2026-05-18T03:07:22.102075+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2702","created_at":"2026-05-18T03:07:22.102075+00:00"},{"alias_kind":"pith_short_12","alias_value":"YMPA634DRG4X","created_at":"2026-05-18T12:28:06.772260+00:00"},{"alias_kind":"pith_short_16","alias_value":"YMPA634DRG4XWEXV","created_at":"2026-05-18T12:28:06.772260+00:00"},{"alias_kind":"pith_short_8","alias_value":"YMPA634D","created_at":"2026-05-18T12:28:06.772260+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP","json":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP.json","graph_json":"https://pith.science/api/pith-number/YMPA634DRG4XWEXVSKFBIBIBXP/graph.json","events_json":"https://pith.science/api/pith-number/YMPA634DRG4XWEXVSKFBIBIBXP/events.json","paper":"https://pith.science/paper/YMPA634D"},"agent_actions":{"view_html":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP","download_json":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP.json","view_paper":"https://pith.science/paper/YMPA634D","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1311.2702&json=true","fetch_graph":"https://pith.science/api/pith-number/YMPA634DRG4XWEXVSKFBIBIBXP/graph.json","fetch_events":"https://pith.science/api/pith-number/YMPA634DRG4XWEXVSKFBIBIBXP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP/action/storage_attestation","attest_author":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP/action/author_attestation","sign_citation":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP/action/citation_signature","submit_replication":"https://pith.science/pith/YMPA634DRG4XWEXVSKFBIBIBXP/action/replication_record"}},"created_at":"2026-05-18T03:07:22.102075+00:00","updated_at":"2026-05-18T03:07:22.102075+00:00"}