```ts
export function commitIndex(log: number[], matches: number[], currentTerm: number): { commit: number; safe: number; behind: number[] } {
  if (!Array.isArray(log) || !Array.isArray(matches)) {
    throw new Error("log and matches must be arrays");
  }
  if (currentTerm < 1 || !Number.isInteger(currentTerm)) {
    throw new Error("currentTerm must be a whole number of one or more");
  }

  const n = log.length;
  for (let i = 0; i < n; i++) {
    if (log[i] < 1 || !Number.isInteger(log[i]) || (i > 0 && log[i] < log[i - 1])) {
      throw new Error("terms must be whole numbers of one or more and never fall as the log grows");
    }
    if (log[i] > currentTerm) {
      throw new Error("no entry may be stamped above the leader's current term");
    }
  }

  for (let copied of matches) {
    if (copied < 0 || copied > n || !Number.isInteger(copied)) {
      throw new Error("copied number must be a whole number between zero and the log's length");
    }
  }

  const quorumSize = Math.floor(matches.length / 2) + 1;
  let commit = 0;
  let safe = n;

  for (let i = n - 1; i >= 0; i--) {
    if (log[i] !== currentTerm) break;
    const count = matches.filter(copied => copied >= i + 1).length + 1;
    if (count >= quorumSize) {
      commit = i + 1;
      break;
    }
  }

  for (let copied of matches) {
    safe = Math.min(safe, copied);
  }

  const behind = matches.filter(copied => copied < commit);

  return { commit, safe, behind };
}
```