{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:W6AVPLD32SZBJ7ZBXOXRZM4JZL","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":"24b845f5b1633c340f908ee706d87584f33a5975bc2e5bb64a95c56aab9356cb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-12T19:06:54Z","title_canon_sha256":"2b95c97ddcb62ef5d1ec846c98d3419691ca9d45aed2c4653930bca3023e58a0"},"schema_version":"1.0","source":{"id":"1706.03814","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.03814","created_at":"2026-05-18T00:42:28Z"},{"alias_kind":"arxiv_version","alias_value":"1706.03814v1","created_at":"2026-05-18T00:42:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.03814","created_at":"2026-05-18T00:42:28Z"},{"alias_kind":"pith_short_12","alias_value":"W6AVPLD32SZB","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"W6AVPLD32SZBJ7ZB","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"W6AVPLD3","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:29eea35d8be6cadf811699d18872ea73024073755087cec9c41fa8e6b7f705af","target":"graph","created_at":"2026-05-18T00:42:28Z","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":"Dependent Object Types (DOT) is intended to be a core calculus for modelling Scala. Its distinguishing feature is abstract type members, fields in objects that hold types rather than values. Proving soundness of DOT has been surprisingly challenging, and existing proofs are complicated, and reason about multiple concepts at the same time (e.g. types, values, evaluation). To serve as a core calculus for Scala, DOT should be easy to experiment with and extend, and therefore its soundness proof needs to be easy to modify.\n  This paper presents a simple and modular proof strategy for reasoning in ","authors_text":"Ifaz Kabir, Marianna Rapoport, Ond\\v{r}ej Lhot\\'ak, Paul He","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-12T19:06:54Z","title":"A Simple Soundness Proof for Dependent Object Types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.03814","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:a15db56edab22fae114b4f78bb5624034f026bc92a8ae324dc65090a0bfa00ab","target":"record","created_at":"2026-05-18T00:42:28Z","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":"24b845f5b1633c340f908ee706d87584f33a5975bc2e5bb64a95c56aab9356cb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-12T19:06:54Z","title_canon_sha256":"2b95c97ddcb62ef5d1ec846c98d3419691ca9d45aed2c4653930bca3023e58a0"},"schema_version":"1.0","source":{"id":"1706.03814","kind":"arxiv","version":1}},"canonical_sha256":"b78157ac7bd4b214ff21bbaf1cb389caebb4a6ace4f49a7d683693ec1fa23aba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b78157ac7bd4b214ff21bbaf1cb389caebb4a6ace4f49a7d683693ec1fa23aba","first_computed_at":"2026-05-18T00:42:28.313607Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:28.313607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T6EuZND/PbPBY3TSRV6+Ee40+LQ+gjHu5TjG5g4Si0C/VY91WdLFYvEQhpXpfSV2EHCXjgk/eUCW7ynnJjdqAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:28.314042Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.03814","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a15db56edab22fae114b4f78bb5624034f026bc92a8ae324dc65090a0bfa00ab","sha256:29eea35d8be6cadf811699d18872ea73024073755087cec9c41fa8e6b7f705af"],"state_sha256":"6234c2ab3e1f09c1c7c1c06fe3706585874d6dd5e3ddef06efb0955f2748ee4f"}