diff --git a/docs/handoffs/HANDOFF-tidy.md b/docs/handoffs/HANDOFF-tidy.md index 6149154..969d2e9 100644 --- a/docs/handoffs/HANDOFF-tidy.md +++ b/docs/handoffs/HANDOFF-tidy.md @@ -82,7 +82,16 @@ everything else explains itself. They are grouped and explained now, and - `dune build --root .` exits 0. - `dune test --root . --force` reports 232 checks, 0 failures. -- `spike/x86/survey.sh`, run detached, reports 103 MATCH / 0 DIFFER / 0 REFUSED. +- `spike/x86/survey.sh`, run detached, reports 103 MATCH, 0 DIFFER, 0 REFUSED, + 0 NOX86 and 38 SKIP — the baseline, unchanged. + +The resolver reports sixteen unresolved citations and all sixteen are expected. +Seven are the deleted `HANDOFF-f1.md`, `HANDOFF-f2.md` and `HANDOFF-f3.md` in +`../../NEXT.md`, which the prose around them already calls deleted. One is a +false positive where the pattern caught `"$root/NEXT.md"` out of a shell +variable in `web/examples/quotes.sh`. The other eight are in this file: the +`HANDOFF-x.md` placeholders in the zone table above, and `DISCUSS.md` quoted +bare to explain why a grep cannot verify this work. None of them is a path. ### The branch clutter — reported, not acted on