{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:H3S7KVWAQ4D7KMF6JRQVJF3ARG","short_pith_number":"pith:H3S7KVWA","canonical_record":{"source":{"id":"1701.02189","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-02T06:53:48Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"0773353c9669790b7e7c3dfec7234e6467e155b95cb8ce4d5d6bd76586da7fd1","abstract_canon_sha256":"07bfe8529f164efe4d366d09303a3366f839f15e864a9a1f46340fe50d04d333"},"schema_version":"1.0"},"canonical_sha256":"3ee5f556c08707f530be4c6154976089bb315c84181adde6e5f2a452789016d3","source":{"kind":"arxiv","id":"1701.02189","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.02189","created_at":"2026-05-18T00:45:19Z"},{"alias_kind":"arxiv_version","alias_value":"1701.02189v1","created_at":"2026-05-18T00:45:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.02189","created_at":"2026-05-18T00:45:19Z"},{"alias_kind":"pith_short_12","alias_value":"H3S7KVWAQ4D7","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"H3S7KVWAQ4D7KMF6","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"H3S7KVWA","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:H3S7KVWAQ4D7KMF6JRQVJF3ARG","target":"record","payload":{"canonical_record":{"source":{"id":"1701.02189","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-02T06:53:48Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"0773353c9669790b7e7c3dfec7234e6467e155b95cb8ce4d5d6bd76586da7fd1","abstract_canon_sha256":"07bfe8529f164efe4d366d09303a3366f839f15e864a9a1f46340fe50d04d333"},"schema_version":"1.0"},"canonical_sha256":"3ee5f556c08707f530be4c6154976089bb315c84181adde6e5f2a452789016d3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:45:19.707278Z","signature_b64":"PaAvzwQG5eP637cROq0aHYfr/cBEkuDrNd90t1n4gdshTOmIeny6yr7EpNnl4tVrv2HARjYY3gJtGbSP4XO9Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3ee5f556c08707f530be4c6154976089bb315c84181adde6e5f2a452789016d3","last_reissued_at":"2026-05-18T00:45:19.706615Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:45:19.706615Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.02189","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:45:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OB3ZavmNmSQjvODI5RsudZj3nDBFwo2/00tRQy5wbWUyVpTL9y/DUZ+YXsJg6uObXwq8OnAmakQetya32E9rAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T10:38:07.841422Z"},"content_sha256":"fbf2ab30be9e6e7dc79a316b8fad5fdd38a2c18d0ff2038c127e4b91177fcf14","schema_version":"1.0","event_id":"sha256:fbf2ab30be9e6e7dc79a316b8fad5fdd38a2c18d0ff2038c127e4b91177fcf14"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:H3S7KVWAQ4D7KMF6JRQVJF3ARG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Modularity Bug in Java 8","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Simon Kramer","submitted_at":"2017-01-02T06:53:48Z","abstract_excerpt":"We demonstrate a modularity bug in the interface system of Java 8 on the practical example of a textbook design of a modular interface for vector spaces. Our example originates in our teaching of modular object-oriented design in Java 8 to undergraduate students, simply following standard programming practices and mathematical definitions. The bug shows up as a compilation error and should be fixed with a language extension due to the importance of best practices (design fidelity)."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.02189","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:45:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YlUa4VTgwxx4eAkJbV8SEj+Hkb620/Fa8qJlQ4/jo1ezQ6jbW8RFluIgUeBBNop7z9pL2OipPm6XSF/ABCouAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T10:38:07.841767Z"},"content_sha256":"5cafbe241d2d08f5ee5c5df0f74b80d8cf52ee77c351b63cdb5a75cccf0a297f","schema_version":"1.0","event_id":"sha256:5cafbe241d2d08f5ee5c5df0f74b80d8cf52ee77c351b63cdb5a75cccf0a297f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H3S7KVWAQ4D7KMF6JRQVJF3ARG/bundle.json","state_url":"https://pith.science/pith/H3S7KVWAQ4D7KMF6JRQVJF3ARG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H3S7KVWAQ4D7KMF6JRQVJF3ARG/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-21T10:38:07Z","links":{"resolver":"https://pith.science/pith/H3S7KVWAQ4D7KMF6JRQVJF3ARG","bundle":"https://pith.science/pith/H3S7KVWAQ4D7KMF6JRQVJF3ARG/bundle.json","state":"https://pith.science/pith/H3S7KVWAQ4D7KMF6JRQVJF3ARG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H3S7KVWAQ4D7KMF6JRQVJF3ARG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:H3S7KVWAQ4D7KMF6JRQVJF3ARG","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":"07bfe8529f164efe4d366d09303a3366f839f15e864a9a1f46340fe50d04d333","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-02T06:53:48Z","title_canon_sha256":"0773353c9669790b7e7c3dfec7234e6467e155b95cb8ce4d5d6bd76586da7fd1"},"schema_version":"1.0","source":{"id":"1701.02189","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.02189","created_at":"2026-05-18T00:45:19Z"},{"alias_kind":"arxiv_version","alias_value":"1701.02189v1","created_at":"2026-05-18T00:45:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.02189","created_at":"2026-05-18T00:45:19Z"},{"alias_kind":"pith_short_12","alias_value":"H3S7KVWAQ4D7","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"H3S7KVWAQ4D7KMF6","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"H3S7KVWA","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:5cafbe241d2d08f5ee5c5df0f74b80d8cf52ee77c351b63cdb5a75cccf0a297f","target":"graph","created_at":"2026-05-18T00:45:19Z","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":"We demonstrate a modularity bug in the interface system of Java 8 on the practical example of a textbook design of a modular interface for vector spaces. Our example originates in our teaching of modular object-oriented design in Java 8 to undergraduate students, simply following standard programming practices and mathematical definitions. The bug shows up as a compilation error and should be fixed with a language extension due to the importance of best practices (design fidelity).","authors_text":"Simon Kramer","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-02T06:53:48Z","title":"A Modularity Bug in Java 8"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.02189","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:fbf2ab30be9e6e7dc79a316b8fad5fdd38a2c18d0ff2038c127e4b91177fcf14","target":"record","created_at":"2026-05-18T00:45:19Z","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":"07bfe8529f164efe4d366d09303a3366f839f15e864a9a1f46340fe50d04d333","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-02T06:53:48Z","title_canon_sha256":"0773353c9669790b7e7c3dfec7234e6467e155b95cb8ce4d5d6bd76586da7fd1"},"schema_version":"1.0","source":{"id":"1701.02189","kind":"arxiv","version":1}},"canonical_sha256":"3ee5f556c08707f530be4c6154976089bb315c84181adde6e5f2a452789016d3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ee5f556c08707f530be4c6154976089bb315c84181adde6e5f2a452789016d3","first_computed_at":"2026-05-18T00:45:19.706615Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:45:19.706615Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PaAvzwQG5eP637cROq0aHYfr/cBEkuDrNd90t1n4gdshTOmIeny6yr7EpNnl4tVrv2HARjYY3gJtGbSP4XO9Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:45:19.707278Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.02189","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fbf2ab30be9e6e7dc79a316b8fad5fdd38a2c18d0ff2038c127e4b91177fcf14","sha256:5cafbe241d2d08f5ee5c5df0f74b80d8cf52ee77c351b63cdb5a75cccf0a297f"],"state_sha256":"721dbfd1b5b4a4c4da026306ae9995c88d1e9d674f915921479187403fde452a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/Ddb7Vjbg1Tj9i5XwAiV6iViL+o3U6iavrR1eu57o8jOC8YCqpqJIJD/nFndqiZsp1n5V9zmUyMIq12xnlfEAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T10:38:07.843709Z","bundle_sha256":"3063127b42ce52f6b92dba2457a0b20bfd9e9bc32e4ffed55432ef203b85cf44"}}