Thank you,
so in other words the correct way to put this filter is something like
'prodState' => [1000],
(which works fine in my setup).
Can someone gently push me in the direction of the documentation of the standard values for production states?