{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:QYVDIQ4SVAMQEGGD5LNKXF27T3","short_pith_number":"pith:QYVDIQ4S","canonical_record":{"source":{"id":"1805.06893","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-18T11:48:00Z","cross_cats_sorted":[],"title_canon_sha256":"9a1a6b5f15ba10a10933dd01154576164fc01697b217c5adfc1765facaff821f","abstract_canon_sha256":"70e0fbdaf2da98bbcf6b88ff0862d713b2f7511b156985f350938545cd505889"},"schema_version":"1.0"},"canonical_sha256":"862a344392a8190218c3eadaab975f9ed48b4523f2011a734eda10ea78f47ecf","source":{"kind":"arxiv","id":"1805.06893","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.06893","created_at":"2026-05-18T00:10:44Z"},{"alias_kind":"arxiv_version","alias_value":"1805.06893v2","created_at":"2026-05-18T00:10:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.06893","created_at":"2026-05-18T00:10:44Z"},{"alias_kind":"pith_short_12","alias_value":"QYVDIQ4SVAMQ","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"QYVDIQ4SVAMQEGGD","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"QYVDIQ4S","created_at":"2026-05-18T12:32:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:QYVDIQ4SVAMQEGGD5LNKXF27T3","target":"record","payload":{"canonical_record":{"source":{"id":"1805.06893","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-18T11:48:00Z","cross_cats_sorted":[],"title_canon_sha256":"9a1a6b5f15ba10a10933dd01154576164fc01697b217c5adfc1765facaff821f","abstract_canon_sha256":"70e0fbdaf2da98bbcf6b88ff0862d713b2f7511b156985f350938545cd505889"},"schema_version":"1.0"},"canonical_sha256":"862a344392a8190218c3eadaab975f9ed48b4523f2011a734eda10ea78f47ecf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:44.545562Z","signature_b64":"0dufsulDPtokoShkmlDF/QOi1i9SnSEHMUM2Vp7xVk+0b3ELHdDW2yx+7JiZGk7fC7cjdHLXKMCedG5KGThzCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"862a344392a8190218c3eadaab975f9ed48b4523f2011a734eda10ea78f47ecf","last_reissued_at":"2026-05-18T00:10:44.544977Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:44.544977Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.06893","source_version":2,"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:10:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V4jcZCmKrmZjUxjcRJ5cKx/v2rgsnA4Ua/EjCKwIINT6gysiTEZIJMeqyYDqcQHNjJ1+PwHbSQ1/YEMpFcAABw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T13:56:44.150564Z"},"content_sha256":"756f8d5e8e8f2df052be3e195665c84cc39b64c93d269e14f5edd45c7bde062b","schema_version":"1.0","event_id":"sha256:756f8d5e8e8f2df052be3e195665c84cc39b64c93d269e14f5edd45c7bde062b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:QYVDIQ4SVAMQEGGD5LNKXF27T3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Java Subtyping as an Infinite Self-Similar Partial Graph Product","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Moez A. AbdelGawad","submitted_at":"2018-05-18T11:48:00Z","abstract_excerpt":"Due to supporting variance annotations, such as wildcard types, the subtyping relation in Java and other generic nominally-typed OO programming languages is both interesting and intricate. In these languages, the subtyping relation between ground object types, i.e., ones with no type variables, is the basis for defining the full OO subtyping relation, i.e., that includes type variables.\n  As an ordering relation over the set of types, the subtyping relation in object-oriented programming languages can always be represented as a directed graph. In order to better understand some of the subtleti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.06893","kind":"arxiv","version":2},"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:10:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EaePknGlmTxKbGg4WLVJDY+omA5un7+3ViujDBbGNN1cK7/fDxg0BxLs6Jtl4RdT66bd1r7BPXrLtrVheJ5jDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T13:56:44.150942Z"},"content_sha256":"915f4439e93be84d71ed98a8fec70e6d96158c58019db683c292a7569f73a22c","schema_version":"1.0","event_id":"sha256:915f4439e93be84d71ed98a8fec70e6d96158c58019db683c292a7569f73a22c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QYVDIQ4SVAMQEGGD5LNKXF27T3/bundle.json","state_url":"https://pith.science/pith/QYVDIQ4SVAMQEGGD5LNKXF27T3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QYVDIQ4SVAMQEGGD5LNKXF27T3/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-05-26T13:56:44Z","links":{"resolver":"https://pith.science/pith/QYVDIQ4SVAMQEGGD5LNKXF27T3","bundle":"https://pith.science/pith/QYVDIQ4SVAMQEGGD5LNKXF27T3/bundle.json","state":"https://pith.science/pith/QYVDIQ4SVAMQEGGD5LNKXF27T3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QYVDIQ4SVAMQEGGD5LNKXF27T3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:QYVDIQ4SVAMQEGGD5LNKXF27T3","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":"70e0fbdaf2da98bbcf6b88ff0862d713b2f7511b156985f350938545cd505889","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-18T11:48:00Z","title_canon_sha256":"9a1a6b5f15ba10a10933dd01154576164fc01697b217c5adfc1765facaff821f"},"schema_version":"1.0","source":{"id":"1805.06893","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.06893","created_at":"2026-05-18T00:10:44Z"},{"alias_kind":"arxiv_version","alias_value":"1805.06893v2","created_at":"2026-05-18T00:10:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.06893","created_at":"2026-05-18T00:10:44Z"},{"alias_kind":"pith_short_12","alias_value":"QYVDIQ4SVAMQ","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"QYVDIQ4SVAMQEGGD","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"QYVDIQ4S","created_at":"2026-05-18T12:32:50Z"}],"graph_snapshots":[{"event_id":"sha256:915f4439e93be84d71ed98a8fec70e6d96158c58019db683c292a7569f73a22c","target":"graph","created_at":"2026-05-18T00:10:44Z","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":"Due to supporting variance annotations, such as wildcard types, the subtyping relation in Java and other generic nominally-typed OO programming languages is both interesting and intricate. In these languages, the subtyping relation between ground object types, i.e., ones with no type variables, is the basis for defining the full OO subtyping relation, i.e., that includes type variables.\n  As an ordering relation over the set of types, the subtyping relation in object-oriented programming languages can always be represented as a directed graph. In order to better understand some of the subtleti","authors_text":"Moez A. AbdelGawad","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-18T11:48:00Z","title":"Java Subtyping as an Infinite Self-Similar Partial Graph Product"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.06893","kind":"arxiv","version":2},"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:756f8d5e8e8f2df052be3e195665c84cc39b64c93d269e14f5edd45c7bde062b","target":"record","created_at":"2026-05-18T00:10:44Z","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":"70e0fbdaf2da98bbcf6b88ff0862d713b2f7511b156985f350938545cd505889","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-18T11:48:00Z","title_canon_sha256":"9a1a6b5f15ba10a10933dd01154576164fc01697b217c5adfc1765facaff821f"},"schema_version":"1.0","source":{"id":"1805.06893","kind":"arxiv","version":2}},"canonical_sha256":"862a344392a8190218c3eadaab975f9ed48b4523f2011a734eda10ea78f47ecf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"862a344392a8190218c3eadaab975f9ed48b4523f2011a734eda10ea78f47ecf","first_computed_at":"2026-05-18T00:10:44.544977Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:44.544977Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0dufsulDPtokoShkmlDF/QOi1i9SnSEHMUM2Vp7xVk+0b3ELHdDW2yx+7JiZGk7fC7cjdHLXKMCedG5KGThzCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:44.545562Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.06893","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:756f8d5e8e8f2df052be3e195665c84cc39b64c93d269e14f5edd45c7bde062b","sha256:915f4439e93be84d71ed98a8fec70e6d96158c58019db683c292a7569f73a22c"],"state_sha256":"3a90b88160d547472786b4c7b3733b979d37a3f47bab150bdef4c64c0cdf9e28"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w+fWK1dA9JUcc4jUwzlyghq2wAN/wHw0k2/izwErRjMCAcTDUfmctmb2fSZM6WGNEkeBrh6sTB+618pyWkuTDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T13:56:44.153812Z","bundle_sha256":"dcde0c0e240dfdcd65cde613b98c8e4d166b35339cccf1f998b61fe8e3cb7806"}}