diff --git a/quest/m3/ts-unsafe/README.md b/quest/m3/ts-unsafe/README.md
index 2c34118d2..76c720d47 100644
--- a/quest/m3/ts-unsafe/README.md
+++ b/quest/m3/ts-unsafe/README.md
@@ -74,7 +74,6 @@ Public API: the translator's output.
 
 - [A raw pointer behind a reference](/quest/m3/ts-unsafe/raw-behind-ref.md) - `&raw const *r` of a value JS copies points where the reference came from
 - [Vec::from_raw_parts of a typed allocation](/quest/m3/ts-unsafe/vec-from-raw-parts.md) - a `Vec` adopts an `alloc`ed array of `T`s, with its length, capacity, and drops
-- [BinaryHeap from std's MIR](/quest/m3/ts-unsafe/binary-heap-mir.md) - std's `BinaryHeap` and `PeekMut` translate, replacing the runtime's port
 - [Unchecked integer operations](/quest/m3/ts-unsafe/unchecked-ops.md) - `unchecked_*` and `NonZero::new_unchecked` translate, aborting on a violated precondition
 - [NonZero's unchecked arithmetic](/quest/m3/ts-unsafe/nonzero-unchecked-ops.md) - `NonZero::unchecked_add` and `unchecked_mul` translate, aborting at std's site
 - [UnsafeCell's raw accessors](/quest/m3/ts-unsafe/unsafecell.md) - `UnsafeCell::raw_get`, `from_mut`, and `replace` translate
diff --git a/quest/m3/ts-unsafe/binary-heap-mir.md b/quest/m3/ts-unsafe/binary-heap-mir.md
deleted file mode 100644
index 486400026..000000000
--- a/quest/m3/ts-unsafe/binary-heap-mir.md
+++ /dev/null
@@ -1,17 +0,0 @@
-# [M] BinaryHeap from std's MIR
-
-## Goal
-
-[rust2-ts](/ts/README.md) translates `BinaryHeap` and `PeekMut` from std's MIR, whose
-`Hole` moves elements through raw pointers into the `Vec`'s storage, replacing
-`rs.BinaryHeap` and `rs.PeekMut`, the hand-written port of std's sifts that
-[#252](https://github.com/moq-dev/rust2/pull/252) mapped them to
-(`ts/src/lower/collections.rs`). The lang fixture's `orders` differential case proves it
-still matches std's comparisons, pop order, and drops.
-
-## Plan
-
-No consumer at the moq pin; the port works but must track std by hand. The B-tree port of
-[#577](https://github.com/moq-dev/rust2/pull/577) is the precedent.
-
-Public API: the translator's output.