From 9735bcc2d825ec4a297d27f8ef24bd1a7ba3d5fc Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Mon, 14 Sep 2026 07:29:17 +0700 Subject: [PATCH] The survey numbers, measured --- docs/handoffs/HANDOFF-tidy.md | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) 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