nix/STATUS, pr-tracker: round 5 sent upstream (PlatformLab#144-PlatformLab#148)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Author: randomizedcoder

analysis-reports/pr-tracker.md

@@ -16,17 +16,17 @@ John Ousterhout lands PRs by applying our commits to `main` himself, so a landed
 | 2, fuzzing + 7.x port (2026-10-21) | 2 | 2 | 0 |
 | 3, sparse (2026-10-22) | 4 | 4 | 0 |
 
-## Round 5: VM and sanitizer findings (fork drafts, not yet sent)
+## Round 5: VM and sanitizer findings (open)
 
-Drafted 2026-10-31 on the fork, to go upstream as one batch once reviewed.
+Opened 2026-10-31 as one batch.
 
-| Fork | Branch | Change | Found by |
-|---|---|---|---|
-| #22 | `fix/peer-free-net-rcu-barrier` | `rcu_barrier()` in `homa_peer_free_net`: `homa_route_free` use-after-free (F8) | KASAN, test-first |
-| #23 | `fix/qdisc-unknown-link-speed` | Homa qdisc on a link reporting `SPEED_UNKNOWN` (F11) | pair lifecycle, test-first |
-| #26 | `fix/rpc-memcg-without-config-memcg` | `mem_cgroup_from_sk()`, not `sk_memcg` (F12b: no build without `CONFIG_MEMCG`) | `analysis-netdev` |
-| #27 | `fix/peertab-lock-rhashtable-walk` | Walk `route_ht` outside `peertab->lock` (F13: softirq lock-order inversion) | lockdep |
-| #28 | `fix/qdisc-deferred-offset-data-race` | Annotate `homa_qdisc_deferred_offset`'s lockless reads (F14) | KCSAN |
+| Upstream | Fork | Branch | Change | Found by |
+|---|---|---|---|---|
+| [#144](https://github.com/PlatformLab/HomaModule/pull/144) | #22 | `fix/peer-free-net-rcu-barrier` | `rcu_barrier()` in `homa_peer_free_net`: `homa_route_free` use-after-free (F8) | KASAN, test-first |
+| [#145](https://github.com/PlatformLab/HomaModule/pull/145) | #23 | `fix/qdisc-unknown-link-speed` | Homa qdisc on a link reporting `SPEED_UNKNOWN` (F11) | pair lifecycle, test-first |
+| [#146](https://github.com/PlatformLab/HomaModule/pull/146) | #26 | `fix/rpc-memcg-without-config-memcg` | `mem_cgroup_from_sk()`, not `sk_memcg` (F12b: no build without `CONFIG_MEMCG`) | `analysis-netdev` |
+| [#147](https://github.com/PlatformLab/HomaModule/pull/147) | #27 | `fix/peertab-lock-rhashtable-walk` | Walk `route_ht` outside `peertab->lock` (F13: softirq lock-order inversion) | lockdep |
+| [#148](https://github.com/PlatformLab/HomaModule/pull/148) | #28 | `fix/qdisc-deferred-offset-data-race` | Annotate `homa_qdisc_deferred_offset`'s lockless reads (F14) | KCSAN |
 
 F12a (`strip.py` `#else` after `#ifndef`) was fork #25, closed as a duplicate of upstream
 [#134](https://github.com/PlatformLab/HomaModule/pull/134).

nix/STATUS.md

@@ -522,9 +522,9 @@ is `homa_route_free`, in an RCU callback, taking `peertab->lock` after the walk
 | 11 | Bootable 7.0–7.2 kernels (PLAN-pairs phase 6) | Full VM coverage of the 7.x series | large (kernel builds) | optional |
 | 14 | Does `util/` need to build off x86? (F9) If so, a portable `rdtsc()` and `REG_RIP` guard | riscv64/aarch64 `util/` builds fail | small | ask John |
 | 15 | riscv `homa_clock_khz()`: `riscv_timebase / 1000` (F9) | Timers 100× off on riscv in the normal build | small | us → upstream (if John wants riscv) |
-| 19 | F13: walk the route table outside `peertab->lock`, drafted (fork #27) | A possible hard hang at netns exit; lockdep fails the KASAN VM until it is fixed | small | us → upstream |
-| 18 | F12: `strip.py` `#else` toggle (upstream #134, not ours) and `mem_cgroup_from_sk()`, drafted (fork #26) | The net-next files must build in-tree before any submission | small | us → upstream |
-| 20 | F14: `skb_queue_len_lockless()` and `READ_ONCE`/`WRITE_ONCE` on `tx_left`, drafted (fork #28) | KCSAN fails the pair lifecycle until the intended race is annotated | small | us → upstream |
+| 19 | F13: walk the route table outside `peertab->lock`, sent (upstream #147) | A possible hard hang at netns exit; lockdep fails the KASAN VM until it is fixed | small | us → upstream |
+| 18 | F12: `strip.py` `#else` toggle (upstream #134, not ours) and `mem_cgroup_from_sk()`, sent (upstream #146) | The net-next files must build in-tree before any submission | small | us → upstream |
+| 20 | F14: `skb_queue_len_lockless()` and `READ_ONCE`/`WRITE_ONCE` on `tx_left`, sent (upstream #148) | KCSAN fails the pair lifecycle until the intended race is annotated | small | us → upstream |
 | 12 | Keep `nix/fuzz/known-findings.txt` in step with upstream | Entries come out as fixes land, so the fuzz-mock gate stays meaningful; currently empty | ongoing | us |
 
 ---