--- 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.