@harmonyos-arkts/d2h 0.1.20 → 0.1.22

package/schemas/native-libs-verify-report.schema.json

@@ -0,0 +1,566 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/native-libs-verify-report.schema.json",
+  "title": "d2h-native-library-verify Verification Report",
+  "description": "verify-ohos-native.py --json 的输出契约：鸿蒙版 .so/.a 静态校验（可编译/可加载）+ API 覆盖比对；functional_diffs[] 由 demo 运行验证后由 AI 按 SKILL.md §六回填（功能差异清单）。",
+  "type": "object",
+  "required": [
+    "tool_version",
+    "ohos_root",
+    "devices",
+    "libraries",
+    "summary"
+  ],
+  "properties": {
+    "tool_version": {
+      "type": "string",
+      "minLength": 1
+    },
+    "ohos_root": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "minLength": 1
+      },
+      "minItems": 1
+    },
+    "android_surface": {
+      "oneOf": [
+        {
+          "type": "null"
+        },
+        {
+          "type": "object",
+          "required": [
+            "root",
+            "libraries",
+            "source_jni_methods",
+            "pending_mapping"
+          ],
+          "properties": {
+            "root": {
+              "type": [
+                "string",
+                "null"
+              ]
+            },
+            "libraries": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "required": [
+                  "path",
+                  "kind",
+                  "arch",
+                  "jni_methods",
+                  "c_exports_count"
+                ],
+                "properties": {
+                  "path": {
+                    "type": "string",
+                    "minLength": 1
+                  },
+                  "kind": {
+                    "enum": [
+                      "so",
+                      "a",
+                      "unknown"
+                    ]
+                  },
+                  "arch": {
+                    "type": "string"
+                  },
+                  "jni_methods": {
+                    "type": "array",
+                    "items": {
+                      "type": "object",
+                      "required": [
+                        "symbol",
+                        "class",
+                        "method",
+                        "overload"
+                      ],
+                      "properties": {
+                        "symbol": {
+                          "type": "string",
+                          "minLength": 1
+                        },
+                        "class": {
+                          "type": [
+                            "string",
+                            "null"
+                          ]
+                        },
+                        "method": {
+                          "type": [
+                            "string",
+                            "null"
+                          ]
+                        },
+                        "overload": {
+                          "type": [
+                            "string",
+                            "null"
+                          ]
+                        }
+                      },
+                      "additionalProperties": false
+                    }
+                  },
+                  "c_exports_count": {
+                    "type": "integer",
+                    "minimum": 0
+                  },
+                  "c_exports": {
+                    "type": "array",
+                    "items": {
+                      "type": "string",
+                      "minLength": 1
+                    }
+                  },
+                  "c_exports_total": {
+                    "type": "integer",
+                    "minimum": 0
+                  }
+                },
+                "additionalProperties": false
+              }
+            },
+            "pending_mapping": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "required": [
+                  "android_lib",
+                  "symbol",
+                  "class",
+                  "method"
+                ],
+                "properties": {
+                  "android_lib": {
+                    "type": "string",
+                    "minLength": 1
+                  },
+                  "symbol": {
+                    "type": "string",
+                    "minLength": 1
+                  },
+                  "class": {
+                    "type": [
+                      "string",
+                      "null"
+                    ]
+                  },
+                  "method": {
+                    "type": [
+                      "string",
+                      "null"
+                    ]
+                  }
+                },
+                "additionalProperties": false
+              }
+            },
+            "source_jni_methods": {
+              "type": "array",
+              "description": "Java/Kotlin 源码中的 native/external fun 声明（JNI 桥为编译期产物、仓库无 .so 时的接口面）",
+              "items": {
+                "type": "object",
+                "required": [
+                  "class",
+                  "method",
+                  "file",
+                  "line",
+                  "language"
+                ],
+                "properties": {
+                  "class": {
+                    "type": [
+                      "string",
+                      "null"
+                    ]
+                  },
+                  "method": {
+                    "type": "string",
+                    "minLength": 1
+                  },
+                  "file": {
+                    "type": "string",
+                    "minLength": 1
+                  },
+                  "line": {
+                    "type": "integer",
+                    "minimum": 1
+                  },
+                  "language": {
+                    "enum": [
+                      "java",
+                      "kotlin"
+                    ]
+                  }
+                },
+                "additionalProperties": false
+              }
+            }
+          },
+          "additionalProperties": false
+        }
+      ]
+    },
+    "api_map_path": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "libraries": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": [
+          "path",
+          "name",
+          "kind",
+          "arch",
+          "bits",
+          "soname",
+          "needed",
+          "needed_unresolved",
+          "is_napi_module",
+          "verdict",
+          "issues",
+          "defined_total"
+        ],
+        "properties": {
+          "path": {
+            "type": "string",
+            "minLength": 1
+          },
+          "name": {
+            "type": "string",
+            "minLength": 1
+          },
+          "kind": {
+            "enum": [
+              "so",
+              "a",
+              "unknown"
+            ]
+          },
+          "arch": {
+            "type": "string"
+          },
+          "bits": {
+            "type": [
+              "integer",
+              "null"
+            ],
+            "enum": [
+              32,
+              64,
+              null
+            ]
+          },
+          "soname": {
+            "type": [
+              "string",
+              "null"
+            ]
+          },
+          "needed": {
+            "type": "array",
+            "items": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "needed_unresolved": {
+            "type": "array",
+            "items": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "is_napi_module": {
+            "type": "boolean"
+          },
+          "verdict": {
+            "enum": [
+              "napi-ready",
+              "bridge-required",
+              "incompatible"
+            ]
+          },
+          "issues": {
+            "type": "array",
+            "items": {
+              "type": "object",
+              "required": [
+                "level",
+                "code",
+                "message"
+              ],
+              "properties": {
+                "level": {
+                  "enum": [
+                    "fail",
+                    "warn"
+                  ]
+                },
+                "code": {
+                  "enum": [
+                    "versioned_symbols",
+                    "android_needed",
+                    "ndk1_abi",
+                    "jni_residue",
+                    "arch",
+                    "needed_unresolved",
+                    "api_missing",
+                    "mapping_incomplete",
+                    "napi_register_missing"
+                  ]
+                },
+                "message": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "additionalProperties": false
+            }
+          },
+          "defined_total": {
+            "type": "integer",
+            "minimum": 0
+          },
+          "note": {
+            "type": "string"
+          },
+          "android_counterpart": {
+            "type": "string",
+            "minLength": 1
+          },
+          "api_coverage": {
+            "type": "object",
+            "required": [
+              "expected",
+              "covered",
+              "missing",
+              "unimplemented"
+            ],
+            "properties": {
+              "expected": {
+                "type": "integer",
+                "minimum": 0
+              },
+              "covered": {
+                "type": "integer",
+                "minimum": 0
+              },
+              "missing": {
+                "type": "array"
+              }
+            },
+            "additionalProperties": false
+          },
+          "exports": {
+            "type": "array",
+            "items": {
+              "type": "string",
+              "minLength": 1
+            },
+            "description": "OHOS 导出符号清单（过滤 __/_init/_fini 内部符号，cap 200），供 api-map 与桥接层生成使用"
+          },
+          "exports_total": {
+            "type": "integer",
+            "minimum": 0
+          },
+          "mapping_coverage": {
+            "type": "object",
+            "required": [
+              "android_jni_total",
+              "mapped",
+              "unmapped"
+            ],
+            "properties": {
+              "android_jni_total": {
+                "type": "integer",
+                "minimum": 0
+              },
+              "mapped": {
+                "type": "integer",
+                "minimum": 0
+              },
+              "unmapped": {
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              }
+            },
+            "additionalProperties": false
+          },
+          "exports_demangled": {
+            "type": "array",
+            "description": "C++ 导出符号可读名（llvm-nm -C，cap 50），供 api-map 映射使用",
+            "items": {
+              "type": "object",
+              "required": [
+                "mangled",
+                "demangled"
+              ],
+              "properties": {
+                "mangled": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "demangled": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "additionalProperties": false
+            }
+          },
+          "unimplemented_apis": {
+            "type": "array",
+            "description": "api-map 中 ohos_symbol=null 的条目：鸿蒙 so 未实现（自动转 functional_diffs 的 unverifiable）",
+            "items": {
+              "type": "object"
+            }
+          }
+        },
+        "additionalProperties": false
+      }
+    },
+    "summary": {
+      "type": "object",
+      "required": [
+        "total",
+        "napi_ready",
+        "bridge_required",
+        "incompatible",
+        "api_missing",
+        "pending_mapping",
+        "unimplemented"
+      ],
+      "properties": {
+        "total": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "napi_ready": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "bridge_required": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "incompatible": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "api_missing": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "pending_mapping": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "unimplemented": {
+          "type": "integer",
+          "minimum": 0
+        }
+      },
+      "additionalProperties": false
+    },
+    "functional_diffs": {
+      "type": "array",
+      "description": "功能差异清单（demo 运行验证后由 AI 回填）：每条一个 API 在同一输入下 Android 与 OHOS 的行为对比",
+      "items": {
+        "type": "object",
+        "required": [
+          "ohos_lib",
+          "api",
+          "android_jni",
+          "input",
+          "android_expected",
+          "ohos_actual",
+          "status",
+          "evidence"
+        ],
+        "properties": {
+          "ohos_lib": {
+            "type": "string",
+            "minLength": 1
+          },
+          "api": {
+            "type": "string",
+            "minLength": 1
+          },
+          "android_jni": {
+            "type": "string"
+          },
+          "input": {
+            "type": "string",
+            "minLength": 1
+          },
+          "android_expected": {
+            "type": "string"
+          },
+          "ohos_actual": {
+            "type": "string"
+          },
+          "status": {
+            "enum": [
+              "consistent",
+              "inconsistent",
+              "unverifiable"
+            ]
+          },
+          "evidence": {
+            "type": "string",
+            "minLength": 1,
+            "description": "证据路径（demo 日志/截图/hypium 输出）"
+          },
+          "note": {
+            "type": "string"
+          }
+        },
+        "additionalProperties": false
+      }
+    },
+    "devices": {
+      "type": "object",
+      "required": [
+        "harmony",
+        "android"
+      ],
+      "properties": {
+        "harmony": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "android": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        }
+      },
+      "additionalProperties": false
+    },
+    "report_path": {
+      "type": "string",
+      "minLength": 1,
+      "description": "--output 落盘后的报告绝对路径"
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/spec-native-libs-shard.schema.json

@@ -0,0 +1,110 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/spec-native-libs-shard.schema.json",
+  "title": "SPEC 2.0.0 Native Library Facts Shard",
+  "type": "object",
+  "required": ["shardVersion", "kind", "nativeLibs"],
+  "properties": {
+    "shardVersion": { "const": "2.0.0" },
+    "kind": { "const": "native-lib-facts" },
+    "nativeLibs": {
+      "type": "object",
+      "required": ["present", "usageCase", "externalNativeBuild", "libraries", "loadCalls"],
+      "properties": {
+        "present": { "type": "boolean" },
+        "usageCase": { "enum": ["none", "source", "source-with-patches", "prebuilt", "mixed", "load-only"] },
+        "externalNativeBuild": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "libraries": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["name", "usage", "modules", "artifacts", "buildConfigs", "sourceDirs", "patches", "loadCalls"],
+            "properties": {
+              "name": { "type": "string", "minLength": 1 },
+              "usage": { "enum": ["source-built", "source-with-patch", "prebuilt"] },
+              "modules": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+              "artifacts": {
+                "type": "array",
+                "items": {
+                  "type": "object",
+                  "required": ["path", "type", "abi", "arch", "sizeBytes"],
+                  "properties": {
+                    "path": { "type": "string", "minLength": 1 },
+                    "type": { "enum": ["shared", "static"] },
+                    "abi": { "type": ["string", "null"], "enum": ["arm64-v8a", "armeabi-v7a", "armeabi", "x86", "x86_64", null] },
+                    "arch": { "type": ["string", "null"] },
+                    "sizeBytes": { "type": "integer", "minimum": 0 }
+                  },
+                  "additionalProperties": false
+                }
+              },
+              "buildConfigs": {
+                "type": "array",
+                "items": {
+                  "type": "object",
+                  "required": ["path", "system"],
+                  "properties": {
+                    "path": { "type": "string", "minLength": 1 },
+                    "system": { "enum": ["cmake", "ndk-build"] }
+                  },
+                  "additionalProperties": false
+                }
+              },
+              "sourceDirs": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+              "patches": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+              "loadCalls": {
+                "type": "array",
+                "items": {
+                  "type": "object",
+                  "required": ["file", "line", "library"],
+                  "properties": {
+                    "file": { "type": "string", "minLength": 1 },
+                    "line": { "type": "integer", "minimum": 1 },
+                    "library": { "type": "string", "minLength": 1 },
+                    "kind": { "enum": ["loadLibrary", "load"] }
+                  },
+                  "additionalProperties": false
+                }
+              }
+            },
+            "additionalProperties": false
+          }
+        },
+        "loadCalls": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["file", "line", "library"],
+            "properties": {
+              "file": { "type": "string", "minLength": 1 },
+              "line": { "type": "integer", "minimum": 1 },
+              "library": { "type": "string", "minLength": 1 },
+              "kind": { "enum": ["loadLibrary", "load"] }
+            },
+            "additionalProperties": false
+          }
+        },
+        "jniMethods": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["file", "line", "name", "language"],
+            "properties": {
+              "file": { "type": "string", "minLength": 1 },
+              "line": { "type": "integer", "minimum": 1 },
+              "name": { "type": "string", "minLength": 1 },
+              "language": { "enum": ["kotlin", "java"] }
+            },
+            "additionalProperties": false
+          }
+        },
+        "jniMethodsTruncated": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

package/skills/arkts-icon-sizing/SKILL.md

@@ -199,13 +199,3 @@ python <skill>/scripts/icon_audit.py        # 静态被标记数应为 0
 3. 将静态复审写入 `domainChecks`。
 4. 将动态源、无 raster 和密度兜底项写入 `unresolved`。
 5. 将构建和相关页面的设备视觉核对写入 `verificationRequests`。
-
-## 可选领域协作
-
-下列 Skill 存在时可以协作，但不改变本 Skill 的输入、流程或统一结果：
-
-- **android2hmos_resources_convert**：资源/资产侧转换（res/ → resources/、SVG 坐标/格式修复）；本 skill 修的是 `.ets` 消费侧。
-- **arkts-mvvm-architecture**：页面组件结构和 ArkTS/ArkUI 编码约束。
-- **harmonyos-migration-playbook**：设备 UI 自动化、截图和页面对照方式。
-
-本 Skill 不暂存或提交文件、不更新迁移报告、不创建 checkpoint、不调用 `complete`。调用方自行消费统一结果。