{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:3OO7OJ34HNVVRHN4HDB5JU2WDR","short_pith_number":"pith:3OO7OJ34","canonical_record":{"source":{"id":"2411.16927","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-25T20:52:28Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c3c8d3e829437b6fb0ea1cf1a8141e04521fd83df47643a3380c6a36208d3b21","abstract_canon_sha256":"9fd1eb81f4bc89bd2833ff10249631a5b1ec958d5121e531160107b87082619a"},"schema_version":"1.0"},"canonical_sha256":"db9df7277c3b6b589dbc38c3d4d3561c4480a4f4298e308ad00cb5e9b42ed822","source":{"kind":"arxiv","id":"2411.16927","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.16927","created_at":"2026-07-05T09:40:24Z"},{"alias_kind":"arxiv_version","alias_value":"2411.16927v1","created_at":"2026-07-05T09:40:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.16927","created_at":"2026-07-05T09:40:24Z"},{"alias_kind":"pith_short_12","alias_value":"3OO7OJ34HNVV","created_at":"2026-07-05T09:40:24Z"},{"alias_kind":"pith_short_16","alias_value":"3OO7OJ34HNVVRHN4","created_at":"2026-07-05T09:40:24Z"},{"alias_kind":"pith_short_8","alias_value":"3OO7OJ34","created_at":"2026-07-05T09:40:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:3OO7OJ34HNVVRHN4HDB5JU2WDR","target":"record","payload":{"canonical_record":{"source":{"id":"2411.16927","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-25T20:52:28Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c3c8d3e829437b6fb0ea1cf1a8141e04521fd83df47643a3380c6a36208d3b21","abstract_canon_sha256":"9fd1eb81f4bc89bd2833ff10249631a5b1ec958d5121e531160107b87082619a"},"schema_version":"1.0"},"canonical_sha256":"db9df7277c3b6b589dbc38c3d4d3561c4480a4f4298e308ad00cb5e9b42ed822","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:40:24.695113Z","signature_b64":"XRzXCHy9FtaMK0Qm5mEP32w9xMRwdTmj1lSn796e/DVz0tz5BR3osjy6gfl5FNoYw/FAJoLeWd4hRJIW6o4EBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db9df7277c3b6b589dbc38c3d4d3561c4480a4f4298e308ad00cb5e9b42ed822","last_reissued_at":"2026-07-05T09:40:24.694669Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:40:24.694669Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.16927","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-05T09:40:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NzHOiZB3ZHSZe+3nx9VmofEUWS9WJP2ZbZJALDLczSh8q5tQZCuxR+xDKOTz0MHRUcJISLvDDEXrTG96KNGZAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T02:26:07.026285Z"},"content_sha256":"befe0862d1675aa5510dd1d2c270917895e82572b97e2aa37f7a56827db03a08","schema_version":"1.0","event_id":"sha256:befe0862d1675aa5510dd1d2c270917895e82572b97e2aa37f7a56827db03a08"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:3OO7OJ34HNVVRHN4HDB5JU2WDR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Abhinav Sharma, Mohammad Jalili Torkamani, Nikita Mehrotra, Rahul Purandare","submitted_at":"2024-11-25T20:52:28Z","abstract_excerpt":"Production assertions are statements embedded in the code to help developers validate their assumptions about the code. They assist developers in debugging, provide valuable documentation, and enhance code comprehension. Current research in this area primarily focuses on assertion generation for unit tests using techniques, such as static analysis and deep learning. While these techniques have shown promise, they fall short when it comes to generating production assertions, which serve a different purpose.\n  This preprint addresses the gap by introducing Assertify, an automated end-to-end tool"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.16927","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/2411.16927/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-05T09:40:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nFjioCqk8sIxQQlQ6psmmPDpwGkaNJCjJLmKvkCBHanx5DwtcS9+06bGpjTkt/KFJoylD1FyMtWmDBUQQ48hAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T02:26:07.026578Z"},"content_sha256":"42a8ee9e0f3e6901b1a53c6ec86b5b6088f1fff982f65e32b6bb49fa1a8d994f","schema_version":"1.0","event_id":"sha256:42a8ee9e0f3e6901b1a53c6ec86b5b6088f1fff982f65e32b6bb49fa1a8d994f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3OO7OJ34HNVVRHN4HDB5JU2WDR/bundle.json","state_url":"https://pith.science/pith/3OO7OJ34HNVVRHN4HDB5JU2WDR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3OO7OJ34HNVVRHN4HDB5JU2WDR/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-01T02:26:07Z","links":{"resolver":"https://pith.science/pith/3OO7OJ34HNVVRHN4HDB5JU2WDR","bundle":"https://pith.science/pith/3OO7OJ34HNVVRHN4HDB5JU2WDR/bundle.json","state":"https://pith.science/pith/3OO7OJ34HNVVRHN4HDB5JU2WDR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3OO7OJ34HNVVRHN4HDB5JU2WDR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:3OO7OJ34HNVVRHN4HDB5JU2WDR","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":"9fd1eb81f4bc89bd2833ff10249631a5b1ec958d5121e531160107b87082619a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-25T20:52:28Z","title_canon_sha256":"c3c8d3e829437b6fb0ea1cf1a8141e04521fd83df47643a3380c6a36208d3b21"},"schema_version":"1.0","source":{"id":"2411.16927","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.16927","created_at":"2026-07-05T09:40:24Z"},{"alias_kind":"arxiv_version","alias_value":"2411.16927v1","created_at":"2026-07-05T09:40:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.16927","created_at":"2026-07-05T09:40:24Z"},{"alias_kind":"pith_short_12","alias_value":"3OO7OJ34HNVV","created_at":"2026-07-05T09:40:24Z"},{"alias_kind":"pith_short_16","alias_value":"3OO7OJ34HNVVRHN4","created_at":"2026-07-05T09:40:24Z"},{"alias_kind":"pith_short_8","alias_value":"3OO7OJ34","created_at":"2026-07-05T09:40:24Z"}],"graph_snapshots":[{"event_id":"sha256:42a8ee9e0f3e6901b1a53c6ec86b5b6088f1fff982f65e32b6bb49fa1a8d994f","target":"graph","created_at":"2026-07-05T09:40: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/2411.16927/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Production assertions are statements embedded in the code to help developers validate their assumptions about the code. They assist developers in debugging, provide valuable documentation, and enhance code comprehension. Current research in this area primarily focuses on assertion generation for unit tests using techniques, such as static analysis and deep learning. While these techniques have shown promise, they fall short when it comes to generating production assertions, which serve a different purpose.\n  This preprint addresses the gap by introducing Assertify, an automated end-to-end tool","authors_text":"Abhinav Sharma, Mohammad Jalili Torkamani, Nikita Mehrotra, Rahul Purandare","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-25T20:52:28Z","title":"ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.16927","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:befe0862d1675aa5510dd1d2c270917895e82572b97e2aa37f7a56827db03a08","target":"record","created_at":"2026-07-05T09:40: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":"9fd1eb81f4bc89bd2833ff10249631a5b1ec958d5121e531160107b87082619a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-25T20:52:28Z","title_canon_sha256":"c3c8d3e829437b6fb0ea1cf1a8141e04521fd83df47643a3380c6a36208d3b21"},"schema_version":"1.0","source":{"id":"2411.16927","kind":"arxiv","version":1}},"canonical_sha256":"db9df7277c3b6b589dbc38c3d4d3561c4480a4f4298e308ad00cb5e9b42ed822","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"db9df7277c3b6b589dbc38c3d4d3561c4480a4f4298e308ad00cb5e9b42ed822","first_computed_at":"2026-07-05T09:40:24.694669Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:40:24.694669Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XRzXCHy9FtaMK0Qm5mEP32w9xMRwdTmj1lSn796e/DVz0tz5BR3osjy6gfl5FNoYw/FAJoLeWd4hRJIW6o4EBA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:40:24.695113Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.16927","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:befe0862d1675aa5510dd1d2c270917895e82572b97e2aa37f7a56827db03a08","sha256:42a8ee9e0f3e6901b1a53c6ec86b5b6088f1fff982f65e32b6bb49fa1a8d994f"],"state_sha256":"f895faa88a38dd4172ec7037b63572b92f2e6c2f73e653e6ff9fc928aa277fae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jRV0AQ4sFsNwOfpaZj09LEEtUjm31zhQ1OryOpJIR3zD9v5aGEaQU4CZu19xnMIN2KetXSCi9mgxvnKyoaMrBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T02:26:07.029291Z","bundle_sha256":"696e90ba6cad2f4ec07d58f9213e648a9382fcaca003f48012c0dfa75dde6f47"}}