@harmonyos-arkts/d2h 0.0.0-stage → 0.1.0

package/schemas/managed-evidence.schema.json

@@ -0,0 +1,114 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/managed-evidence.schema.json",
+  "title": "droid2hmos Managed Evidence Receipt",
+  "type": "object",
+  "allOf": [
+    {
+      "if": {
+        "properties": { "kind": { "const": "harmony-test" }, "status": { "const": "passed" } },
+        "required": ["kind", "status"]
+      },
+      "then": {
+        "properties": {
+          "scope": {
+            "type": "object",
+            "required": ["target", "coveredRefs", "fullRun"],
+            "properties": {
+              "target": { "type": "string", "minLength": 1 },
+              "coveredRefs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+              "fullRun": { "type": "boolean" }
+            }
+          },
+          "result": {
+            "type": "object",
+            "required": ["target", "tests"],
+            "properties": {
+              "target": { "type": "string", "minLength": 1 },
+              "tests": { "$ref": "#/$defs/hypiumResult" }
+            }
+          },
+          "artifacts": { "minItems": 1 }
+        }
+      }
+    }
+  ],
+  "required": ["evidenceVersion", "id", "producer", "kind", "action", "scope", "status", "recordedAt", "idempotencyKey", "source", "guard", "retry", "resultDigest", "result", "artifacts"],
+  "properties": {
+    "evidenceVersion": { "const": "1.1.0" },
+    "id": { "type": "string", "minLength": 1 },
+    "producer": { "const": "droid2hmos" },
+    "kind": { "enum": ["command", "build", "harmony-test"] },
+    "action": { "type": "string", "minLength": 1 },
+    "scope": { "type": ["object", "null"] },
+    "status": { "type": "string", "minLength": 1 },
+    "recordedAt": { "type": "string", "format": "date-time" },
+    "idempotencyKey": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+    "source": {
+      "type": "object",
+      "required": ["gitHead", "factsSha256", "androidFingerprint", "harmonyFingerprint"],
+      "properties": {
+        "gitHead": { "type": ["string", "null"] },
+        "factsSha256": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" },
+        "androidFingerprint": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" },
+        "harmonyFingerprint": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" }
+      },
+      "additionalProperties": false
+    },
+    "guard": {
+      "type": ["object", "null"],
+      "required": ["mode", "decision", "policyDecision"],
+      "properties": {
+        "mode": { "enum": ["enforce", "shadow"] },
+        "decision": { "enum": ["allow", "deny"] },
+        "policyDecision": { "enum": ["allow", "deny"] }
+      },
+      "additionalProperties": false
+    },
+    "retry": {
+      "type": "object",
+      "required": ["kind", "retry", "maxAutomaticAttempts"],
+      "properties": {
+        "kind": { "enum": ["none", "policy", "transient", "external", "deterministic", "unknown"] },
+        "retry": { "enum": ["not-needed", "after-input-change", "bounded", "after-environment-change", "after-diagnosis", "agent-decision"] },
+        "maxAutomaticAttempts": { "type": "integer", "minimum": 0, "maximum": 1 }
+      },
+      "additionalProperties": false
+    },
+    "resultDigest": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+    "result": { "type": ["object", "null"] },
+    "artifacts": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["path", "source", "sha256", "size"],
+        "properties": {
+          "path": { "type": "string", "pattern": "^\\.migration/evidence/blobs/[a-f0-9]{64}/.+$" },
+          "source": { "type": "string", "minLength": 1 },
+          "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+          "size": { "type": "integer", "minimum": 0 }
+        },
+        "additionalProperties": false
+      }
+    }
+  },
+  "$defs": {
+    "hypiumResult": {
+      "type": "object",
+      "required": ["valid", "total", "passed", "failed", "errors", "ignored", "resultCode", "executedCases", "summary"],
+      "properties": {
+        "valid": { "const": true },
+        "total": { "type": "integer", "minimum": 1 },
+        "passed": { "type": "integer", "minimum": 1 },
+        "failed": { "const": 0 },
+        "errors": { "const": 0 },
+        "ignored": { "const": 0 },
+        "resultCode": { "type": ["integer", "null"] },
+        "executedCases": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "summary": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/migration-config.schema.json

@@ -0,0 +1,51 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/migration-config.schema.json",
+  "title": "Migration Run Configuration",
+  "type": "object",
+  "required": ["configVersion", "androidProject", "harmonyProject", "git", "commands", "maxAttempts", "humanGates"],
+  "properties": {
+    "configVersion": { "type": "string", "minLength": 1 },
+    "androidProject": { "type": "string", "minLength": 1 },
+    "harmonyProject": { "type": "string", "minLength": 1 },
+    "harmonySdk": {
+      "type": ["object", "null"],
+      "required": ["path", "source"],
+      "properties": {
+        "path": { "type": "string", "minLength": 1 },
+        "source": { "enum": ["explicit", "existing-config", "local-properties", "environment"] }
+      },
+      "additionalProperties": false
+    },
+    "git": {
+      "type": "object",
+      "required": ["baseBranch", "taskCommit"],
+      "properties": {
+        "baseBranch": { "type": "string", "minLength": 1 },
+        "taskCommit": { "const": true }
+      },
+      "additionalProperties": false
+    },
+    "commands": {
+      "type": "object",
+      "required": ["androidTest", "androidBuild", "harmonyStatic"],
+      "properties": {
+        "androidTest": { "type": ["string", "null"] },
+        "androidBuild": { "type": ["string", "null"] },
+        "harmonyStatic": { "type": ["string", "null"] }
+      },
+      "additionalProperties": false
+    },
+    "maxAttempts": { "type": "integer", "minimum": 1 },
+    "humanGates": {
+      "type": "object",
+      "required": ["specApproval", "planApproval"],
+      "properties": {
+        "specApproval": { "const": true },
+        "planApproval": { "const": true }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/migration-report-index.schema.json

@@ -0,0 +1,39 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/migration-report-index.schema.json",
+  "title": "Migration report JSON shard index",
+  "type": "object",
+  "required": ["reportVersion", "baseline", "app", "status", "pages", "unassignedEntriesFile", "interactionsFile", "unresolvedFile", "discoveriesFile", "summaryFile", "finalAcceptanceFile", "coverage"],
+  "properties": {
+    "reportVersion": { "const": "1.2.0" },
+    "baseline": {
+      "type": "object", "required": ["specIndex", "specVersion", "factsSha256"],
+      "properties": {
+        "specIndex": { "const": ".migration/spec/index.json" },
+        "specVersion": { "type": "string", "minLength": 1 },
+        "factsSha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+      }, "additionalProperties": false
+    },
+    "app": { "type": "object" },
+    "status": { "enum": ["in-progress", "complete"] },
+    "pages": { "type": "array", "items": { "$ref": "#/$defs/pageShard" } },
+    "unassignedEntriesFile": { "anyOf": [{ "$ref": "#/$defs/jsonPath" }, { "type": "null" }] },
+    "interactionsFile": { "$ref": "#/$defs/jsonPath" },
+    "unresolvedFile": { "$ref": "#/$defs/jsonPath" },
+    "discoveriesFile": { "$ref": "#/$defs/jsonPath" },
+    "summaryFile": { "$ref": "#/$defs/jsonPath" },
+    "finalAcceptanceFile": { "$ref": "#/$defs/jsonPath" },
+    "coverage": {
+      "type": "object", "required": ["page", "control", "entry", "interaction", "overall"],
+      "properties": {
+        "page": { "$ref": "#/$defs/coverage" }, "control": { "$ref": "#/$defs/coverage" }, "entry": { "$ref": "#/$defs/coverage" }, "interaction": { "$ref": "#/$defs/coverage" }, "overall": { "$ref": "#/$defs/coverage" }
+      }, "additionalProperties": false
+    }
+  },
+  "$defs": {
+    "jsonPath": { "type": "string", "pattern": "^(?![/\\\\])(?!.*(?:^|[/\\\\])\\.\\.(?:[/\\\\]|$)).+\\.json$" },
+    "pageShard": { "type": "object", "required": ["surfaceRef", "file"], "properties": { "surfaceRef": { "type": "string", "minLength": 1 }, "file": { "$ref": "#/$defs/jsonPath" } }, "additionalProperties": false },
+    "coverage": { "type": "object", "required": ["required", "pending", "implemented", "verified", "blocked"], "properties": { "required": { "type": "integer", "minimum": 0 }, "pending": { "type": "integer", "minimum": 0 }, "implemented": { "type": "integer", "minimum": 0 }, "verified": { "type": "integer", "minimum": 0 }, "blocked": { "type": "integer", "minimum": 0 } }, "additionalProperties": false }
+  },
+  "additionalProperties": false
+}

package/schemas/migration-report-item.schema.json

@@ -0,0 +1,51 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/migration-report-item.schema.json",
+  "title": "Lightweight migration report item",
+  "description": "Minimal AI-maintained result linked to one immutable deterministic SPEC fact.",
+  "type": "object",
+  "required": ["ref", "kind", "factLabel", "status", "harmonyosFiles", "sourceProvenance", "testEvidence", "difference"],
+  "properties": {
+    "ref": { "type": "string", "minLength": 1 },
+    "kind": { "enum": ["page", "control", "entry", "interaction", "feature"] },
+    "factLabel": { "type": "string", "minLength": 1 },
+    "controlRef": { "type": ["string", "null"], "minLength": 1 },
+    "status": { "enum": ["pending", "implemented", "verified", "blocked"] },
+    "harmonyosFiles": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+    "sourceProvenance": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/sourceProvenance" }
+    },
+    "testEvidence": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+    "difference": { "type": ["string", "null"], "minLength": 1 }
+  },
+  "allOf": [
+    { "if": { "properties": { "kind": { "const": "entry" } }, "required": ["kind"] }, "then": { "required": ["controlRef"] } },
+    { "if": { "properties": { "status": { "const": "implemented" } }, "required": ["status"] }, "then": { "properties": { "harmonyosFiles": { "minItems": 1 }, "sourceProvenance": { "minItems": 1 } } } },
+    { "if": { "properties": { "status": { "const": "verified" } }, "required": ["status"] }, "then": { "properties": { "harmonyosFiles": { "minItems": 1 }, "sourceProvenance": { "minItems": 1 }, "testEvidence": { "minItems": 1 } } } },
+    { "if": { "properties": { "status": { "const": "blocked" } }, "required": ["status"] }, "then": { "properties": { "difference": { "type": "string", "minLength": 1 } } } }
+  ],
+  "$defs": {
+    "sourceRange": {
+      "type": "object",
+      "required": ["symbol", "startLine", "endLine"],
+      "properties": {
+        "symbol": { "type": "string", "minLength": 1 },
+        "startLine": { "type": "integer", "minimum": 1 },
+        "endLine": { "type": "integer", "minimum": 1 }
+      },
+      "additionalProperties": false
+    },
+    "sourceProvenance": {
+      "type": "object",
+      "required": ["androidFile", "fileSha256"],
+      "properties": {
+        "androidFile": { "type": "string", "pattern": "^(?![/\\\\])(?!.*(?:^|[/\\\\])\\.\\.(?:[/\\\\]|$)).+" },
+        "fileSha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+        "ranges": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/sourceRange" } }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/migration-report-summary.schema.json

@@ -0,0 +1,25 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/migration-report-summary.schema.json",
+  "title": "User-facing migration summary",
+  "type": "object",
+  "required": ["summary", "incomplete", "nextSteps"],
+  "properties": {
+    "summary": { "type": "string" },
+    "incomplete": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+    "nextSteps": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+    "additionalSections": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["title", "content"],
+        "properties": {
+          "title": { "type": "string", "minLength": 1 },
+          "content": { "type": "string", "minLength": 1 }
+        },
+        "additionalProperties": false
+      }
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/migration-status.schema.json

@@ -0,0 +1,202 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/migration-status.schema.json",
+  "title": "Derived Migration Kernel Snapshot",
+  "type": "object",
+  "required": ["kernelVersion", "policyVersion", "projectRoot", "phase", "workspace", "preflight", "source", "report", "planning", "evidence", "completion", "allowedActions"],
+  "properties": {
+    "kernelVersion": { "const": "1.2.0" },
+    "policyVersion": { "const": "1.2.0" },
+    "projectRoot": { "type": "string", "minLength": 1 },
+    "phase": { "enum": ["workspace-preparation", "preflight", "analysis", "report-initialization", "task-planning", "implementation", "verification", "ready-to-complete"] },
+    "workspace": {
+      "type": "object",
+      "required": ["projectPresent", "androidProject", "projectCandidates", "configPresent", "harmonyProject", "harmonyProjectPresent", "gitHead"],
+      "properties": {
+        "projectPresent": { "type": "boolean" },
+        "androidProject": { "type": "string", "minLength": 1 },
+        "projectCandidates": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "configPresent": { "type": "boolean" },
+        "harmonyProject": { "type": "string" },
+        "harmonyProjectPresent": { "type": "boolean" },
+        "gitHead": { "type": ["string", "null"] }
+      },
+      "additionalProperties": false
+    },
+    "preflight": {
+      "type": "object",
+      "required": ["present", "result", "harmonyDevice"],
+      "properties": {
+        "present": { "type": "boolean" },
+        "result": { "type": "string" },
+        "harmonyDevice": { "type": "string" }
+      },
+      "additionalProperties": false
+    },
+    "source": {
+      "type": "object",
+      "required": ["factsSha256", "androidFingerprint", "harmonyFingerprint"],
+      "properties": {
+        "factsSha256": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" },
+        "androidFingerprint": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" },
+        "harmonyFingerprint": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" }
+      },
+      "additionalProperties": false
+    },
+    "report": {
+      "type": "object",
+      "required": ["present", "version", "valid", "complete", "errors", "completionErrors", "warnings", "evidenceLevel", "sourceManifest", "orderAudit", "closureAudit", "literalAudit"],
+      "properties": {
+        "present": { "type": "boolean" },
+        "version": { "type": ["string", "null"] },
+        "valid": { "type": "boolean" },
+        "complete": { "type": "boolean" },
+        "errors": { "type": "array", "items": { "type": "string" } },
+        "completionErrors": { "type": "array", "items": { "type": "string" } },
+        "warnings": { "type": "array", "items": { "type": "string" } },
+        "evidenceLevel": { "type": ["string", "null"], "enum": ["declared-hash-validated", "observed-order-audited", null] },
+        "sourceManifest": { "anyOf": [{ "$ref": "#/$defs/sourceManifestSummary" }, { "type": "null" }] },
+        "orderAudit": { "anyOf": [{ "$ref": "#/$defs/orderAudit" }, { "type": "null" }] },
+        "closureAudit": { "anyOf": [{ "$ref": "#/$defs/closureAudit" }, { "type": "null" }] },
+        "literalAudit": { "anyOf": [{ "$ref": "#/$defs/literalAudit" }, { "type": "null" }] }
+      },
+      "additionalProperties": false
+    },
+    "planning": {
+      "type": "object",
+      "required": ["present", "valid", "fresh", "taskPlanSha256", "totalTasks", "readyTasks", "blockedTasks", "completedTasks", "recommendedTaskId", "alternatives", "reasons", "ownershipCoverage", "closureCoverage", "orphanFactRefs", "errors", "warnings", "tasks"],
+      "properties": {
+        "present": { "type": "boolean" },
+        "valid": { "type": "boolean" },
+        "fresh": { "type": "boolean" },
+        "taskPlanSha256": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" },
+        "totalTasks": { "type": "integer", "minimum": 0 },
+        "readyTasks": { "type": "integer", "minimum": 0 },
+        "blockedTasks": { "type": "integer", "minimum": 0 },
+        "completedTasks": { "type": "integer", "minimum": 0 },
+        "recommendedTaskId": { "type": ["string", "null"], "pattern": "^task:[a-f0-9]{16}$" },
+        "alternatives": { "type": "array", "uniqueItems": true, "items": { "type": "string", "pattern": "^task:[a-f0-9]{16}$" } },
+        "reasons": {
+          "type": "object",
+          "additionalProperties": { "type": "array", "items": { "type": "string", "minLength": 1 } }
+        },
+        "ownershipCoverage": { "type": "number", "minimum": 0, "maximum": 1 },
+        "closureCoverage": { "type": "number", "minimum": 0, "maximum": 1 },
+        "orphanFactRefs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "errors": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "warnings": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "tasks": { "type": "array", "items": { "$ref": "#/$defs/taskRuntime" } }
+      },
+      "additionalProperties": false
+    },
+    "evidence": {
+      "type": "object",
+      "required": ["androidAnalysis", "fullRegression", "claimCoverage"],
+      "properties": {
+        "androidAnalysis": { "$ref": "#/$defs/evidenceState" },
+        "fullRegression": { "$ref": "#/$defs/evidenceState" },
+        "claimCoverage": {
+          "type": "object",
+          "required": ["valid", "missing"],
+          "properties": {
+            "valid": { "type": "boolean" },
+            "missing": { "type": "array", "items": { "$ref": "#/$defs/missingClaim" } }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": false
+    },
+    "completion": {
+      "type": "object",
+      "required": ["eligible", "unmet"],
+      "properties": {
+        "eligible": { "type": "boolean" },
+        "unmet": { "type": "array", "items": { "$ref": "#/$defs/unmet" } }
+      },
+      "additionalProperties": false
+    },
+    "allowedActions": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } }
+  },
+  "$defs": {
+    "evidenceState": {
+      "type": "object",
+      "required": ["reference", "present", "passed", "fresh"],
+      "properties": {
+        "reference": { "type": ["string", "null"] },
+        "present": { "type": "boolean" },
+        "passed": { "type": "boolean" },
+        "fresh": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "unmet": {
+      "type": "object",
+      "required": ["code", "message"],
+      "properties": { "code": { "type": "string", "minLength": 1 }, "message": { "type": "string", "minLength": 1 } },
+      "additionalProperties": false
+    },
+    "missingClaim": {
+      "type": "object",
+      "required": ["ref", "reason"],
+      "properties": { "ref": { "type": "string", "minLength": 1 }, "reason": { "type": "string", "minLength": 1 } },
+      "additionalProperties": false
+    },
+    "taskRuntime": {
+      "type": "object",
+      "required": ["taskId", "state", "reasons"],
+      "properties": {
+        "taskId": { "type": "string", "pattern": "^task:[a-f0-9]{16}$" },
+        "state": { "enum": ["pending", "ready", "blocked", "implemented", "locally-verified", "stale", "globally-verified"] },
+        "reasons": { "type": "array", "items": { "type": "string", "minLength": 1 } }
+      },
+      "additionalProperties": false
+    },
+    "orderAudit": {
+      "type": "object",
+      "required": ["auditVersion", "status", "eventSource", "auditedRefs", "findings"],
+      "properties": {
+        "auditVersion": { "const": "1.0.0" },
+        "status": { "enum": ["passed", "red-flag", "unavailable"] },
+        "eventSource": { "type": "string", "minLength": 1 },
+        "auditedRefs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "findings": { "type": "array", "items": { "type": "string", "minLength": 1 } }
+      },
+      "additionalProperties": false
+    },
+    "sourceManifestSummary": {
+      "type": "object",
+      "required": ["path", "manifestSha256", "memberCount"],
+      "properties": {
+        "path": { "const": ".migration/audit/android-source-manifest.json" },
+        "manifestSha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+        "memberCount": { "type": "integer", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "closureAudit": {
+      "type": "object",
+      "required": ["auditVersion", "status", "auditedRefs", "findings"],
+      "properties": {
+        "auditVersion": { "const": "1.0.0" },
+        "status": { "enum": ["passed", "red-flag", "unavailable"] },
+        "auditedRefs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "findings": { "type": "array", "items": { "type": "string", "minLength": 1 } }
+      },
+      "additionalProperties": false
+    },
+    "literalAudit": {
+      "type": "object",
+      "required": ["auditVersion", "status", "sampleSeed", "sampledRefs", "warnings"],
+      "properties": {
+        "auditVersion": { "const": "1.0.0" },
+        "status": { "enum": ["passed", "warning", "not-applicable"] },
+        "sampleSeed": { "type": "string" },
+        "sampledRefs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "warnings": { "type": "array", "items": { "type": "string", "minLength": 1 } }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/preflight.schema.json

@@ -0,0 +1,60 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://chuanqi.dev/schemas/preflight.schema.json",
+  "title": "Migration Preflight Report",
+  "type": "object",
+  "required": ["createdAt", "configRef", "projectRoot", "harmonyProject", "gitHead", "result", "checks"],
+  "properties": {
+    "createdAt": { "type": "string" },
+    "configRef": { "const": ".migration/config.json" },
+    "projectRoot": { "type": "string" },
+    "harmonyProject": { "type": "string" },
+    "gitHead": { "type": "string", "minLength": 1 },
+    "result": { "enum": ["passed", "failed", "blocked_external"] },
+    "checks": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "status", "summary"],
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "status": { "enum": ["passed", "failed", "not_applicable", "blocked_external"] },
+          "summary": { "type": "string" },
+          "evidence": { "type": "array", "items": { "type": "string" } }
+        },
+        "additionalProperties": false
+      }
+    }
+  },
+  "allOf": [
+    {
+      "properties": {
+        "checks": {
+          "contains": {
+            "type": "object",
+            "properties": {
+              "id": { "const": "harmony-device" },
+              "status": { "const": "passed" }
+            },
+            "required": ["id", "status"]
+          }
+        }
+      }
+    },
+    {
+      "properties": {
+        "checks": {
+          "contains": {
+            "type": "object",
+            "properties": {
+              "id": { "const": "android-emulator" },
+              "status": { "enum": ["passed", "not_applicable"] }
+            },
+            "required": ["id", "status"]
+          }
+        }
+      }
+    }
+  ],
+  "additionalProperties": false
+}

package/schemas/source-order-audit.schema.json

@@ -0,0 +1,16 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/source-order-audit.schema.json",
+  "title": "Source read/write order audit result",
+  "description": "passed is valid only for authenticated runner events grouped within the same sessionId and epochId. Project-authored event files must remain unavailable.",
+  "type": "object",
+  "required": ["auditVersion", "status", "eventSource", "auditedRefs", "findings"],
+  "properties": {
+    "auditVersion": { "const": "1.0.0" },
+    "status": { "enum": ["passed", "red-flag", "unavailable"] },
+    "eventSource": { "const": ".migration/audit/source-events.jsonl" },
+    "auditedRefs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+    "findings": { "type": "array", "items": { "type": "string", "minLength": 1 } }
+  },
+  "additionalProperties": false
+}

package/schemas/source-provenance-event.schema.json

@@ -0,0 +1,19 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/source-provenance-event.schema.json",
+  "title": "Trusted ordered source provenance event",
+  "description": "Optional host/runner event input. A project-local file is not trusted by itself: only an authenticated runner integration may enable consumption. Its absence must produce an unavailable order audit, never a synthetic pass.",
+  "type": "object",
+  "required": ["sourceEventVersion", "sessionId", "epochId", "sequence", "action", "file", "reportRefs", "parallelGroup"],
+  "properties": {
+    "sourceEventVersion": { "const": "1.0.0" },
+    "sessionId": { "type": "string", "minLength": 1 },
+    "epochId": { "type": "string", "minLength": 1 },
+    "sequence": { "type": "integer", "minimum": 0 },
+    "action": { "enum": ["read", "write"] },
+    "file": { "type": "string", "pattern": "^(?![/\\\\])(?!.*(?:^|[/\\\\])\\.\\.(?:[/\\\\]|$)).+" },
+    "reportRefs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+    "parallelGroup": { "type": ["string", "null"], "minLength": 1 }
+  },
+  "additionalProperties": false
+}

package/schemas/spec-app-shard.schema.json

@@ -0,0 +1,45 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/spec-app-shard.schema.json",
+  "title": "SPEC 2.0.0 App Facts Shard",
+  "type": "object",
+  "required": ["shardVersion", "generation", "app", "coverage", "warnings", "uiGraph"],
+  "properties": {
+    "shardVersion": { "const": "2.0.0" },
+    "generation": { "type": "object" },
+    "app": {
+      "type": "object",
+      "required": ["name", "packageName", "platform", "appGraphHash"],
+      "properties": {
+        "name": { "type": "string" },
+        "packageName": { "type": "string" },
+        "platform": { "const": "android" },
+        "appGraphHash": { "type": "string", "minLength": 1 },
+        "entryResolution": { "$ref": "#/$defs/entryResolution" }
+      },
+      "additionalProperties": false
+    },
+    "entryResolution": { "$ref": "#/$defs/entryResolution" },
+    "coverage": { "type": "object" },
+    "warnings": { "type": "array", "items": { "type": "string" } },
+    "uiGraph": {
+      "type": "object",
+      "required": ["roots"],
+      "properties": { "roots": { "$ref": "#/$defs/refs" } },
+      "additionalProperties": false
+    }
+  },
+  "$defs": {
+    "refs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+    "entryResolution": {
+      "type": "object",
+      "required": ["launcherSurfaceRefs", "launcherEntryRefs"],
+      "properties": {
+        "launcherSurfaceRefs": { "$ref": "#/$defs/refs" },
+        "launcherEntryRefs": { "$ref": "#/$defs/refs" }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}