bash -c 
echo "CLAIM (886626a): \"three of the five compile-time kinds are runtime-bindable:"
echo "                 entry injection, exit injection, and refusal\""
echo
echo "The runtime table format supports an exit phase. Does CODEGEN ever emit an"
echo "exit-phase seam call (phase argument 1) at any commit in this cycle?"
echo
for c in 35b07ba 886626a 28d19da 8bbb750 24f7fb5; do
  printf "%s  el_seam_run emissions in codegen.el:\n" "${c}"
  git show "${c}:lang/el-compiler/src/codegen.el" | grep -n "el_seam_run" | sed "s/^/     /"
done
echo
echo "=== emitted C at 24f7fb5 (self-hosted): any phase-1 / exit seam call? ==="
printf "  entry-phase calls  el_seam_run(EL_STR(...), 0, : "; grep -c "el_seam_run(EL_STR(\"[^\"]*\"), 0," /tmp/g06e.gen2.c || true
printf "  exit-phase  calls  el_seam_run(EL_STR(...), 1, : "; grep -c "el_seam_run(EL_STR(\"[^\"]*\"), 1," /tmp/g06e.gen2.c || true
echo
echo "=== runtime supports EL_PHASE_EXIT? ==="
git show "24f7fb5:lang/runtime/el_runtime.c" | grep -n "EL_PHASE_EXIT" | sed "s/^/  /"
echo
echo "=== when does an exit assertion first appear in seam_binding.sh? ==="
for c in 8bbb750 285166c bc2f26d; do
  printf "  %s: " "${c}"
  git show "${c}:lang/tests/integration/seam_binding.sh" | grep -c "exit" || true
  git show "${c}:lang/tests/integration/seam_binding.sh" | grep -E "^check \"an EXIT" | sed "s/^/      /" || true
done