{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:ZZCRQ4XXRHVARFEA3K42WQM7KI","short_pith_number":"pith:ZZCRQ4XX","canonical_record":{"source":{"id":"2308.05177","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-08-09T18:30:27Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"5b038e9c8e1e0e0251a75c858b0dcd39d184ba2b09be1dc7c0d99a7e19ad98b9","abstract_canon_sha256":"013c02d7a91abf3bcb5023fe05b81b71590b5911b02201fcff7c5945e027885a"},"schema_version":"1.0"},"canonical_sha256":"ce451872f789ea089480dab9ab419f521719809c10d5a0b7013969036af4c676","source":{"kind":"arxiv","id":"2308.05177","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.05177","created_at":"2026-07-05T06:39:56Z"},{"alias_kind":"arxiv_version","alias_value":"2308.05177v1","created_at":"2026-07-05T06:39:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.05177","created_at":"2026-07-05T06:39:56Z"},{"alias_kind":"pith_short_12","alias_value":"ZZCRQ4XXRHVA","created_at":"2026-07-05T06:39:56Z"},{"alias_kind":"pith_short_16","alias_value":"ZZCRQ4XXRHVARFEA","created_at":"2026-07-05T06:39:56Z"},{"alias_kind":"pith_short_8","alias_value":"ZZCRQ4XX","created_at":"2026-07-05T06:39:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:ZZCRQ4XXRHVARFEA3K42WQM7KI","target":"record","payload":{"canonical_record":{"source":{"id":"2308.05177","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-08-09T18:30:27Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"5b038e9c8e1e0e0251a75c858b0dcd39d184ba2b09be1dc7c0d99a7e19ad98b9","abstract_canon_sha256":"013c02d7a91abf3bcb5023fe05b81b71590b5911b02201fcff7c5945e027885a"},"schema_version":"1.0"},"canonical_sha256":"ce451872f789ea089480dab9ab419f521719809c10d5a0b7013969036af4c676","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:39:56.796162Z","signature_b64":"MybUmAm0t90liGb2nOGUFjKxzQhKL8GKgUAGKekYyT9P6jTqH5fHw6DNOI33/dRCCoy9llXJmmY84sT8Ke1RCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce451872f789ea089480dab9ab419f521719809c10d5a0b7013969036af4c676","last_reissued_at":"2026-07-05T06:39:56.795615Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:39:56.795615Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.05177","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-05T06:39:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DxwqSMq4ndH+usPpx2W+bWCLPoQn1TmeRiQouOReAU61LmSAkenGZAb9pMAsfapnrlMbUiolxSFz3qKHsS/KDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T12:51:55.626725Z"},"content_sha256":"b7abd2fb6222ef27651a39487b86783889f9e5d2ab3be2d2a87f1706efc0c04d","schema_version":"1.0","event_id":"sha256:b7abd2fb6222ef27651a39487b86783889f9e5d2ab3be2d2a87f1706efc0c04d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:ZZCRQ4XXRHVARFEA3K42WQM7KI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fixing Rust Compilation Errors using LLMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Akash Lal, Aseem Rastogi, Nikita Mehrotra, Pantazis Deligiannis","submitted_at":"2023-08-09T18:30:27Z","abstract_excerpt":"The Rust programming language, with its safety guarantees, has established itself as a viable choice for low-level systems programming language over the traditional, unsafe alternatives like C/C++. These guarantees come from a strong ownership-based type system, as well as primitive support for features like closures, pattern matching, etc., that make the code more concise and amenable to reasoning. These unique Rust features also pose a steep learning curve for programmers.\n  This paper presents a tool called RustAssistant that leverages the emergent capabilities of Large Language Models (LLM"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.05177","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/2308.05177/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-05T06:39:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6pXh8j7FZNJnc/nA51UrV+3z7T6ZYAXBkVpr/cKuVEp7glXpFrcJ+/G9MXJimbf3V5C87NPgEhypH5p7uE3FBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T12:51:55.627330Z"},"content_sha256":"67460343033eefaee8c21a05e4b27a31cb687b68735758742da1f4d498dfb82e","schema_version":"1.0","event_id":"sha256:67460343033eefaee8c21a05e4b27a31cb687b68735758742da1f4d498dfb82e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZZCRQ4XXRHVARFEA3K42WQM7KI/bundle.json","state_url":"https://pith.science/pith/ZZCRQ4XXRHVARFEA3K42WQM7KI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZZCRQ4XXRHVARFEA3K42WQM7KI/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-22T12:51:55Z","links":{"resolver":"https://pith.science/pith/ZZCRQ4XXRHVARFEA3K42WQM7KI","bundle":"https://pith.science/pith/ZZCRQ4XXRHVARFEA3K42WQM7KI/bundle.json","state":"https://pith.science/pith/ZZCRQ4XXRHVARFEA3K42WQM7KI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZZCRQ4XXRHVARFEA3K42WQM7KI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ZZCRQ4XXRHVARFEA3K42WQM7KI","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":"013c02d7a91abf3bcb5023fe05b81b71590b5911b02201fcff7c5945e027885a","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-08-09T18:30:27Z","title_canon_sha256":"5b038e9c8e1e0e0251a75c858b0dcd39d184ba2b09be1dc7c0d99a7e19ad98b9"},"schema_version":"1.0","source":{"id":"2308.05177","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.05177","created_at":"2026-07-05T06:39:56Z"},{"alias_kind":"arxiv_version","alias_value":"2308.05177v1","created_at":"2026-07-05T06:39:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.05177","created_at":"2026-07-05T06:39:56Z"},{"alias_kind":"pith_short_12","alias_value":"ZZCRQ4XXRHVA","created_at":"2026-07-05T06:39:56Z"},{"alias_kind":"pith_short_16","alias_value":"ZZCRQ4XXRHVARFEA","created_at":"2026-07-05T06:39:56Z"},{"alias_kind":"pith_short_8","alias_value":"ZZCRQ4XX","created_at":"2026-07-05T06:39:56Z"}],"graph_snapshots":[{"event_id":"sha256:67460343033eefaee8c21a05e4b27a31cb687b68735758742da1f4d498dfb82e","target":"graph","created_at":"2026-07-05T06:39:56Z","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/2308.05177/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Rust programming language, with its safety guarantees, has established itself as a viable choice for low-level systems programming language over the traditional, unsafe alternatives like C/C++. These guarantees come from a strong ownership-based type system, as well as primitive support for features like closures, pattern matching, etc., that make the code more concise and amenable to reasoning. These unique Rust features also pose a steep learning curve for programmers.\n  This paper presents a tool called RustAssistant that leverages the emergent capabilities of Large Language Models (LLM","authors_text":"Akash Lal, Aseem Rastogi, Nikita Mehrotra, Pantazis Deligiannis","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-08-09T18:30:27Z","title":"Fixing Rust Compilation Errors using LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.05177","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:b7abd2fb6222ef27651a39487b86783889f9e5d2ab3be2d2a87f1706efc0c04d","target":"record","created_at":"2026-07-05T06:39:56Z","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":"013c02d7a91abf3bcb5023fe05b81b71590b5911b02201fcff7c5945e027885a","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-08-09T18:30:27Z","title_canon_sha256":"5b038e9c8e1e0e0251a75c858b0dcd39d184ba2b09be1dc7c0d99a7e19ad98b9"},"schema_version":"1.0","source":{"id":"2308.05177","kind":"arxiv","version":1}},"canonical_sha256":"ce451872f789ea089480dab9ab419f521719809c10d5a0b7013969036af4c676","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce451872f789ea089480dab9ab419f521719809c10d5a0b7013969036af4c676","first_computed_at":"2026-07-05T06:39:56.795615Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:39:56.795615Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MybUmAm0t90liGb2nOGUFjKxzQhKL8GKgUAGKekYyT9P6jTqH5fHw6DNOI33/dRCCoy9llXJmmY84sT8Ke1RCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:39:56.796162Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.05177","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7abd2fb6222ef27651a39487b86783889f9e5d2ab3be2d2a87f1706efc0c04d","sha256:67460343033eefaee8c21a05e4b27a31cb687b68735758742da1f4d498dfb82e"],"state_sha256":"6840f210a85f98b3d332264c401d26f49df8a93834ca45cc73b26701539bac55"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yMgO8Wca5mF5MG+KYpa/nUxOCmdENiMR5UJ4C1KH+3JoK6eDde2lthsBZA+ybmRmWoq3UmjyZ6KXNrodGbhVCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T12:51:55.630793Z","bundle_sha256":"cce350f821d2845ab033e4ff20600cc4e0129e1237d6ef33b9cabfbc130fb73e"}}