hecks 3.2.1 → 3.3.0

data/lib/hecks/projections/deploy/box/templates/deploy-service.sh.tmpl

@@ -0,0 +1,79 @@
+#!/usr/bin/env bash
+# GENERATED by hecks deploy project -- re-run it to refresh this file rather than hand-editing.
+# Settings come from the domain's deployed_to("AwsBox") block (hosting_scripts true).
+#
+# Deploys ONE container's freshly built local image to @@STACK@@'s app box, under a fresh, unique ECR tag.
+#
+#   bash deploy-service.sh <service>
+#   EXISTING_TAG=<tag> bash deploy-service.sh <service>    redeploy a tag already in ECR (no push)
+#
+# Why it exists: pushing a floating tag and restarting a container looks like a deploy, but nothing
+# records which image the box was told to run, and a box that pulls a tag it already has keeps the old
+# image. This script pushes the local image under a never-reused tag (<service>-<UTC timestamp>),
+# refuses a tag that is already in ECR, and names that tag in the roll.
+@@MODE_SUMMARY@@
+#
+# It ends with smoke-after-deploy.sh, whose own exit codes (20-23) are distinct from a failed deploy
+# step's. SKIP_POST_DEPLOY_SMOKE=1 skips it.
+#
+# Environment:
+#   LOCAL_IMAGE               local image to push, default <ecr repository>:latest
+#   EXISTING_TAG              redeploy this tag from ECR instead of building and pushing
+#   SETTLE_TIMEOUT_SECS       default 1200, how long to wait for a stack update
+#   SKIP_POST_DEPLOY_SMOKE=1  passed through to smoke-after-deploy.sh
+set -euo pipefail
+
+@@SETTINGS@@
+
+@@SERVICES@@
+
+SERVICE_NAME="${1:?usage: deploy-service.sh <service> (one of: ${SERVICES})}"
+resolve_service "$SERVICE_NAME"
+
+cd "$(dirname "${BASH_SOURCE[0]}")"
+SETTLE_TIMEOUT_SECS="${SETTLE_TIMEOUT_SECS:-1200}"
+ACCOUNT_ID="$(aws sts get-caller-identity --query Account --output text)"
+ECR_HOST="${ACCOUNT_ID}.dkr.ecr.${REGION}.amazonaws.com"
+SCRATCH_DIR="$(mktemp -d)"
+trap 'rm -rf "$SCRATCH_DIR"' EXIT
+
+# True once $1 (a value of $SECONDS) is further in the past than the settle timeout.
+timed_out() { [ $((SECONDS - $1)) -gt "$SETTLE_TIMEOUT_SECS" ]; }
+
+@@REPOSITORY_STEP@@
+TAG="${EXISTING_TAG:-${SERVICE_NAME}-$(date -u +%Y%m%d%H%M%S)}"
+IMAGE_URI="${ECR_HOST}/${ECR_REPOSITORY}:${TAG}"
+LOCAL_IMAGE="${LOCAL_IMAGE:-${ECR_REPOSITORY}:latest}"
+
+if [ -n "${EXISTING_TAG:-}" ]; then
+  echo "==> reusing ${IMAGE_URI} (no push)"
+  aws ecr describe-images --repository-name "$ECR_REPOSITORY" --region "$REGION" \
+    --image-ids "imageTag=${TAG}" --query 'imageDetails[0].imageTags' --output text > /dev/null \
+    || { echo "tag ${TAG} is not in ECR" >&2; exit 1; }
+else
+  if aws ecr describe-images --repository-name "$ECR_REPOSITORY" --region "$REGION" \
+      --image-ids "imageTag=${TAG}" > /dev/null 2>&1; then
+    echo "tag ${TAG} is already in ECR; a tag is never reused. Run again." >&2
+    exit 1
+  fi
+  echo "==> tagging ${LOCAL_IMAGE} as ${IMAGE_URI}"
+  docker tag "$LOCAL_IMAGE" "$IMAGE_URI"
+
+  # A private docker config with no credential helper: a helper that blocks on a keychain prompt
+  # hangs forever in any unattended shell.
+  echo "==> ecr login"
+  DOCKER_CONFIG_DIR="${SCRATCH_DIR}/docker-config"
+  mkdir -p "$DOCKER_CONFIG_DIR"
+  echo '{}' > "${DOCKER_CONFIG_DIR}/config.json"
+  aws ecr get-login-password --region "$REGION" \
+    | docker --config "$DOCKER_CONFIG_DIR" login --username AWS --password-stdin "$ECR_HOST"
+
+  echo "==> pushing ${IMAGE_URI}"
+  docker --config "$DOCKER_CONFIG_DIR" push "$IMAGE_URI"
+fi
+
+@@ROLL_STEPS@@
+
+# The deploy itself is done. End with the smoke, which reports separately.
+echo "==> deploy succeeded"
+bash ./smoke-after-deploy.sh

