diff --git a/docs/handoffs/HANDOFF-x86-devloop.md b/docs/handoffs/HANDOFF-x86-devloop.md index 0905075..73036b9 100644 --- a/docs/handoffs/HANDOFF-x86-devloop.md +++ b/docs/handoffs/HANDOFF-x86-devloop.md @@ -246,4 +246,8 @@ comes back as 143, which is not a result. And do not run the survey while `dune - **DWARF from `X86.redefinition`**, which is what `flan dev --x86 --debug` is refused for. - **`X86.program ~macros`**, if the macro module is ever to be built by this backend rather than merely made immune to interposition. Not needed for the fix recommended above. +- **`test/test_emacs.ml` got no `--x86` case, deliberately.** It drives the Elisp client against a daemon, and + the client neither knows nor can say which backend a session uses — the flag is `flan dev`'s and the protocol + above it is identical. The real editor path for *this* lane is `test_dev.ml`, which drives the daemon's own + verbs and is where the case went. Worth revisiting only if `--x86` ever grows a spelling in the protocol. - Items 2–7 of `HANDOFF-x86-rt.md` §6, unchanged. And still worth doing: **run `spike/x86/survey.sh` in CI**.