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.
13 lines
431 B
Plaintext
13 lines
431 B
Plaintext
--- emitted seam calls in the probe's C, with their phase argument ---
|
|
8: { el_val_t __s = el_seam_run(EL_STR("work"), 0, 0); if (__s) return __s; }
|
|
|
|
--- control 1: ENTRY binding (expected to fire) ---
|
|
ENTRY-FIRED work/audited
|
|
7
|
|
|
|
--- control 2: EXIT binding (the claim under test) ---
|
|
7
|
|
|
|
VERDICT: if 'EXIT-FIRED' is absent and the program still prints 7, then no
|
|
exit-phase indirection is emitted and an exit binding cannot fire.
|