{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:W6AVPLD32SZBJ7ZBXOXRZM4JZL","short_pith_number":"pith:W6AVPLD3","canonical_record":{"source":{"id":"1706.03814","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-12T19:06:54Z","cross_cats_sorted":[],"title_canon_sha256":"2b95c97ddcb62ef5d1ec846c98d3419691ca9d45aed2c4653930bca3023e58a0","abstract_canon_sha256":"24b845f5b1633c340f908ee706d87584f33a5975bc2e5bb64a95c56aab9356cb"},"schema_version":"1.0"},"canonical_sha256":"b78157ac7bd4b214ff21bbaf1cb389caebb4a6ace4f49a7d683693ec1fa23aba","source":{"kind":"arxiv","id":"1706.03814","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:W6AVPLD32SZBJ7ZBXOXRZM4JZL","target":"record","payload":{"canonical_record":{"source":{"id":"1706.03814","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-12T19:06:54Z","cross_cats_sorted":[],"title_canon_sha256":"2b95c97ddcb62ef5d1ec846c98d3419691ca9d45aed2c4653930bca3023e58a0","abstract_canon_sha256":"24b845f5b1633c340f908ee706d87584f33a5975bc2e5bb64a95c56aab9356cb"},"schema_version":"1.0"},"canonical_sha256":"b78157ac7bd4b214ff21bbaf1cb389caebb4a6ace4f49a7d683693ec1fa23aba","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:28.314042Z","signature_b64":"T6EuZND/PbPBY3TSRV6+Ee40+LQ+gjHu5TjG5g4Si0C/VY91WdLFYvEQhpXpfSV2EHCXjgk/eUCW7ynnJjdqAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b78157ac7bd4b214ff21bbaf1cb389caebb4a6ace4f49a7d683693ec1fa23aba","last_reissued_at":"2026-05-18T00:42:28.313607Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:28.313607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.03814","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:42:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UaZFHBRkGL8YWJI15N4AkIcI6Ej+DScmj9qmbB/azy+03f7oVIeOFdavmTZXppdl6815GGxMAJ7xdJRmicg3Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T08:40:28.843620Z"},"content_sha256":"a15db56edab22fae114b4f78bb5624034f026bc92a8ae324dc65090a0bfa00ab","schema_version":"1.0","event_id":"sha256:a15db56edab22fae114b4f78bb5624034f026bc92a8ae324dc65090a0bfa00ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:W6AVPLD32SZBJ7ZBXOXRZM4JZL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Simple Soundness Proof for Dependent Object Types","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Ifaz Kabir, Marianna Rapoport, Ond\\v{r}ej Lhot\\'ak, Paul He","submitted_at":"2017-06-12T19:06:54Z","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 "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.03814","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:42:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AjpObMuE33NK9euUwW01rmDggvU3TWiak274GNQMQg4UcaTlh0snenXMk39kss1BY9sqNjhuNXcf7CTkGmTqCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T08:40:28.844293Z"},"content_sha256":"29eea35d8be6cadf811699d18872ea73024073755087cec9c41fa8e6b7f705af","schema_version":"1.0","event_id":"sha256:29eea35d8be6cadf811699d18872ea73024073755087cec9c41fa8e6b7f705af"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W6AVPLD32SZBJ7ZBXOXRZM4JZL/bundle.json","state_url":"https://pith.science/pith/W6AVPLD32SZBJ7ZBXOXRZM4JZL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W6AVPLD32SZBJ7ZBXOXRZM4JZL/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-07T08:40:28Z","links":{"resolver":"https://pith.science/pith/W6AVPLD32SZBJ7ZBXOXRZM4JZL","bundle":"https://pith.science/pith/W6AVPLD32SZBJ7ZBXOXRZM4JZL/bundle.json","state":"https://pith.science/pith/W6AVPLD32SZBJ7ZBXOXRZM4JZL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W6AVPLD32SZBJ7ZBXOXRZM4JZL/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"la/x5nBERVzCA/skp0z8tq+dRBMFHj3OBt5CP23SOd/Ijgpk3YUsdnTYf/OV7Kqgj6PnoyiqUVJTan3mKHfQCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T08:40:28.847593Z","bundle_sha256":"2662ce39f9066bb21d54f75688f32206ca1b8f5cebcfc635549182260d0b5e08"}}