{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:YV4AWTQXHHWRXVO4ZVJMVILEL4","short_pith_number":"pith:YV4AWTQX","canonical_record":{"source":{"id":"2303.09791","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2023-03-17T06:24:52Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"c531783bd247b372a523b764fc3e344087619695288fbb40bc9259cbc2404258","abstract_canon_sha256":"d97d191f8b120e2095f191eb3a69fca5a6bfa92f4e814312217e0bcc43a52c9e"},"schema_version":"1.0"},"canonical_sha256":"c5780b4e1739ed1bd5dccd52caa1645f3227f8dc7989403958ef295c4100d864","source":{"kind":"arxiv","id":"2303.09791","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.09791","created_at":"2026-07-05T05:52:00Z"},{"alias_kind":"arxiv_version","alias_value":"2303.09791v1","created_at":"2026-07-05T05:52:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.09791","created_at":"2026-07-05T05:52:00Z"},{"alias_kind":"pith_short_12","alias_value":"YV4AWTQXHHWR","created_at":"2026-07-05T05:52:00Z"},{"alias_kind":"pith_short_16","alias_value":"YV4AWTQXHHWRXVO4","created_at":"2026-07-05T05:52:00Z"},{"alias_kind":"pith_short_8","alias_value":"YV4AWTQX","created_at":"2026-07-05T05:52:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:YV4AWTQXHHWRXVO4ZVJMVILEL4","target":"record","payload":{"canonical_record":{"source":{"id":"2303.09791","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2023-03-17T06:24:52Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"c531783bd247b372a523b764fc3e344087619695288fbb40bc9259cbc2404258","abstract_canon_sha256":"d97d191f8b120e2095f191eb3a69fca5a6bfa92f4e814312217e0bcc43a52c9e"},"schema_version":"1.0"},"canonical_sha256":"c5780b4e1739ed1bd5dccd52caa1645f3227f8dc7989403958ef295c4100d864","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:52:00.999650Z","signature_b64":"m6XQsun2/lhipL3JLIjy+VaPp/8oGsduqkzvTAwepKrXWaaBMnX5dtATxm9cLhrr+0hFi/DxpIX5Z5T70oAzCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c5780b4e1739ed1bd5dccd52caa1645f3227f8dc7989403958ef295c4100d864","last_reissued_at":"2026-07-05T05:52:00.999148Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:52:00.999148Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.09791","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-05T05:52:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EbZarySv3gJhTtwCxvwXrXYtYr0E2Cn6dYDHB8zvt7vQO1jJUdxelaTDQxmfLpxxEXcWqrU7vuuvHWDOypYjBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T19:44:24.330351Z"},"content_sha256":"79bce9ba72edf52de340d17dbf50ed2901132f5f0799f0804cde721cf9645ec8","schema_version":"1.0","event_id":"sha256:79bce9ba72edf52de340d17dbf50ed2901132f5f0799f0804cde721cf9645ec8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:YV4AWTQXHHWRXVO4ZVJMVILEL4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.HC","authors_text":"Jackson Wain, Jesse Linossier, Peter J. Stuckey, Shuai Fu, Tim Dwyer","submitted_at":"2023-03-17T06:24:52Z","abstract_excerpt":"Dynamically typed programming languages are popular in education and the software industry. While presenting a low barrier to entry, they suffer from run-time type errors and longer-term problems in code quality and maintainability. Statically typed languages, while showing strength in these aspects, lack in learnability and ease of use. In particular, fixing type errors poses challenges to both novice users and experts. Further, compiler-type error messages are presented in a static way that is biased toward the first occurrence of the error in the program code. To help users resolve such typ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.09791","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/2303.09791/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-05T05:52:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"93giM+apA2YhYbgLAwJuXUs7Xt5hFVfCJnRTqeNWX3Z5Wfi/BIc1T8xJpYeLDosMELEHvb+8/Py4/KIrMkKtAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T19:44:24.330885Z"},"content_sha256":"77206e2f4b1d063400f18c845929c841838b2e7c7a2c9ef151ade9a99bdd8c35","schema_version":"1.0","event_id":"sha256:77206e2f4b1d063400f18c845929c841838b2e7c7a2c9ef151ade9a99bdd8c35"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YV4AWTQXHHWRXVO4ZVJMVILEL4/bundle.json","state_url":"https://pith.science/pith/YV4AWTQXHHWRXVO4ZVJMVILEL4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YV4AWTQXHHWRXVO4ZVJMVILEL4/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-05T19:44:24Z","links":{"resolver":"https://pith.science/pith/YV4AWTQXHHWRXVO4ZVJMVILEL4","bundle":"https://pith.science/pith/YV4AWTQXHHWRXVO4ZVJMVILEL4/bundle.json","state":"https://pith.science/pith/YV4AWTQXHHWRXVO4ZVJMVILEL4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YV4AWTQXHHWRXVO4ZVJMVILEL4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:YV4AWTQXHHWRXVO4ZVJMVILEL4","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":"d97d191f8b120e2095f191eb3a69fca5a6bfa92f4e814312217e0bcc43a52c9e","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2023-03-17T06:24:52Z","title_canon_sha256":"c531783bd247b372a523b764fc3e344087619695288fbb40bc9259cbc2404258"},"schema_version":"1.0","source":{"id":"2303.09791","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.09791","created_at":"2026-07-05T05:52:00Z"},{"alias_kind":"arxiv_version","alias_value":"2303.09791v1","created_at":"2026-07-05T05:52:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.09791","created_at":"2026-07-05T05:52:00Z"},{"alias_kind":"pith_short_12","alias_value":"YV4AWTQXHHWR","created_at":"2026-07-05T05:52:00Z"},{"alias_kind":"pith_short_16","alias_value":"YV4AWTQXHHWRXVO4","created_at":"2026-07-05T05:52:00Z"},{"alias_kind":"pith_short_8","alias_value":"YV4AWTQX","created_at":"2026-07-05T05:52:00Z"}],"graph_snapshots":[{"event_id":"sha256:77206e2f4b1d063400f18c845929c841838b2e7c7a2c9ef151ade9a99bdd8c35","target":"graph","created_at":"2026-07-05T05:52:00Z","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/2303.09791/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Dynamically typed programming languages are popular in education and the software industry. While presenting a low barrier to entry, they suffer from run-time type errors and longer-term problems in code quality and maintainability. Statically typed languages, while showing strength in these aspects, lack in learnability and ease of use. In particular, fixing type errors poses challenges to both novice users and experts. Further, compiler-type error messages are presented in a static way that is biased toward the first occurrence of the error in the program code. To help users resolve such typ","authors_text":"Jackson Wain, Jesse Linossier, 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":"2023-03-17T06:24:52Z","title":"ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.09791","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:79bce9ba72edf52de340d17dbf50ed2901132f5f0799f0804cde721cf9645ec8","target":"record","created_at":"2026-07-05T05:52:00Z","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":"d97d191f8b120e2095f191eb3a69fca5a6bfa92f4e814312217e0bcc43a52c9e","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2023-03-17T06:24:52Z","title_canon_sha256":"c531783bd247b372a523b764fc3e344087619695288fbb40bc9259cbc2404258"},"schema_version":"1.0","source":{"id":"2303.09791","kind":"arxiv","version":1}},"canonical_sha256":"c5780b4e1739ed1bd5dccd52caa1645f3227f8dc7989403958ef295c4100d864","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c5780b4e1739ed1bd5dccd52caa1645f3227f8dc7989403958ef295c4100d864","first_computed_at":"2026-07-05T05:52:00.999148Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:52:00.999148Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m6XQsun2/lhipL3JLIjy+VaPp/8oGsduqkzvTAwepKrXWaaBMnX5dtATxm9cLhrr+0hFi/DxpIX5Z5T70oAzCA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:52:00.999650Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.09791","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79bce9ba72edf52de340d17dbf50ed2901132f5f0799f0804cde721cf9645ec8","sha256:77206e2f4b1d063400f18c845929c841838b2e7c7a2c9ef151ade9a99bdd8c35"],"state_sha256":"7986226c56c33792bd133be3d45d5b02f9dc20c1e9ab8b0828552d2193d437da"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uJbdcIpVb2pPTtZ8CBJphXhmaNPSUm35XJIKleY6m644sd7RwOb65G1PEGKWGvP+jnG4sBMp8nBTV9UQCJxJBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T19:44:24.335581Z","bundle_sha256":"1ccf6b8a3e3060a624c7e68a40e10d9a32eff0ac178c7ed34bd85b5a0435a8d2"}}