@frankzhang2026/opencode-android-orchestrator 1.0.4 → 1.0.5

package/templates/scripts/automation/show-acceptance-review.sh

@@ -79,6 +79,13 @@ jq -r '.nonGoals[] | "- \(.)"' "$report_file"
 
 printf '\n### P1 · 自动证据是否可信\n\n'
 printf -- '- RED 退出码：`%s`（应为非 0，证明测试先真实失败）\n' "$(jq -r '.evidence.redExitCode' "$report_file")"
+if [[ "$(jq -r '.evidence.structuredRed != null' "$report_file")" == "true" ]]; then
+    printf -- '- 结构化 RED：声明 `%s` 个，用例匹配 `%s` 个，额外用例 `%s` 个\n' \
+        "$(jq -r '.evidence.structuredRed.summary.declared' "$report_file")" \
+        "$(jq -r '.evidence.structuredRed.summary.valid' "$report_file")" \
+        "$(jq -r '.evidence.structuredRed.summary.undeclared' "$report_file")"
+    jq -r '.evidence.structuredRed.cases[] | "  - `\(.id)` · \(.intent) · 修改前应 \(.expectedBefore) · 已核验 \(.valid)"' "$report_file"
+fi
 printf -- '- 质量门：`%s`，第 %s 个编码周期内共运行 %s 次\n' \
     "$(jq -r '.evidence.qualityGate' "$report_file")" \
     "$(jq -r '.evidence.codingCycle' "$report_file")" \

package/templates/scripts/automation/status.sh

@@ -21,6 +21,8 @@ workspace_json="$(if [[ -f "$workspace_file" ]]; then jq -c . "$workspace_file";
 origin_json="$(if [[ -f "$origin_file" ]]; then jq -c . "$origin_file"; else printf 'null'; fi)"
 baseline_json="$(if [[ -f "$evidence_dir/baseline.json" ]]; then jq -c . "$evidence_dir/baseline.json"; else printf 'null'; fi)"
 red_json="$(if [[ -f "$evidence_dir/red.json" ]]; then jq -c . "$evidence_dir/red.json"; else printf 'null'; fi)"
+preflight_json="$(if [[ -f "$evidence_dir/test-preflight.json" ]]; then jq -c . "$evidence_dir/test-preflight.json"; else printf 'null'; fi)"
+manifest_json="$(if [[ -f "$evidence_dir/test-manifest.json" ]]; then jq -c . "$evidence_dir/test-manifest.json"; else printf 'null'; fi)"
 ready_json="$(if [[ -f "$evidence_dir/ready.json" ]]; then jq -c . "$evidence_dir/ready.json"; else printf 'null'; fi)"
 review_json="$(if [[ -f "$evidence_dir/review.json" ]]; then jq -c . "$evidence_dir/review.json"; else printf 'null'; fi)"
 gate_json=null
@@ -93,6 +95,8 @@ jq -n \
     --argjson origin "$origin_json" \
     --argjson baseline "$baseline_json" \
     --argjson red "$red_json" \
+    --argjson testPreflight "$preflight_json" \
+    --argjson testManifest "$manifest_json" \
     --argjson ready "$ready_json" \
     --argjson gate "$gate_json" \
     --argjson review "$review_json" \
@@ -118,6 +122,8 @@ jq -n \
         directory: $evidence,
         baseline: $baseline,
         red: $red,
+        testPreflight: $testPreflight,
+        testManifest: $testManifest,
         ready: $ready,
         latestGate: $gate,
         review: $review,

package/templates/scripts/automation/validate-contract.sh

@@ -27,7 +27,7 @@ fi
 jq -e . "$contract" >/dev/null || automation_die "contract is not valid JSON: $contract"
 
 jq -e '
-    (.schemaVersion == 1 or .schemaVersion == 2) and
+    (.schemaVersion == 1 or .schemaVersion == 2 or .schemaVersion == 3) and
     (.id | type == "string" and test("^TASK-[A-Z0-9-]+$")) and
     (.title | type == "string" and length > 0) and
     .designApproved == true and
@@ -53,7 +53,51 @@ jq -e '
     ([.targetTests[].filter] | length == (unique | length)) and
     (.deviceTestsRequired | type == "boolean") and
     (.testPolicy == "required" or .testPolicy == "not-required") and
