@harmonyos-arkts/d2h 0.1.3 → 0.1.5

package/schemas/task-plan.schema.json

@@ -1,14 +1,108 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
   "$id": "https://harmonyos-ai.dev/schemas/task-plan.schema.json",
-  "title": "Android to HarmonyOS Task Plan",
+  "title": "Android to HarmonyOS Execution Plan",
   "type": "object",
-  "required": ["taskPlanVersion", "planningModelVersion", "factsAdapterVersion", "plannerPolicyVersion", "baseline", "entryResolution", "tasks", "ownership", "planningWarnings"],
+  "required": [
+    "taskPlanVersion",
+    "executionPlanVersion",
+    "planningModelVersion",
+    "factsAdapterVersion",
+    "plannerPolicyVersion",
+    "baseline",
+    "planningPhase",
+    "entryResolution",
+    "behaviorResponsibilities",
+    "pageWorkPackages",
+    "tasks",
+    "ownership",
+    "behaviorOwnership",
+    "fileConflictEdges",
+    "planningWarnings"
+  ],
   "properties": {
-    "taskPlanVersion": { "const": "1.0.0" },
-    "planningModelVersion": { "const": "1.0.0" },
+    "taskPlanVersion": { "const": "2.3.0" },
+    "executionPlanVersion": { "const": "1.3.0" },
+    "planningModelVersion": { "const": "2.0.0" },
     "factsAdapterVersion": { "const": "1.0.0" },
-    "plannerPolicyVersion": { "const": "1.1.0" },
+    "plannerPolicyVersion": { "const": "2.3.0" },
+    "baseline": { "$ref": "#/$defs/baseline" },
+    "planningPhase": {
+      "description": "resolution projects each Resolution Behavior 1:1 into a transient Resolution Task; execution is entered only after Resolution is cleared and Coding Work Items are assembled once.",
+      "enum": ["resolution", "execution"]
+    },
+    "entryResolution": { "$ref": "#/$defs/entryResolution" },
+    "behaviorResponsibilities": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/behavior" }
+    },
+    "pageWorkPackages": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/workPackage" }
+    },
+    "tasks": {
+      "description": "Phase-exclusive tasks: 1:1 Resolution Behavior projections in resolution phase, or frozen Coding Work Items in execution phase.",
+      "type": "array",
+      "items": { "$ref": "#/$defs/plannedTask" }
+    },
+    "ownership": { "$ref": "#/$defs/taskOwnership" },
+    "behaviorOwnership": { "$ref": "#/$defs/behaviorOwnership" },
+    "fileConflictEdges": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/fileConflict" }
+    },
+    "planningWarnings": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/warning" }
+    }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "planningPhase": { "const": "resolution" } } },
+      "then": {
+        "properties": {
+          "tasks": {
+            "type": "array",
+            "items": {
+              "type": "object",
+              "properties": {
+                "type": { "const": "resolution" },
+                "behaviorIds": { "type": "array", "minItems": 1, "maxItems": 1 },
+                "workPackageId": { "const": null }
+              }
+            }
+          },
+          "pageWorkPackages": {
+            "type": "array",
+            "maxItems": 0
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "planningPhase": { "const": "execution" } } },
+      "then": {
+        "properties": {
+          "tasks": {
+            "type": "array",
+            "items": {
+              "type": "object",
+              "properties": {
+                "type": { "not": { "const": "resolution" } },
+                "workPackageId": { "type": "string", "pattern": "^package:[a-f0-9]{16}$" }
+              }
+            }
+          }
+        }
+      }
+    }
+  ],
+  "$defs": {
+    "refs": {
+      "type": "array",
+      "uniqueItems": true,
+      "items": { "type": "string", "minLength": 1 }
+    },
     "baseline": {
       "type": "object",
       "required": ["factsSha256", "planningInputSha256", "androidFingerprint", "specVersion", "factsWireVersion"],
@@ -25,32 +119,19 @@
       "type": "object",
       "required": ["launcherSurfaceRefs", "launcherEntryRefs", "origin"],
       "properties": {
-        "launcherSurfaceRefs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
-        "launcherEntryRefs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "launcherSurfaceRefs": { "$ref": "#/$defs/refs" },
+        "launcherEntryRefs": { "$ref": "#/$defs/refs" },
         "origin": { "enum": ["explicit-fact", "launch-entry-fact", "unresolved"] }
       },
       "additionalProperties": false
     },
-    "tasks": { "type": "array", "items": { "$ref": "#/$defs/task" } },
-    "ownership": {
-      "type": "object",
-      "required": ["primaryOwnerByFactRef", "supportingTaskIdsByFactRef"],
-      "properties": {
-        "primaryOwnerByFactRef": { "type": "object", "additionalProperties": { "type": "string", "minLength": 1 } },
-        "supportingTaskIdsByFactRef": { "type": "object", "additionalProperties": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } } }
-      },
-      "additionalProperties": false
-    },
-    "planningWarnings": { "type": "array", "items": { "$ref": "#/$defs/warning" } }
-  },
-  "$defs": {
     "warning": {
       "type": "object",
       "required": ["code", "message", "relatedRefs"],
       "properties": {
         "code": { "type": "string", "minLength": 1 },
         "message": { "type": "string", "minLength": 1 },
-        "relatedRefs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } }
+        "relatedRefs": { "$ref": "#/$defs/refs" }
       },
       "additionalProperties": false
     },
@@ -65,59 +146,196 @@
       },
       "additionalProperties": false
     },