data/lib/hecks/projections/deploy/box/templates/deploy-service.taskdef-roll.part

@@ -0,0 +1,77 @@
+echo "==> setting the stack's ${CFN_PARAM_KEY} to ${TAG} (registers the new task definition revision)"
+stack_parameters() {
+  aws cloudformation describe-stacks --stack-name "$IMAGE_STACK" --region "$REGION" \
+    --query 'Stacks[0].Parameters[].{k:ParameterKey,v:ParameterValue}' --output json
+}
+stack_parameters > "${SCRATCH_DIR}/params-before.json"
+ALL_PARAM_KEYS="$(jq -r '.[].k' "${SCRATCH_DIR}/params-before.json")"
+CFN_ARGS=()
+found=0
+for key in $ALL_PARAM_KEYS; do
+  if [ "$key" = "$CFN_PARAM_KEY" ]; then
+    CFN_ARGS+=("ParameterKey=${key},ParameterValue=${TAG}")
+    found=1
+  else
+    CFN_ARGS+=("ParameterKey=${key},UsePreviousValue=true")
+  fi
+done
+if [ "$found" != "1" ]; then
+  echo "stack ${IMAGE_STACK} has no parameter named ${CFN_PARAM_KEY}; the image was pushed but nothing was rolled" >&2
+  exit 1
+fi
+
+if UPDATE_OUT="$(aws cloudformation update-stack --stack-name "$IMAGE_STACK" --region "$REGION" \
+    --use-previous-template --capabilities CAPABILITY_IAM --parameters "${CFN_ARGS[@]}" \
+    --query 'StackId' --output text 2>&1)"; then
+  echo "==> waiting for the CloudFormation stack update to settle"
+  started=$SECONDS
+  while true; do
+    stack_status="$(aws cloudformation describe-stacks --stack-name "$IMAGE_STACK" --region "$REGION" \
+      --query 'Stacks[0].StackStatus' --output text)"
+    case "$stack_status" in
+      UPDATE_COMPLETE) echo "    -> ${stack_status}"; break ;;
+      *ROLLBACK*|*FAILED*)
+        echo "    -> ${stack_status}: the stack update failed, investigate before rolling anything" >&2
+        exit 1 ;;
+    esac
+    if timed_out "$started"; then
+      echo "==> the stack update did not settle within ${SETTLE_TIMEOUT_SECS}s (last: ${stack_status})" >&2
+      exit 1
+    fi
+    sleep 10
+  done
+elif echo "$UPDATE_OUT" | grep -q "No updates are to be performed"; then
+  echo "    -> the stack already has ${TAG}; nothing to update"
+else
+  echo "$UPDATE_OUT" >&2
+  exit 1
+fi
+
+echo "==> checking that only ${CFN_PARAM_KEY} changed"
+stack_parameters > "${SCRATCH_DIR}/params-after.json"
+CHANGED="$(jq -rn --slurpfile before "${SCRATCH_DIR}/params-before.json" --slurpfile after "${SCRATCH_DIR}/params-after.json" '
+  ($before[0] | map({(.k): .v}) | add // {}) as $b
+  | ($after[0] | map({(.k): .v}) | add // {}) as $a
+  | [($b + $a) | keys[] | select($b[.] != $a[.])] | join(" ")')"
+NOW="$(jq -r --arg k "$CFN_PARAM_KEY" '.[] | select(.k == $k) | .v' "${SCRATCH_DIR}/params-after.json")"
+if [ "$NOW" != "$TAG" ] || { [ -n "$CHANGED" ] && [ "$CHANGED" != "$CFN_PARAM_KEY" ]; }; then
+  echo "expected only ${CFN_PARAM_KEY} to change to ${TAG}; it is ${NOW} and changed: ${CHANGED:-nothing}" >&2
+  exit 1
+fi
+echo "    -> ${CFN_PARAM_KEY} is ${TAG}; no other parameter changed"
+
+# The newest active revision of the family is what the stack just registered. Roll it only if it
+# really carries the image pushed above: a stack update that registered something else would
+# otherwise roll an old image and still look like a deploy.
+TD="$(aws ecs describe-task-definition --task-definition "$FAMILY" --region "$REGION" \
+  --query 'taskDefinition.[family,revision]' --output text | tr '\t' ':')"
+RUNNING_IMAGE="$(aws ecs describe-task-definition --task-definition "$TD" --region "$REGION" \
+  --query "taskDefinition.containerDefinitions[?name=='${SERVICE_NAME}'].image | [0]" --output text)"
+if [ "$RUNNING_IMAGE" != "$IMAGE_URI" ]; then
+  echo "task definition ${TD} has ${RUNNING_IMAGE}, not ${IMAGE_URI}; refusing to roll" >&2
+  exit 1
+fi
+echo "==> task definition ${TD} carries ${SERVICE_NAME}=${TAG}"
+
+bash ./deploy-box.sh "$TD"
+export TASKDEF="$TD"

data/lib/hecks/projections/deploy/box/templates/deploy-service.taskdef.part

@@ -0,0 +1,12 @@
+# The active task definition names the image repository of every container, so the push goes where
+# the box already pulls from.
+active_image() {
+  aws ecs describe-task-definition --task-definition "$FAMILY" --region "$REGION" \
+    --query "taskDefinition.containerDefinitions[?name=='${SERVICE_NAME}'].image | [0]" --output text
+}
+CURRENT_IMAGE="$(active_image)"
+case "$CURRENT_IMAGE" in
+  None|"") echo "task definition family ${FAMILY} has no container named ${SERVICE_NAME}" >&2; exit 1 ;;
+esac
+ECR_REPOSITORY="${CURRENT_IMAGE#*/}"
+ECR_REPOSITORY="${ECR_REPOSITORY%%[:@]*}"

data/lib/hecks/projections/deploy/box/templates/hosting.mk.tmpl

@@ -0,0 +1,24 @@
+# GENERATED by hecks deploy project -- re-run it to refresh this file rather than hand-editing.
+# Included by the Makefile beside it; settings come from the domain's deployed_to("AwsBox") block
+# (hosting_scripts true).
+
+HECKS   ?= hecks
+SERVICE ?= @@SERVICE@@
+URL     ?= @@URL@@
+
+.PHONY: deploy-service smoke-after-deploy check-era
+
+# Pushes one container's already-built local image under a fresh tag and rolls it onto the box.
+# Build the image first; see deploy-service.sh.
+deploy-service:
+	bash ./deploy-service.sh $(SERVICE)
+
+# Waits for the last roll to settle, then dispatches and follows the smoke.
+# SKIP_POST_DEPLOY_SMOKE=1 opts out, DRY_RUN=1 dispatches nothing.
+smoke-after-deploy:
+	bash ./smoke-after-deploy.sh
+
+# Compares the era a live host reports at GET /version with expected-era.
+check-era:
+	@test -n "$(URL)" || { echo "usage: make check-era URL=https://host.example"; exit 1; }
+	HECKS_ENVIRONMENT=memory $(HECKS) host.check_era host="$(URL)" expected=expected-era --wait

data/lib/hecks/projections/deploy/box/templates/smoke-after-deploy.sh.tmpl

@@ -0,0 +1,271 @@
+#!/usr/bin/env bash
+# GENERATED by hecks deploy project -- re-run it to refresh this file rather than hand-editing.
+# Settings come from the domain's deployed_to("AwsBox") block (hosting_scripts true).
+#
+# Runs the production smoke once a roll of @@STACK@@'s app box has settled, so a deploy ends with a real
+# check of the live site instead of waiting for the next scheduled run. Called at the end of
+# deploy-service.sh and of `make deploy`; also runnable by hand:
+#
+#   bash smoke-after-deploy.sh
+#
+# What it does, in order:
+#   1. Waits for the roll to settle: two consecutive checks, one interval apart, must agree that
+@@SETTLE_CHECKS@@
+#      Gives up after the timeout. The box is read through SSM, the way deploy-box.sh rolls it.
+#   2. Dispatches the smoke workflow on the configured ref, finds the run that dispatch created (a
+#      workflow_dispatch run that did not exist before the dispatch, never a scheduled one), waits for it,
+#      and prints its conclusion, the failed check names and its URL.
+#
+# It only ever READS AWS; the smoke itself runs on GitHub against the live site.
+#
+# Exit codes (chosen to stay clear of the ones a failed deploy step produces: 1 from bash, 2 from bash
+# misuse, 254/255 from the aws CLI):
+#    0  the smoke passed, was skipped on purpose (SKIP_POST_DEPLOY_SMOKE=1), or was left running
+#       (SMOKE_ASYNC=1)
+#   20  the roll did not settle in time, or a stack ended in a failed state; the smoke was NOT run
+#   21  `gh` is missing or not signed in, or no repository is configured; the smoke was NOT run (the
+#       manual command is printed)
+#   22  the smoke ran and FAILED
+#   23  the smoke could not be dispatched, found or finished; result unknown
+#
+# Environment:
+#   SKIP_POST_DEPLOY_SMOKE=1   skip everything and say so
+#   SMOKE_ASYNC=1              dispatch the smoke and return as soon as its run is found, printing the
+#                              run URL, instead of waiting for it to finish (exit 0: the result is NOT
+#                              known yet)
+#   DRY_RUN=1                  wait for the roll as usual, then print what would be dispatched without
+#                              dispatching anything
+#   SETTLE_TIMEOUT_SECS        default 1200
+#   SETTLE_CHECK_INTERVAL_SECS default 5
+#   SMOKE_RUN_TIMEOUT_SECS     default 1800, how long to wait for the run
+#   SSM_POLL_SECS              default 2, how often to ask SSM whether a command on the box finished
+#   REPO                       GitHub repository (owner/name) holding the workflow
+#   WORKFLOW                   workflow file name
+#   SMOKE_REF                  ref to dispatch on
+#   TASKDEF                    the task definition the box should run (family or family:revision);
+#                              default: the latest revision of the family. deploy-service.sh and
+#                              `make deploy TASKDEF=...` pass the one they rolled.
+set -uo pipefail
+
+@@SETTINGS@@
+
+SETTLE_TIMEOUT_SECS="${SETTLE_TIMEOUT_SECS:-1200}"
+SETTLE_CHECK_INTERVAL_SECS="${SETTLE_CHECK_INTERVAL_SECS:-5}"
+SMOKE_RUN_TIMEOUT_SECS="${SMOKE_RUN_TIMEOUT_SECS:-1800}"
+SSM_POLL_SECS="${SSM_POLL_SECS:-2}"
+MANUAL_COMMAND="bash smoke-after-deploy.sh"
+
+if [ "${SKIP_POST_DEPLOY_SMOKE:-}" = "1" ]; then
+  echo "==> post-deploy smoke SKIPPED (SKIP_POST_DEPLOY_SMOKE=1)."
+  echo "    Run it yourself when ready: ${MANUAL_COMMAND}"
+  exit 0
+fi
+
+if ! command -v gh >/dev/null 2>&1 || ! gh auth status >/dev/null 2>&1; then
+  echo "==> post-deploy smoke NOT RUN: the GitHub CLI (gh) is missing or not signed in." >&2
+  echo "    Run it by hand: gh workflow run ${WORKFLOW} --ref ${SMOKE_REF}" >&2
+  echo "    or, once gh works: ${MANUAL_COMMAND}" >&2
+  exit 21
+fi
+
+if [ -z "$REPO" ]; then
+  REPO="$(gh repo view --json nameWithOwner --jq .nameWithOwner 2>/dev/null || true)"
+fi
+if [ -z "$REPO" ]; then
+  echo "==> post-deploy smoke NOT RUN: no GitHub repository is configured. Set REPO=owner/name, or the" >&2
+  echo "    smoke_repo setting, or run from a clone gh can read." >&2
+  exit 21
+fi
+MANUAL_DISPATCH="gh workflow run ${WORKFLOW} --repo ${REPO} --ref ${SMOKE_REF}"
+
+# The status of a stack, or nothing when it cannot be read.
+stack_status() {
+  aws cloudformation describe-stacks --stack-name "$1" --region "$REGION" \
+    --query 'Stacks[0].StackStatus' --output text 2>/dev/null
+}
+
+# Runs a script on the box over SSM and prints its output; fails when it does not succeed.
+box_run() {
+  local payload command_id state
+  payload="$(jq -n --arg c "$1" '{commands: [$c]}')"
+  command_id="$(aws ssm send-command --instance-ids "$BOX_ID" --document-name AWS-RunShellScript \
+    --region "$REGION" --parameters "$payload" --query 'Command.CommandId' --output text 2>/dev/null)" || return 1
+  for _ in $(seq 1 60); do
+    sleep "$SSM_POLL_SECS"
+    state="$(aws ssm get-command-invocation --command-id "$command_id" --instance-id "$BOX_ID" \
+      --region "$REGION" --query Status --output text 2>/dev/null || echo Pending)"
+    [ "$state" != InProgress ] && [ "$state" != Pending ] && break
+  done
+  [ "$state" = Success ] || return 1
+  aws ssm get-command-invocation --command-id "$command_id" --instance-id "$BOX_ID" --region "$REGION" \
+    --query StandardOutputContent --output text
+}
+
+# Prints "ok <signature>" when the box looks settled, otherwise "wait <why>". The signature names
+# every image the box runs, so two checks agree only when nothing changed between them.
+box_state() {
+  local report compose ps name image wanted signature
+  report="$(box_run "cd ${BOX_DIR} && cat compose.json && echo ===PS=== && docker compose -f compose.json ps --format '{{.Service}} {{.Status}}'")" \
+    || { echo "wait could not read the box"; return; }
+  compose="${report%%===PS===*}"
+  ps="${report#*===PS===}"
+  for name in $EXPECTED_SERVICES; do
+    printf '%s\n' "$ps" | grep -E "^${name} Up " | grep -qvE " Up (Less than a second|[0-4] seconds?)|Restarting" \
+      || { echo "wait ${name} is not up and settled"; return; }
+  done
+  signature=""
+  for name in $EXPECTED_SERVICES; do
+    image="$(printf '%s' "$compose" | jq -r --arg n "$name" '.services[$n].image // empty' 2>/dev/null)"
+    [ "$name" = caddy ] || [ -n "$image" ] || { echo "wait ${name} is not in the box's Compose file"; return; }
+    if [ -n "$TASK_DEFINITION" ] && [ "$name" != caddy ]; then
+      wanted="$(aws ecs describe-task-definition --task-definition "$TASK_DEFINITION" --region "$REGION" \
+        --query "taskDefinition.containerDefinitions[?name=='${name}'].image | [0]" --output text 2>/dev/null)"
+      [ "$image" = "$wanted" ] || { echo "wait ${name} runs ${image}, ${TASK_DEFINITION} has ${wanted}"; return; }
+    fi
+    signature="${signature}${name}=${image} "
+  done
+  echo "ok ${signature}"
+}
+
+wait_for_settled_roll() {
+  echo "==> waiting for the roll to settle (box ${BOX_STACK}@@IMAGE_STACK_WAIT@@; timeout ${SETTLE_TIMEOUT_SECS}s)"
+  local start=$SECONDS previous="" status stacks state signature why s
+  BOX_ID="$(aws cloudformation describe-stacks --stack-name "$BOX_STACK" --region "$REGION" \
+    --query "Stacks[0].Outputs[?OutputKey=='InstanceId'].OutputValue" --output text 2>/dev/null)"
+  if [ -z "$BOX_ID" ] || [ "$BOX_ID" = None ]; then
+    echo "==> no instance in stack ${BOX_STACK}. The smoke was NOT run." >&2
+    return 20
+  fi
+  while true; do
+    stacks=""
+    for s in $WATCHED_STACKS; do
+      status="$(stack_status "$s")"
+      case "$status" in
+        *ROLLBACK*|*FAILED*)
+          echo "==> roll did not settle: stack ${s} is ${status}. The smoke was NOT run." >&2
+          return 20 ;;
+      esac
+      stacks="${stacks}${s}=${status:-unreadable} "
+    done
+    if printf '%s' "$stacks" | tr ' ' '\n' | grep -v '^$' | grep -qvE '=(CREATE|UPDATE)_COMPLETE$'; then
+      state="wait ${stacks}"
+    else
+      state="$(box_state)"
+    fi
+    if [ "${state%% *}" = "ok" ]; then
+      signature="${stacks}${state#ok }"
+      if [ "$signature" = "$previous" ]; then
+        echo "    -> settled on ${state#ok } (two consecutive checks agree)"
+        return 0
+      fi
+      echo "    -> looks settled (${state#ok }); confirming in ${SETTLE_CHECK_INTERVAL_SECS}s"
+      previous="$signature"
+    else
+      why="${state#wait }"
+      echo "    -> not yet: ${why}"
+      previous=""
+    fi
+    if [ $((SECONDS - start + SETTLE_CHECK_INTERVAL_SECS)) -gt "$SETTLE_TIMEOUT_SECS" ]; then
+      echo "==> roll did not settle within ${SETTLE_TIMEOUT_SECS}s (last: ${state#wait }). The smoke was NOT run." >&2
+      return 20
+    fi
+    sleep "$SETTLE_CHECK_INTERVAL_SECS"
+  done
+}
+
+# Ids of the workflow_dispatch runs that exist now, one per line.
+dispatch_run_ids() {
+  gh run list --repo "$REPO" --workflow "$WORKFLOW" --event workflow_dispatch --limit 50 \
+    --json databaseId --jq '.[].databaseId' 2>/dev/null
+}
+
+print_failed_checks() {
+  local run_id="$1" log names
+  log="$(gh run view "$run_id" --repo "$REPO" --log 2>/dev/null || true)"
+  # Log lines are "<job>\t<step>\t<timestamp> <text>"; a smoke that prints "  <check>... FAILED: <why>"
+  # for each failing check is listed by name.
+  names="$(printf '%s\n' "$log" | awk -F'\t' 'NF >= 3 { print $3 }' | sed -E 's/^[0-9T:.-]+Z //' \
+    | grep -E '\.\.\. FAILED:' | sed -E 's/^ +//' || true)"
+  if [ -n "$names" ]; then
+    echo "    failed checks:"
+    printf '%s\n' "$names" | sed 's/^/      - /'
+  else
+    echo "    (no failed check names in the log; the run may have failed before the checks. Last log lines:)"
+    printf '%s\n' "$log" | tail -n 15 | sed 's/^/      /'
+  fi
+}
+
+run_smoke() {
+  local before run_id="" waited=0 url conclusion status
+  if ! before="$(dispatch_run_ids)"; then
+    echo "==> could not list the smoke workflow's runs, so it was NOT dispatched (it could not be told apart afterwards). Run it by hand: ${MANUAL_DISPATCH}" >&2
+    return 23
+  fi
+
+  echo "==> dispatching the production smoke: ${MANUAL_DISPATCH}"
+  if ! gh workflow run "$WORKFLOW" --repo "$REPO" --ref "$SMOKE_REF"; then
+    echo "==> could not dispatch the smoke workflow. Deploy succeeded; run it by hand: ${MANUAL_DISPATCH}" >&2
+    return 23
+  fi
+
+  # The dispatch call does not return the run, so find the workflow_dispatch run that was not there
+  # before it (scheduled runs are never candidates).
+  while [ -z "$run_id" ] && [ "$waited" -lt 180 ]; do
+    sleep 2
+    waited=$((waited + 2))
+    run_id="$(comm -13 <(printf '%s\n' "$before" | sort) <(dispatch_run_ids | sort) | sort -n | tail -n 1)"
+  done
+  if [ -z "$run_id" ]; then
+    echo "==> dispatched, but the new run never appeared. Deploy succeeded; check https://github.com/${REPO}/actions/workflows/${WORKFLOW}" >&2
+    return 23
+  fi
+  url="https://github.com/${REPO}/actions/runs/${run_id}"
+  echo "==> smoke run ${run_id}: ${url}"
+  if [ "${SMOKE_ASYNC:-}" = "1" ]; then
+    echo "==> deploy succeeded; the smoke is still running (SMOKE_ASYNC=1), so its result is NOT known yet."
+    echo "    Watch it: gh run watch ${run_id} --repo ${REPO}   or open ${url}"
+    return 0
+  fi
+
+  waited=0
+  while true; do
+    status="$(gh run view "$run_id" --repo "$REPO" --json status --jq .status 2>/dev/null || true)"
+    [ "$status" = "completed" ] && break
+    if [ "$waited" -ge "$SMOKE_RUN_TIMEOUT_SECS" ]; then
+      echo "==> deploy succeeded, but the smoke run did not finish within ${SMOKE_RUN_TIMEOUT_SECS}s: see ${url}" >&2
+      return 23
+    fi
+    sleep 5
+    waited=$((waited + 5))
+  done
+
+  conclusion="$(gh run view "$run_id" --repo "$REPO" --json conclusion --jq .conclusion || true)"
+  echo "==> smoke conclusion: ${conclusion}  ${url}"
+  if [ "$conclusion" = "success" ]; then
+    echo "==> deploy succeeded, post-deploy smoke passed."
+    return 0
+  fi
+  print_failed_checks "$run_id"
+  echo "==> deploy succeeded, post-deploy smoke FAILED: see ${url}" >&2
+  return 22
+}
+
+rc=0
+wait_for_settled_roll || rc=$?
+[ "$rc" -eq 0 ] || exit "$rc"
+
+if [ "${DRY_RUN:-}" = "1" ]; then
+  echo "==> DRY_RUN=1: would dispatch: ${MANUAL_DISPATCH}"
+  newest="$(dispatch_run_ids | sort -n | tail -n 1 || true)"
+  if [ -n "$newest" ]; then
+    echo "    then pick the workflow_dispatch run that appears after it; the newest existing one is"
+    echo "    https://github.com/${REPO}/actions/runs/${newest} (not the one it would wait for)"
+  else
+    echo "    (no workflow_dispatch runs exist yet)"
+  fi
+  echo "    then wait for it and report its conclusion and failed checks. Nothing dispatched."
+  exit 0
+fi
+
+run_smoke || rc=$?
+exit "$rc"