-    (if .testPolicy == "not-required" then (.testPolicyReason | type == "string" and length >= 20) else true end)
+    (if .testPolicy == "not-required" then (.testPolicyReason | type == "string" and length >= 20) else true end) and
+    (if .schemaVersion == 3 then
+        (.acceptanceCriteria | length) as $criterionCount |
+        (.targetTests | length) as $targetCount |
+        (.verification | type == "object" and
+         keys == ["cases", "maxPreparationFixes", "version"] and
+         .version == 1 and
+         (.maxPreparationFixes | type == "number" and floor == . and . >= 0 and . <= 1) and
+         (.cases | type == "array" and length > 0) and
+         ([.cases[].id] | length == (unique | length)) and
+         ([.cases[] | [.test.target, .test.className, .test.name] | @json] | length == (unique | length)) and
+         (any(.cases[]; .intent == "change")) and
+         all(.cases[];
+            type == "object" and
+            ([keys[]] - ["id", "criterion", "intent", "before", "after", "source", "test", "expectedFailure"] | length == 0) and
+            (.id | type == "string" and test("^[A-Z][A-Z0-9-]{2,63}$")) and
+            (.criterion | type == "number" and floor == . and . >= 1 and . <= $criterionCount) and
+            .after == "pass" and
+            (.test | type == "object" and keys == ["className", "name", "target"] and
+             (.target | type == "number" and floor == . and . >= 0 and . < $targetCount) and
+             (.className | type == "string" and length > 0) and
+             (.name | type == "string" and length > 0)) and
+            (if .intent == "preserve" then
+                 .before == "pass" and
+                 (.source == "existingTest" or .source == "baselineCapture" or .source == "measuredFact") and
+                 (has("expectedFailure") | not)
+             elif .intent == "change" then
+                 .before == "fail" and .source == "userRequirement" and
+                 (.expectedFailure | type == "object" and
+                  ([keys[]] - ["type", "messageIncludes", "origin"] | length == 0) and
+                  (.type | type == "string" and length > 0) and
+                  (.origin | type == "string" and length >= 12) and
+                  (if has("messageIncludes") then (.messageIncludes | type == "string" and length >= 3) else true end))
+             elif .intent == "observe" then
+                 .before == "observe" and
+                 (.source == "userRequirement" or .source == "existingTest" or .source == "baselineCapture" or .source == "measuredFact") and
+                 (if has("expectedFailure") then
+                    (.expectedFailure | type == "object" and
+                     ([keys[]] - ["type", "messageIncludes", "origin"] | length == 0) and
+                     (.type | type == "string" and length > 0) and
+                     (.origin | type == "string" and length >= 12) and
+                     (if has("messageIncludes") then (.messageIncludes | type == "string" and length >= 3) else true end))
+                  else true end)
+             else false end)))
+     else true end)
 ' "$contract" >/dev/null || automation_die "contract is missing required fields or violates limits"
 
 task_id="$(jq -r '.id' "$contract")"

package/templates/scripts/automation/verify-task.sh

@@ -15,6 +15,20 @@ evidence_dir="$(automation_evidence_path "$task_id")"
 [[ -f "$evidence_dir/baseline.json" ]] || { automation_die "baseline evidence is missing"; exit 41; }
 [[ -f "$evidence_dir/red.json" ]] || { automation_die "RED evidence is missing"; exit 41; }
 
+contract_schema="$(jq -er '.schemaVersion' "$contract")"
+if [[ "$contract_schema" == "3" ]]; then
+    preflight_meta="$evidence_dir/test-preflight.json"
+    manifest_meta="$evidence_dir/test-manifest.json"
+    red_meta="$evidence_dir/red.json"
+    [[ -f "$preflight_meta" && -f "$manifest_meta" ]] || { automation_die "structured RED evidence is incomplete"; exit 41; }
+    [[ "$(jq -er '.valid' "$preflight_meta")" == "true" ]] || { automation_die "structured RED preflight was not valid"; exit 41; }
+    [[ "$(jq -er '.contractSha256' "$red_meta")" == "$(automation_file_sha256 "$contract")" ]] || { automation_die "RED contract binding changed"; exit 41; }
+    [[ "$(jq -er '.baselineHead' "$red_meta")" == "$(jq -er '.head' "$evidence_dir/baseline.json")" ]] || { automation_die "RED baseline binding changed"; exit 41; }
+    [[ "$(jq -er '.testDiffSha256' "$red_meta")" == "$(automation_test_diff_sha "$task_id" "$AUTOMATION_ROOT")" ]] || { automation_die "tests changed after structured RED"; exit 41; }
+    [[ "$(jq -er '.preflightSha256' "$red_meta")" == "$(automation_file_sha256 "$preflight_meta")" ]] || { automation_die "RED preflight evidence changed"; exit 41; }
+    [[ "$(jq -er '.manifestSha256' "$red_meta")" == "$(automation_file_sha256 "$manifest_meta")" ]] || { automation_die "RED test manifest changed"; exit 41; }
+fi
+
 "$SCRIPT_DIR/scope-gate.sh" "$task_id"
 
 automation_run_configured_unit_tests "$contract" "$AUTOMATION_ROOT"