{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:ZJG3ST6363IKLZ3HS36SQVGKE4","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":"4eddb3cbdced06d4e5d15a47c37344d4b4bc40c54a1cd2ff015ca977a9ad6db5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T14:11:54Z","title_canon_sha256":"6c59b1b4f3fdcc02c56483a52c1a94577e5c7a5434a5ce2c349581247c25e00d"},"schema_version":"1.0","source":{"id":"2606.31706","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31706","created_at":"2026-07-01T01:18:12Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31706v1","created_at":"2026-07-01T01:18:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31706","created_at":"2026-07-01T01:18:12Z"},{"alias_kind":"pith_short_12","alias_value":"ZJG3ST6363IK","created_at":"2026-07-01T01:18:12Z"},{"alias_kind":"pith_short_16","alias_value":"ZJG3ST6363IKLZ3H","created_at":"2026-07-01T01:18:12Z"},{"alias_kind":"pith_short_8","alias_value":"ZJG3ST63","created_at":"2026-07-01T01:18:12Z"}],"graph_snapshots":[{"event_id":"sha256:e332f0a03e520769e52eeaa740f89a0660a31e00db4c14e72abddd23cbd9f334","target":"graph","created_at":"2026-07-01T01:18:12Z","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/2606.31706/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The automated transformation of C code to Rust is challenging due to Rust's strict ownership and borrowing semantics. While Large Language Models (LLMs) show promise, they often produce code that violates these rules or relies on unsafe constructs. We propose AdaTrans, a framework that addresses these issues through three core mechanisms: a Strategy-Driven Retrieval-Augmented Generation (RAG) mechanism to map compiler errors to specific repairs, an Error-Stratified Transformation Strategy (ESTS) that adapts its behavior based on error types, and a multi-stage validation pipeline to ensure both","authors_text":"Jifeng Xuan, Qi Xin, Xiaofan Liu, Yanming Yang, Zecan Li, Zhuang Zhao, Ziqi Shuai","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T14:11:54Z","title":"AdaTrans: Automated C to Rust Transformation via Error-Adaptive Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31706","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:4e04b6102e3991cf3c7deeb4e77a5ab4ffa76db5906575d48d11a9180d73205b","target":"record","created_at":"2026-07-01T01:18:12Z","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":"4eddb3cbdced06d4e5d15a47c37344d4b4bc40c54a1cd2ff015ca977a9ad6db5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T14:11:54Z","title_canon_sha256":"6c59b1b4f3fdcc02c56483a52c1a94577e5c7a5434a5ce2c349581247c25e00d"},"schema_version":"1.0","source":{"id":"2606.31706","kind":"arxiv","version":1}},"canonical_sha256":"ca4db94fdbf6d0a5e76796fd2854ca27125cb980bc88bad3ec0e8b0ab9300881","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca4db94fdbf6d0a5e76796fd2854ca27125cb980bc88bad3ec0e8b0ab9300881","first_computed_at":"2026-07-01T01:18:12.341104Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T01:18:12.341104Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pS3DkCbc0Aism7PSkpJF2G5xVM84IRyEU638ZBG7ljrLqGzXrhccEpCU89fys/fGHkOziDBXPeSkwl+6oQtbBA==","signature_status":"signed_v1","signed_at":"2026-07-01T01:18:12.341610Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.31706","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e04b6102e3991cf3c7deeb4e77a5ab4ffa76db5906575d48d11a9180d73205b","sha256:e332f0a03e520769e52eeaa740f89a0660a31e00db4c14e72abddd23cbd9f334"],"state_sha256":"f4806b7bad9fe9ebe90477a8ff507c86ac4fb6b004c4492f72bf2192c68e25ce"}