diff --git a/HANDOFF-devtest-noise.md b/HANDOFF-devtest-noise.md index 1d077ff..3784720 100644 --- a/HANDOFF-devtest-noise.md +++ b/HANDOFF-devtest-noise.md @@ -86,6 +86,12 @@ should be reading on a green run. Baseline not regressed: `dune test --root .` exit 0, `spike/x86/survey.sh` 101 MATCH / 0 DIFFER / 0 refused, `spike/x86/cells.sh` 4/4. +## One stale note left behind, deliberately not edited + +`HANDOFF-x86-rt.md` section 4 still tells the next lane that `dune test` prints those four lines as an environment +note. That is no longer true. It is not corrected here because another lane holds that file and a conflict costs +more than the sentence is worth — but a lane that reads it and goes hunting for the noise will not find any. + ## Open questions - `Build.run` reports only `(exit N)` to the caller; clang's actual words reach the terminal and nothing else. The