diff --git a/HANDOFF-devtest-noise.md b/HANDOFF-devtest-noise.md index 3784720..2c5b195 100644 --- a/HANDOFF-devtest-noise.md +++ b/HANDOFF-devtest-noise.md @@ -83,8 +83,17 @@ should be reading on a green run. passes. The `Some "16"` expectation was temporarily changed to a value it cannot match, the block failed, and the captured stderr — the linker's own words — was reprinted under its header. Then reverted. -Baseline not regressed: `dune test --root .` exit 0, `spike/x86/survey.sh` 101 MATCH / 0 DIFFER / 0 refused, -`spike/x86/cells.sh` 4/4. +Baseline not regressed, all three measured after the change: + +- `dune test --root .` — exit 0. +- `spike/x86/survey.sh` — **101 MATCH / 0 DIFFER / 0 REFUSED / 0 NOX86**, 36 skipped (28 does-not-compile, 6 no-main, + 2 runs-forever). +- `spike/x86/cells.sh` — **4/4**, exit 0. + +One thing not to re-derive: a first attempt at the survey came back `SURVEY_EXIT=143` with a bare `Terminated`. That +was the harness killing the process group of a long background command, not a survey failure and nothing to do with +this change — nothing under `lib/` was touched. Re-run detached under `setsid` it is 101/0/0. A `143` from that +script means it was signalled; read it as "run it again", not as a regression. ## One stale note left behind, deliberately not edited