{"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"}