Method erase

src/host/ui/buffer_model.h:122–127

Bounds-guarded erase: no-op if `i >= size()`. Erasing storage_[i] (a unique_ptr) never touches the addresses of surviving BufferRecords, so any Stage still holding a span into a surviving record's bytes stays valid. Callers that also own per-index Stage state must drop the Stage referencing the erased record *before* calling this, since the Stage's span becomes dangling once the record is destroye

    // the Stage referencing the erased record *before* calling this, since
    // the Stage's span becomes dangling once the record is destroyed.
    void erase(std::size_t i) {
        if (i >= storage_.size()) {
            return;
        }
        storage_.erase(storage_.begin() + static_cast<std::ptrdiff_t>(i));
    }

  private:
    std::vector<std::unique_ptr<BufferRecord>> storage_;