data/lib/hecks/projections/deploy/box.rb

@@ -1,6 +1,7 @@
 require "json"
 require_relative "../../projector"
 require_relative "box/settings"
+require_relative "box/hosting"
 
 module Hecks
   module Projections
@@ -94,7 +95,7 @@ module Hecks
             "fetch-secrets.sh" => File.read(File.join(TEMPLATE_DIR, "fetch-secrets.sh")),
             "deploy-box.sh" => deploy_box_sh(plan, region),
             "Makefile" => makefile(plan)
-          }.merge(migration_files(plan))
+          }.merge(migration_files(plan)).then { |files| Hosting.extend_files(files, plan: plan, region: region) }
         end
 
         # The tooling that moves a project's data from its old database into the RDS instance, for
@@ -546,7 +547,7 @@ module Hecks
         # @param plan [Settings::Plan] the resolved settings
         # @return [String] a Makefile whose targets create the two stacks and roll the box
         def makefile(plan)
-          <<~MAKE
+          base = <<~MAKE
             # #{plan.infra_name}: one app box and one RDS instance.
             #   make stacks VPC=vpc-... PRIVATE_SUBNETS=subnet-a,subnet-b PUBLIC_SUBNET=subnet-c [REHEARSAL=true]
             #   make deploy #{plan.task_definition ? '[TASKDEF=family:revision]' : '[TAGS="web=20260101 worker=20260101"]'}
