【PHP】jsonからランダムにオブジェクトを取り出し、別のjsonに保存する

[
  {
    "id": 1,
    "title": "タイトル1"
  },
  {
    "id": 2,
    "title": "タイトル2"
  },
  {
    "id": 3,
    "title": "タイトル3"
  },
  .
  .
  .
]

[]

//元データファイルの読み込み
$file_path = dirname(__FILE__). '/data.json';
$json_file = file_get_contents($file_path);
$array = json_decode($json_file, true);

//書き込み用ファイルの読み込み
$inst_file_path = dirname(__FILE__). '/insert.json';
$inst_json_file = file_get_contents($inst_file_path);
$inst_array = json_decode($inst_json_file, true);

//jsonファイルの処理
if(!empty($array)) { //data.json中身がある場合
  //data.jsonからランダムに取得
  $random = array_rand($array, 1);
  //var_dump($array[$random]);

  //insert.jsonに書き込み
  $inst_array[] = $array[$random];
  $inst_json_encode = json_encode($inst_array, JSON_UNESCAPED_UNICODE);
  file_put_contents($inst_file_path, $inst_json_encode, LOCK_EX);

  //ランダム取得したものをdata.jsonから削除する
  unset($array[$random]);
  $json_encode = json_encode($array, JSON_UNESCAPED_UNICODE);
  file_put_contents($file_path, $json_encode, LOCK_EX);

} else { //data.json中身がない場合
  echo 'からっぽ！';
}