diff --git a/FIX.org b/FIX.org
index bc02ade..4317899 100644
--- a/FIX.org
+++ b/FIX.org
@@ -2625,12 +2625,14 @@ Left alone: docs/SPIKE-*.md and docs/handoffs/*, which are dated records of
 what was true when they were written.
 
 ** What was run
-- ~dune test --root .~ — 0 FAIL lines, every suite reporting passed. It exits
-  1, and it exits 1 on an untouched worktree at dev-loop's tip for the same
-  reason: ~test_dev.ml~'s ~trap_park~ rows race and die with
-  ~Fatal error: exception Flan.Wire.Closed~ at ~dev-trap-null-alloc~. Measured
-  on both sides this lane, and already written up above under "Found while
-  running it".
+- ~dune test --root . --force~ — exit 0, 0 FAIL lines, on the lane *and* in a
+  trial-merged tree. Through most of this lane it exited 1 instead, from
+  ~test_dev.ml~'s ~trap_park~ rows racing and dying with
+  ~Fatal error: exception Flan.Wire.Closed~ at ~dev-trap-null-alloc~ — measured
+  on an untouched worktree at dev-loop's tip with nothing of this lane in it,
+  and written up above under "Found while running it". Another lane has since
+  fixed it (~trap_park stops dying on the abort race~), so the green run is a
+  real green run rather than a lucky one.
 - test/programs/widening.flan, new, with three acceptance rows — default, -O0
   and ~--x86~ — and its output diffed by hand across the two backends before
   the rows were written. Byte-identical.
@@ -2639,6 +2641,10 @@ what was true when they were written.
   equal-width cross-signedness), container invariance, the join in both
   operand orders, the literal rule still standing, and the shift carve-out in
   both directions.
+- *Verified in a trial-merged tree, not only on the lane.* dev-loop moved
+  five times while this was open, so the branch was rebased onto each tip and
+  the acceptance rows, the full suite and the sweep were re-run against the
+  last one. The merge into dev-loop is a fast-forward with no conflicts.
 - *The corpus sweep, base against lane.* Headless programs (test/programs/)
   were compiled, ~check~ed and run, and the diff of the whole lot is a single
   pure addition: widening.flan's own rows. Not one existing program's
diff --git a/web-files-out.txt b/web-files-out.txt
new file mode 100644
index 0000000..ff72b5c
--- /dev/null
+++ b/web-files-out.txt
@@ -0,0 +1 @@
+state