@@ -570,6 +571,18 @@ module Hecks
             deploy:
             \tbash ./deploy-box.sh $(#{plan.task_definition ? 'TASKDEF' : 'TAGS'})
           MAKE
+          "#{base}#{hosting_makefile_tail(plan)}"
+        end
+
+        # With hosting scripts, a deploy ends with the post-deploy smoke and the Makefile includes
+        # the fragment that adds the hosting targets.
+        #
+        # @param plan [Settings::Plan] the resolved settings
+        # @return [String] the Makefile lines that follow the `deploy` recipe, or nothing
+        def hosting_makefile_tail(plan)
+          return "" unless plan.hosting
+
+          "\t#{'TASKDEF="$(TASKDEF)" ' if plan.task_definition}bash ./smoke-after-deploy.sh\n\ninclude hosting.mk\n"
         end
 
         # Fills `@@NAME@@` markers. A marker alone on its line is replaced together with the line,

data/lib/hecks/projections/deploy/fargate.rb

@@ -100,7 +100,7 @@ module Hecks
                   deployed_to("AwsFargate") do
                     ...
                     database "Shared"
-                    owner "Embryonaut"
+                    owner "Core"
                   end
 
               naming the already-deployed domain whose Postgres instance this one borrows.
@@ -327,8 +327,8 @@ module Hecks
                   RetentionInDays: 30
 
               # Always minted — HECKS_SERVE_MODE always runs web.rs, which
-              # panics on an empty SESSION_SECRET (found live: hecksagain-pizzas
-              # 502 after the Aurora cutover). rust/host fetches this at cold
+              # panics on an empty SESSION_SECRET (seen live as a 502
+              # after a database cutover). rust/host fetches this at cold
               # start (secrets.rs), never a plain env var.
               #{session_secret_id}:
                 Type: AWS::SecretsManager::Secret

data/lib/hecks/projections/deploy/lambda.rb

@@ -147,7 +147,7 @@ module Hecks
                   deployed_to("AwsLambda") do
                     ...
                     database "Shared"
-                    owner "Embryonaut"
+                    owner "Core"
                   end
 
               naming the already-deployed domain whose Postgres instance this one borrows.
@@ -273,7 +273,7 @@ module Hecks
                 # GOOGLE_CLIENT_ID/GOOGLE_CLIENT_SECRET/GOOGLE_REDIRECT_URI
                 # deliberately NOT set here — #{domain}'s own .env.local has
                 # no real GOOGLE_CLIENT_ID yet, matching Fly's own current
-                # reality (fly secrets list -a embryonaut-founder-app: only
+                # reality (its secrets list holds only
                 # DATABASE_URL and SESSION_SECRET) that nobody has configured
                 # OAuth for this app at all. Drop real credentials into
                 # .env.local and regenerate to wire this up.
@@ -410,7 +410,7 @@ module Hecks
                   # `stack_name` above exactly — one name, two places it's read
                   # from, never out of sync since both derive from `infra_name`.
                   FunctionName: #{stack_name}
-                  # EXPLICIT, not omitted -- `sam build EmbryonautFunction` and
+                  # EXPLICIT, not omitted -- `sam build WebFunction` and
                   # `sam build --use-container WebFunction` run as TWO SEPARATE
                   # single-resource invocations (deploy:'s own comment on why:
                   # cargo-lambda cross-compiles on this host directly, pg's
@@ -434,7 +434,7 @@ module Hecks
                   # "." NOT "#{logical_id}" -- SAM's Makefile build workflow
                   # requires the Makefile to live INSIDE CodeUri itself
                   # (confirmed live: "Makefile not found at
-                  # .../EmbryonautFunction/Makefile" when CodeUri named a
+                  # .../WebFunction/Makefile" when CodeUri named a
                   # directory of its own). This project's one Makefile lives at
                   # the deploy directory's own root, alongside this template --
                   # "." is where it actually is.
@@ -568,7 +568,7 @@ module Hecks
                         "SubnetIds: [!Ref #{db_id}SubnetA, !Ref #{db_id}SubnetB]\n        SecurityGroupIds: [!Ref #{logical_id}SecurityGroup]"
                       end}
                   # AWS_IAM by default — this dispatches real domain commands
