Archived
will
d3495476f4
El SDK Release / build-and-release (push) Failing after 13m0s
The generated C, amalgams, vendored runtime pins, and compiled binaries from the Claude Code era are removed from the worktree. The El sources survive; this tree is now source-only for the first-principles rebuild. Per Principal direction 2026-08-19.
27 lines
1.3 KiB
Batchfile
27 lines
1.3 KiB
Batchfile
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
|
|
|