-    "task": {
+    "closure": {
       "type": "object",
-      "required": ["id", "type", "title", "primaryFactRefs", "supportingFactRefs", "dependsOnTaskIds", "closure", "acceptance", "estimate"],
+      "required": ["entryRefs", "surfaceRefs", "controlRefs", "interactionRefs", "sourceEvidence", "codeRefs", "unresolvedRefs", "warningRefs", "requiresSourceReview"],
+      "properties": {
+        "entryRefs": { "$ref": "#/$defs/refs" },
+        "surfaceRefs": { "$ref": "#/$defs/refs" },
+        "controlRefs": { "$ref": "#/$defs/refs" },
+        "interactionRefs": { "$ref": "#/$defs/refs" },
+        "sourceEvidence": { "type": "array", "items": { "$ref": "#/$defs/evidence" } },
+        "codeRefs": { "type": "array", "items": { "type": "object" } },
+        "unresolvedRefs": { "$ref": "#/$defs/refs" },
+        "warningRefs": { "$ref": "#/$defs/refs" },
+        "requiresSourceReview": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "acceptance": {
+      "type": "object",
+      "required": ["observableOutcome", "requiredFactRefs", "verificationRequirements", "reportRefs"],
+      "properties": {
+        "observableOutcome": { "type": "string", "minLength": 1 },
+        "observableOutcomes": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "requiredFactRefs": { "$ref": "#/$defs/refs" },
+        "verificationRequirements": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "reportRefs": { "$ref": "#/$defs/refs" }
+      },
+      "additionalProperties": false
+    },
+    "behaviorEstimate": {
+      "type": "object",
+      "required": ["factCount", "sourceFileCount", "traceNodeCount", "estimatedFactTokens", "downstreamUnlockCount"],
+      "properties": {
+        "factCount": { "type": "integer", "minimum": 0 },
+        "sourceFileCount": { "type": "integer", "minimum": 0 },
+        "traceNodeCount": { "type": "integer", "minimum": 0 },
+        "estimatedFactTokens": { "type": "integer", "minimum": 0 },
+        "downstreamUnlockCount": { "type": "integer", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "behavior": {
+      "type": "object",
+      "required": ["id", "type", "title", "primaryFactRefs", "supportingFactRefs", "dependsOnBehaviorIds", "closure", "acceptance", "estimate"],
+      "properties": {
+        "id": { "type": "string", "pattern": "^behavior:[a-f0-9]{16}$" },
+        "type": { "$ref": "#/$defs/taskType" },
+        "title": { "type": "string", "minLength": 1 },
+        "primaryFactRefs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "supportingFactRefs": { "$ref": "#/$defs/refs" },
+        "dependsOnBehaviorIds": { "type": "array", "uniqueItems": true, "items": { "type": "string", "pattern": "^behavior:[a-f0-9]{16}$" } },
+        "closure": { "$ref": "#/$defs/closure" },
+        "acceptance": { "$ref": "#/$defs/acceptance" },
+        "estimate": { "$ref": "#/$defs/behaviorEstimate" }
+      },
+      "additionalProperties": false
+    },
+    "writeOwnership": {
+      "type": "object",
+      "required": ["ownedFiles", "readOnlyFiles", "exclusiveScopes", "forbiddenGlobalFiles"],
+      "properties": {
+        "ownedFiles": { "$ref": "#/$defs/refs" },
+        "readOnlyFiles": { "$ref": "#/$defs/refs" },
+        "exclusiveScopes": { "$ref": "#/$defs/refs" },
+        "forbiddenGlobalFiles": { "$ref": "#/$defs/refs" }
+      },
+      "additionalProperties": false
+    },
+    "dependencyInterface": {
+      "type": "object",
+      "required": ["kind", "ref", "providerTaskId", "files", "errorModes", "orderingConstraints"],
+      "properties": {
+        "kind": { "enum": ["module", "ordering"] },
+        "ref": { "type": "string", "minLength": 1 },
+        "providerTaskId": { "type": ["string", "null"], "pattern": "^task:[a-f0-9]{16}$" },
+        "files": { "$ref": "#/$defs/refs" },
+        "errorModes": { "$ref": "#/$defs/refs" },
+        "orderingConstraints": { "$ref": "#/$defs/refs" }
+      },
+      "additionalProperties": false
+    },
+    "readyGate": {
+      "type": "object",
+      "required": ["semanticsResolved", "dependencyInterfacesStable", "writeOwnershipResolved", "contextWithinBudget", "acceptanceExecutable"],
+      "properties": {
+        "semanticsResolved": { "type": "boolean" },
+        "dependencyInterfacesStable": { "type": "boolean" },
+        "writeOwnershipResolved": { "type": "boolean" },
+        "contextWithinBudget": { "type": "boolean" },
+        "acceptanceExecutable": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "taskEstimate": {
+      "type": "object",
+      "required": ["factCount", "sourceFileCount", "traceNodeCount", "estimatedFactTokens", "downstreamUnlockCount", "behaviorCount", "observableOutcomeCount", "productionFileCount", "testFileCount", "capabilityCount"],
+      "properties": {
+        "factCount": { "type": "integer", "minimum": 0 },
+        "sourceFileCount": { "type": "integer", "minimum": 0 },
+        "traceNodeCount": { "type": "integer", "minimum": 0 },
+        "estimatedFactTokens": { "type": "integer", "minimum": 0 },
+        "downstreamUnlockCount": { "type": "integer", "minimum": 0 },
+        "behaviorCount": { "type": "integer", "minimum": 1 },
+        "observableOutcomeCount": { "type": "integer", "minimum": 1 },
+        "productionFileCount": { "type": "integer", "minimum": 0 },
+        "testFileCount": { "type": "integer", "minimum": 0 },
+        "capabilityCount": { "type": "integer", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "plannedTask": {
+      "type": "object",
+      "required": ["id", "type", "title", "workPackageId", "canonicalPageRef", "primaryModule", "behaviorIds", "primaryFactRefs", "supportingFactRefs", "dependsOnTaskIds", "conflictsWithTaskIds", "writeOwnership", "dependencyInterfaces", "readyGate", "closure", "acceptance", "estimate"],
       "properties": {
         "id": { "type": "string", "pattern": "^task:[a-f0-9]{16}$" },
-        "type": { "enum": ["resolution", "bootstrap", "capability", "journey", "assembly", "regression"] },
+        "type": { "$ref": "#/$defs/taskType" },
         "title": { "type": "string", "minLength": 1 },
+        "workPackageId": { "type": ["string", "null"], "pattern": "^package:[a-f0-9]{16}$" },
+        "canonicalPageRef": { "type": ["string", "null"] },
+        "primaryModule": { "type": "string", "minLength": 1 },
+        "behaviorIds": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "pattern": "^behavior:[a-f0-9]{16}$" } },
         "primaryFactRefs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
-        "supportingFactRefs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "supportingFactRefs": { "$ref": "#/$defs/refs" },
         "dependsOnTaskIds": { "type": "array", "uniqueItems": true, "items": { "type": "string", "pattern": "^task:[a-f0-9]{16}$" } },
-        "closure": {
-          "type": "object",
-          "required": ["entryRefs", "surfaceRefs", "controlRefs", "interactionRefs", "sourceEvidence", "codeRefs", "unresolvedRefs", "warningRefs", "requiresSourceReview"],
-          "properties": {
-            "entryRefs": { "$ref": "#/$defs/refs" },
-            "surfaceRefs": { "$ref": "#/$defs/refs" },
-            "controlRefs": { "$ref": "#/$defs/refs" },
-            "interactionRefs": { "$ref": "#/$defs/refs" },
-            "sourceEvidence": { "type": "array", "items": { "$ref": "#/$defs/evidence" } },
-            "codeRefs": { "type": "array", "items": { "type": "object" } },
-            "unresolvedRefs": { "$ref": "#/$defs/refs" },
-            "warningRefs": { "$ref": "#/$defs/refs" },
-            "requiresSourceReview": { "type": "boolean" }
-          },
-          "additionalProperties": false
-        },
+        "conflictsWithTaskIds": { "type": "array", "uniqueItems": true, "items": { "type": "string", "pattern": "^task:[a-f0-9]{16}$" } },
+        "writeOwnership": { "$ref": "#/$defs/writeOwnership" },
+        "dependencyInterfaces": { "type": "array", "items": { "$ref": "#/$defs/dependencyInterface" } },
+        "readyGate": { "$ref": "#/$defs/readyGate" },
+        "closure": { "$ref": "#/$defs/closure" },
         "acceptance": {
-          "type": "object",
-          "required": ["observableOutcome", "requiredFactRefs", "verificationRequirements", "reportRefs"],
-          "properties": {
-            "observableOutcome": { "type": "string", "minLength": 1 },
-            "requiredFactRefs": { "$ref": "#/$defs/refs" },
-            "verificationRequirements": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
-            "reportRefs": { "$ref": "#/$defs/refs" }
-          },
-          "additionalProperties": false
+          "allOf": [
+            { "$ref": "#/$defs/acceptance" },
+            {
+              "type": "object",
+              "required": ["observableOutcomes"],
+              "properties": {
+                "observableOutcomes": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } }
+              }
+            }
+          ]
         },
-        "estimate": {
-          "type": "object",
-          "required": ["factCount", "sourceFileCount", "traceNodeCount", "estimatedFactTokens", "downstreamUnlockCount"],
-          "properties": {
-            "factCount": { "type": "integer", "minimum": 0 },
-            "sourceFileCount": { "type": "integer", "minimum": 0 },
-            "traceNodeCount": { "type": "integer", "minimum": 0 },
-            "estimatedFactTokens": { "type": "integer", "minimum": 0 },
-            "downstreamUnlockCount": { "type": "integer", "minimum": 0 }
-          },
-          "additionalProperties": false
-        }
+        "estimate": { "$ref": "#/$defs/taskEstimate" }
+      },
+      "additionalProperties": false
+    },
+    "workPackage": {
+      "type": "object",
+      "required": ["id", "canonicalPageRef", "title", "surfaceRefs", "workItemIds", "dependsOnPackageIds", "serialLane", "exclusiveScopes"],
+      "properties": {
+        "id": { "type": "string", "pattern": "^package:[a-f0-9]{16}$" },
+        "canonicalPageRef": { "type": ["string", "null"] },
+        "title": { "type": "string", "minLength": 1 },
+        "surfaceRefs": { "$ref": "#/$defs/refs" },
+        "workItemIds": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "pattern": "^task:[a-f0-9]{16}$" } },
+        "dependsOnPackageIds": { "type": "array", "uniqueItems": true, "items": { "type": "string", "pattern": "^package:[a-f0-9]{16}$" } },
+        "serialLane": { "type": "boolean" },
+        "exclusiveScopes": { "$ref": "#/$defs/refs" }
+      },
+      "additionalProperties": false
+    },
+    "fileConflict": {
+      "type": "object",
+      "required": ["leftTaskId", "rightTaskId", "reasons"],
+      "properties": {
+        "leftTaskId": { "type": "string", "pattern": "^task:[a-f0-9]{16}$" },
+        "rightTaskId": { "type": "string", "pattern": "^task:[a-f0-9]{16}$" },
+        "reasons": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } }
+      },
+      "additionalProperties": false
+    },
+    "taskOwnership": {
+      "type": "object",
+      "required": ["primaryOwnerByFactRef", "supportingTaskIdsByFactRef"],
+      "properties": {
+        "primaryOwnerByFactRef": { "type": "object", "additionalProperties": { "type": "string", "pattern": "^task:[a-f0-9]{16}$" } },
+        "supportingTaskIdsByFactRef": { "type": "object", "additionalProperties": { "type": "array", "uniqueItems": true, "items": { "type": "string", "pattern": "^task:[a-f0-9]{16}$" } } }
+      },
+      "additionalProperties": false
+    },
+    "behaviorOwnership": {
+      "type": "object",
+      "required": ["primaryOwnerByFactRef", "supportingBehaviorIdsByFactRef"],
+      "properties": {
+        "primaryOwnerByFactRef": { "type": "object", "additionalProperties": { "type": "string", "pattern": "^behavior:[a-f0-9]{16}$" } },
+        "supportingBehaviorIdsByFactRef": { "type": "object", "additionalProperties": { "type": "array", "uniqueItems": true, "items": { "type": "string", "pattern": "^behavior:[a-f0-9]{16}$" } } }
       },
       "additionalProperties": false
     },
-    "refs": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } }
+    "taskType": {
+      "enum": ["resolution", "bootstrap", "capability", "journey", "assembly", "regression"]
+    }
   },
   "additionalProperties": false
 }