@frankzhang2026/opencode-android-orchestrator 0.1.0 → 0.2.0

package/templates/scripts/automation/transition-state.sh

@@ -0,0 +1,21 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
+# shellcheck source=lib.sh
+source "$SCRIPT_DIR/lib.sh"
+
+task_id="${1:-}"
+expected="${2:-}"
+next="${3:-}"
+actor="${4:-}"
+note="${5:-}"
+
+if [[ -z "$task_id" || -z "$expected" || -z "$next" || -z "$actor" || -z "$note" ]]; then
+    printf 'Usage: %s TASK-ID EXPECTED NEXT ACTOR NOTE\n' "$0" >&2
+    exit 2
+fi
+
+automation_validate_task_id "$task_id"
+automation_require_layout
+automation_transition_state "$task_id" "$expected" "$next" "$actor" "$note"

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

@@ -0,0 +1,87 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
+# shellcheck source=lib.sh
+source "$SCRIPT_DIR/lib.sh"
+
+usage() {
+    printf 'Usage: %s TASK-ID|/path/to/contract.json\n' "$0" >&2
+}
+
+input="${1:-}"
+[[ -n "$input" ]] || { usage; exit 2; }
+automation_require_command jq
+automation_require_layout
+
+if [[ "$input" == */* || "$input" == *.json || "$input" == *.example ]]; then
+    contract="$input"
+    [[ "$contract" == /* ]] || contract="$AUTOMATION_ROOT/$contract"
+else
+    automation_validate_task_id "$input"
+    contract="$(automation_contract_path "$input")"
+fi
+
+[[ -f "$contract" ]] || automation_die "contract not found: $contract"
+jq -e . "$contract" >/dev/null || automation_die "contract is not valid JSON: $contract"
+
+jq -e '
+    .schemaVersion == 1 and
+    (.id | type == "string" and test("^TASK-[A-Z0-9-]+$")) and
+    (.title | type == "string" and length > 0) and
+    .designApproved == true and
+    (.planPath | type == "string" and length > 0) and
+    .ambiguityPolicy == "BLOCKED" and
+    (.maxFixLoops | type == "number" and . >= 0 and . <= 1 and floor == .) and
+    (.maxChangedFiles | type == "number" and . >= 1 and . <= 12 and floor == .) and
+    (.allowedPaths | type == "array" and length > 0) and
+    (.forbiddenPaths | type == "array" and length > 0) and
+    (.allowedSuperpowers == ["test-driven-development", "systematic-debugging", "verification-before-completion"]) and
+    (.acceptanceCriteria | type == "array" and length > 0) and
+    (.nonGoals | type == "array" and length > 0) and
+    (.targetTests | type == "array" and length > 0) 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)
+' "$contract" >/dev/null || automation_die "contract is missing required fields or violates limits"
+
+task_id="$(jq -r '.id' "$contract")"
+automation_validate_task_id "$task_id"
+
+if [[ "$contract" == "$AUTOMATION_TASKS_DIR/"* ]]; then
+    expected_contract="$(automation_contract_path "$task_id")"
+    [[ "$contract" == "$expected_contract" ]] || automation_die "contract filename must match id: $(basename "$expected_contract")"
+fi
+
+while IFS= read -r value; do
+    [[ "$value" != /* ]] || automation_die "paths must be repository-relative: $value"
+    [[ "$value" != *".."* ]] || automation_die "paths may not contain '..': $value"
+    [[ "$value" =~ ^[A-Za-z0-9._/?*-]+$ ]] || automation_die "unsupported path pattern: $value"
+done < <(jq -r '.allowedPaths[], .forbiddenPaths[]' "$contract")
+
+while IFS= read -r protected; do
+    if automation_array_matches_path "$contract" '.allowedPaths' "$protected"; then
+        automation_die "allowedPaths overlaps protected path: $protected"
+    fi
+    if ! automation_array_matches_path "$contract" '.forbiddenPaths' "$protected"; then
+        automation_die "forbiddenPaths must cover protected path: $protected"
+    fi
+done < <(jq -r '.protectedPaths[]' "$AUTOMATION_CONFIG")
+
+safe_filter_pattern='^[A-Za-z0-9_.#$*-]+$'
+while IFS= read -r filter; do
+    [[ "$filter" =~ $safe_filter_pattern ]] || automation_die "unsafe target test filter: $filter"
+done < <(jq -r '.targetTests[]' "$contract")
+
+if rg -n -i 'replace with|TASK-EXAMPLE|todo|tbd|placeholder' "$contract" >/dev/null; then
+    automation_die "contract still contains template placeholders"
+fi
+
+plan_path="$(jq -r '.planPath' "$contract")"
+if [[ "$plan_path" == /* || "$plan_path" == *".."* ]]; then
+    automation_die "planPath must be a safe repository-relative path"
+fi
+[[ "$plan_path" == "docs/plans/$task_id.md" ]] || automation_die "planPath must be docs/plans/$task_id.md"
+[[ -f "$AUTOMATION_ROOT/$plan_path" ]] || automation_die "approved plan does not exist: $plan_path"
+
+automation_info "contract valid: $task_id"

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

@@ -0,0 +1,37 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
+# shellcheck source=lib.sh
+source "$SCRIPT_DIR/lib.sh"
+
+task_id="${1:-}"
+base="${2:-}"
+head="${3:-}"
+[[ "$#" -eq 3 ]] || { printf 'Usage: %s TASK-ID BASE-COMMIT HEAD-COMMIT\n' "$0" >&2; exit 2; }
+automation_validate_task_id "$task_id"
+[[ "$(automation_read_state "$task_id")" == "INTEGRATING" ]] || automation_die "$task_id is not INTEGRATING"
+contract="$(automation_contract_path "$task_id")"
+
+"$SCRIPT_DIR/integration-scope-gate.sh" "$task_id" "$base" "$head"
+
+while IFS= read -r filter; do
+    automation_info "running integration focused test: $filter"
+    ./gradlew testDebugUnitTest --tests "$filter"
+done < <(jq -r '.targetTests[]' "$contract")
+
+automation_info "running integration full unit tests"
+./gradlew testDebugUnitTest
+
+automation_info "building integration debug APK"
+./gradlew assembleDebug
+
+automation_info "running integration Android lint"
+./gradlew lint
+
+if [[ "$(jq -r '.deviceTestsRequired' "$contract")" == "true" ]]; then
+    automation_info "running integration connected device tests"
+    ./gradlew connectedDebugAndroidTest
+fi
+
+automation_info "integration candidate passed all deterministic verification"

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

@@ -0,0 +1,54 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
+# shellcheck source=lib.sh
+source "$SCRIPT_DIR/lib.sh"
+
+task_id="${1:-}"
+[[ -n "$task_id" ]] || { printf 'Usage: %s TASK-ID\n' "$0" >&2; exit 2; }
+automation_validate_task_id "$task_id"
+"$SCRIPT_DIR/validate-contract.sh" "$task_id" >/dev/null
+
+contract="$(automation_contract_path "$task_id")"
+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; }
+
+"$SCRIPT_DIR/scope-gate.sh" "$task_id"
+
+while IFS= read -r filter; do
+    automation_info "running focused test: $filter"
+    (
+        cd "$AUTOMATION_ROOT"
+        ./gradlew testDebugUnitTest --tests "$filter"
+    )
+done < <(jq -r '.targetTests[]' "$contract")
+
+automation_info "running full unit tests"
+(
+    cd "$AUTOMATION_ROOT"
+    ./gradlew testDebugUnitTest
+)
+
+automation_info "building debug APK"
+(
+    cd "$AUTOMATION_ROOT"
+    ./gradlew assembleDebug
+)
+
+automation_info "running Android lint"
+(
+    cd "$AUTOMATION_ROOT"
+    ./gradlew lint
+)
+
+if [[ "$(jq -r '.deviceTestsRequired' "$contract")" == "true" ]]; then
+    automation_info "running connected device tests"
+    (
+        cd "$AUTOMATION_ROOT"
+        ./gradlew connectedDebugAndroidTest
+    )
+fi
+
+automation_info "all deterministic verification commands passed"