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.
32 lines
1.7 KiB
Plaintext
32 lines
1.7 KiB
Plaintext
CLAIM (886626a): "three of the five compile-time kinds are runtime-bindable:
|
|
entry injection, exit injection, and refusal"
|
|
|
|
The runtime table format supports an exit phase. Does CODEGEN ever emit an
|
|
exit-phase seam call (phase argument 1) at any commit in this cycle?
|
|
|
|
35b07ba el_seam_run emissions in codegen.el:
|
|
3211: emit_line(" el_seam_run(EL_STR(" + c_str_lit(fn_name) + "), 0, 0);")
|
|
886626a el_seam_run emissions in codegen.el:
|
|
3211: emit_line(" { el_val_t __s = el_seam_run(EL_STR(" + c_str_lit(fn_name) + "), 0, 0); if (__s) return __s; }")
|
|
28d19da el_seam_run emissions in codegen.el:
|
|
3212: emit_line(" { el_val_t __s = el_seam_run(EL_STR(" + c_str_lit(fn_name) + "), 0, 0); if (__s) return __s; }")
|
|
8bbb750 el_seam_run emissions in codegen.el:
|
|
3212: emit_line(" { el_val_t __s = el_seam_run(EL_STR(" + c_str_lit(fn_name) + "), 0, 0); if (__s) return __s; }")
|
|
24f7fb5 el_seam_run emissions in codegen.el:
|
|
3212: emit_line(" { el_val_t __s = el_seam_run(EL_STR(" + c_str_lit(fn_name) + "), 0, 0); if (__s) return __s; }")
|
|
|
|
=== emitted C at 24f7fb5 (self-hosted): any phase-1 / exit seam call? ===
|
|
entry-phase calls el_seam_run(EL_STR(...), 0, : 263
|
|
exit-phase calls el_seam_run(EL_STR(...), 1, : 0
|
|
|
|
=== runtime supports EL_PHASE_EXIT? ===
|
|
17097:#define EL_PHASE_EXIT 1
|
|
17119: _el_seam[_el_seam_n].phase = (strcmp(ph, "exit") == 0) ? EL_PHASE_EXIT : EL_PHASE_ENTRY;
|
|
|
|
=== when does an exit assertion first appear in seam_binding.sh? ===
|
|
8bbb750: 3
|
|
285166c: 6
|
|
check "an EXIT construct declared after the build replaces the result" \
|
|
bc2f26d: 6
|
|
check "an EXIT construct declared after the build replaces the result" \
|