Review pagination against a contract

Review the attached original.js against this contract: an array of {id,status} records and {page=1,pageSize=10,status} options, status, when supplied, matches item.status exactly; filter before slicing, page and pageSize are positive integers; invalid values throw RangeError, and {items,page,pageSize,total,totalPages}; counts describe matching records. Reproduce each user-visible mismatch with a small input and expected versus actual result. Check validation, filter/slice order, total and totalPages, empty matches, and pages past the end. Cite the relevant code line. Then propose the smallest fix and tests; keep claims tied to runs you actually performed.

Attached original.js:
```js
// Synthetic review fixture. Intentionally defective; do not use in production.
function paginate(items, { page = 1, pageSize = 10, status } = {}) {
  const start = (page - 1) * pageSize;
  const pageItems = items.slice(start, start + pageSize);
  const visibleItems = status
    ? pageItems.filter((item) => item.status === status)
    : pageItems;

  return {
    items: visibleItems,
    page,
    pageSize,
    total: items.length,
    totalPages: Math.ceil(items.length / pageSize),
  };
}

module.exports = { paginate };
```

Additional contract: page beyond the end returns an empty array; do not mutate input.