From ae1b113ad41f7a30adf3e245d91bcd0b9f6f0902 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Sun, 13 Sep 2026 23:42:37 +0700 Subject: [PATCH] Re-measured after the rebase onto the arithmetic-condition lane 101 MATCH rather than 99, and neither number is this lane's doing -- that lane added two probes to spike/x86. Zero DIFFER, zero REFUSED, zero NOX86 on both sides, the skip breakdown unmoved, cells 4/4, dune test exit 0 with 232 checks and no failures. --- HANDOFF-x86-debug.md | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/HANDOFF-x86-debug.md b/HANDOFF-x86-debug.md index aa579e9..2c665c4 100644 --- a/HANDOFF-x86-debug.md +++ b/HANDOFF-x86-debug.md @@ -1,7 +1,8 @@ # Handoff — dropping the registry notes, and debug information for `--x86` -Branch `dev-loop`, worktree `agent-a123a91f32f4c9779`, from `957ba07`. Items **2** and **6** of -`HANDOFF-x86-rt.md` §6. Both landed. +Branch `dev-loop`, worktree `agent-a123a91f32f4c9779`. Started from `957ba07` and rebased onto `eacf7c4` +when the arithmetic-condition lane landed; the rebase was clean, and everything below was re-measured after +it. Items **2** and **6** of `HANDOFF-x86-rt.md` §6. Both landed. ## The finding that changes the brief, read this first @@ -207,11 +208,15 @@ multi-file case: its directory table has one entry and its file table two, `gene ## Baseline, measured on this tree -| | before (`957ba07`) | after | -|---|---|---| -| `spike/x86/survey.sh` | 99 MATCH / 0 DIFFER / 0 REFUSED / 0 NOX86, skips 28 + 6 + 2 | **99 / 0 / 0 / 0**, skips **28 + 6 + 2** — identical | -| `spike/x86/cells.sh` | 4/4 ok | **4/4 ok** | -| `dune test --root .` | exit 0 | **exit 0**, run without a pipe; acceptance reports 232 checks, 0 failures | +| | before (`957ba07`) | after, on `957ba07` | after, rebased onto `eacf7c4` | +|---|---|---|---| +| `spike/x86/survey.sh` | 99 MATCH / 0 DIFFER / 0 REFUSED / 0 NOX86, skips 28 + 6 + 2 | **99 / 0 / 0 / 0**, skips 28 + 6 + 2 | **101 / 0 / 0 / 0**, skips 28 + 6 + 2 | +| `spike/x86/cells.sh` | 4/4 ok | 4/4 ok | **4/4 ok** | +| `dune test --root .` | exit 0 | exit 0 | **exit 0**, run without a pipe; acceptance reports **232 checks, 0 failures** | + +The MATCH count went from 99 to 101 across the rebase and neither is this lane's doing: the +arithmetic-condition lane added two probes to `spike/x86`. The number that matters is that DIFFER, REFUSED and +NOX86 are all zero on both sides and the skip breakdown did not move. The survey is protected structurally as well as measured: every piece of this lane's work on the release path is behind `debug`, so `--x86` without `--debug` emits the assembly it emitted before — `fnctx.dw` is `None`,