{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:P2SZRRFRW7L6G5UXZYYYVU2PA7","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":"3a830e42fdb685199894ffc74286c680accd242c5d9de3a92c8165d1c01bdda6","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2024-05-21T11:40:39Z","title_canon_sha256":"9c5a2be52b162978eeadaaace5f5e4bcd72aff43e9c93236fd1e6d735384f879"},"schema_version":"1.0","source":{"id":"2405.12697","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.12697","created_at":"2026-07-05T08:21:24Z"},{"alias_kind":"arxiv_version","alias_value":"2405.12697v1","created_at":"2026-07-05T08:21:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.12697","created_at":"2026-07-05T08:21:24Z"},{"alias_kind":"pith_short_12","alias_value":"P2SZRRFRW7L6","created_at":"2026-07-05T08:21:24Z"},{"alias_kind":"pith_short_16","alias_value":"P2SZRRFRW7L6G5UX","created_at":"2026-07-05T08:21:24Z"},{"alias_kind":"pith_short_8","alias_value":"P2SZRRFR","created_at":"2026-07-05T08:21:24Z"}],"graph_snapshots":[{"event_id":"sha256:77b9b3b6f5d2ced9bc2e581a25a44eac8fa24f2bc96e5bda34ceea09958e7ceb","target":"graph","created_at":"2026-07-05T08:21:24Z","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/2405.12697/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Statically typed languages offer significant advantages, such as bug prevention, enhanced code quality, and reduced maintenance costs. However, these benefits often come at the expense of a steep learning curve and a slower development pace. Haskell, known for its expressive and strict type system, poses challenges for inexperienced programmers in learning and using its type system, especially in debugging type errors. We introduce Goanna, a novel tool that serves as a type checker and an interactive type error debugging tool for Haskell. When encountering type errors, Goanna identifies a comp","authors_text":"John Grundy, Peter J. Stuckey, Shuai Fu, Tim Dwyer","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2024-05-21T11:40:39Z","title":"Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.12697","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:975c6e995490ca3a7d0fb73ebd88a36004436ffdcf8917b5e97c36b6987cea40","target":"record","created_at":"2026-07-05T08:21:24Z","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":"3a830e42fdb685199894ffc74286c680accd242c5d9de3a92c8165d1c01bdda6","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2024-05-21T11:40:39Z","title_canon_sha256":"9c5a2be52b162978eeadaaace5f5e4bcd72aff43e9c93236fd1e6d735384f879"},"schema_version":"1.0","source":{"id":"2405.12697","kind":"arxiv","version":1}},"canonical_sha256":"7ea598c4b1b7d7e37697ce318ad34f07cb7d3fac65e4b717ae4e03125229c849","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ea598c4b1b7d7e37697ce318ad34f07cb7d3fac65e4b717ae4e03125229c849","first_computed_at":"2026-07-05T08:21:24.103241Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:21:24.103241Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VXoP3WQ8JDY+p6c6cmSKXghDuzKJbUqrlR5p+SRL/0paMeD0FuggWOoR2MgVvHGts/D0QwAoxTP8xlO7wwWpDg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:21:24.103710Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.12697","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:975c6e995490ca3a7d0fb73ebd88a36004436ffdcf8917b5e97c36b6987cea40","sha256:77b9b3b6f5d2ced9bc2e581a25a44eac8fa24f2bc96e5bda34ceea09958e7ceb"],"state_sha256":"ce6635a1cabbc92ad2a272fd1292640305b6d5cdfd971cbeaf01710510e01caa"}