Unexpectedly push triggers as many updates as there are elements in the appended array.
const src = $state([0])
const push = () => arr.push(...[1,2,3])
$inspect(src)
// update Array [ 0, 1 ]
// update Array(3) [ 0, 1, 2 ]
// update Array(4) [ 0, 1, 2, 3 ]
I think it is definitely a bug.