Disable ftruncate_flush_race, and file the boot-timeout verdict's blind spot

issues/build/a-boot-timeout-verdict-quotes-stdio-alone-and-never-the-16550-log.md

@@ -0,0 +1,18 @@
+---
+status: assigned
+kind: tooling
+opened: 2026-09-28
+---
+
+# A boot timeout's verdict quotes stdio alone, so an early kernel panic that only reached the 16550 log is invisible in it
+
+Evidence: PR #572's control run at `87629411`. The 16550 log held `EARLY
+PANIC: panicked at library/alloc/src/alloc.rs:659:9: memory allocation of
+4096 bytes failed`, and the verdict said "Boot timed out waiting for
+===READY===", quoting stdio alone; the panic line never appeared in it.
+
+**Exit**: the timeout verdict quotes the 16550 file's tail the same way the
+`Disconnected` arm already does — `fs::read_to_string(uart_log)`
+(`tests/common/qemu.rs:5147`) — rather than adding a second reader, shown by
+a test that stages an early panic. Owner: `tests/common/qemu.rs`, held by
+the orchestrator.

issues/build/ftruncate-flush-race-reds-intermittently-and-nothing-says-why.md

@@ -1,5 +1,5 @@
 ---
-status: open
+status: expected-red
 kind: tooling
 opened: 2026-09-01
 ---
@@ -42,4 +42,18 @@ the loop is one-sided precisely because a sleep can overshoot. Whoever takes
 this decides what to measure; this entry is the rate and the refutation, not a
 design.
 
-`cargo run -- --known-red ftruncate_flush_race` says `NOT ON THE LIST`.
+Red again in the orchestrator's nightly for PR #572 at `87629411`: "the
+truncate did not serialise with the stalled flush".
+
+## Exit condition
+
+The capture holds when `set_len` entered the kernel relative to the stall's
+start, so a short `waited` is machine-distinguishable from a retry, and
+`ftruncate_flush_race` is green against that instrument on the dev host across
+the counts in the table above. Then this file and its `src/redlist.rs` row are
+deleted.
+
+## Owner
+
+The `ftruncate-flush-stall` actuator, `tests/common/volumes.rs`; held by the
+orchestrator.

src/redlist.rs

@@ -35,6 +35,10 @@ pub const DISABLED: &[Disabled] = &[
     },
     Disabled { test: "desktop_window_child", issue: "issues/kernel/desktop-window-child-freeze.md" },
     Disabled { test: "doom_sound_flood", issue: "issues/audio/doom-sound-flood-played-full-scale-once.md" },
+    Disabled {
+        test: "ftruncate_flush_race",
+        issue: "issues/build/ftruncate-flush-race-reds-intermittently-and-nothing-says-why.md",
+    },
     Disabled { test: "handle_basic", issue: "issues/kernel/deferred-release-outlives-its-syscall.md" },
     Disabled {
         test: "handle_kill_policy",