{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:SOITXH6P43MTBN3LYE67QUAFUI","short_pith_number":"pith:SOITXH6P","schema_version":"1.0","canonical_sha256":"93913b9fcfe6d930b76bc13df85005a22522bf4078ee08e071e7a4ce44a188c0","source":{"kind":"arxiv","id":"2002.08334","version":1},"attestation_state":"computed","paper":{"title":"Holistic Specifications for Robust Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"James Noble, Julian Mackay, Sophia Drossopoulou, Susan Eisenbach","submitted_at":"2020-02-19T18:19:32Z","abstract_excerpt":"Functional specifications describe what program components do: the sufficient conditions to invoke a component's operations. They allow us to reason about the use of components in the closed world setting, where the component interacts with known client code, and where the client code must establish the appropriate pre-conditions before calling into the component.\n  Sufficient conditions are not enough to reason about the use of components in the open world setting, where the component interacts with external code, possibly of unknown provenance, and where the component itself may evolve over "},"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":"2002.08334","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-02-19T18:19:32Z","cross_cats_sorted":[],"title_canon_sha256":"bcbf4bb178ba759b5bf6820b578db57b6772dad9427b8f8c42c96d424938970b","abstract_canon_sha256":"541cbfc094d98e0a6a144f81073eddc98f6ab091a74ed75caf983a30ec8f2f24"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:42:28.391988Z","signature_b64":"7FnE5g+fIeWkISwekzlwkTlcjcK15E7R2uLO1HTXtSqEDtoxublMFoSkgfwYvFvNUPJcUKQXfIJv6VrUeMqHBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"93913b9fcfe6d930b76bc13df85005a22522bf4078ee08e071e7a4ce44a188c0","last_reissued_at":"2026-07-05T00:42:28.391563Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:42:28.391563Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Holistic Specifications for Robust Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"James Noble, Julian Mackay, Sophia Drossopoulou, Susan Eisenbach","submitted_at":"2020-02-19T18:19:32Z","abstract_excerpt":"Functional specifications describe what program components do: the sufficient conditions to invoke a component's operations. They allow us to reason about the use of components in the closed world setting, where the component interacts with known client code, and where the client code must establish the appropriate pre-conditions before calling into the component.\n  Sufficient conditions are not enough to reason about the use of components in the open world setting, where the component interacts with external code, possibly of unknown provenance, and where the component itself may evolve over "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2002.08334","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2002.08334/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2002.08334","created_at":"2026-07-05T00:42:28.391638+00:00"},{"alias_kind":"arxiv_version","alias_value":"2002.08334v1","created_at":"2026-07-05T00:42:28.391638+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2002.08334","created_at":"2026-07-05T00:42:28.391638+00:00"},{"alias_kind":"pith_short_12","alias_value":"SOITXH6P43MT","created_at":"2026-07-05T00:42:28.391638+00:00"},{"alias_kind":"pith_short_16","alias_value":"SOITXH6P43MTBN3L","created_at":"2026-07-05T00:42:28.391638+00:00"},{"alias_kind":"pith_short_8","alias_value":"SOITXH6P","created_at":"2026-07-05T00:42:28.391638+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/SOITXH6P43MTBN3LYE67QUAFUI","json":"https://pith.science/pith/SOITXH6P43MTBN3LYE67QUAFUI.json","graph_json":"https://pith.science/api/pith-number/SOITXH6P43MTBN3LYE67QUAFUI/graph.json","events_json":"https://pith.science/api/pith-number/SOITXH6P43MTBN3LYE67QUAFUI/events.json","paper":"https://pith.science/paper/SOITXH6P"},"agent_actions":{"view_html":"https://pith.science/pith/SOITXH6P43MTBN3LYE67QUAFUI","download_json":"https://pith.science/pith/SOITXH6P43MTBN3LYE67QUAFUI.json","view_paper":"https://pith.science/paper/SOITXH6P","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2002.08334&json=true","fetch_graph":"https://pith.science/api/pith-number/SOITXH6P43MTBN3LYE67QUAFUI/graph.json","fetch_events":"https://pith.science/api/pith-number/SOITXH6P43MTBN3LYE67QUAFUI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SOITXH6P43MTBN3LYE67QUAFUI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SOITXH6P43MTBN3LYE67QUAFUI/action/storage_attestation","attest_author":"https://pith.science/pith/SOITXH6P43MTBN3LYE67QUAFUI/action/author_attestation","sign_citation":"https://pith.science/pith/SOITXH6P43MTBN3LYE67QUAFUI/action/citation_signature","submit_replication":"https://pith.science/pith/SOITXH6P43MTBN3LYE67QUAFUI/action/replication_record"}},"created_at":"2026-07-05T00:42:28.391638+00:00","updated_at":"2026-07-05T00:42:28.391638+00:00"}