{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:A7YY2VJRLBAQM73BOZFV3KG7SE","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":"6bf17a104c15a760efe9370499c60efa5c3cdfb6671767b0245114df08d86630","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-21T23:42:54Z","title_canon_sha256":"c5467ec5c0fa54d99434e076d94e7cc7c575b2f173f776f903a7821a715b350e"},"schema_version":"1.0","source":{"id":"1608.06012","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.06012","created_at":"2026-05-18T01:08:22Z"},{"alias_kind":"arxiv_version","alias_value":"1608.06012v1","created_at":"2026-05-18T01:08:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.06012","created_at":"2026-05-18T01:08:22Z"},{"alias_kind":"pith_short_12","alias_value":"A7YY2VJRLBAQ","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"A7YY2VJRLBAQM73B","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"A7YY2VJR","created_at":"2026-05-18T12:30:04Z"}],"graph_snapshots":[{"event_id":"sha256:0d3258966b142610b710e5594d89d57545921aefae76ee249800e9dbb79c085f","target":"graph","created_at":"2026-05-18T01:08: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":"Today's programmers face a false choice between creating software that is extensible and software that is correct. Specifically, dynamic languages permit software that is richly extensible (via dynamic code loading, dynamic object extension, and various forms of reflection), and today's programmers exploit this flexibility to \"bring their own language features\" to enrich extensible languages (e.g., by using common JavaScript libraries). Meanwhile, such library-based language extensions generally lack enforcement of their abstractions, leading to programming errors that are complex to avoid and","authors_text":"Bor-Yuh Evan Chang, David Van Horn, Matthew A. Hammer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-21T23:42:54Z","title":"A Vision for Online Verification-Validation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.06012","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:f95362efba0702b0f91f11193271fa7ba9f9815832b53c4936a9af6fd6d0361f","target":"record","created_at":"2026-05-18T01:08: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":"6bf17a104c15a760efe9370499c60efa5c3cdfb6671767b0245114df08d86630","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-21T23:42:54Z","title_canon_sha256":"c5467ec5c0fa54d99434e076d94e7cc7c575b2f173f776f903a7821a715b350e"},"schema_version":"1.0","source":{"id":"1608.06012","kind":"arxiv","version":1}},"canonical_sha256":"07f18d55315841067f61764b5da8df913e275d5472b88721256e6237dd0884cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"07f18d55315841067f61764b5da8df913e275d5472b88721256e6237dd0884cd","first_computed_at":"2026-05-18T01:08:22.559359Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:22.559359Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"o6UFRSSBQhk9SPS5HkFmbphZBli5fBX4zgDCYdg+sN3f2mKvGgWCMeWbNhDMfvkDRdhN+/GGXBQlvZ6o/xScDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:22.560176Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.06012","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f95362efba0702b0f91f11193271fa7ba9f9815832b53c4936a9af6fd6d0361f","sha256:0d3258966b142610b710e5594d89d57545921aefae76ee249800e9dbb79c085f"],"state_sha256":"97a15714f7596b27b123112e4fb298614dd413f72affa09df09214d50181f205"}