{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:M4O657F3EEFBGRY2RPLG5WKTFJ","short_pith_number":"pith:M4O657F3","canonical_record":{"source":{"id":"2607.08885","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-09T19:22:35Z","cross_cats_sorted":[],"title_canon_sha256":"e306582518d49e0ee92c2b85ccce5a06b1eb820486a12652b7c8e9f8c9f0dac9","abstract_canon_sha256":"3c05ed9121a2e04ca46c42cb34098987947fd8955c7d8fecd85b131b0e97ab2c"},"schema_version":"1.0"},"canonical_sha256":"671deefcbb210a13471a8bd66ed9532a785c79dd1a31be2e047a3052689b6411","source":{"kind":"arxiv","id":"2607.08885","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08885","created_at":"2026-07-13T00:17:24Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08885v1","created_at":"2026-07-13T00:17:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08885","created_at":"2026-07-13T00:17:24Z"},{"alias_kind":"pith_short_12","alias_value":"M4O657F3EEFB","created_at":"2026-07-13T00:17:24Z"},{"alias_kind":"pith_short_16","alias_value":"M4O657F3EEFBGRY2","created_at":"2026-07-13T00:17:24Z"},{"alias_kind":"pith_short_8","alias_value":"M4O657F3","created_at":"2026-07-13T00:17:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:M4O657F3EEFBGRY2RPLG5WKTFJ","target":"record","payload":{"canonical_record":{"source":{"id":"2607.08885","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-09T19:22:35Z","cross_cats_sorted":[],"title_canon_sha256":"e306582518d49e0ee92c2b85ccce5a06b1eb820486a12652b7c8e9f8c9f0dac9","abstract_canon_sha256":"3c05ed9121a2e04ca46c42cb34098987947fd8955c7d8fecd85b131b0e97ab2c"},"schema_version":"1.0"},"canonical_sha256":"671deefcbb210a13471a8bd66ed9532a785c79dd1a31be2e047a3052689b6411","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-13T00:17:24.591138Z","signature_b64":"Sn9Keztc3RBmiSXamL88ieQ1dCNvZDsjARVa3yyUY+mjMC/tmlx4BCqqGm+I3S+C6uKAuStjYjo1pvkv/hwRDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"671deefcbb210a13471a8bd66ed9532a785c79dd1a31be2e047a3052689b6411","last_reissued_at":"2026-07-13T00:17:24.583971Z","signature_status":"signed_v1","first_computed_at":"2026-07-13T00:17:24.583971Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.08885","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-13T00:17:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hGkVuQu7iXy08JA1tMiHmata+tu98IYMmDT1KvctZjcCRqVxUh1CgEEgpEmd1oeFTC5PreMymZIuyNf7Pfg2DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-17T19:49:32.105179Z"},"content_sha256":"6346d7192bc922191519468078236b969434dbc4681d3b6615ec9d42789249b1","schema_version":"1.0","event_id":"sha256:6346d7192bc922191519468078236b969434dbc4681d3b6615ec9d42789249b1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:M4O657F3EEFBGRY2RPLG5WKTFJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adithya Murali, Madeline Endres, Yuriy Brun, Zhanna Kaufman","submitted_at":"2026-07-09T19:22:35Z","abstract_excerpt":"Code comprehension and code review are already critically important software engineering tasks, and the rising use of AI code generation tools is only increasing that importance. Generative AI has the possibility of supporting these activities, for example by augmenting code with assertions and natural-language explanations describing code behavior. However, little is known about how effective such support may be. We conduct a controlled experiment with 86 Python programmers and a follow-up think-aloud study to examine developers' ability to assess the correctness and completeness of generated"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08885","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/2607.08885/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-13T00:17:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MDFyxkMf5mxzKDUZlW/P+NFLtPA5PNUWYTZZMRDUIEyVXgAEPqdazecgIjrsPw4gteE9Sm/I4CjeJ7Atk+7mAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-17T19:49:32.105565Z"},"content_sha256":"3efa6bf11b1302a72028fc4bad4087a57b3e1ea3dc551dd01aa94c73ad64d978","schema_version":"1.0","event_id":"sha256:3efa6bf11b1302a72028fc4bad4087a57b3e1ea3dc551dd01aa94c73ad64d978"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M4O657F3EEFBGRY2RPLG5WKTFJ/bundle.json","state_url":"https://pith.science/pith/M4O657F3EEFBGRY2RPLG5WKTFJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M4O657F3EEFBGRY2RPLG5WKTFJ/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-07-17T19:49:32Z","links":{"resolver":"https://pith.science/pith/M4O657F3EEFBGRY2RPLG5WKTFJ","bundle":"https://pith.science/pith/M4O657F3EEFBGRY2RPLG5WKTFJ/bundle.json","state":"https://pith.science/pith/M4O657F3EEFBGRY2RPLG5WKTFJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M4O657F3EEFBGRY2RPLG5WKTFJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:M4O657F3EEFBGRY2RPLG5WKTFJ","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":"3c05ed9121a2e04ca46c42cb34098987947fd8955c7d8fecd85b131b0e97ab2c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-09T19:22:35Z","title_canon_sha256":"e306582518d49e0ee92c2b85ccce5a06b1eb820486a12652b7c8e9f8c9f0dac9"},"schema_version":"1.0","source":{"id":"2607.08885","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08885","created_at":"2026-07-13T00:17:24Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08885v1","created_at":"2026-07-13T00:17:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08885","created_at":"2026-07-13T00:17:24Z"},{"alias_kind":"pith_short_12","alias_value":"M4O657F3EEFB","created_at":"2026-07-13T00:17:24Z"},{"alias_kind":"pith_short_16","alias_value":"M4O657F3EEFBGRY2","created_at":"2026-07-13T00:17:24Z"},{"alias_kind":"pith_short_8","alias_value":"M4O657F3","created_at":"2026-07-13T00:17:24Z"}],"graph_snapshots":[{"event_id":"sha256:3efa6bf11b1302a72028fc4bad4087a57b3e1ea3dc551dd01aa94c73ad64d978","target":"graph","created_at":"2026-07-13T00:17: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/2607.08885/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code comprehension and code review are already critically important software engineering tasks, and the rising use of AI code generation tools is only increasing that importance. Generative AI has the possibility of supporting these activities, for example by augmenting code with assertions and natural-language explanations describing code behavior. However, little is known about how effective such support may be. We conduct a controlled experiment with 86 Python programmers and a follow-up think-aloud study to examine developers' ability to assess the correctness and completeness of generated","authors_text":"Adithya Murali, Madeline Endres, Yuriy Brun, Zhanna Kaufman","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-09T19:22:35Z","title":"Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08885","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:6346d7192bc922191519468078236b969434dbc4681d3b6615ec9d42789249b1","target":"record","created_at":"2026-07-13T00:17: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":"3c05ed9121a2e04ca46c42cb34098987947fd8955c7d8fecd85b131b0e97ab2c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-09T19:22:35Z","title_canon_sha256":"e306582518d49e0ee92c2b85ccce5a06b1eb820486a12652b7c8e9f8c9f0dac9"},"schema_version":"1.0","source":{"id":"2607.08885","kind":"arxiv","version":1}},"canonical_sha256":"671deefcbb210a13471a8bd66ed9532a785c79dd1a31be2e047a3052689b6411","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"671deefcbb210a13471a8bd66ed9532a785c79dd1a31be2e047a3052689b6411","first_computed_at":"2026-07-13T00:17:24.583971Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-13T00:17:24.583971Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Sn9Keztc3RBmiSXamL88ieQ1dCNvZDsjARVa3yyUY+mjMC/tmlx4BCqqGm+I3S+C6uKAuStjYjo1pvkv/hwRDQ==","signature_status":"signed_v1","signed_at":"2026-07-13T00:17:24.591138Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.08885","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6346d7192bc922191519468078236b969434dbc4681d3b6615ec9d42789249b1","sha256:3efa6bf11b1302a72028fc4bad4087a57b3e1ea3dc551dd01aa94c73ad64d978"],"state_sha256":"5b06fdc9b8544e0f9b3e935d4779ec7d1d6916706efd7c1d72f29451165030a7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xwj3BPX1nUJ3lLAHcFxN9mXwt6fD871akPab6bIsxnGb3i6JrgCbYjTX5efJeCdr1ud+7ZaEHuEyrqfvsdk9AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-17T19:49:32.107621Z","bundle_sha256":"bce4da22d0adad9123e1ea3cbb18e8ec8793cee9e15230f79bf2aad54c8a979e"}}