{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:F2CHJT46SN6DLV655GEMA55PVZ","short_pith_number":"pith:F2CHJT46","canonical_record":{"source":{"id":"2110.05444","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2021-10-11T17:31:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"24b1e8aba855c7a098e8029bfd08a7405d7e667e4aad2616bf95627999198384","abstract_canon_sha256":"a3eea952024dd7ec08ace29eee377982c01c31c25a6acffacd3c432cbf8ea81e"},"schema_version":"1.0"},"canonical_sha256":"2e8474cf9e937c35d7dde988c077afae48db74c85fbb1df3c25ac3004fbc7ac7","source":{"kind":"arxiv","id":"2110.05444","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.05444","created_at":"2026-07-05T03:21:35Z"},{"alias_kind":"arxiv_version","alias_value":"2110.05444v1","created_at":"2026-07-05T03:21:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.05444","created_at":"2026-07-05T03:21:35Z"},{"alias_kind":"pith_short_12","alias_value":"F2CHJT46SN6D","created_at":"2026-07-05T03:21:35Z"},{"alias_kind":"pith_short_16","alias_value":"F2CHJT46SN6DLV65","created_at":"2026-07-05T03:21:35Z"},{"alias_kind":"pith_short_8","alias_value":"F2CHJT46","created_at":"2026-07-05T03:21:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:F2CHJT46SN6DLV655GEMA55PVZ","target":"record","payload":{"canonical_record":{"source":{"id":"2110.05444","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2021-10-11T17:31:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"24b1e8aba855c7a098e8029bfd08a7405d7e667e4aad2616bf95627999198384","abstract_canon_sha256":"a3eea952024dd7ec08ace29eee377982c01c31c25a6acffacd3c432cbf8ea81e"},"schema_version":"1.0"},"canonical_sha256":"2e8474cf9e937c35d7dde988c077afae48db74c85fbb1df3c25ac3004fbc7ac7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:21:35.054987Z","signature_b64":"MlNEYv/FZ+LJ0LS79OPwh9ge12SKTfaSMsh8cNPBiMAKkeXCXp9oU6D30+mt5KPMkZCWUHcv6Cxe/buWf9LQCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e8474cf9e937c35d7dde988c077afae48db74c85fbb1df3c25ac3004fbc7ac7","last_reissued_at":"2026-07-05T03:21:35.054659Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:21:35.054659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2110.05444","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-07-05T03:21:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zu5kOVP1hXQjTy5GP5+cEz7YXlUhnGivE/X4oTdh6ppknScO4YVlgIjOuIK+Qaio9g2p2hW+ebJmekAqjVCyCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T08:35:16.405490Z"},"content_sha256":"239accee743ddfcfcf85fc4c5bef21b64f7378d7e1b965ab585ba2d01be79358","schema_version":"1.0","event_id":"sha256:239accee743ddfcfcf85fc4c5bef21b64f7378d7e1b965ab585ba2d01be79358"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:F2CHJT46SN6DLV655GEMA55PVZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"User-driven Design and Evaluation of Liquid Types in Java","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Alcides Fonseca, Catarina Gamboa, Christopher S. Timperley, Paulo Alexandre Santos","submitted_at":"2021-10-11T17:31:41Z","abstract_excerpt":"Bugs that are detected earlier during the development lifecycle are easier and cheaper to fix, whereas bugs that are found during production are difficult and expensive to address, and may have dire consequences. Type systems are particularly effective at identifying and preventing bugs early in the development lifecycle by causing invalid programs to result in build failure. Liquid Types are more powerful than those found in mainstream programming languages, allowing the detection of more classes of bugs. However, while Liquid Types were proposed in 2008 with their integration in ML and subse"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.05444","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2110.05444/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T03:21:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7zxY/NkW/Y5XsjO6hXY8NjomB2l4hJZeNd+SovcX8nR8SnbleZNx+YjUa15AM+/IvHpdjIfk77OhHz59xIqeBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T08:35:16.405989Z"},"content_sha256":"5f58707ffdbd1b4e966b645f3322dd125be31811d1c56bcba5afae0897737f2b","schema_version":"1.0","event_id":"sha256:5f58707ffdbd1b4e966b645f3322dd125be31811d1c56bcba5afae0897737f2b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F2CHJT46SN6DLV655GEMA55PVZ/bundle.json","state_url":"https://pith.science/pith/F2CHJT46SN6DLV655GEMA55PVZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F2CHJT46SN6DLV655GEMA55PVZ/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-08-05T08:35:16Z","links":{"resolver":"https://pith.science/pith/F2CHJT46SN6DLV655GEMA55PVZ","bundle":"https://pith.science/pith/F2CHJT46SN6DLV655GEMA55PVZ/bundle.json","state":"https://pith.science/pith/F2CHJT46SN6DLV655GEMA55PVZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F2CHJT46SN6DLV655GEMA55PVZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:F2CHJT46SN6DLV655GEMA55PVZ","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":"a3eea952024dd7ec08ace29eee377982c01c31c25a6acffacd3c432cbf8ea81e","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2021-10-11T17:31:41Z","title_canon_sha256":"24b1e8aba855c7a098e8029bfd08a7405d7e667e4aad2616bf95627999198384"},"schema_version":"1.0","source":{"id":"2110.05444","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.05444","created_at":"2026-07-05T03:21:35Z"},{"alias_kind":"arxiv_version","alias_value":"2110.05444v1","created_at":"2026-07-05T03:21:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.05444","created_at":"2026-07-05T03:21:35Z"},{"alias_kind":"pith_short_12","alias_value":"F2CHJT46SN6D","created_at":"2026-07-05T03:21:35Z"},{"alias_kind":"pith_short_16","alias_value":"F2CHJT46SN6DLV65","created_at":"2026-07-05T03:21:35Z"},{"alias_kind":"pith_short_8","alias_value":"F2CHJT46","created_at":"2026-07-05T03:21:35Z"}],"graph_snapshots":[{"event_id":"sha256:5f58707ffdbd1b4e966b645f3322dd125be31811d1c56bcba5afae0897737f2b","target":"graph","created_at":"2026-07-05T03:21:35Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2110.05444/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Bugs that are detected earlier during the development lifecycle are easier and cheaper to fix, whereas bugs that are found during production are difficult and expensive to address, and may have dire consequences. Type systems are particularly effective at identifying and preventing bugs early in the development lifecycle by causing invalid programs to result in build failure. Liquid Types are more powerful than those found in mainstream programming languages, allowing the detection of more classes of bugs. However, while Liquid Types were proposed in 2008 with their integration in ML and subse","authors_text":"Alcides Fonseca, Catarina Gamboa, Christopher S. Timperley, Paulo Alexandre Santos","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2021-10-11T17:31:41Z","title":"User-driven Design and Evaluation of Liquid Types in Java"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.05444","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:239accee743ddfcfcf85fc4c5bef21b64f7378d7e1b965ab585ba2d01be79358","target":"record","created_at":"2026-07-05T03:21:35Z","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":"a3eea952024dd7ec08ace29eee377982c01c31c25a6acffacd3c432cbf8ea81e","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2021-10-11T17:31:41Z","title_canon_sha256":"24b1e8aba855c7a098e8029bfd08a7405d7e667e4aad2616bf95627999198384"},"schema_version":"1.0","source":{"id":"2110.05444","kind":"arxiv","version":1}},"canonical_sha256":"2e8474cf9e937c35d7dde988c077afae48db74c85fbb1df3c25ac3004fbc7ac7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e8474cf9e937c35d7dde988c077afae48db74c85fbb1df3c25ac3004fbc7ac7","first_computed_at":"2026-07-05T03:21:35.054659Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:21:35.054659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MlNEYv/FZ+LJ0LS79OPwh9ge12SKTfaSMsh8cNPBiMAKkeXCXp9oU6D30+mt5KPMkZCWUHcv6Cxe/buWf9LQCg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:21:35.054987Z","signed_message":"canonical_sha256_bytes"},"source_id":"2110.05444","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:239accee743ddfcfcf85fc4c5bef21b64f7378d7e1b965ab585ba2d01be79358","sha256:5f58707ffdbd1b4e966b645f3322dd125be31811d1c56bcba5afae0897737f2b"],"state_sha256":"16f6b5a763894c286122e9ac755b7f72ab7af2f10d03a9c9963273728fc902df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uQN6kOsL/nMxipavMvugrwfGI+LC7lytbphUG0Cbnh7MGDEdLtp4KEL2mba7A7JTk17Qvx81Bf2RldbLq9mFBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T08:35:16.409236Z","bundle_sha256":"673a26baf01b4b7f1eedfc419ad351b1586bc37475ace60500e805a5d13a803d"}}