{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:M4DNYH6CTVCIT3XMPCSP53WGUX","short_pith_number":"pith:M4DNYH6C","schema_version":"1.0","canonical_sha256":"6706dc1fc29d4489eeec78a4feeec6a5d54965a72ff23c011f1e36e91895d58d","source":{"kind":"arxiv","id":"2606.07085","version":1},"attestation_state":"computed","paper":{"title":"Porting Declarative UI to HarmonyOS: A Heuristic-guided LLM Approach","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chengyi Wang, Huizhi Zhang, Kunwu Zheng, Linhao Wu, Mengying Zhao, Peishi Lai, Pengyu Xue, Xianhang Li, Xiran Lyu, Yutian Tang, Zhen Yang","submitted_at":"2026-06-05T09:31:21Z","abstract_excerpt":"As an emerging operating system, HarmonyOS has a significant demand for software migration from platforms such as Android and iOS, where the User Interface (UI) translation accounts for a critical link. However, the latest UI development has shifted to declarative paradigms, e.g., Kotlin Jetpack Compose (KJC) for Android, SwiftUI for iOS, and ArkUI for HarmonyOS, rendering prior translation approaches inapplicable, as they target either backend logic or legacy imperative UIs.\n  As such, this paper targets ArkUI and proposes an automatic translation approach, namely ArkTrans, to port UI files f"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.07085","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-05T09:31:21Z","cross_cats_sorted":[],"title_canon_sha256":"b46414e2ea5b42207b94c6a4571536c2417cb7b2ff7fd26df2c7ae0bc6593f53","abstract_canon_sha256":"deb0797a78e98e1597c91f8d639e17faeebe17bcb001cbe620954fdc0e388505"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-08T01:04:45.415272Z","signature_b64":"Lm34PWboKl6ZivXqMOwOkK1FO1c9tGkI47BtyABVqVZYxGtZeXR2bEhG9jzAvafX0PbXUw1tZWPKkG/LoDoVDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6706dc1fc29d4489eeec78a4feeec6a5d54965a72ff23c011f1e36e91895d58d","last_reissued_at":"2026-06-08T01:04:45.414422Z","signature_status":"signed_v1","first_computed_at":"2026-06-08T01:04:45.414422Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Porting Declarative UI to HarmonyOS: A Heuristic-guided LLM Approach","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chengyi Wang, Huizhi Zhang, Kunwu Zheng, Linhao Wu, Mengying Zhao, Peishi Lai, Pengyu Xue, Xianhang Li, Xiran Lyu, Yutian Tang, Zhen Yang","submitted_at":"2026-06-05T09:31:21Z","abstract_excerpt":"As an emerging operating system, HarmonyOS has a significant demand for software migration from platforms such as Android and iOS, where the User Interface (UI) translation accounts for a critical link. However, the latest UI development has shifted to declarative paradigms, e.g., Kotlin Jetpack Compose (KJC) for Android, SwiftUI for iOS, and ArkUI for HarmonyOS, rendering prior translation approaches inapplicable, as they target either backend logic or legacy imperative UIs.\n  As such, this paper targets ArkUI and proposes an automatic translation approach, namely ArkTrans, to port UI files f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.07085","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/2606.07085/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.07085","created_at":"2026-06-08T01:04:45.414562+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.07085v1","created_at":"2026-06-08T01:04:45.414562+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.07085","created_at":"2026-06-08T01:04:45.414562+00:00"},{"alias_kind":"pith_short_12","alias_value":"M4DNYH6CTVCI","created_at":"2026-06-08T01:04:45.414562+00:00"},{"alias_kind":"pith_short_16","alias_value":"M4DNYH6CTVCIT3XM","created_at":"2026-06-08T01:04:45.414562+00:00"},{"alias_kind":"pith_short_8","alias_value":"M4DNYH6C","created_at":"2026-06-08T01:04:45.414562+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/M4DNYH6CTVCIT3XMPCSP53WGUX","json":"https://pith.science/pith/M4DNYH6CTVCIT3XMPCSP53WGUX.json","graph_json":"https://pith.science/api/pith-number/M4DNYH6CTVCIT3XMPCSP53WGUX/graph.json","events_json":"https://pith.science/api/pith-number/M4DNYH6CTVCIT3XMPCSP53WGUX/events.json","paper":"https://pith.science/paper/M4DNYH6C"},"agent_actions":{"view_html":"https://pith.science/pith/M4DNYH6CTVCIT3XMPCSP53WGUX","download_json":"https://pith.science/pith/M4DNYH6CTVCIT3XMPCSP53WGUX.json","view_paper":"https://pith.science/paper/M4DNYH6C","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.07085&json=true","fetch_graph":"https://pith.science/api/pith-number/M4DNYH6CTVCIT3XMPCSP53WGUX/graph.json","fetch_events":"https://pith.science/api/pith-number/M4DNYH6CTVCIT3XMPCSP53WGUX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/M4DNYH6CTVCIT3XMPCSP53WGUX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/M4DNYH6CTVCIT3XMPCSP53WGUX/action/storage_attestation","attest_author":"https://pith.science/pith/M4DNYH6CTVCIT3XMPCSP53WGUX/action/author_attestation","sign_citation":"https://pith.science/pith/M4DNYH6CTVCIT3XMPCSP53WGUX/action/citation_signature","submit_replication":"https://pith.science/pith/M4DNYH6CTVCIT3XMPCSP53WGUX/action/replication_record"}},"created_at":"2026-06-08T01:04:45.414562+00:00","updated_at":"2026-06-08T01:04:45.414562+00:00"}