{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:TKB43EOM5SZTGWBAXL5IOQAB5C","short_pith_number":"pith:TKB43EOM","canonical_record":{"source":{"id":"2412.12513","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-17T04:07:45Z","cross_cats_sorted":[],"title_canon_sha256":"552a9176e1288ea8844da8f22f1d6804f0fd83f03e0ef802ffcd3e661879a43b","abstract_canon_sha256":"23b83dc23431f93ff353197ca6cc8f1d434d455b9f2f52bc1a7c87fe86da7224"},"schema_version":"1.0"},"canonical_sha256":"9a83cd91ccecb3335820bafa874001e89b4eaabfc4ff40d065060b9fe366a21f","source":{"kind":"arxiv","id":"2412.12513","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.12513","created_at":"2026-07-05T09:50:16Z"},{"alias_kind":"arxiv_version","alias_value":"2412.12513v1","created_at":"2026-07-05T09:50:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.12513","created_at":"2026-07-05T09:50:16Z"},{"alias_kind":"pith_short_12","alias_value":"TKB43EOM5SZT","created_at":"2026-07-05T09:50:16Z"},{"alias_kind":"pith_short_16","alias_value":"TKB43EOM5SZTGWBA","created_at":"2026-07-05T09:50:16Z"},{"alias_kind":"pith_short_8","alias_value":"TKB43EOM","created_at":"2026-07-05T09:50:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:TKB43EOM5SZTGWBAXL5IOQAB5C","target":"record","payload":{"canonical_record":{"source":{"id":"2412.12513","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-17T04:07:45Z","cross_cats_sorted":[],"title_canon_sha256":"552a9176e1288ea8844da8f22f1d6804f0fd83f03e0ef802ffcd3e661879a43b","abstract_canon_sha256":"23b83dc23431f93ff353197ca6cc8f1d434d455b9f2f52bc1a7c87fe86da7224"},"schema_version":"1.0"},"canonical_sha256":"9a83cd91ccecb3335820bafa874001e89b4eaabfc4ff40d065060b9fe366a21f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:50:16.188307Z","signature_b64":"je0bJEPLxxGw5JDCO52JuwxnO9HSh4xverTA3yLMzyuLSzAy3A+/nB4k80QWtP9wHoVA//hvZofyDYlgdV9RCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9a83cd91ccecb3335820bafa874001e89b4eaabfc4ff40d065060b9fe366a21f","last_reissued_at":"2026-07-05T09:50:16.187853Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:50:16.187853Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.12513","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:50:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DbLR4BT26RIiURMzpFuitaqEQgYvgIW7X5TUxLrlcMh/SYjpT7dzntbUjdnqdozSoxsEdftz6aA52NyyWhKKDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:13:03.856702Z"},"content_sha256":"2b519b2278cca487c309f0ea24f8bc5ac733d2194090fb3972f84a18ae0024d4","schema_version":"1.0","event_id":"sha256:2b519b2278cca487c309f0ea24f8bc5ac733d2194090fb3972f84a18ae0024d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:TKB43EOM5SZTGWBAXL5IOQAB5C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generating Move Smart Contracts based on Concepts","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Lei Xu, Rabimba Karanjai, Sam Blackshear, Weidong Shi","submitted_at":"2024-12-17T04:07:45Z","abstract_excerpt":"The growing adoption of formal verification for smart contracts has spurred the development of new verifiable languages like Move. However, the limited availability of training data for these languages hinders effective code generation by large language models (LLMs). This paper presents ConMover, a novel framework that enhances LLM-based code generation for Move by leveraging a knowledge graph of Move concepts and a small set of verified code examples. ConMover integrates concept retrieval, planning, coding, and debugging agents in an iterative process to refine generated code. Evaluations wi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.12513","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/2412.12513/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:50:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5wkmoc6cZwRUkJ30GFI+eTIjEgVZO0BaX4vfYAdkxk3pdiyNpmey7itLHffOtMXnPs9ixXY9X1U7f7e96UbCAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:13:03.857080Z"},"content_sha256":"0ccf0f74ee7e4a3b2f424a209c0a09417ab825b9b8bc46559685227f09546152","schema_version":"1.0","event_id":"sha256:0ccf0f74ee7e4a3b2f424a209c0a09417ab825b9b8bc46559685227f09546152"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TKB43EOM5SZTGWBAXL5IOQAB5C/bundle.json","state_url":"https://pith.science/pith/TKB43EOM5SZTGWBAXL5IOQAB5C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TKB43EOM5SZTGWBAXL5IOQAB5C/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-07T05:13:03Z","links":{"resolver":"https://pith.science/pith/TKB43EOM5SZTGWBAXL5IOQAB5C","bundle":"https://pith.science/pith/TKB43EOM5SZTGWBAXL5IOQAB5C/bundle.json","state":"https://pith.science/pith/TKB43EOM5SZTGWBAXL5IOQAB5C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TKB43EOM5SZTGWBAXL5IOQAB5C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:TKB43EOM5SZTGWBAXL5IOQAB5C","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":"23b83dc23431f93ff353197ca6cc8f1d434d455b9f2f52bc1a7c87fe86da7224","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-17T04:07:45Z","title_canon_sha256":"552a9176e1288ea8844da8f22f1d6804f0fd83f03e0ef802ffcd3e661879a43b"},"schema_version":"1.0","source":{"id":"2412.12513","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.12513","created_at":"2026-07-05T09:50:16Z"},{"alias_kind":"arxiv_version","alias_value":"2412.12513v1","created_at":"2026-07-05T09:50:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.12513","created_at":"2026-07-05T09:50:16Z"},{"alias_kind":"pith_short_12","alias_value":"TKB43EOM5SZT","created_at":"2026-07-05T09:50:16Z"},{"alias_kind":"pith_short_16","alias_value":"TKB43EOM5SZTGWBA","created_at":"2026-07-05T09:50:16Z"},{"alias_kind":"pith_short_8","alias_value":"TKB43EOM","created_at":"2026-07-05T09:50:16Z"}],"graph_snapshots":[{"event_id":"sha256:0ccf0f74ee7e4a3b2f424a209c0a09417ab825b9b8bc46559685227f09546152","target":"graph","created_at":"2026-07-05T09:50:16Z","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/2412.12513/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The growing adoption of formal verification for smart contracts has spurred the development of new verifiable languages like Move. However, the limited availability of training data for these languages hinders effective code generation by large language models (LLMs). This paper presents ConMover, a novel framework that enhances LLM-based code generation for Move by leveraging a knowledge graph of Move concepts and a small set of verified code examples. ConMover integrates concept retrieval, planning, coding, and debugging agents in an iterative process to refine generated code. Evaluations wi","authors_text":"Lei Xu, Rabimba Karanjai, Sam Blackshear, Weidong Shi","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.12513","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:2b519b2278cca487c309f0ea24f8bc5ac733d2194090fb3972f84a18ae0024d4","target":"record","created_at":"2026-07-05T09:50:16Z","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":"23b83dc23431f93ff353197ca6cc8f1d434d455b9f2f52bc1a7c87fe86da7224","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-17T04:07:45Z","title_canon_sha256":"552a9176e1288ea8844da8f22f1d6804f0fd83f03e0ef802ffcd3e661879a43b"},"schema_version":"1.0","source":{"id":"2412.12513","kind":"arxiv","version":1}},"canonical_sha256":"9a83cd91ccecb3335820bafa874001e89b4eaabfc4ff40d065060b9fe366a21f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a83cd91ccecb3335820bafa874001e89b4eaabfc4ff40d065060b9fe366a21f","first_computed_at":"2026-07-05T09:50:16.187853Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:50:16.187853Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"je0bJEPLxxGw5JDCO52JuwxnO9HSh4xverTA3yLMzyuLSzAy3A+/nB4k80QWtP9wHoVA//hvZofyDYlgdV9RCg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:50:16.188307Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.12513","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2b519b2278cca487c309f0ea24f8bc5ac733d2194090fb3972f84a18ae0024d4","sha256:0ccf0f74ee7e4a3b2f424a209c0a09417ab825b9b8bc46559685227f09546152"],"state_sha256":"e8a572c6fd237e953fdf0642ab529a7f36bde3317f8a80737c3bb0891e4949d8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F9P4ufc8ZxqX4xJ2zNSrmlF74NNs5HrMnDeBhiGB0W/3uecnba1tXADcoXVJTJXRKCn9fbviySSEF3zI8QnNDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T05:13:03.859332Z","bundle_sha256":"84c1f28543d2b7db7b7f0bf36f6cdfbb9ff66c0294f48c88dca7348f1ae84b21"}}