#!/bin/bash
set -euo pipefail
delivery_bin="$1"
delivery_sha="$2"
delivery_model="$3"
delivery_output="$4"
delivery_repo="$5"
delivery_go="$6"
test -x "$delivery_bin"
test -f "$delivery_model"
mkdir "$delivery_output"
cd "$delivery_repo"
"$delivery_bin" version --build --json > "$delivery_output/build.json"
jq -e --arg sha "$delivery_sha" '.version == "0.6.6-dev" and .compiler_source_sha == $sha and .source_status == "CLEAN_VCS" and .go_version == "go1.27.1"' "$delivery_output/build.json" >/dev/null
"$delivery_bin" init --template diagnostic --module example.org/release066/diagnostic "$delivery_output/starter" > "$delivery_output/init.txt"
run_delivery_case() {
  local delivery_name="$1"
  shift
  /usr/bin/time -lp "$delivery_bin" "$@" > "$delivery_output/$delivery_name.json" 2> "$delivery_output/$delivery_name.time"
}
run_delivery_case starter-deterministic package execute --json --go "$delivery_go" --cases "$delivery_output/starter/cases.json" "$delivery_output/starter/gooo.workspace.json"
run_delivery_case starter-model package execute --json --go "$delivery_go" --assembly-model "$delivery_model" --cases "$delivery_output/starter/cases.json" "$delivery_output/starter/gooo.workspace.json"
run_delivery_case starter-input-replay package replay --json --go "$delivery_go" --receipt "$delivery_output/starter-model.json" --inputs "$delivery_output/starter/inputs.json" "$delivery_output/starter/gooo.workspace.json"
run_delivery_case called-deterministic package execute --json --go "$delivery_go" --assembly-policy-workspace examples/package-assembly-policy/gooo.workspace.json --cases examples/called-body-construction/cases.json examples/called-body-construction/gooo.workspace.json
run_delivery_case called-model package execute --json --go "$delivery_go" --assembly-model "$delivery_model" --assembly-policy-workspace examples/package-assembly-policy/gooo.workspace.json --cases examples/called-body-construction/cases.json examples/called-body-construction/gooo.workspace.json
run_delivery_case historical-replay package replay --json --go "$delivery_go" --receipt docs/research/called-input-observation-20261008/model.json --cases examples/called-body-construction/cases.json examples/called-body-construction/gooo.workspace.json
run_delivery_case called-checkpoint package execute --json --go "$delivery_go" --assembly-model "$delivery_model" --assembly-policy-workspace examples/package-assembly-policy/checkpoint.workspace.json --cases examples/called-body-construction/cases.json examples/called-body-construction/gooo.workspace.json
run_delivery_case checkpoint-explanation package execute --json --go "$delivery_go" --construction-receipt "$delivery_output/called-checkpoint.json" examples/assembly-explainer/gooo.workspace.json
for delivery_case in starter-deterministic starter-model; do
  jq -e '.result.runtime.finite_passed == 8 and .result.runtime.finite_total == 8 and .result.runtime.runtime_replayed and .result.runtime.projection_replayed' "$delivery_output/$delivery_case.json" >/dev/null
done
for delivery_case in called-deterministic called-model historical-replay; do
  jq -e '.result.runtime.finite_passed == 4 and .result.runtime.finite_total == 4 and .result.runtime.runtime_replayed and .result.runtime.projection_replayed' "$delivery_output/$delivery_case.json" >/dev/null
done
jq -e '.result.runtime.finite_passed == 0 and .result.runtime.finite_total == 0 and .result.replay.model_calls == 0' "$delivery_output/starter-input-replay.json" >/dev/null
jq -e '.result.replay.model_calls == 0' "$delivery_output/historical-replay.json" >/dev/null
jq -e '.result.runtime.finite_passed == 2 and .result.runtime.finite_total == 4 and .result.composition.preparations[0].generation.report.record_assembly.passed == 3 and .result.composition.preparations[0].generation.report.record_assembly.total == 5' "$delivery_output/called-checkpoint.json" >/dev/null
jq -e '.result.runtime.traces[0].deliveries[0].actual | .state == "PROGRESS" and .next_operation == "CONTINUE_CANDIDATES"' "$delivery_output/checkpoint-explanation.json" >/dev/null
for delivery_pair in starter called; do
  jq -es '.[0].result.composition.generated_sha256 != null and (.[0].result.composition.generated_sha256 == .[1].result.composition.generated_sha256) and ([.[0].result.runtime.traces[].deliveries[].actual] == [.[1].result.runtime.traces[].deliveries[].actual])' "$delivery_output/$delivery_pair-deterministic.json" "$delivery_output/$delivery_pair-model.json" >/dev/null
done
printf 'Published source identity and eight actual workload checks passed.\n'