-                  # (cap-table/governance-shaped data, for Embryonaut's own use);
+                  # (cap-table/governance-shaped data);
                   # an unauthenticated public URL is the wrong default for that,
                   # even though it's the simpler one to demo with. NONE only when
                   # `web "Rust"` (rust/host/src/web.rs) makes this the public web
@@ -586,7 +586,7 @@ module Hecks
             # THE WEB APP'S OWN LAMBDA — opt-in, see `web_handler_present` above.
             # VPC-attached for the SAME reason #{logical_id} is (Member's own
             # persistence needs the private RDS instance directly, permanently —
-            # embryonaut.hecksagon's own comment on why), sharing
+            # the hecksagon's own comment on why), sharing
             # #{logical_id}SecurityGroup rather than minting a second one, since
             # both need the identical egress-to-DB rule. That VPC attachment
             # ALSO cuts off the public internet by default (this stack's own "NO
@@ -674,7 +674,7 @@ module Hecks
               # without reworking that whole from-source pg build for a newer
               # image is a real, separate undertaking (untested container image
               # availability, a different vendor/bundle native-extension path)
-              # out of scope here. Matches Embryonaut's own live, currently-
+              # out of scope here. Matches the live, currently-
               # deployed choice exactly, so both consumers of this one shared
               # WebFunction code path stay on the same, PROVEN runtime.
               Properties:
@@ -763,7 +763,7 @@ module Hecks
                     # documents. But THIS function's consumer (`lambda_handler.rb`)
                     # is not a file this generator writes or this repo carries --
                     # it lives in the deploying app's own domain directory (real,
-                    # live example: Embryonaut's own Sinatra app), outside this
+                    # live example: a Sinatra app), outside this
                     # codebase entirely. Redeploying a domain with an existing
                     # `lambda_handler.rb` BEFORE that handler is updated to fetch
                     # these itself (`aws-sdk-secretsmanager`, not yet in this

data/lib/hecks/projections/model/deviations.rb

@@ -48,7 +48,7 @@ module Hecks
         # Fields emitted by `to_h`'s own merge rather than `emits_ir`, for constructs
         # whose shape is not fixed.
         DYNAMIC_TAIL = {
-          "Query"     => %i[options returns],
+          "Query"     => %i[options returns needs],
           "ReadModel" => %i[options group_by aggregate_heads count median_field sum_field avg_field
                             min_field max_field percentile_field percentile_at any_field all_field]
         }.freeze