{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:PCJ5KCYZVWSBXK66RG6S3SDAAF","short_pith_number":"pith:PCJ5KCYZ","canonical_record":{"source":{"id":"1703.08694","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-25T13:39:51Z","cross_cats_sorted":[],"title_canon_sha256":"d570e7042857247534f0e158cae2c84d81bc33bc2f17902ae83a2382d9b17713","abstract_canon_sha256":"d39c89adb6e5aa8f6711c32b6e7b812cbe70f0afdb3b8e3713a5cab431753c5d"},"schema_version":"1.0"},"canonical_sha256":"7893d50b19ada41babde89bd2dc8600145118ed45aed478eb41c82acfe110c23","source":{"kind":"arxiv","id":"1703.08694","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08694","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08694v1","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08694","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"pith_short_12","alias_value":"PCJ5KCYZVWSB","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PCJ5KCYZVWSBXK66","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PCJ5KCYZ","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:PCJ5KCYZVWSBXK66RG6S3SDAAF","target":"record","payload":{"canonical_record":{"source":{"id":"1703.08694","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-25T13:39:51Z","cross_cats_sorted":[],"title_canon_sha256":"d570e7042857247534f0e158cae2c84d81bc33bc2f17902ae83a2382d9b17713","abstract_canon_sha256":"d39c89adb6e5aa8f6711c32b6e7b812cbe70f0afdb3b8e3713a5cab431753c5d"},"schema_version":"1.0"},"canonical_sha256":"7893d50b19ada41babde89bd2dc8600145118ed45aed478eb41c82acfe110c23","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:55.854974Z","signature_b64":"RF8wLC7iOMDolwbLNBEb+qbkwebuWvq3haz+4hlXMA7XfQ/7EvgmO9bwA7ODkazSQAFE01+DK9AcgDYKB4GGAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7893d50b19ada41babde89bd2dc8600145118ed45aed478eb41c82acfe110c23","last_reissued_at":"2026-05-18T00:47:55.854223Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:55.854223Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.08694","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-18T00:47:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fgzZMB5F2DtZew4bjzxfsgirHApCPOaDUWjX1elkyHVxExzxs24Vt5ptOTMvPxxdyvB68nnnYHGfLpOU+raEBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T13:15:22.833930Z"},"content_sha256":"9ee42686b2f404e2a1172a83c98ad55a37282ea7ffc984243e3630098a3ca1fc","schema_version":"1.0","event_id":"sha256:9ee42686b2f404e2a1172a83c98ad55a37282ea7ffc984243e3630098a3ca1fc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:PCJ5KCYZVWSBXK66RG6S3SDAAF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Toward Semantic Foundations for Program Editors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Claire Le Goues, Cyrus Omar, Ian Voysey, Jonathan Aldrich, Joshua Sunshine, Matthew A. Hammer, Michael Hilton","submitted_at":"2017-03-25T13:39:51Z","abstract_excerpt":"Programming language definitions assign formal meaning to complete programs. Programmers, however, spend a substantial amount of time interacting with incomplete programs -- programs with holes, type inconsistencies and binding inconsistencies -- using tools like program editors and live programming environments (which interleave editing and evaluation). Semanticists have done comparatively little to formally characterize (1) the static and dynamic semantics of incomplete programs; (2) the actions available to programmers as they edit and inspect incomplete programs; and (3) the behavior of ed"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08694","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-18T00:47:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yILR+1Zto8uHnCJ+IV0MFqju7b4YfYS5mST6CTu6vK5svHxTwS97/+1B8jO3P7pEln4Bl20JV0nUORpo0r5VAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T13:15:22.834278Z"},"content_sha256":"8c885b3563b1a688c77d82735d8a6cd938adb9a5485c9640e32b89b1df70302b","schema_version":"1.0","event_id":"sha256:8c885b3563b1a688c77d82735d8a6cd938adb9a5485c9640e32b89b1df70302b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PCJ5KCYZVWSBXK66RG6S3SDAAF/bundle.json","state_url":"https://pith.science/pith/PCJ5KCYZVWSBXK66RG6S3SDAAF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PCJ5KCYZVWSBXK66RG6S3SDAAF/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-06-27T13:15:22Z","links":{"resolver":"https://pith.science/pith/PCJ5KCYZVWSBXK66RG6S3SDAAF","bundle":"https://pith.science/pith/PCJ5KCYZVWSBXK66RG6S3SDAAF/bundle.json","state":"https://pith.science/pith/PCJ5KCYZVWSBXK66RG6S3SDAAF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PCJ5KCYZVWSBXK66RG6S3SDAAF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PCJ5KCYZVWSBXK66RG6S3SDAAF","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":"d39c89adb6e5aa8f6711c32b6e7b812cbe70f0afdb3b8e3713a5cab431753c5d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-25T13:39:51Z","title_canon_sha256":"d570e7042857247534f0e158cae2c84d81bc33bc2f17902ae83a2382d9b17713"},"schema_version":"1.0","source":{"id":"1703.08694","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08694","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08694v1","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08694","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"pith_short_12","alias_value":"PCJ5KCYZVWSB","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PCJ5KCYZVWSBXK66","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PCJ5KCYZ","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:8c885b3563b1a688c77d82735d8a6cd938adb9a5485c9640e32b89b1df70302b","target":"graph","created_at":"2026-05-18T00:47:55Z","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":"Programming language definitions assign formal meaning to complete programs. Programmers, however, spend a substantial amount of time interacting with incomplete programs -- programs with holes, type inconsistencies and binding inconsistencies -- using tools like program editors and live programming environments (which interleave editing and evaluation). Semanticists have done comparatively little to formally characterize (1) the static and dynamic semantics of incomplete programs; (2) the actions available to programmers as they edit and inspect incomplete programs; and (3) the behavior of ed","authors_text":"Claire Le Goues, Cyrus Omar, Ian Voysey, Jonathan Aldrich, Joshua Sunshine, Matthew A. Hammer, Michael Hilton","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-25T13:39:51Z","title":"Toward Semantic Foundations for Program Editors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08694","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:9ee42686b2f404e2a1172a83c98ad55a37282ea7ffc984243e3630098a3ca1fc","target":"record","created_at":"2026-05-18T00:47:55Z","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":"d39c89adb6e5aa8f6711c32b6e7b812cbe70f0afdb3b8e3713a5cab431753c5d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-25T13:39:51Z","title_canon_sha256":"d570e7042857247534f0e158cae2c84d81bc33bc2f17902ae83a2382d9b17713"},"schema_version":"1.0","source":{"id":"1703.08694","kind":"arxiv","version":1}},"canonical_sha256":"7893d50b19ada41babde89bd2dc8600145118ed45aed478eb41c82acfe110c23","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7893d50b19ada41babde89bd2dc8600145118ed45aed478eb41c82acfe110c23","first_computed_at":"2026-05-18T00:47:55.854223Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:55.854223Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RF8wLC7iOMDolwbLNBEb+qbkwebuWvq3haz+4hlXMA7XfQ/7EvgmO9bwA7ODkazSQAFE01+DK9AcgDYKB4GGAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:55.854974Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.08694","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ee42686b2f404e2a1172a83c98ad55a37282ea7ffc984243e3630098a3ca1fc","sha256:8c885b3563b1a688c77d82735d8a6cd938adb9a5485c9640e32b89b1df70302b"],"state_sha256":"7a567bee5e8e074e7fcd47808418339dc0828e485beaf2fc885b675c302b269f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tNAfYa1mvAxAkH/TtMtdSYNLaTTzepiyIFXwETaXnP/4W/CSFwVg1puxym9zdlnOIwLKcjm4Ko4tZn0Gqz3XCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T13:15:22.836165Z","bundle_sha256":"21835c2b0a0b4385531de3a831609b2f5188e19e0ba05757329ed5387aa907ad"}}